Introducción

El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser
humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento del hombre con la naturaleza, para
comprenderla y aprovecharla. Poncairé destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos
grandes tópicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolución
Matemática, Revolución Científica, Revolución Formal y Revolución Digital además de la próxima y prevista Revolución
Lógica.

Las matemáticas y la lógica

Del año 600 a.c hasta 300 a.c se desarrollan en Grecia los principios formales de las matemáticas. Este periodo clásico lo
protagonizan Platón, Aristóteles y Euclides. Platón propone ideas o abstracciones. Aristóteles resuelve el razonamiento
deductivo y sistematizado. Euclides es el autor que establece el método axiomático. En los Elementos Euclides organiza
las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa, altamente eficaz.

Platón

Platón, 427aC - 347 a.c, propone instaurar en Siracusa una utópica república dirigida por filósofos. Crea la Academia de
Atenas que no era solo una institución filosófica, sino centro de formación política para jóvenes aristócratas. Según
algunos especialistas, Platón edifica su teoría del conocimiento con el fin de justificar el poder emergente de la figura del
filósofo. Sostiene la existencia de dos mundos -el mundo de las ideas y el de mundo físico de los objetos. Según Platón, lo
concreto se percibe en función de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. Platón
escoge el formato diálogo como forma de transmisión del pensamiento.

Aristóteles

Los tratados de lógica de Aristóteles, 384aC - 332 a.c, conocidos como Organón, contienen el primer tratado sistemático
de las leyes de pensamiento para la adquisición de conocimiento. Representan el primer intento serio que funda la lógica
como ciencia. Aristóteles no hace de la lógica una disciplina metafísica sino que establece correspondencias recíprocas
entre pensamiento lógico y estructura ontológica. El silogismo fue adoptado por los escolásticos que representan el
sistema teológico-filosófico, característico de la Edad Media. La escolástica, sin embargo, acabó por sobrecargar la teoría
del silogismo, lo que acarreó su descrédito a partir del Renacimiento. Los lógicos de la edad moderna como Ramée,
Arnauld, Nicole, Leibniz, Euler, y Lambert procuraron simplificarla al máximo, y su tratamiento matemático se completó
hasta principios del siglo XX con Boole, De Morgan, Frege y Russell. Desde entonces el silogismo se incluye en la lógica de
predicados de primer orden y en la lógica de clases, y ocupa en la ciencia lógica un papel mucho menor que en otros
tiempos.

Euclides

Matemático alejandrino autor de la universal obra, los célebres Elementos. Uno de los textos matemáticos más relevantes
de la historia del pensamiento científico hasta del siglo XIX. Los Elementos están divididos en XIII Libros y constituyen la
recopilación más exhaustiva de las matemáticas conocidas en el año 300 aC. Su valor universal lo propaga el uso riguroso
del método deductivo que distingue entre principios -definiciones, axiomas y postulados-, y teoremas, que se demuestran
a partir de los principios. A lo largo de la historia se mantuvo la sospecha de que el quinto postulado era demostrable a
partir de los anteriores. El deseo de resolver tal hipótesis ocupa hasta el siglo XIX con la construcción de las geometrías no
euclidianas y se deduce con ellas la imposibilidad de demostrar el quinto postulado.

Apolonio de Perga

La obra sobre curvas cónicas de Apolonio de Perga, «un geómetra de la época helenística-, inicialmente dirigido a
euclidianos exquisitos, se convirtió en manual para balísticos del Renacimiento como Tartaglia y, poco después, en base
inmediata de la dinámica newtoniana»4.

La ciencia matemática

Ante el retroceso de la escuela clásica de los griegos se presentan periodos de autoridad religiosa. El Renacimiento es el
inicio de una nueva revolución que revive la ciencia y las matemáticas. Los representantes más destacados son Descartes,
Newton y Leibniz. Este periodo abarca del año 1500dC al 1800 dC.
René Descartes

Filósofo y matemático francés, 1596-1650, parte de la duda universal como principio y prescinde de cualquier
conocimiento previo que no quede demostrado por la evidencia con que ha de manifestarse el espíritu. Descartes duda
de toda enseñanza recibida, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de
orden racional. Llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta
en su propio sujeto («pienso, luego existo»). Como científico, se debe a Descartes, entre otras aportaciones de
considerable importancia, la creación de la geometría analítica a la vez que aporta un corpus cuantitativo al asunto y
permite el uso de métodos algebraicos. La geometría exige ser cuantitativa para ser usada en ciencia e ingeniería, y los
métodos algebraicos permiten el desarrollo más rápido que los métodos sistemáticos -a su vez más rigurosos- requeridos
por el enfoque axiomático de la geometría clásica. Ubi dubium ibi libertas, donde hay duda hay libertad.

Isaac Newton

