El objetivo de este libro es facilitar la entrada en la lógica formal, aplicada al análisis lingüístico. Al mismo tiempo, se propone proporcionar un panorama de los principales aspectos de lingüística y especialmente de la semántica en que la formalización resulta fructífera o por lo menos esclarecedora. A lo largo del libro se presentan los instrumentos de análisis, con ejercicios para que el lector vaya entrenándose en su uso.
1. Lenguajes artificiales: teoría de conjuntos 13
2. Razonamiento y verdad: lógica proporcional 39
3. Cuantificadores y operadores: lógica de predicado 65
4. Posibilidad y tiempo: lógica modal y temporal 91
5. Más o menos verdadero: lógica difusa 111
6. Presuposición e implicatura: lógica de la conversación 137
7. Categoría e intensión: lógica intensional 165
Soluciones 203
Bibliografía 217
Índice de autores y términos 231
Lista de símbolos 240