Lgica matemtica

La lgica matemtica es una parte de la lgica y las matemticas que consiste en el estudio
matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La
lgica matemtica tiene estrechas conexiones con las ciencias de la computacin y 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.
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.

Historia
Siglo XIX
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 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 elproyecto 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
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
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 laaritmtica 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.

Concepto de lgica matemtica
La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican
conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y
computacin. La lgica estudia las reglas de deduccin formales, las capacidades expresivas de los
diferentes lenguajes formales y las propiedades metalgicas de los mismos.
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un
argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lgica
matemtica se ocupa de la posibilidad de axiomatizar las teoras matemticas, de clasificar su
capacidad expresiva, y desarrollar mtodos computacionales tiles en sistemas formales. La teora
de la demostracin y la matemtica inversa son dos de los razonamientos ms recientes de la
lgica matemtica abstracta. Debe sealarse que la lgica matemtica se ocupa de sistemas
formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lgica matemtica
no es mtodo de descubrir verdades del mundo fsico real, sino slo una fuente posible de
modelos lgicos aplicables a teoras cientficas, muy especialmente a la matemtica convencional.
La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano general
o del proceso creativo de construccin de demostraciones matemticas mediante argumentos
rigurosos pero hechas usando lenguaje informal con algunos signos o diagramas, sino slo de
demostraciones y razonamientos que pueden ser completamente formalizados en todos sus
aspectos.

Sistemas lgicos
La lgica matemtica se interesa por tres tipos de aspectos de los sistemas lgicos:
La sintaxis de las lenguajes formales, es decir, las reglas de formacin de smbolos interpretables
construidos a partir de un determinado alfabeto, y las reglas de inferencia. En concreto el conjunto
de teoremas deducibles de un conjunto de axiomas.
La semntica de las lenguajes formales, es decir, los significados atribuibles a un conjunto de
signos, as como el valor de verdad atribuible a algunas de las proposiciones. En general las
expresiones de un sistema formal interpretadas en un modelo son ciertas o falsas, por lo que un
conjunto de proposiciones que admite un modelo es siempre consistente.
Los aspectos metalgicos de las lenguas formales, como por ejemplo la completitud semntica,
la consistencia, la compacidad o la existencia de modelos de cierto tipo, etc.
Los diferentes tipos de sistemas lgicos pueden ser clasificados en:
Lgica proposicional (Lgica de orden cero): En ella existe smbolos para variables proposicionales
(que pueden ser interpretados informalmente como enunciados que puden ser ciertos o falsos)
adems de smbolos para diversas conectivas. Estas conectivas permiten formar expresiones
complejas a partir de variables proposicionales simples. Un sistema lgico puede incluir diversos
tipos de conectivas, entre ellos, la lgica clsica suele hacer uso de los siguientes:
se lee no
se lee y
se lee o
se lee implica o si,entonces,
se lee equivalente con o "si, slo s"
Dentro de la lgica proposicional pueden distinguirse varios tipos, por ejemplo restringiendo las
posibilidades de interpretacin semntica se obtiene la lgica intuicionista y ampliando la
complejidad de las interpretaciones semnticas se obtienen las lgicas modales.
Lgica de predicados: Esta no incluye smbolos para variables proposicionales sino que las
proposiciones ms elementales son predicados atmicos (formados a partir de variables
interpretables como objetos singulares, relaciones (entre estas frecuentemente se usan = , <, >,
etc), funciones matemticas. Adems smbolos para representar variables, relaciones y funciones
este tipo de lgicas incluyen cuantificadores. Dentro de la lgica de predicados se pueden
distinguir ciertos tipos:
Lgica de primer orden que usualmente es finitaria (slo se admiten proposiciones formadas
mediante un nmero finito de pasos) aunque tambin existen lgicas infinitarias.
Lgica de segundo orden que a su vez pueden ser de diferentes subtipos.

Teoras axiomticas
Una teora axiomtica est formada por un conjunto de proposiciones expresables en un
determinado lenguaje formal y todas las proposiciones deducibles de dichas expresiones mediante
las reglas de inferencia posibles en dicho sistema lgico.
El objetivo de las teoras axiomticas es construir sistemas lgicos que representen las
caractersticas esenciales de ramas enteras de las matemticas. Si se selecciona un conjunto ms
amplio o menos amplio de axiomas el conjunto de teoremas deducibles cambian. El inters de
la teora de modelos es que en un modelo que satisfagan los axiomas de determinada teora
tambin se satisfacen los teoremas deducibles de dicha teora. Es decir, si un teorema es deducible
en una cierta teora, entonces ese teorema es universalmente vlido en todos los modelos que
satisfacen los axiomas. Esto es interesante porque en principio la clase de modelos que satisface
una cierta teora es difcil de conocer, ya que las teoras matemticas interesantes en general
admiten toda clase infinita de modelos no isomorfos, por lo que su clasificacin en general resulta
difcilmente abordable sin no existe un sistema lgico y un conjunto de axiomas que caracterice
los diferentes tipos de modelos.

reas
La Mathematics Subject Classification divide la lgica matemtica en las siguientes reas:
Filosfica y crtica
Lgica general (que incluye campos como la lgica modal y la lgica borrosa)
Teora de modelos
Teora de la computabilidad
Teora de conjuntos
Teora de la demostracin y matemtica constructiva algebraica]]