A Isaac Newton , 1642-1727, se le debe el descubrimiento de la gravitación universal, el desarrollo del cálculo
infinitesimal e importantes descubrimientos sobre óptica, así como las leyes que rigen la mecánica clásica que alimentaría
el nacimiento de la mecánica cuántica. Su obra fundamental, Principios matemáticos de la filosofía natural (1686).

Gottfried W. Leibniz

Filósofo y matemático alemán, 1646-1716; fundó la Academia de Ciencias de Berlín, 1700. En Discurso sobre el arte
combinatorio enuncia la necesidad de un lenguaje riguroso, exacto y universal puramente formal. Como matemático, su
principal trabajo publicado en 1684 es la memoria Nuevo método para la determinación de los máximos y los mínimos, en
la que expone las ideas fundamentales del cálculo infinitesimal, anticipándose unos años a Newton. La notación que
empleó es particularmente cómoda y se sigue utilizando con algunas modificaciones; introdujo el símbolo de integral y de
diferencial de una variable. En el área de lógica matemática publica Generales inquisitiones de analysi notionum et
veritatum y Fundamenta calculi logici .

Georg Wilhelm Friedrich Hegel

Filósofo alemán, 1770-1831; fascinado por la obra de Kant y de Rousseau. Autor de Ciencia de la lógica se le atribuye con
este trabajo la constitución de la lógica dialéctica entendida como principio motor del concepto que disuelve y produce
las particularidades de lo universal.

Nikolai I. Lobachevsky

Matemático ruso, 1792-1856; funda la Geometría No Euclidiana y renueva por ello los fundamentos que hasta ese
momento cimentaban la ciencia de la Geometría. Lobachevsky lleva a cabo su revolución en el planteamiento que hasta
entonces había utilizado la ciencia Matemática para resolver el enigma del quinto postulado de Euclides que a su vez sirve
de puerta a Lobachevsky para adentrarse en los renovados campos de lo físico y lo real.

Formalización de las Matemáticas

Esta etapa se caracteriza por el resurgimiento de la formalización rigurosa de las matemáticas, que en la etapa clásica
griega fue representativa. El uso de los infinitesimales fue una de las prácticas más notoria en la época renacentista, para
la cual no se ofrecía una justificación. La rigorización del análisis llegó con la eliminación de los infinitesimales y la
presencia de los límites como argumento. En este periodo se crea la lógica simbólica, la escuela formal, la lógica
booleana, el cálculo proposicional, la inducción matemática, el cálculo de secuentes,.... Personajes muy notables de esta
etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gödel y Whitehead. A Rusell y Gödel se deben los
planteamientos de las limitantes de la lógica y de la ciencia en general.

Guiseppe Peano

La enunciación de los principios del italiano Guiseppe Peano, 1858-1932, acerca de lógica matemática y su aplicación
práctica quedaron contenidos en su obra Formulaire de mathematiques. Los axiomas de Peano permiten definir el
conjunto de los números naturales.

David Hilbert
Matemático alemán, 1862-1943, aporta grandes avances a campos fundamentales de la relatividad y la mecánica
cuántica con la Teoría de Invariantes y el concepto de Espacio de Hilbert. A partir de las fuentes griegas de Euclides,
publica en 1899 su obra Fundamentos de Geometría, en la que formula sus principios de axiomatización de la geometría.
Según sus teorías, es necesario establecer un conjunto de postulados básicos antes de plantear de modo más detallado
cualquier tipo de problema físico o matemático. Estos principios deben ser simbólicos, sin recurrir a dibujos y
representaciones gráficas, y es necesario proveer la mayoría de las posibilidades con antelación. Su concepción reconocía
tres sistemas de entes geométricos, puntos, rectas y planos a los que pueden aplicarse axiomas distribuidos en cinco
categorías: pertenencia, orden, igualdad o congruencia, paralelismo y continuidad.

Friedrich G. Frege

Junto con Boole y Peano, el matemático y lógico Friedrich G. Frege, 1848-1925, partiendo del análisis de los fundamentos
de la matemática lleva a cabo la más profunda renovación y desarrollo de la lógica clásica hasta el momento. Es el
primero en introducir los cuantificadores u operadores y en elaborar una Teoría de la Cuantificación.

George Boole

El lógico y matemático George Boole, 1815-1864 aplica el cálculo matemático a la lógica, fundando el álgebra de la lógica.
En cierto modo realiza el sueño de Leibniz de una characteristica universalis o cálculo del raciocinio. El empleo de
símbolos y reglas operatorias adecuados permite representar conceptos, ideas y razonamientos mediante variables y
relaciones (ecuaciones) entre ellas. Boole dio un método general para formalizar la inferencia deductiva, representando
complicados raciocinios mediante sencillos sistemas de ecuaciones. Así, la conclusión de un silogismo se encuentra
eliminando el término medio de un sistema de tres ecuaciones, conforme a las reglas del álgebra común, La formalización
de la lógica, iniciada por Boole, ha contribuido poderosamente a aclarar la estructura de los objetos lógicos, en
contraposición a los materiales y aun en contraposición a los matemáticos, pese a las analogías formales entre la
matemática y la lógica, que Boole señaló. Su obra principal es Investigación de las leyes del pensamiento en las que se
fundan las teorías matemáticas de la lógica y la probabilidad, 1854, que aún hoy se lee con deleite.

