Siglo XIX[editar]

Previamente ya se hicieron algunos intentos de tratar las operaciones lgicas formales de una
manera simblica por parte de algunos filsofos matemticos como Leibniz yLambert, pero su labor
permaneci desconocida y aislada.
A partir de la segunda mitad del siglo XIX, la lgica sera revolucionada profundamente. En
1847, George Boole public un breve tratado titulado El anlisis matemtico de la lgica, y en 1854
otro ms importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lgica
como un clculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1
(verdad), y a los que se les aplicanoperaciones matemticas como la suma y la multiplicacin.
Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lgica formal, donde introduce
las leyes de De Morgan e intenta generalizar la nocin de silogismo. Otro importante contribuyente
ingls fue John Venn, quien en 1881 public su libro Lgica Simblica, donde introdujo los
famosos diagramas de Venn.
Charles Sanders Peirce y Ernst Schrder tambin hicieron importantes contribuciones.
Sin embargo, la verdadera revolucin de la lgica vino de la mano de Gottlob Frege, quien
frecuentemente es considerado como el lgico ms importante de la historia, junto con Aristteles.
En su trabajo de 1879, la Conceptografa, Frege ofrece por primera vez un sistema completo
de lgica de predicados y clculo proposicional. Tambin desarrolla la idea de un lenguaje formal y
define la nocin de prueba. Estas ideas constituyeron una base terica fundamental para el
desarrollo de lascomputadoras y las ciencias de la computacin, entre otras cosas. Pese a esto, los
contemporneos de Frege pasaron por alto sus contribuciones, probablemente a causa de la
complicada notacin que desarroll el autor. En 1893 y 1903, Frege publica en dos volmenes Las
leyes de la aritmtica, donde intenta deducir toda lamatemtica a partir de la lgica, en lo que se
conoce como el proyecto logicista. Su sistema y su aplicacin a la teora de conjuntos, sin embargo,
contena una contradiccin (la paradoja de Russell).
Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la
lgica de Aristteles, pero desde el punto de vista de una nuevanotacin, ms abstracta, tomada
del lgebra.

Siglo XX[editar]
El siglo XX sera uno de enormes desarrollos en lgica. A partir del siglo XX, la lgica pas a
estudiarse por su inters intrnseco, y no slo por sus virtudes comopropedutica, por lo que se
estudi a niveles mucho ms abstractos.
En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo
monumental en el que logran gran parte de la matemtica a partir de la lgica, evitando caer en las
paradojas en las que cay Frege. Los autores reconocen el mrito de Frege en el prefacio. En

contraste con el trabajo de Frege, Principia mathematicatuvo un xito rotundo, y lleg a

considerarse uno de los trabajos de no ficcin ms importantes e influyentes de todo el siglo XX.
Principia mathematica utiliza una notacin inspirada en la de Giuseppe Peano, parte de la cual
todava es muy utilizada hoy en da.
En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo despus de losPrincipia
Mathematica de Russell y Whitehead. En 1918 publica A Survey of Symbolic Logic en donde
propone un nuevo condicional ms adecuado para recoger el significado de la expresin "si...
entonces" del lenguaje natural. Lewis lo llamaimplicacin estricta. El nuevo condicional requiere,
para ser verdadero, una relacin ms fuerte entre el antecedente y el consecuente que el
condicional clsico.
En 1920 David Hilbert propuso de forma explcita un proyecto de investigacin (enmetamatemtica,
como se llam entonces) que acab siendo conocido comoprograma de Hilbert. Quera que
la matemtica fuese formulada sobre unas bases slidas y completamente lgicas.
El origen de los modelos abstractos de computacin se encuadra en los aos '30 (antes de que
existieran los ordenadores modernos), en el trabajo de los lgicosAlonzo Church, Kurt
Gdel, Stephen Kleene, Emil Leon Post, Haskell Curry y Alan Turing. Estos trabajos iniciales han
tenido una profunda influencia, tanto en el desarrollo terico como en abundantes aspectos de la
prctica de la computacin; previendo incluso la existencia de ordenadores de propsito general, la
posibilidad de interpretar programas, la dualidad entre software y hardware, y la representacin de
lenguajes por estructuras formales basados en reglas de produccin.
La deduccin natural fue introducida por Gerhard Gentzen en su trabajoInvestigaciones sobre la
inferencia lgica (Untersuchungen ber das logische Schliessen), publicado en 1934-1935.
En los aos 40 Alfred Tarski comenz a desarrollar junto a sus discpulos el lgebra relacional, en la
que pueden expresarse tanto la teora axiomtica de conjuntos como la aritmtica de Peano.
Tambin desarroll junto a sus discpulos las lgebras cilndricas, que son a la lgica de primer
orden lo que el lgebra booleana a la lgica proposicional. En 1941 public en ingls uno de los
manuales de lgica ms acreditados, Introduction to Logic and to the Methodology of Deductive
Sciences.
Noam Chomsky en 1956 propone una clasificacin jerrquica de distintos tipos degramticas
formales que generan lenguajes formales llamada jerarqua de Chomsky.
Si bien a la luz de los sistemas contemporneos la lgica aristotlica puede parecer equivocada e
incompleta, Jan ukasiewicz mostr que, a pesar de sus grandes dificultades, la lgica aristotlica
era consistente, si bien haba que interpretarse comolgica de clases, lo cual no es pequea
modificacin. Por ello la silogstica prcticamente no tiene uso actualmente.

Adems de la lgica proposicional y la lgica de predicados, el siglo XX vio el desarrollo de muchos

otros sistemas lgicos; entre los que destacan las muchas lgicas modales