Download Cuestiones de FilosofÌa de la LÛgica I

Cuestiones de Filosofía de la Lógica I
María J. Frápolli Sanz
Introducción:
1. ¿Crees que hay razones para pensar que la Filosofía de la Lógica es independiente de la
Lógica y de la Metalógica?
2. Explica y comenta algunos criterios de demarcación que delimiten el campo de la lógica.
¿Qué es un cálculo de lógica?
Tema 1. Validez
1. Explica las relaciones entre validez, consistencia y corrección en términos de
condiciones necesarias y suficientes.
2. Explica la diferencia entre las nociones de prueba y argumento válido
3. Explica la diferencia entre argumento deductivamente válido y argumento
inductivamente fuerte.
4. Define la validez sintáctica y semántica de un argumento dentro de un sistema
5. ¿Qué significa que dos sistema formales son el mismo sistema?
6. Explica la relación que hay, a tu modo de ver, entre validez y forma lógica.
7. ¿Cuál es el argumento principal que motiva la teoría de la implicación de Anderson y
Belnap?
8. Explica la prueba de Lewis: A & ¬A  B
8.1 ¿Qué reglas de inferencia se usan en la deducción?
8.2 ¿Por qué es válido este argumento desde el punto de vista de la concepción
clásica?
9. Distingue entre los dos sentidos de “relevancia” (conexión de significado/ utilidad
derivacional). ¿Por qué A & ¬A no es relevante para B en el primero de los sentidos?
10. Explica el argumento sistemático a favor de la tesis de que la relevancia es necesaria
para la validez.
11. Explica el argumento histórico a favor de la misma tesis.
12. ¿Hay algún paso de la derivación de Lewis que creas que es erróneo? ¿Por qué?
Tema II: Forma Lógica
13. ¿Cuál es la doctrina de la lógica como forma?
14. ¿Apoya la tradición lógica occidental la doctrina? ¿Por qué?
15. ¿Cuál es el enfoque de la plantilla a favor de la doctrina?
16. Críticas a la doctrina de la lógica como forma desde la lógica y la semántica
17. Explica el enfoque sustitucional interpretativo de la validez
18. ¿A qué llama Etchemendy la “falacia de Bolzano”?
Tema III: Conectivas
19. ¿Qué significa que un conjunto de conectivas sea adecuado?
20. ¿Qué es una matriz característica de un sistema?
21. ¿Qué pretende Prior al introducir la nueva conectiva “tonk”?
22. ¿Cuál es la posición de Stevenson acerca de la crítica de “argumento analíticamente
válido”?
23. ¿Son siempre objetables las discrepancias entre los argumentos informales y sus
contrapartidas formales? ¿Por qué?
24. ¿Cuáles son las paradojas de la implicación material?
25. ¿Qué es una implicación estricta y cuáles son las paradojas de este tipo de implicación?
Artículo sobre Constantes Lógicas, de Mario Gómez Torrente:
Contestad a las siguientes cuestiones:
1. ¿por qué es relevante la identificación y la definición de las constantes lógicas para
la Filosofía de la Lógica? ¿Cuál es la relación entre este tema y el problema de la
forma lógica?
2. Explica en líneas generales cuales son las ideas básicas que están a la base de las
teorías invariantistas
3. Qué características generales tienen las posiciones inferencialistas. Pros y contras
4. Qué mantienen las teorías de corte pragmático. Pros y contras.
Tema IV: Cuantificadores
26. ¿Cuál es el status de los cuantificadores, según Frege?
27. Explica las interpretaciones objetual y sustitucional de los cuantificadores. ¿Son
equivalentes?
28. Explica los dos lemas de Quine: “Ser es ser el valor de una variable ligada” y “Ninguna
entidad sin identidad” y explica su relación con la interpretación objetual de los
cauntificadores.
29. ¿Es el cuantificador existencial ambiguo o unívoco? Argumenta a favor y en contra de
la univocidad.
30. ¿Es el predicado “existe” ambiguo en el lenguaje natural? ¿Cuál es la posición de
Quine?
31. ¿Qué problemas plantea la interpretación a la hora de expresar enunciados existenciales
negativos?
32. ¿Cúal es la crítica de Quine a la lógica modal cuantificacional?