Augustus De Morgan

La mayor contribución de Augustus De Morgan (1806-1871) en el estudio de la lógica incluye la formulación de las Leyes
de Morgan y su trabajo fundamenta la teoría del desarrollo de las relaciones y la matemática simbólica moderna o lógica
matemática. De Morgan es autor de la mayor contribución como reformador de la lógica.

Georg F. Cantor

Al matemático alemán Georg F. Cantor, 1845-1918, se debe la idea del infinito continuo, es decir, la posibilidad de
considerar conjuntos infinitos dados simultáneamente. Se le considera el creador de la teoría de los números irracionales
y de los conjuntos.

Gentzen

El alemán Gentzen (1909-1945) formuló la prueba de la consistencia de un sistema de aritmética clásica en el cual el
método no elemental es una extensión de inducción matemática a partir de una secuencia de números naturales a un
cierto segmento de números ordinales transfinitos.

Bertrand Rusell

Bertrand Rusell (1872-1970) es uno de los creadores de la logística y uno de los pensadores de mayor influencia en la
filosofía científica contemporánea. Lo fundamental en su obra es su aportación a la lógica. Antiaristotélico por excelencia
llegó a afirmar que para iniciarse en lógica lo básico era no estudiar la lógica de Aristóteles. Conociendo los trabajos de
Cantor descubre en la Teoría de Conjuntos varias paradojas que resuelve mediante la Teoría de los Tipos. Años más tarde
establece una teoría similar, -la de la jerarquía de los lenguajes- para eliminar las paradojas semánticas. Siguiendo además
de los trabajos de Cantor, a Peano y Frege, Rusell se propone fundamentar y axiomatizar la matemática a partir de
conceptos lógicos. Este empeño culmina con la publicación (1910-1913) de los monumentales Principia Mathematica -en
colaboración con Whitehead-, obra que, además, sienta las bases de la moderna lógica formal.

Kurt Gödel
Kurt Gödel (1906-1978) aporta múltiples contribuciones a la lógica matemática, destacando la demostración de la
consistencia de la hipótesis cantoriana del continuo y el teorema y prueba de incompletez semántica. En Sobre las
proposiciones indecidibles de los sistemas de matemática formal establece que es imposible construir un sistema de
cálculo lógico suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del sistema. Con
este teorema se demostró definitivamente que era imposible llevar a cabo el programa de la axiomatización completa de
la matemática propugnado por Hilbert y otros, ya que, según él, no puede existir una sistematización coherente de la
misma tal que todo enunciado matemático verdadero admita demostración. Siempre habrá enunciados que no son
demostrables ni refutables. Para probar esta aserción se sirvió de la matematización de la sintaxis lógica.

La Revolución Digital

Esta revolución se inicia con la invención de la computadora digital y el acceso universal a las redes de alta velocidad.
Turing relaciona lógica y computación antes que cualquier computadora procese datos. Weiner funda la ciencia de la
Cibernética. En las Escuelas modernas de Computación están presentes Lógicos que han permitido avances importantes
como Hoare que presenta un sistema axiomático de los sistemas de programación y Dijkstra con un sistema de
verificación y deducción de programas a partir de especificaciones.

Alan Turing

Matemático y Lógico pionero en Teoría de la Computación que contribuye a importantes análisis lógicos de los procesos
computacionales. Las especificaciones para la computadora abstracta que él idea -conocida como Máquina de Turing-,
resulta ser una de sus más importantes contribuciones a la Teoría de la Computación. Turing además prueba que es
posible construir una máquina universal con una programación adecuada capaz de hacer el trabajo de cualquier máquina
diseñada para resolver problemas específicos. La Máquina de Turing es un intento para determinar si la matemática se
puede reducir a algún tipo simple de computación. Su objetivo fue desarrollar la máquina más simple posible capaz de
realizar computación. La máquina propuesta por Turing es un dispositivo relativamente simple, pero capaz de realizar
cualquier operación matemática. Turing se ilusionó con la idea de que su máquina podía realizar cualquier proceso del
cerebro humano, inclusive la capacidad de producir conciencia de uno mismo.

Norbert Weiner

El científico norteaméricano Norbert Weiner (1894-1964) en 1947 publica su libro más famoso: Cibernética, o control y
comunicación en el animal y la máquina; en donde se utiliza por primera vez la palabra Cibernética. Existen muchas
definiciones de Cibernética -del griego kybernetes, piloto-, y Norbert Weiner da vida a la palabra con una definición
simple: La Cibernética es la ciencia que estudia la traducción de procesos biológicos a procesos que reproduce una
máquina. Desde los inicios la Cibernética se relaciona directamente con ciencias como Neurología, Biología, Biosociología,
Robótica e Inteligencia Artificial.

