filosofía de la lógica maría josé frápolli 2007-8
TRANSCRIPT
![Page 1: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/1.jpg)
Filosofía de la LógicaMaría José Frápolli
2007-8
![Page 2: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/2.jpg)
S. Haack (1982), Filosofía de las Lógicas. Madrid, Cátedra, Cap. 2: Validez
[Philosophy of Logics. Cambridge University Press, 1978]
A. R. Anderson y N. D. Belnap, Jr.(1975), Entailment: The Logic of Relevance and Necessity, Princeton University Press
G. Iseminger (1980), “Is relevance necessary for validity?”. Mind.1980; LXXXIX: 196-213
![Page 3: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/3.jpg)
J. M. Sagüillo: “Validez y Consecuencia Lógica. La Concepción Clásica”. En Frápolli (2007), pp. 55-83
Consecuencia lógica
◦ La concepción informacional◦ La concepción de la necesidad◦ La concepción de la imposibilidad
![Page 4: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/4.jpg)
¿Qué es un argumento?
Argumento válido y argumento correcto (explicativos o no ampliadores)
Argumentos inductivos. Fuerza inductiva (no explicativos o ampliadores)
![Page 5: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/5.jpg)
Validez sintáctica: A1,…An-1, An es válido-en-L syss An es derivable de A1,…An-1, y de los axiomas de L, si los hay, mediante las reglas de inferencia de L. (Teorema)
Validez semántica: A1,…An-1, An es válido desde un punto de vista semántico syss An es verdadero para todas las interpretaciones que hagan verdaderas a A1,…An-1. (Verdad lógica)
![Page 6: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/6.jpg)
Validez extrasistemática: intuiciones sintácticas (la forma de los argumentos) e intuiciones semánticas (argumentos materialmente correctos, preservadores de la verdad)
[Forma lógica] Relaciones entre los argumentos
informales y los cálculos. Logica docens y logica utens (Peirce)
[Lógica de la relevancia]
![Page 7: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/7.jpg)
La fuerza inductiva indica en qué medida la verdad de las premisas apoyarían la verdad de la conclusión
La validez deductiva puede verse como un caso extremo de fuerza inductiva, el caso en el que la verdad de las premisas garantiza la verdad de la conclusión
![Page 8: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/8.jpg)
Diferencias notacionales y diferencias en los axiomas y reglas de inferencia
Cálculos axiomáticos y cálculos de deducción natural
El mismo sistema (sentido restringido): los mismos axiomas y reglas
El mismo sistema (sentido amplio): los mismos teoremas e inferencias válidas
![Page 9: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/9.jpg)
¿Cómo determinar la forma de un argumento informal? Una cierta tensión.
Determinar los nudos de la estructura: las constantes lógicas, los valores de las variables (objetos, proposiciones, eventos…)
[la forma lógica y la estructura profunda)
![Page 10: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/10.jpg)
Definición clásica de validez: Un argumento es válido si siempre ocurre que si las premisas son verdaderas, entonces la conclusión no puede ser falsa.
Una definición condicional que se interpreta como el condicional material, con dos casos triviales
No puede ocurrir que (las premisas sean verdaderas y la conclusión falsa)
![Page 11: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/11.jpg)
¿Es válido el siguiente argumento?Madrid es la capital de España y Madrid no es la capital de España, luego la luna está hecha de queso verde
[A A, luego B]
¿y éste?
El Papa es pariente del Rey de España, luego o está lloviendo o no lo está
[A , luego B B]
Dos casos extremos de la definición clásica
![Page 12: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/12.jpg)
El dilema de Anderson:(I) Los lógicos han defendido que en un argumento válido de A a B, la premisa tiene que ser relevante (pertinente) para la conclusión, esto es, la relevancia es condición necesaria para la validez(II) Y también que los argumentos de forma A A, luego B y A , luego B B
![Page 13: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/13.jpg)
La validez de A A, luego B (La prueba de Lewis)
(i)AA Pr.(ii) A E(iii) A B I(iv) A E(v) B E
[Las reglas de inferencia implicadas y la tesis de que la validez es transitiva]
![Page 14: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/14.jpg)
Dos sentidos de “relevancia”: conexión de significado y utilidad derivacional.
Tres argumentos a favor de la tesis de que la conexión de significado es condición necesaria de validez:
1. Argumento sistemático2. Argumento histórico3. Argumento del ejemplo
![Page 15: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/15.jpg)
1. El argumento sistemático:
La validez requiere conexión de significadoEsto requiere una noción modificada de
validez: la conclusión incluída en las premisas
Esto requiere una noción restrictiva de “inclusión”.
La noción restrictiva es la de la garantía de la verdad
![Page 16: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/16.jpg)
El argumento está bien, el problema es que la lógica clásica puede asumir el argumento
Dos interpretaciones de “garantía de la verdad”:
-semántica (aceptable, y no discrimina)
-epistémica (discrimina y no es aceptable)
![Page 17: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/17.jpg)
2. El argumento histórico(los lógicos han aceptado siempre que la relevancia es necesaria para la validez)Sentidos históricos de “relevancia”
-relevancia como “absurdo”
-relevancia en el sentido de las “falacias de la relevancia”
![Page 18: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/18.jpg)
Cuadro clásico de las falacias:
Formales ambigüedad
Informalesmateriales datos insuficientes
pertinencia (relevancia)
![Page 19: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/19.jpg)
Cuadro clásico de las falacias:
Ignoratio Elenchi Ad hominem (ofensiva o
circunstancial)Falacias “ad”
Ad baculumAd populum (Ad misericordiam)Ad verecundiamAd ignorantiaTu quoque
![Page 20: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/20.jpg)
3. El argumento mediante un ejemplo
Si la tesis es verdadera, entonces el Cálculo de Predicados es Completo
Si la tesis es falsa, entonces la Aritmética es consistente
![Page 21: Filosofía de la Lógica María José Frápolli 2007-8](https://reader035.vdocument.in/reader035/viewer/2022062511/54e9b6ba4a7959127d8b4f1d/html5/thumbnails/21.jpg)
La conclusión de Iseminger:Ni el argumento sistemático, ni el histórico, ni
el del ejemplo dan la razón a Anderson y Belnap.
¿Hay algo de verdad en la propuesta de la relevancia? La base pragmática de la lógica