Lógica, lenguaje y significado. Lógica intensional y gramática lógica

Índice de cuadros
Nota de los traductores
Prólogo de la versión en inglés
Prefacio

Capítulo 1
Orígenes de la lógica intensional
    1.1. Introducción
    1.2. La Teoría del Significado por Correspondencia
    1.3. Naturalismo versus convencionalismo
    1.4. Variaciones de la Teoría del Significado por Correspondencia
    1.5. Semántica lógica como una teoría Referencial del Significado
    1.6. Problemas con la Teoría Referencial del Significado
    1.7. La Teoría del Significado de Frege
    1.8. Dependencia del contexto

Capítulo 2
Lógica proposicional intensional
    2.1. Introducción
    2.2. La semántica de mundos posibles
    2.3. Lógica proposicional modal
        2.3.1. Antecedentes históricos
        2.3.2. Sintaxis y semántica
        2.3.3. El enfoque sintáctico de la noción de validez
        2.3.4. Modalidades aléticas y epistémicas
        2.3.5. Una aplicación
    2.4. Lógica temporal proposicional
        2.4.1. Sintaxis y semántica
        2.4.2. 'Ahora': una extensión
        2.4.3. Otros enfoques
    2.5. Tiempo y modalidad combinados

Capítulo 3
Lógica de predicados intensional
    3.1. Contextos opacos: modalidades de dicto y de re
    3.2. Nombres propios y descripciones definidas
    3.3. La semántica de la lógica de predicados modal
        3.3.1. Fórmulas sin variables
        3.3.2. Identidad
        3.3.3. Variables y cuantificadores
        3.3.4. Un dominio: el predicado de existencia
    3.4. Otras clases de contextos
    3.5. Una nota metodológica

Capítulo 4
Teoría de Tipos y Gramática Categorial
    4.1. Introducción
    4.2. La Teoría de Tipos
        4.2.1. Distinción de tipos en el lenguaje natural
        4.2.2. Sintaxis
        4.2.3. Semántica
    4.3. Gramática Categorial
        4.3.1. Introducción
        4.3.2. Características de la Gramática Categorial
        4.3.3. La adecuación descriptiva de la gramática categorial
        4.3.4. La Gramática Categorial y la Teoría de Tipos
    4.4. A-abstracción
        4.4.1. El A-operador
        4.4.2. A-conversión

Capítulo 5
Teoría de Tipos Intensional
    5.1. Introducción
    5.2. Construcciones y conceptos intensionales
    5.3. Sintaxis
    5.4. Semántica
    5.5. Los operadores
    5.6. A-conversión
    5.7. Operadores temporales
    5.8. Teoría de Tipos Di-sorteada

Capítulo 6
Gramática de Montague
    6.1. Introducción
        6.1.1. La composicionalidad del significado y la sintaxis
        6.1.2. Lenguaje objeto y metalenguaje: clausura semántica
        6.1.3. La semántica y la teoría de la verdad
    6.2. La organización de una Gramática de Montague
    6.3. Una Gramática de Montague para un fragmento del español
        6.3.1. Categorías y expresiones básicas
        6.3.2. Términos, verbos intransitivos, oraciones
        6.3.3. La organización del proceso de traducción
        6.3.4. La traducción de los términos
        6.3.5. Verbos transitivos
        6.3.6. La función de los postulados de significado
        6.3.7. Postulados de significado para el fragmento
        6.3.8. Ambigüedades de alcance, lecturas de re y reglas de cuantificación
        6.3.9. El verbo transitivo ser
        6.3.10. Reglas de conjunción, disyunción y negación
        6.3.11. Complementos oracionales e infinitivos, adjetivos, cláusulas relativas y adverbios
    6.4. Conceptos individuales
        6.4.1. Argumentos para la introducción de conceptos individuales
        6.4.2. Consecuencias de la introducción de conceptos individuales
        6.4.3. Algunos ejemplos
        6.4.4. Postulados de significado
    6.5. Composicionalidad, forma lógica y forma gramatical
    6.6. Observaciones finales

Capítulo 7
Desarrollos recientes
    7.1. Introducción
    7.2. La Teoría de los Cuantificadores Generalizados
        7.2.1. Objetivos principales
        7.2.2. Los SN como cuantificadores generalizados
        7.2.3. Determinantes: dos perspectivas
        7.2.4. Algunas propiedades fundamentales
        7.2.5. Restricciones globales
        7.2.6. Determinantes lógicos
        7.2.7. Desarrollos posteriores
    7.3. La Gramática Categorial Flexible y la Teoría de Tipos
        7.3.1. Cambio de categoría
        7.3.2. Un punto de vista lógico
        7.3.3. Desarrollos adicionales
    7.4. Teoría de Representación de Discursos
        7.4.1. Introducción
        7.4.2. Algunos problemas con las relaciones anafóricas
        7.4.3. Una introducción informal a la DRT
        7.4.4. Definiciones formales
        7.4.5. DRT Y la composicionalidad
        7.4.6. Conclusión

Solución de los ejercicios seleccionados
Notas bibliográficas
Bibliografía
Índice analítico