Luitzen Egbertus Jan Brouwer

Matemático y lógico alemán (1881-1966) conocido como LEJ Brouwer y fundador de la escuela de la Lógica intuicionista
contrarrestando definitivamente el formalismo de Hilbert. Miembro del Significs Group son significativos sus trabajos Life,
Art and Mysticism (1905) y Sobre la infiabilidad de los principios lógicos.

Alfred Tarski

Matemático y lógico y filósofo polaco (1902-1983). Emérito profesor de la University of California, Berkeley, realiza
importantes estudios sobre álgebra en general, teoría de mediciones, lógica matemática, teoría de conjuntos, y
metamatemáticas. El trabajo de Tarski incluye respuestas a la paradoja de Banach-Tarski, el teorema de la indefinibilidad
de la verdad, las nociones de cardinal, ordinal, relación y es inductor de las álgebras cilíndricas.

Benoit Mandelbrot

El gran impulsor de la matemática contemporánea y pionero de la geometría fractal a quien la computación pura revela la
moderna Geometría de la Naturaleza. Fractal y geometría fractal son el corpus principal de sus investigaciones además de
los sistemas irreversibles. A la práctica totalidad de disciplinas se aplican hoy sus principios dando por sentado
paradigmas como la Teoría del Caos que a finales del siglo XX ya contemplaba el estudio de sistemas dinámicos,
irreversibles, caóticos.
La siguiente revolución lógica

La siguiente Revolución Lógica incorpora la fusión entre matemáticas y computación. Las computadoras tienden a
explorar datos inteligentemente transfiriendo información de las bases de datos a las bases de conocimiento
interconectadas a través de la Red a escala infinitesimal.

La lógica evoluciona pues como un gen hacia la culminación del conocimiento libre que nace del rigor formal de la
Matemática griega; emerge renovadamente de etapas de persecución tan oscuras como la Edad Media y otros intentos
más recientes; hasta el intercambio constante y continuo de datos en la moderna era de estructura de redes que Internet
proporciona a modo neuronal a la Humanidad.

Historia de la lógica
La historia de la lógica documenta el desarrollo de la lógica en varias culturas y tradiciones a lo largo de la historia.
Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya
implícito en Babilonia en algún sentido, la lógica como análisis explícito de los métodos de razonamiento ha recibido un
tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.

Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lógica emergiese
en las tres sociedades hacia el siglo IV a. C .El tratamiento formalmente sofisticado de la lógica proviene de la tradición
griega, especialmente del Organon aristotélico, cuyos logros serían desarrollados por los lógicos islámicos y, luego, por los
lógicos de la Edad Media europea. El descubrimiento de la lógica india entre los especialistas británicos en
el siglo XVIII influyó también en la lógica moderna.

La historia de la lógica es producto de la confluencia de cuatro líneas de pensamiento, que aparecen en momentos
históricos diferentes:

 La lógica antigua, obra de Aristóteles, los megáricos y los estoicos.

 La idea de un lenguaje único, completo y exacto para razonar, sueño al que aspiraban Ramón Llull y Leibniz.

 Los progresos en álgebra y geometría al comienzo del siglo XIX, y el desarrollo de un cálculo completo, obra
de Frege.

 Ya en el siglo XX, Bertrand Russell y Whitehead culminaron el proceso de creación de la lógica. A partir de este
momento no cesarán de producirse nuevos desarrollos y de nacer escuelas y tendencias.

Edad Antigua
La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló originalmente en tres civilizaciones de
la historia antigua: China, India y Grecia, entre el siglo V y el siglo I a. C.

Mesopotamia

En Mesopotamia, el Manual de diagnóstico médico de Esagil-kin-apli, escrito en el siglo XI a. C., se basó en un conjunto
lógico de axiomas y asunciones, entre las que se incluyen la visión moderna de que, a través del examen e inspección de
los síntomas de un paciente, es posible determinar el problema del mismo, su etiología y su desarrollo futuro, y las
posibilidades de recuperación.

Durante los siglos VII y VIII, los astrónomos babilonios empezaron a utilizar una lógica interna en sus sistemas de
predicción planetaria que fue una importante contribución a la lógica y la filosofía de la ciencia. El pensamiento babilónico
tuvo una considerable influencia en el pensamiento de la Grecia arcaica.

