Table Of ContentF IL O S O F IA
DE LAS L O G IC A S
Susan H aack
CATEDRA
Colección Teorema
Serie mayor
Susan Haack
Filosofía de las lógicas
A
R
D
E
T
A
C EDICIONES CÁTEDRA, S. A. Madrid
Traducción: Amador Antón, con la colaboración
de Teresa Orduña
Cubierta: Diego Lara
© Cambi idge Unrversity Press, 1978
Ediciones Cátedra, S A , 1982
Don Ramón de la Cruz, 67 Madnd-1
Depósito Legal M. 1.248 - 1982
ISBN: 84-476-0319-6
Pr inted in Spain
Impieso en LAVEL. Los Llanos, nave 6
Humanes (Madrid).
Papel' Torras Hostench, S. A.
Indice
Prefacio......................................................................................................... 15
Notación y abreviaturas............................................................................... 19
1. “FILOSOFÍA DE LAS LÓGICAS”............................................................. 21
1. Lógica, filosofía de la lógica, metalógica............................. 21
2. El ámbito de la lógica............................................................. 23
2. VALIDEZ............................................................................................... 31
1. Valoración de argumentos..................................................... 31
2. Validez deductiva: con breves comentarios sobre la fuerza induc
tiva................................................................................................ 33
Validez en un sistema; Validez extrasistemática; Lógica
utens y lógica docens; Fuerza inductiva.
3. Sistemas lógicos formales: la “L” de “válido-en-L”........... 38
Variantes notacionales; Constantes primitivas alternativas;
Formulaciones de deducción axiomática y natural; Axiomas
y/o reglas alternativas.
4. Validez y forma lógica............................................................ 42
3. CONECTIVAS DE ORACIONES................................................................. 48
1. Consideraciones formales.............................................. 48
Conjuntos adecuados de conectivas: completad funcional;
Matrices características: decidibilidad; Lógica plurivalente.
2. Los significados de las conectivas........................7. 777'777 . 50
Lenguajes formales y lecturas informales ; ‘tonk'; Propósitos
de la formalización; e ‘y’, k v ’ y etc.
4. CUANTIFICADORES................................................................................................................. 59
1. Los cuantificadores y su interpretación................................ 59
2. Interludio metafísico: Sobre cuantificación y ontología en
Quine............................................................................................ 63
El criterio del compromiso ontológico; Cuantificación sus-
titucional y ontología.
3. La elección de interpretación................................................. 71
Cuantificadores sustitucionales y verdad; ¿Demasiado pocos
nombres?; Tiempo; Modalidad; Cuantificación de segundo
orden.
7
5. TERMINOS SINGULARES....................................................................................................... 77
I. Términos singulares y su interpretación................................. 77
2. Nombres........................................................................................ 78
Los nombres propios como puramente denotativos; Nombres
equiparados a descripciones.
V Descripciones...................................................................................... 86
4 Nombres que no denotan: ficción............................................. 91
6 ORAC IONES, ENUNCIADOS, PROPOSICIONES.......................................... 95
I. Tres aproximaciones.................................................................... 95
2. Oración, enunciado, proposición.............................................. 96
3, “Letras de oración”, “variables preposicionales”, o ¿qué?... 99
4. Portadores de verdad................................................................... 100
Portadores de verdad y teoría de la verdad.
5. El problema reformulado.......................................................... 104
La validez de nuevo.
7. TEORÍAS DE LA VERDAD............................................................................ 107
1. Un esbozo breve.......................................................................... 107
Definiciones versus criterios de verdad.
2. Teorías de la correspondencia................................................... 112
3. Teorías de la coherencia.............................................................. 115
4. Teorías pragmáticas..................................................................... 118
5. La teoría semántica...................................................................... 120
Condiciones de adecuación para las definiciones de verdad;
Adecuación material; Corrección formal; Definición de verdad
de Tarski; Explicación informal; Explicación formal.
< 6. Comentario sobre la teoría semántica............................................ 132
Estimación del propio Tarski; Afirmaciones de Popper
en favor de la teoría de Tarski ; El uso que hace Davidson de
la teoría de Tarski
7. La teoría de la redundancia....................................................... 150
Ramsey; Portadores de verdad; La distinción lenguaje
objeto/metalenguaje; Los cuantificadores: “(p) (si él ase
vera que p, p)"; La teoría pro-oracional de la verdad.
8. PARADOJAS............................................................................................... 158
1. La paradoja del mentiroso y afines.......................................... 158
¿Paradojas de “ teoría de conjuntos'' versus paradojas “semán
ticas"?
2. “Soluciones” a las paradojas..................................................... 162
Requisitos para una solución ; Solución de Russell: la teoría
de los tipos, el principio del círculo vicioso; Solución de
Tarski: la jerarquía de lenguajes; Solución de Kripke: fun-
damentación.
3. Paradoja sin “falso”; algunas observaciones sobre la teoría de
la redundancia de la verdad; y el P. C. V. de nuevo.................... 172
9. LÓGICA Y LÓGICAS.................................................................................. 176
1. Lógica “clásica” y “no-clásica”................................................. 176
2. Respuestas al apremio a cambiar el formalismo estándar. 177
8
3. Estudio del primer caso: la lógica del discurso temporal... 180
4. Estudio del segundo caso: precisión versus “lógica vaga”. ... 187
Post scriptum: grados de verdad.
10. LÓGICA MODAL.................................................................................... 194
1. Verdad necesaria..................................................................... 194
2. Sistemas modales.................................................................... 199
Extensiones de la lógica clásica; Observaciones históricas;
Un esbozo formal; Relaciones entre los sistemas modales.
3. Críticas a la lógica modal...................................................... 202
La lógica modal "fue concebida en pecado”; No se necesita
la lógica modal; La interpretación de la lógica modal está
llena de dificultades.
4. Semánticas para las lógicas modales.................................... 212
Semántica formal —un esbozo; Semántica “pura” y “de
pravada” ; Enfoques de los mundos posibles; Enfoques de
los individuos posibles: identidad transmundana; ¿Se con
firman las dudas de Quine?
5. Perspectivas............................................................................. 220
6. La implicación de nuevo: un post scriptum sobre la “lógica
de la relevancia”......................................................................... 222
Las “paradojas” de la implicación estricta; Lógica de la re
levancia.
11. LÓGICA PLURIVALENTE........................................................................ 229
1. Sistemas plurivalentes............................................................. 229
Restricciones de la lógica clásica: lógicas divergentes; Ob
servaciones históricas; Esbozo formal.
2. Motivaciones filosóficas......................................................... 233
Futuros contingentes: Mecánica cuántica; Paradojas se
mánticas; Carencia de significado; Sentido sin denotación;
Oraciones indecidibles.
3. Lógicas plurivalentes y valores de verdad............................ 238
4. Lógicas divergentes no veritativo-funcionales..................... 241
Superevaluaciones; Lógica intuicionista.
12. ALGUNAS CUESTIONES METAFÍSICAS Y EPISTEMOLÓGICAS ACERCA DE
LA LÓGICA.................................................................................................................................... 246
1. Cuestiones metafísicas............................................................ 246
Monismo, pluralismo e instrumentalismo; Resumen de temas;
Comentarios.
2. Cuestiones epistemológicas.................................................... 257
¿Qué es el falibilismo?; ¿Alcanza a la lógica el falibilismo?;
Una digresión: 'Dos dogmas'' de nuevo; Revisión de la lógica.
3. Lógica y pensamiento............................................................. 263
GLOSARIO...................................................................................................... 269
CONSEJOS SOBRE LECTURAS.......................................................................... 279
BIBLIOGRAFÍA................................................................................................ 281
9
Para R. J. H.
