Historia[editar]

El uso ms temprano de matemticas y de geometra en relacin con la lgica y la filosofa se

remonta a los griegos antiguos tales como Euclides, Platn, y Aristteles. Muchos otros
filsofos antiguos y medievales aplicaron ideas y mtodos matemticos a sus afirmaciones
filosficas.
En el siglo XVIII se hicieron algunos intentos de tratar las operaciones lgicas formales de una
manera simblica por parte de algunos filsofos matemticos como Leibniz y Lambert, pero su
labor permaneci desconocida y aislada.

Siglo XIX[editar]
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 F
(falsedad) y la V (verdad), y a los que se les aplican operaciones matemticas como la suma y
la multiplicacin.
En el ltimo tercio del siglo XIX la lgica va a encontrar su transformacin ms profunda de la
mano de las investigaciones matemticas y lgicas, junto con el desarrollo de la investigacin
de las estructuras profundas del lenguaje, la lingstica, convirtindose definitivamente en una
ciencia formal. Es una ciencia formal, ya que estudia las ideas y constituye una herramienta
conceptual para todas las otras ciencias y reas del conocimiento. y forma parte de un
conjunto sistemtico de conocimientos racionales y coherentes, que se ocupan del estudio de
los procesos lgicos y matemticos,
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 las computadoras 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
la matemtica 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 nueva notacin, ms abstracta,
tomada del lgebra.