Lgica matemtica

Este artculo o seccin necesita referencias que aparezcan en una publicacin acreditada, como revistas especializadas, monografas, prensa diaria o pginas de Internet fidedignas.
Puedes aadirlas as o avisar al autor principal del artculo en su pgina de discusin pegando: {{subst:Aviso referencias|Lgica rencias|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 filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican o definen nociones intuitivas de objetos matemticos matem como conjuntos, nmeros,demostraciones demostraciones y algoritmos, utilizando un lenguaje formal 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 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]

1 Historia

o o

1.1 Siglo XIX 1.2 Siglo XX

2 Concepto de lgica matemtica

o o

2.1 Sistemas lgicos 2.2 Teoras axiomticas

3 reas 4 Tipos de sistemas lgicos

o o

4.1 Lgica proposicional 4.2 Lgica de predicados

4.3 Lenguajes y estructuras de primer orden

5 Aspectos metalgicos y algortimicos

o o o o

5.1 Metalgica 5.2 Teora de modelos 5.3 Teora de la computabilidad 5.4 Teora de la demostracin

6 Vase tambin 7 Referencias

o o

7.1 Bibliografa adicional 7.2 Enlaces externos

Historia[editar editar fuente]

Siglo XIX[editar editar fuente]
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[editar editar fuente]

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[editar editar fuente]

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 propiedadesmetalgicas 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[editar editar fuente]

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 proposciones 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 precidados 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[editar editar fuente]

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 relgas 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[editar editar fuente]

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[editar editar fuente]

Lgica proposicional[editar editar fuente]
Artculo principal: 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 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.

Lgica a de predicados[editar editar fuente]

La lgica de predicados (o lgica de primer orden) es un lenguaje formal en el que las sentencias bien formadas son producidas por las reglas enunciadas a continuacin. Vocabulario Un vocabulario es una tupla: consta de: que

smbolos relacionales

, cada uno de ellos con un nmero entero

asociado, el

cual se conoce como la aridad de smbolos funcionales smbolos constantes en el vocabulario , es una frmula de primer orden donde . , cada uno de aridad

Una frmula de primer orden

los nicos predicados, funciones y constantes empleados son los especificados por

Lenguajes y estructuras de primer orden[editar editar fuente] fuente

Un lenguaje de primer orden sigue: El smbolo de igualdad el parntesis , .

es una coleccin de distintos smbolos clasificados como

; las conectivas

; el cuantificador universal

Un conjunto contable de smbolos de variable Un conjunto de smbolos de constante Un conjunto de smbolos de funcin Un conjunto de smbolos de relacin . . .

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 ag 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. Una -estructura sobre el lenguaje , es una tupla consistente en un conjunto no vaco ,

el universo del discurso, junto a: 1. 2. Para cada smbolo constante Para cada smbolo de function aria 3. . -aria . de , una relacin -aria sobre , esto de -aria , tenemos un elemento de , una function .

Para cada smbolo de relacin es, un subconjunto

A menudo, usaremos la palabra modelo para denotar esta estructura.

Aspectos metalgicos y algortimicos[editar editar fuente] fuente

Metalgica[editar editar editar fuente]
Artculo principal: Metalgica.

Leopold Lwenheim (1915 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 e este ste teorema podra aplicarse para las formalizaciones de primer orden de la teora de conjuntos, , siendo dicha formalizacin numerable, existira un modelo numera numerable ble 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 como teorema 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[editar editar fuente]

Artculo principal: 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[editar editar fuente]

Artculos principales: 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[editar editar fuente]

Artculo principal: 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.