Antigua Grecia
En la Antigua Grecia, emergieron dos tradiciones lógicas opuestas. La lógica estoica estaba enraizada en Euclides de
Megara, pupilo de Sócrates, y con su concentración en la lógica proposicional es la que quizás esté más próxima a la lógica
moderna. Sin embargo, la tradición que sobrevivió a las influencias de culturas posteriores fue la peripatética, que tuvo su
origen en el conjunto de obras de Aristóteles conocido como Organon (instrumento), la primera obra griega sistemática
sobre lógica. El examen de Aristóteles del silogismo permite interesantes comparaciones con el esquema indio de la
inferencia y la menos rígida discusión china.

Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias.
Aristóteles fue el primero en formalizar los razonamientos, utilizando letras para representar términos. También fue el
primero en emplear el término «lógica» para referirse al estudio de los argumentos dentro del «lenguaje apofántico»
como manifestador de la verdad en la ciencia. Sostuvo que la verdad se manifiesta en el juicio verdadero y el
argumento válido en el silogismo: «Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta
necesariamente de ellas, por ser lo que son, otra cosa diferente». Se refirió en varios escritos de su Órganon a cuestiones
tales como concepto, proposición, definición, prueba y falacia. En su principal obra lógica, los Primeros analíticos,
desarrolló el silogismo, un sistema lógico de estructura rígida. Aristóteles también formalizó el cuadro de oposición de los
juicios y categorizó las formas válidas del silogismo. Además, Aristóteles reconoció y estudió los argumentos inductivos,
base de lo que constituye la ciencia experimental, cuya lógica está estrechamente ligada al método científico. La
influencia de los logros de Aristóteles fue tan grande que en el siglo XVIII Immanuel Kant llegó a decir que Aristóteles
había prácticamente completado la ciencia de la lógica.

En Europa, Aristóteles fue el primero en desarrollar la lógica. La lógica aristotélica fue ampliamente aceptada en ciencias y
matemáticas y permaneció en uso amplio en Occidente hasta principios del siglo XIX. El sistema de lógica de Aristóteles
fue responsable de la introducción del silogismo hipotético, de la lógica modal temporal, de la lógica inductiva, así como
de términos influyentes tales como términos, predicables, silogismos y proposiciones. En Europa durante el último
período de la época medieval, se hicieron grandes esfuerzos para demostrar que las ideas de Aristóteles eran compatibles
con la fe cristiana. Durante la Alta Edad Media, la lógica se convirtió en el foco principal de los filósofos, que participarían
en análisis lógicos críticos de los argumentos filosóficos, a menudo utilizando variaciones de la metodología del
escolasticismo. En 1323, William de Ockham influyente Summa Logicae fue publicado. En el siglo XVIII, el enfoque
estructurado de los argumentos había degenerado y había caído en desgracia, como se muestra en el juego satírico de
Holberg Erasmus Montanus.

Los filósofos estoicos introdujeron el silogismo hipotético y anunciaron la lógica proposicional, pero no tuvo mucho
desarrollo.

Por otro lado, la lógica informal fue cultivada por la retórica, la oratoria y la filosofía, entre otras ramas del conocimiento.
Estos estudios se centraron principalmente en la identificación de falacias y paradojas, así como en la construcción
correcta de los discursos.

En el periodo romano la lógica tuvo poco desarrollo, más bien se hicieron sumarios y comentarios a las obras recibidas,
siendo los más notables: Cicerón, Porfirio y Boecio. En el período bizantino, Filopón.

Hasta el siglo XIX, la lógica aristotélica y estóica mantuvo siempre una relación con los argumentos formulados
en lenguaje natural. Por eso aunque eran formales, no eran formalistas. Hoy esa relación se trata bajo un punto de vista
completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que
hoy se interpreta como una parte pequeña de la lógica de clases.

A través del latín en Europa occidental y de distintas lenguas orientales como el árabe, armenio y georgiano, la tradición
aristotélica fue considerada de forma especial para la codificación de las leyes del razonamiento. Solo a partir del siglo
XIX cambió este enfoque.

Antigua India

Dos de las seis escuelas indias de pensamiento están relacionadas con la lógica: Nyāya y Vaisheshika. Los Nyaya
Sutras de Aksapada Gautama constituyen el núcleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de
filosofía hindú. Esta escuela realista trabajó con un rígido esquema de inferencia de cinco miembros que engloba una
premisa inicial, una razón, un ejemplo, una aplicación y una conclusión. La filosofía budista idealista se convirtió en la
principal oponente de los Naiyayikas. Nāgārjuna, el fundador del camino intermedio Madhyamika, desarrolló un análisis
conocido como "catuskoti" o tetralemma. Esta argumentación de cuatro aspectos examinó y rechazó sistemáticamente la
afirmación de una proposición, su negación, la afirmación conjunta y negación, y finalmente, el rechazo de su afirmación
y negación. Pero fue con Dignāga y su sucesor Dharmakirti con quienes la lógica budista alcanzó su mayor altura. Su
análisis, centrado en la definición de la implicación necesariamente lógica, "vyapti", conocida también como
concomitancia o penetración invariable. A este fin, fue desarrollada una doctrina conocida como "apoha" o
diferenciación. Comprende lo que se podría llamar la inclusión y exclusión de propiedades definitorias. Las dificultades
concernientes a esta empresa, en parte, estimularon a la escuela neoescolástica de Navya-Nyāya, que introdujo un
análisis formal de la inferencia en el siglo XVI.

