LOGICA

Filosofía de la lógica
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ógicos. Algunas preguntas fundamentales que plantea son:¿Hay una única "verdad" lógica, o hay muchas igualmente correctas?
¿Es posible que haya desacuerdos acerca de si un principio lógico (como la ley del medio excluido) es correcta?
¿Qué hace a unaexpresión una constante lógica?
¿Cuáles son las definiciones adecuadas de consecuencia lógica, cuantificación y otros conceptos lógicos?
¿Cuál es el alcance de la lógica?; por ejemplo, ¿envuelve a lasmatemáticas?
¿Es realmente lógica la lógica de segundo orden?
¿Es la lógica un problema de convención?
¿Es la lógica empírica?
¿Cuál es la naturaleza de la necesidad lógica?
La filosofía de lalógica es a menudo confundida con la lógica filosófica, que es la aplicación de técnicas formales lógicas a los problemas filosóficos. Varios filósofos han hecho importantes contribuciones a ambos campos.Hay un cierto solapamiento entre la filosofía de la lógica, la lógica filosófica, la filosofía del lenguaje, la epistemología y la metafísica.
Historia de la filosofía [editar]

Entre los muchosaportes que hizo Aristóteles al conocimiento abstracto, sin duda la lógica formal - de la que fue indiscutiblemente creador - no solamente puede considerarse el más trascendental, sino aquel en quelogró mejores y mayores aciertos. La principal aportación de Aristóteles fue la silogística, el estudio del procedimiento de raciocinio por medio del silogismo, en que de dos premisas se deduce unaconclusión; también llamada lógica de las proposiciones o lógica “clásica”. Los filósofos ulteriores, sobre todo los pertenecientes a la escuela estoica pre-cristiana y a la escolástica medievaldesarrollaron a fondo la lógica de las proposiciones; sistematizando y completando la silogística aristotélica así como llegaron a desarrollar las llamadas “lógicas modales”.
El filósofo y matemático...