La Filosofía de la Lógica
Ejercicios
La filosofía de la lógica es la rama de la filosofía que trata de la naturaleza y la justificación de los sistemas lógica|lógicos. Algunas preguntas fundamentales que plantea son:
Cuestiones de Filosofía de la Lógica I María J. Frápolli Sanz
- ¿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?
- 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
- Explica las relaciones entre validez, consistencia y corrección en términos de condiciones necesarias y suficientes.
- Explica la diferencia entre las nociones de prueba y argumento válido
- Explica la diferencia entre argumento deductivamente válido y argumento inductivamente fuerte.
- Define la validez sintáctica y semántica de un argumento dentro de un sistema
- ¿Qué significa que dos sistema formales son el mismo sistema?
- Explica la relación que hay, a tu modo de ver, entre validez y forma lógica.
- ¿Cuál es el argumento principal que motiva la teoría de la implicación de Anderson y Belnap?
- Explica la prueba de Lewis: A & ¬A B
** ¿Qué reglas de inferencia se usan en la deducción? **¿Por qué es válido este argumento desde el punto de vista de la concepción clásica?
- 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?
- Explica el argumento sistemático a favor de la tesis de que la relevancia es necesaria para la validez.
- Explica el argumento histórico a favor de la misma tesis.
- ¿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?