En la India, las innovaciones en la escuela escolástica, llamado Nyaya, continuaron desde la antigüedad hasta principios
del siglo XVIII con la escuela Navya-Nyaya. Hacia el siglo XVI se desarrollaron teorías semejantes a la lógica moderna,
como "la distinción entre sentido y referencia de nombres propios" de Gottlob Frege y su "definición de número", así
como la teoría de "condiciones restrictivas para universales" anticipando algunas de las Desarrollos en la teoría de
conjuntos modernos. Desde 1824, la lógica india atrajo la atención de muchos estudiantes occidentales y ha influido en
importantes lógicos del siglo XIX como Charles Babbage, Augustus De Morgan y George Boole. En el siglo XX, filósofos
occidentales como Stanislaw Schayer y Klaus Glashoff han investigado la lógica india más ampliamente.

Antigua China

En China, un contemporáneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista
(mohísmo), cuyos principios están relacionados con temas como la inferencia válida y las condiciones de las conclusiones
correctas. En particular, una de las escuelas que siguieron al mohísmo, los lógicos, es considerada por varios expertos
como la primera que investigó la lógica formal. Desafortunadamente, debido a la rígida normativa legal durante
la dinastía Qin, esa línea de investigación desapareció de China hasta la introducción de la filosofía india por parte
del budismo. La traducción y la investigación escolar en lógica fue reprimida por la dinastía Qin, acorde con la
filosofía legista. En India, la lógica duró bastante más: se desarrolló (por ejemplo con la nyāya) hasta que en el mundo
islámico apareció la escuela de Asharite, la cual suprimió parte del trabajo original en lógica. A pesar de lo anterior, hubo
innovaciones escolásticas indias hasta principios del siglo XIX, pero no sobrevivió mucho dentro de la India colonial. El
tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la tradición griega.

El filósofo lógico chino Gong Sunlong (325-250 a. C.) propuso la paradoja "Uno y uno no pueden ser dos, ya que ninguno
se convierte en dos." [24] En China, la tradición de la investigación académica en la lógica, sin embargo, fue reprimida por
La dinastía Qin siguiendo la filosofía legalista de Han Feizi.

Edad Media

Con el nombre de dialéctica en la Edad Media la lógica mantiene la condición de ciencia propedéutica. Así se estudia en la
estructura de las enseñanzas del Trivium como una de las artes liberales pero sin especiales aportaciones en la Alta Edad
Media.

En su evolución hacia la Baja Edad Media son importantes los aportes árabes de Al-Farabi, Avicena y Averroes, pues
fueron los árabes quienes reintrodujeron los escritos de Aristóteles en Europa. En la Baja Edad Media su estudio era
requisito para entrar en cualquier universidad. Desde mediados del siglo XIII se incluyen en la lógica tres cuerpos
separados del texto. En la logica vetus y logica nova es tradicional escritos lógicos, especialmente el Órganon de
Aristóteles y los comentarios de Boecio y Porfirio. La parva logicalia puede ser considerada como representativa de la
lógica medieval.

La evolución crítica que se va desarrollando a partir de las aportaciones de Abelardo dinamizaron la problemática lógica y
epistemológica a partir del siglo XIII (Pedro Hispano, Raimundo Lulio Lambert de Auxerre, Guillermo de Sherwood) que
culminaron en toda la problemática del siglo XIV: Guillermo de Ockham, Jean Buridan, Alberto de Sajonia.

Aquí están tratados una cantidad de nuevos problemas en la frontera de la lógica y la semántica que no fueron tratados
por los pensadores antiguos. De especial relevancia es la problemática respecto a la valoración de los términos del
lenguaje en relación con los conceptos universales, así como el estatuto epistemológico y ontológico de éstos y el
problema de la individuación.

Mundo islámico
Durante un tiempo tras la muerte de Mahoma, la ley islámica consideró importante formular estándares para los
argumentos, lo que dio lugar a una nueva aproximación a la lógica en Kalam, pero esta aproximación fue más tarde
desplazada por ideas tomadas de la filosofía griega y helenística con el auge de los filósofos de la escuela Mu'tazili, que
valoraron extraordinariamente el Organon de Aristóteles. Las obras de los filósofos islámicos con influencias helenísticas
fueron cruciales para la recepción de la lógica aristótelica en la Europa medieval, junto con los comentarios sobre
el Organon elaborados por Averroes. Las obras de al-Farabi, Avicena, al-Ghazali y otros lógicos musulmanes que en
ocasiones criticaron y corrigieron la lógica aristotélica e introdujeron sus propias formas de lógica, también
desempeñaron un papel central en el subsecuente desarrollo de la lógica europea medieval.

