HISTORIA DE LA LOGICA MATEMATICA

Lgica Matemtica otorgado su nombre por Giuseppe Peano. En propiedad,

hace parte de la lgica de Aristteles.

Despus de realizar algunos ensayos de las operaciones lgicas formales de una

manera simblica,Leibniz y Lambert, su labor permaneci desconocida y
aislada.

Fueron entonces George Boole y Augustus De Morgan, que a mediados del

siglo XIX, presentaron un novedoso sistema matemtico para modelar operaciones
lgicas. As mismo fue remodelada la lgica tradicional aristotlica obteniendo una
herramienta apropiada para la investigacin de los fundamentos de la matemtica.

Se presentan a continuacin dos etapas o tipos de lgica; tales como:

Lgica Antigua:

Aristteles desarroll ampliamente la silogstica

Los ESTOICOS desarrollaron el silogismo hipottico (condicional y disyuntivo) e

iniciaron lo que actualmente se llama lgica proposicional.

Los lgicos medievales continuaron estudiando la lgica aristotlica, e hicieron

notables avances en un campo desconocido en esa poca, la semntica

lgica Moderna:

Hacia la mitad del S. XIX, la lgica se transforma radicalmente en lgica

matemtica. Esto se debi a que se realizaron encuentro de cuatro corrientes
distintas:

1. La lgica aristotlica.
2. La idea de un lenguaje matemtico universal.

3. Los progresos de lgebra y la geometra.

4. La concepcin de amplios sectores de la matemtica como sistema deductivo, lo

cual conduca a la necesidad de construir "la lgica de la matemtica".

El habitual desarrollo de la lgica destacaba su centro de inters en la forma de

argumentar, mientras que la actual lgica matemtica lo centra en un estudio
combinatorio de los contenidos. Esto se aplica tanto a un nivel sintctico (es decir,
el envo de una cadena de smbolos perteneciente a un lenguaje formal a un
programa compilador que lo convierte en una secuencia de instrucciones
ejecutables por una mquina), como a un nivel semntico, construyendo modelos
apropiados.