1. La lógica de la antigua Grecia: representada por la lógica proposicional de Aristóteles y los estoicos.
2. Hui Shi, Gongsun Long, Zhai Mo y sus investigaciones posteriores.
3. Budismo indio antiguo: técnica de debate india, que es el nombre propio de la lógica budista.
La lógica tiene una larga e ilustre historia, que se remonta al menos a Aristóteles.
La lógica deductiva formal moderna, que consta de proposiciones unificadas y cálculo de predicados, se originó a partir de Boole, Frege, Peirce y Russell.
La lógica formal ha realizado innumerables avances, incluidas pruebas de resultados metalógicos relacionados con la coherencia, integridad, confiabilidad y decidibilidad de los sistemas lógicos;
Proposiciones y predicados estándar Extensiones modales y morales del cálculo ;
Modificaciones intuitivas, multivaluadas, basadas en la coherencia, paracoherentes y de otro tipo a estos sistemas estándar;
Y extendiendo los beneficios de la formalización a los esfuerzos de razonamiento inductivo.
La lógica matemática, que alguna vez se refería simplemente a la teoría de todos los buenos métodos de razonamiento, ahora se usa a menudo en un sentido más estricto para referirse a la lógica de los números formales.
La lógica clásica; ahora generalmente se refiere, por ejemplo, al sistema Reg-Pierce-Russell.
En el discurso filosófico contemporáneo, filosofía de la lógica se utiliza para referirse a los fundamentos filosóficos y muchas ramas de la lógica, incluidas discusiones sobre diferentes formas de determinar y delinear el alcance de la lógica;
Fundamentos de la lógica Argumento sobre el tema, incluyendo su relación con la metafísica, la teoría del significado y la psicología del razonamiento;
Análisis de algunos conceptos como razonamiento, cuantificación, significado, verdad, validez, herencia lógica, verdad lógica, implicación , etc.; y esfuerzos por resolver las paradojas semánticas formadas por la familia Liar Paradox.
Las innovaciones lógicas surgen de la idea de que las matemáticas se basan en la lógica; y desde el principio, estas personas se han interesado por la lógica moderna. Eran intuicionistas, formalistas y logicistas, interesados en problemas fundamentales de las matemáticas.
La lógica moderna y la filosofía lógica benefician no sólo a los filósofos y filósofas, sino también a los expertos en muchos otros campos, incluidos la lingüística, la psicología, el razonamiento jurídico y la teoría informática.