La lógica islámica no solo incluye el estudio de modelos formales de inferencia y su validación, sino también elementos de
la filosofía del lenguaje y elementos de epistemología y metafísica. Debido a disputas con gramáticos árabes, los filósofos
islámicos estuvieron muy interesados en trabajar en el estudio de las relaciones entre lógica y lenguaje, y dedicaron
muchas discusiones a la cuestión del objeto de interés y objetivos de la lógica en relación con el razonamiento y el habla.
En el área del análisis lógico-formal, elaboraron la teoría de los términos, proposiciones y silogismos. Consideraron el
silogismo como la forma a la que toda argumentación racional podía reducirse, y consideraron la teoría silogística como el
punto central de la lógica. Incluso, la poética fue considerada, en ciertos aspectos, como un arte silogístico por muchos de
los más importantes lógicos islámicos.

Entre los más importantes desarrollos realizados por los lógicos musulmanes está el de la lógica de Avicena como
sustituta de la lógica aristotélica. El sistema lógico de Avicena fue responsable de la introducción del silogismo hipotético,
de la lógica modo-temporal, y de la lógica inductiva. Otro importante desarrollo en la filosofía islámica es el de una
estricta ciencia de la cita, la isnad o "revisión", y el desarrollo de un método científico de investigación abierta para poner
en cuestión determinadas afirmaciones, la ijtihad, que podía aplicarse normalmente a muchos tipos de cuestiones. Desde
el siglo XII, a pesar de la sofisticación lógica de al-Ghazali, el auge de la escuela Asharite al final de la Edad Media limitó
poco a poco la obra original sobre lógica en el mundo islámico, aunque continuó posteriormente en el siglo XV.

Europa medieval

Se entiende habitualmente por "lógica medieval" (también conocida como "lógica escolástica") la forma de la lógica
aristotélica desarrollada en la Europa medieval en el periodo de c 1200–1600. Esta tarea comenzó tras las traducciones al
latín del siglo XII, cuando textos árabes sobre lógica aristotélica y la lógica de Avicena fueron traducidos a la lengua de
Roma. Aunque la lógica de Avicena tuvo influencia en los primeros lógicos medievales europeos tales como Alberto
Magno, la tradición aristotélica se convirtió en la dominante debido a la importante influencia del averroísmo.

Tras la fase inicial de traducciones, la tradición de la lógica medieval fue desarrollada en manuales como el de Petrus
Hispanus (fl. siglo XIII), de identidad desconocida, que fue autor de un manual estándar sobre lógica, el Tractatus, que fue
bien conocido en Europa durante varios siglos.

La tradición alcanzó su punto más alto en el siglo XIV, con las obras de Guillermo de Ockham (c. 1287–1347) y Jean
Buridan.

Un rasgo del desarrollo de la lógica aristotélica se conoce con el nombre de teoría de la suposición, un estudio de la
semántica de los términos de la proposición.

Las últimas grandes obras de esta tradición son Logic de John Poinsot (1589–1644, conocido como John of St Thomas),
y Disputaciones metafísicas de Francisco Suárez (1548–1617).

Edad Moderna

Esta lógica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port Royal, en el siglo XVII, (Antoine
Arnauld; Pierre Nicole) pero tampoco supusieron un cambio radical en el concepto de la Lógica como ciencia.

Los filósofos racionalistas, sin embargo, aportaron a través del desarrollo del análisis y su desarrollo en las matemáticas
(Descartes, Pascal y Leibniz) los temas que van a marcar el desarrollo posterior. Son de especial importancia la idea de
Descartes de una Mathesis universalis y de Leibniz en la búsqueda de un lenguaje universal, especificado con precisión
matemática sobre la base de que la sintaxis de las palabras debería estar en correspondencia con
las entidades designadas como individuos o elementos metafísicos, lo que haría posible
un cálculo o computación mediante algoritmo en el descubrimiento de la verdad.
Aparecen los primeros intentos y realizaciones de máquinas de cálculo, (Pascal, Leibniz) y, aunque su desarrollo no fue
eficaz, sin embargo la idea de una Mathesis Universal o «Característica Universal», es el antecedente inmediato del
desarrollo de la lógica a partir del siglo XX.

Kant consideraba que la lógica por ser una ciencia a priori había encontrado su pleno desarrollo prácticamente con la
lógica aristotélica, por lo que apenas había sido modificada desde entonces.

Pero hace un uso nuevo de la palabra «lógica» como lógica trascendental, en el sentido de investigar los conceptos
puros del entendimiento o categorías trascendentales.

La lógica del pensar trascendental acaba situándose en un proceso dialéctico como idealismo
subjetivo en Fichte; idealismo objetivo en Schelling y, finalmente un idealismo absoluto en

