Lgica matemtica

La lgica matemtica es parte de la lgica y de la matemtica, y consiste en el estudio

matemtico de la lgica, y en la aplicacin de dicho estudio a otras reas de la matemtica y
de las ciencias. La lgica matemtica tiene estrechas conexiones con las ciencias de la
computacin y con la lgica filosfica.
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que
codifican o definen nociones intuitivas de objetos matemticos
como conjuntos, nmeros, demostraciones, y algoritmos, utilizando un lenguaje formal.
La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la
demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica
matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las
matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica
simblica (o logstica), lgica matemtica, lgica teortica y lgica formal. 1
La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica.
Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas
matemticamente.
ndice
[ocultar]

1Historia
o

1.1Siglo XIX

1.2Siglo XX

2Concepto de lgica matemtica

o

2.1Sistemas lgicos

2.2Teoras axiomticas

3reas

4Tipos de sistemas lgicos

o

4.1Lgica proposicional

4.2Lgica de predicados

4.3Lenguajes y estructuras de primer orden

5Aspectos metalgicos y algortmicos

o

5.1Metalgica

5.2Teora de modelos

5.3Teora de la computabilidad

5.4Teora de la demostracin

6Vase tambin

7Referencias
o

7.1Bibliografa adicional
8Enlaces externos

Historia[editar]
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 y Lambert, 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 aplican operaciones 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 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.

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 como propedutica, 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 mathematica tuvo 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
los Principia 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 llama implicacin 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
(en metamatemtica, como se llam entonces) que acab siendo conocido como programa 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 lgicos Alonzo 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 trabajo Investigaciones 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 de gramticas
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 como lgica 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.