Modelos no estndar
En algunos casos hay conjuncin de intereses con la Informtica terica, pues muchos pioneros de
la informtica, como Alan Turing, fueron matemticos y lgicos. As, el estudio de la semntica de
los lenguajes de programacin procede de la teora de modelos, as como tambin la verificacin
de programas, y el caso particular de la tcnica del model checking. Tambin el isomorfismo de
Churry-Howard entre pruebas y programas se corresponde con la teora de pruebas, donde
la lgica intuicionista y la lgica lineal son especialmente significativas.
Algunos sistemas lgicos como el clculo lambda, y la lgica combinatoria entre otras han
devenido, incluso, autnticos lenguajes de programacin, creando nuevos paradigmas como son
la programacin funcional y la programacin lgica.

Tipos de sistemas lgicos
Lgica proposicional
La lgica proposicional (o lgica de orden cero) es un lenguaje formal en el que no existen
variables ni cuantificacin, eso implica que cualquier secuencia de signos que constituya una
frmula bien formada de la lgica proposicional admite una valoracin en la proposicin es cierta
o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. En otras
palabras en la lgica proposicional cualquier frmula bien formada define una funcin
proposicional. Por tanto, cualquier sistema lgico basado en la lgica proposicional es decidible y
en un nmero finito de pasos puede determinarse la verdad o falsedad semntica de una
proposicin. Esto hace que la lgica proposicional sea completa y muy sencilla de caracterizar
semnticamente.
As, para especificar un orden, generalmente slo hace falta especificar la coleccin de smbolos
constantes, smbolos de funcin y smbolos relacionales, dado que el primer conjunto de smbolos
es estndar. Los parntesis tienen como nico propsito de agrupar smbolos y no forman parte
de la estructura de las funciones y relaciones.
Los smbolos carecen de significado por s solos. Sin embargo, a este lenguaje podemos dotarlo de
una semntica apropiada.





Aspectos metalgicos y algortimicos
Metalgica
Leopold Lwenheim (1915) y Thoralf Skolem (1920) formularon el llamado teorema de
Lwenheim-Skolem, que afirma que cualquier sistema axiomtico basado en la lgica de primer
orden no puede controlar la cardinalidad de la estructuras no finitas que satisfacen los axiomas de
dicho sistema. Skolem comprendi que este teorema podra aplicarse para las formalizaciones de
primer orden de la teora de conjuntos, siendo dicha formalizacin numerable, existira un modelo
numerable para dicha teora aun cuando la teora afirma que existen conjuntos no contables. Este
resultado contraintuitivo es la conocida paradoja de Skolem.
En su tesis doctoral, Kurt Gdel (1929) demostr el teorema de completitud de Gdel, que
establece una correspondencia entre la sintaxis y la semntica de la lgica de primer orden. Gdel
us dicho teorema de completitud para probar el llamado teorema de compacidad, demonstrando
la naturaleza fintiaria del operador de consecuencia lgica. Estos resultados ayudaron a establecer
a la lgica de primer orden como el tipo de lgica dominante en las matemticas actual.
En 1931, Gdel public On Formally Undecidable Propositions of Principia Mathematica and
Related Systems, que demostraba la incompletitud (en un sentido diferente del trmino) de
cualquier sistema axiomtico suficientemente expresivo, cuyo sistema de axiomas fuera
recursivamente enumerable. Este tipo de resultados, conocidos comoteorema de incompletitud
de Gdel, implica que los sistemas axiomticos de primer orden tienen severas limitaciones para
fundamentar las matemticas, y supusieron un duro golpe para el llamado programa de
Hilbert para la fundamentacin de las matemticas. Uno de los resultados de Gdel estableci que
es imposible que pueda formalizarse la consistencia de la aritmtica en una teora formal en la que
se pueda formalizar la propia aritmtica. Por otra parte, durante algn tiempo ni Hilbert ni otros
de sus colaboradores fueron conscientes de la importancia del trabajo de Gdel para su
pretensin de fundamentar las matemticas mediante el citado "programa de Hilbert".

Teora de modelos
La teora de modelos introducida anteriormente permite atribuir una interpretacin semntica a
las expresiones purmente formales de los lenguajes formales. Pero adems, permiten estudiar en
s mismos los conjuntos de axiomas, su completitud, su consistencia, la independencia de unos de
otros y permiten introducir un importante nmero de cuestiones metalgicas.




Teora de la computabilidad y Recursividad.
La Teora de la computabilidad es la parte de la Teora de la computacin que estudia
los problemas de decisin que pueden ser resueltos con un algoritmo o equivalentemente con
una mquina de Turing.

Teora de la demostracin
La teora de la demostracin es la rama de la lgica matemtica que trata a
las demostraciones como objetos matemticos, facilitando su anlisis mediante tcnicas
matemticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente
definidas que se construyen de acuerdo con los axiomas y reglas de inferenciade los sistemas
lgicos. En este sentido, la teora de la demostracin se ocupa de la sintaxis, en contraste con
la teora de modelos, que trata con la semntica. Junto con lateora de modelos, la teora de
conjuntos axiomtica y la teora de la recursin, la teora de la demostracin es uno de los "cuatro
pilares" de los fundamentos de las matemticas.