Hegel considera la lógica dentro del Absoluto como un proceso dialéctico del Espíritu Absoluto que produce sus
determinaciones como concepto y su realidad como resultado en el devenir de la Idea del Absoluto como Sujeto cuya
verdad se manifiesta en el resultado del movimiento mediante la contradicción en tres momentos sucesivos, tesis-
antítesis-síntesis. La epistemología y la ontología van unidas y expuestas en la Filosofía entendida ésta como Sistema
Absoluto.

Edad Contemporánea (1860-1900)

Históricamente, Descartes puede que haya sido el primer filósofo en haber tenido la idea de usar el álgebra,
especialmente sus técnicas para resolver cantidades desconocidas en las ecuaciones, como vehículo para la exploración
científica. La idea de un cálculo de razonamiento fue también cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el
primero en formular la noción de un sistema de lógica matemática aplicable de forma generalizada. Sin embargo, los
documentos relevantes al respecto no fueron publicados hasta 1901 y muchos de ellos siguen sin estar publicados, y la
actual comprensión del poder de los descubrimientos de Leibniz no empezó a desarrollarse hasta los años ochenta.

Gottlob Frege en su Begriffsschrift (1879) extendió la lógica formal más allá de la lógica proposicional para incluir
constructores como "todo" y "algunos". Mostró cómo introducir variables y cuantificadores para revelar la estructura
lógica de las oraciones, que podría estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son
mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notación
dimensional de Frege hizo que su obra fuese ignorada durante muchos años.

En un magistral artículo de 1885 leído por Peano, Ernst Schröder y otros, Charles Peirce introdujo el término "Lógica de
segundo orden" proporcionando la mayor parte de la moderna notación lógica, incluyendo los símbolos prefijados para la
cuantificación universal y existencial. Los lógicos de finales del siglo XIX y de comienzos del XX estuvieron más
familiarizados con el sistema lógico de Peirce-Schröder, aunque generalmente se reconoce que Frege es el Padre de la
lógica moderna.

En 1889, Giuseppe Peano publicó la primera versión de la axiomatización lógica de la aritmética. Cinco de los nueve
axiomas son conocidos como axiomas de Peano. Uno de estos axiomas fue una formalización del principio de la inducción
matemática.

Siglo XIX

A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada profundamente. En 1847, George Boole publicó un
breve tratado titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes del
pensamiento. La idea de Boole fue construir a la lógica como un cálculo en el que los valores de verdad se representan
mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemáticas como la suma y
la multiplicación.

Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lógica formal, donde introduce las leyes de De Morgan e
intenta generalizar la noción de silogismo. Otro importante contribuyente inglés fue John Venn, quien en 1881 publicó su
libro Lógica Simbólica, donde introdujo los famosos diagramas de Venn.

Charles Sanders Peirce y Ernst Schröder también hicieron importantes contribuciones.

Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege, quien frecuentemente es
considerado como el lógico más importante de la historia, junto con Aristóteles. En su trabajo de 1879, la Conceptografía,
Frege ofrece por primera vez un sistema completo de lógica de predicados. También desarrolla la idea de un lenguaje
formal y define la noción de prueba. Estas ideas constituyeron una base teórica fundamental para el desarrollo de
las computadoras y las ciencias de la computación, entre otras cosas. Pese a esto, los contemporáneos de Frege pasaron
por alto sus contribuciones, probablemente a causa de la complicada notación que desarrolló el autor. En 1893 y 1903,
Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta deducir toda la matemática a partir de la lógica,
en lo que se conoce como el proyecto logicista. Su sistema, sin embargo, contenía una contradicción (la paradoja de
Russell).

Siglo XX

El siglo XX sería uno de enormes desarrollos en lógica. A partir del siglo XX, la lógica pasó a estudiarse por su interés
intrínseco, y no sólo por sus virtudes como propedéuticas, por lo que estudió a niveles mucho más abstractos.

En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que
logran gran parte de la matemática a partir de la lógica, evitando caer en las paradojas en las que cayó Frege. Los autores
reconocen el mérito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia mathematica tuvo un éxito
rotundo, y llegó a considerarse uno de los trabajos de no ficción más importantes e influyentes de todo el siglo XX.
Principia mathematica utiliza una notación inspirada en la de Giuseppe Peano, parte de la cual todavía es muy utilizada
hoy en día.

Si bien a la luz de los sistemas contemporáneos la lógica aristotélica puede parecer equivocada e incompleta, Jan
Łukasiewicz mostró que, a pesar de sus grandes dificultades, la lógica aristotélica era consistente, si bien había que
interpretarse como lógica de clases, lo cual no es pequeña modificación. Por ello la silogística prácticamente no tiene uso
actualmente.

Además de la lógica proposicional y la lógica de predicados, el siglo XX vio el desarrollo de muchos otros sistemas lógicos;
entre los que destacan las muchas lógicas modales.