Introduccion a la filosofia de la logica

Introducción a la Filosofía de la Lógica.
Amparo Díez Martínez. ♪♫
Introducción.
* *Teoría de la validez formal de algunos argumentos, una teoría de la relación de consecuencia entre conjuntos de enunciados.
* Las teorías de la corrección de la argumentación inductiva son dependientes de alguna teoría de la probabilidad
1. ¿por qué decidimos que es válida una inferencia?
2.¿Qué relación hay entre la corrección intuitiva de un argumento deductivo y la corrección lógica de su contrapartida formal?
3. ¿Qué es una forma lógica?
4. ¿Son las reglas del cálculo normativas o descriptivas?
5. ¿Qué es una identidad?
6. ¿Cuáles son los compromisos ontológicos del cálculo?
7. ¿Qué relaciones hay entre las nociones de posibilidad, necesidad e imposibilidad?
8.¿Qué parte de la teoría del lenguaje formal se podría aplicar también a los lenguajes naturales?
9. ¿Cuáles son las principales categorías gramaticales, semánticas y ontológicas?
10. ¿Cuáles son las expresiones lógicas y cuál es su significado?
11. ¿Cuál es la forma lógica de una descripción definida?
12. ¿Cuáles son sus condiciones de uso?
13. ¿Qué propiedades lógicas seaplican a enunciados?
14. ¿Cuáles a esquemas enunciativos o fórmulas?
15. ¿Cuáles a conjuntos de enunciados y conjuntos de esquemas enunciativos?
16. ¿Cuáles a esquemas argumentativos?
17. ¿Qué son las verdades lógicas?
18. ¿Son necesarias?
19. ¿Es la verdad la noción central de la lógica?
20. ¿Definimos la derivación en términos de verdad y validez o podemos caracterizaruna lógica como un cálculo, especificando reglas de inferencia, sin hacer uso de ninguna noción semántica?
21. ¿Es la lógica un cálculo de consecuencias sintácticas o una axiomática de verdades?
22. ¿Regula la prueba lo que tomamos como verdadero o regula la verdad lo que aceptamos como prueba?

* Una (realista) basada en nociones semánticas como la de verdad y la otra (antirrealista)basada en nociones sintácticas como la de prueba.
* ¿Qué entendemos por validez? ¿Qué significa ese “no es posible que”?
* ¿Es la lógica bivalente la lógica correcta?
Una lógica es un sistema deductivo con ciertas propiedades meta-teóricas: consistencia, completud, corrección, compacidad o finitud, decidibilidad, Löwenheim-Skolem.
* Parece que no podemos decidir qué es una constantelógica.

Más allá de este libro.
1. Realismo Platónico: sí, hay o habrá una única lógica, que es la lógica genuina. El lógico no crea, sino que descubre el universo lógico y sus leyes. Reconocer y seguir las leyes lógicas es signo de racionalidad.
2.1. Conservador: la lógica correcta es la lógica clásica.
2.2. Revisionista: la lógica correcta es una lógica no-clásica.
2.Relativismo: no hay ni habrá una única lógica correcta, sino que son posibles distintas lógicas igualmente correctas o aceptables. Las verdades lógicas sólo expresan convenciones lingüísticas. Una verdad (lógica o empírica) es reducible a una convención sobre el uso de los signos.

Introducción a la Filosofía de la Lógica.
I. Verdad y Portadores de Verdad.
Amparo Díez Martínez

1.- ¿Dequé tipo de entidades predicamos la verdad?
Primero se parte del lenguaje natural para encontrar qué tipo de oraciones son las que maneja la lógica formal, qué tipo de lenguaje utiliza ésta y en dónde se sitúa o diferencia del coloquial.
Pasando por el común de las oraciones, se detiene el análisis en las enunciaciones afirmativas, que son las que tienen pretensión de verdad. Dentro de éstas lashay algunas que no mantienen una referencia precisa y la lógica entonces necesita de Enunciados que no contienen términos vagos o no referenciales; Pensamientos Completos Afirmados o Proposicionales.
Una vez especificado qué es una proposición en contraposición de nada más un término vago y meramente lingüístico sin particularidad; Se problematiza acerca de cuál es el papel entonces de la...