No has accedido Discusión Contribuciones Crear una cuenta Acceder

Artículo Discusión Leer Editar Ver historial Buscar en Wikipedia

Lógica matemática
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,1 es el estudio formal y simbólico
de la lógica, y su aplicación a otras áreas de la matemática y la ciencia. Comprende la aplicación de las técnicas de la lógica formal a la
Portada
construcción y el desarrollo de las matemáticas y el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a la
Portal de la comunidad
Actualidad representación y el análisis de la lógica formal. La investigación en lógica matemática ha jugado un papel crucial en el estudio de los
Cambios recientes fundamentos de las matemáticas.
Páginas nuevas
La lógica matemática estudia la inferencia mediante la construcción de sistemas formales como la lógica proposicional, la lógica de primer
Página aleatoria
orden o la lógica modal. Estos sistemas capturan las características esenciales de las inferencias válidas en los lenguajes naturales, pero al
Ayuda
Donaciones ser estructuras formales susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
Notificar un error La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la
computabilidad. La teoría de la demostración y la teoría de modelos fueron el fundamento de la lógica matemática. La teoría de conjuntos
Imprimir/exportar
se originó en el estudio del infinito por Georg Cantor y ha sido la fuente de muchos de los temas más desafiantes e importantes de la lógica
Crear un libro
matemática, a partir del teorema de Cantor, el axioma de elección y la cuestión de la independencia de la hipótesis del continuo, al debate
Descargar como PDF
Versión para imprimir moderno sobre grandes axiomas cardinales. La lógica matemática tiene estrechas conexiones con las ciencias de la computación. La teoría
de la computabilidad captura la idea de la computación en términos lógicos y aritméticos. Sus logros más clásicos son la indecidibilidad del
Herramientas
Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-Turing. Hoy en día, la teoría de la computabilidad se ocupa
Lo que enlaza aquí principalmente del problema más refinado de las clases de complejidad (¿cuándo es un problema eficientemente solucionable?) y de la
Cambios en enlazadas
clasificación de los grados de insolubilidad.
Subir archivo
Páginas especiales La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos como conjuntos, números,
Enlace permanente demostraciones y algoritmos. La lógica matemática estudia las reglas de deducción formales, las capacidades expresivas de los diferentes
Información de la lenguajes formales y las propiedades metalógicas de los mismos.
página
Elemento de Wikidata En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no válido un argumento dado dentro de un
Citar esta página determinado sistema formal. En un nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las teorías matemáticas,
de clasificar su capacidad expresiva, y desarrollar métodos computacionales útiles en sistemas formales. La teoría de la demostración y la
En otros idiomas
matemática inversa son dos de los razonamientos más recientes de la lógica matemática abstracta. Debe señalarse que la lógica
‫اﻟﻌﺮﺑﯿﺔ‬
matemática se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica matemática no es
Azərbaycanca
Беларуская
Български un método para descubrir verdades del mundo físico real, sino sólo una fuente posible de modelos lógicos aplicables a teorías científicas,
Català muy especialmente a la matemática convencional.
Deutsch
Zazaki Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el proceso creativo de construcción de
Eesti demostraciones matemáticas mediante argumentos rigurosos pero con lenguaje informal con algunos signos o diagramas, sino sólo de
Français demostraciones y razonamientos que se pueden formalizar por completo.
Magyar
日本語 Índice [ocultar]
한국어 1 Áreas
Кыргызча
2 Sistemas formales
Latviešu
Русский 3 Metalógica
Русиньскый 4 Teoría de modelos
Türkçe 5 Teoría de la computabilidad
Українська 6 Teoría de conjuntos
Editar enlaces
7 Teoría de la demostración
8 Historia
8.1 Siglo XIX
8.2 Siglo XX
9 Véase también
10 Referencias
11 Bibliografía
12 Enlaces externos

Áreas [ editar ]

La Mathematics Subject Classification divide la lógica matemática en las siguientes áreas:

Filosófica y crítica
Lógica general (que incluye campos como la lógica modal y la lógica borrosa)
Teoría de modelos
Teoría de la computabilidad
Teoría de conjuntos
Teoría de la demostración y matemática constructiva algebraica
Modelos no estándar
En algunos casos hay conjunción de intereses con la informática teórica, pues muchos pioneros de la informática, como Alan Turing, fueron
matemáticos y lógicos. Así, el estudio de la semántica de los lenguajes de programación procede de la teoría de modelos, así como también
la verificación de programas y el caso particular de la técnica del model checking. También el isomorfismo de Churry-Howard entre pruebas
y programas se corresponde con la teoría de pruebas, donde la lógica intuicionista y la lógica lineal son especialmente significativas.

Algunos sistemas formales como el cálculo lambda, y la lógica combinatoria entre otras han devenido en auténticos lenguajes de
programación, creando nuevos paradigmas como son la programación funcional y la programación lógica.

Sistemas formales [ editar ]

Lo que sigue proviene del artículo Sistema formal [ editar ]

Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces
una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración. Un
sistema formal es una formalización rigurosa y completa del concepto de sistema axiomático, los cuales se pueden expresar en lenguaje
formal o en lenguaje natural formalizado. Al crear un sistema formal se pretende capturar y abstraer la esencia de determinadas
características del mundo real, en un modelo conceptual expresado en un determinado lenguaje formal. Algunos de los sistemas formales
más conocidos son la lógica proposicional, la lógica de primer orden y la lógica modal.

En la teoría de la demostración, las demostraciones formales se pueden expresar en el lenguaje de los sistemas formales, consistentes en
axiomas y reglas de inferencia. Los teoremas pueden ser obtenidos por medio de demostraciones formales. Este punto de vista de las
matemáticas ha sido denominado formalista; aunque en muchas ocasiones este término conlleva una acepción peyorativa. En ese sentido,
David Hilbert creó la metamatemática para estudiar los sistemas formales, entendiendo que el lenguaje utilizado para ello, denominado
metalenguaje era distinto del lenguaje del sistema formal que se pretendía estudiar, al que se llama lenguaje objeto.

Un sistema así es la reducción de un lenguaje formalizado a meros símbolos, lenguaje formalizado y simbolizado sin contenido material
alguno; un lenguaje reducido a mera forma que se expresa mediante fórmulas que reflejan las relaciones sintácticas entre los símbolos y las
reglas de formación y transformación que permiten construir las fórmulas del sistema y pasar de una fórmula a otra.2

Una teoría axiomática es un conjunto de fórmulas en un determinado lenguaje formal y todas las fórmulas deducibles de dichas expresiones
mediante las reglas de inferencia posibles en dicho sistema formal. El objetivo de las teorías axiomáticas es construir sistemas formales que
representen las características esenciales de ramas enteras de las matemáticas. Si se selecciona un conjunto más amplio o menos amplio
de axiomas el conjunto de teoremas deducibles cambian. El interés de la teoría de modelos es que en un modelo en que satisfagan los
axiomas de determinada teoría también se satisfacen los teoremas deducibles de dicha teoría. Es decir, si un teorema es deducible en una
cierta teoría, entonces ese teorema es universalmente válido en todos los modelos que satisfacen los axiomas. Esto es interesante porque
en principio la clase de modelos que satisface una cierta teoría es difícil de conocer, ya que las teorías matemáticas interesantes en general
admiten toda clase infinita de modelos no isomorfos, por lo que su clasificación en general resulta difícilmente abordable si no existe un
sistema formal y un conjunto de axiomas que caracterice los diferentes tipos de modelos.
En el siglo XX, Hilbert y otros sostuvieron que la matemática es un sistema formal. Pero en 1931, Kurt Gödel demostró que ningún sistema
formal con suficiente poder expresivo para capturar la aritmética de Peano puede ser a la vez consistente y completo. El teorema de la
incompletitud de Gödel, junto con la demostración de Alonzo Church de que la matemática tampoco es decidible, terminó con el programa
de Hilbert. Sin embargo, a pesar de sus limitaciones, el enfoque sigue siendo ampliamente usado, básicamente porque no se ha encontrado
ninguna alternativa mejor al enfoque formalista de Hilbert y la pretensión de trabajar en el seno de teorías matemáticas explícitamente
axiomatizadas, aun con sus limitaciones.

Los sistemas formales también han encontrado aplicación dentro de la informática, la teoría de la información y la estadística.

Metalógica [ editar ]

Lo que sigue proviene del artículo Metalógica [ editar ]

La metalógica es la rama de la lógica que estudia las propiedades y los componentes de los sistemas formales.3 Las propiedades más
importantes que se pueden demostrar de los sistemas formales son la consistencia, decidibilidad y completitud.4 Ejemplos de teoremas
metalógicos importantes son los teoremas de incompletitud de Gödel, el teorema de completitud de Gödel y el teorema de Löwenheim-
Skolem. Otra propiedad es la compacidad.

Teoría de modelos [ editar ]

Lo que sigue proviene del artículo Teoría de modelos [ editar ]

En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso
universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática. La teoría de modelos permite atribuir una
interpretación semántica a las expresiones puramente formales de los lenguajes formales. Además permite estudiar en sí mismos los
conjuntos de axiomas, su completitud, consistencia, independencia mutua, y permiten introducir un importante número de cuestiones
metalógicas.

Al mismo tiempo los lenguajes en los que se ha estructurado la noción de verdad y de los que habla la teoría de modelos son, por lo
general, sistemas matemáticos. Las «cosas» representadas en dichos lenguajes son también sistemas matemáticos. Por esto, la
teoría de modelos es una teoría semántica que pone en relación unos sistemas matemáticos con otros sistemas matemáticos.
Dicha teoría nos proporciona algunas pistas con respecto a aquella semántica que pone en relación los lenguajes naturales con la
realidad. Sin embargo, ha de tenerse siempre presente que no hay ningún sustituto matemático para los problemas genuinamente
filosóficos. Y el problema de la verdad es un problema netamente filosófico.

Padilla Galvez, Jesús Padilla Gálvez (2007). Verdad y demostración . Universidad de Castilla-La Mancha. p. 229.
ISBN 9788496780194. OCLC 427520428 . Consultado el 28 de febrero de 2019.
Teoría de la computabilidad [ editar ]

Lo que sigue proviene del artículo Teoría de la computabilidad [ editar ]

La teoría de la computabilidad es la parte de la computación que estudia los problemas de

decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
Las preguntas fundamentales de la teoría de la computabilidad son:

¿Qué problemas puede resolver una máquina de Turing?

¿Qué otros formalismos equivalen a las máquinas de Turing?
¿Qué problemas requieren máquinas más poderosas?
¿Qué problemas requieren máquinas menos poderosas?
La teoría de la complejidad computacional clasifica las funciones computables según el uso que
VEB Robotron Elektronik Dresden.
hacen de diversos recursos en diversos tipos de máquina.

Teoría de conjuntos [ editar ]

Lo que sigue proviene del artículo Teoría de conjuntos [ editar ]

La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y
relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí
mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la
formulación de cualquier teoría matemática.5

La teoría de los conjuntos es lo suficientemente rica como para construir el resto de objetos y
estructuras de interés en matemáticas: números, funciones, figuras geométricas,...; gracias a las
herramientas de la lógica, permite estudiar los fundamentos. En la actualidad se acepta que el
conjunto de axiomas de la teoría de Zermelo-Fraenkel es suficiente para desarrollar toda la
Un diagrama de Venn que ilustra la
matemática. intersección de dos conjuntos.

Además, la propia teoría de conjuntos es objeto de estudio per se, no sólo como herramienta
auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de
propiedades indemostrables o contradictorias, como la hipótesis del continuo o la existencia de un cardinal inaccesible. Por esta razón, sus
razonamientos y técnicas se apoyan en gran medida en la lógica.

El desarrollo histórico de la teoría de conjuntos se atribuye a Georg Cantor, que comenzó a investigar cuestiones conjuntistas «puras» del
infinito en la segunda mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influido por Richard Dedekind. El
descubrimiento de las paradojas de la teoría cantoriana de conjuntos, formalizada por Gottlob Frege, propició los trabajos de Bertrand
Russell, Ernst Zermelo, Abraham Fraenkel y
Teoría de la demostración [ editar ]

Lo que sigue proviene del artículo Teoría de la demostración [ editar ]

La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos
matemáticos, facilitando su análisis mediante técnicas matemáticas. Las demostraciones suelen presentarse como estructuras de datos
inductivamente definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas lógicos. En este sentido, la
teoría de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos, que trata con la semántica. Junto con la teoría de
modelos, la teoría de conjuntos axiomática y la teoría de la computabilidad, la teoría de la demostración es uno de los «cuatro pilares» de
los fundamentos de las matemáticas.[cita requerida]

Historia [ editar ]

El uso más temprano de matemáticas y de geometría en relación con la lógica y la filosofía se remonta a los griegos antiguos tales como
Euclides, Platón, y Aristóteles. Muchos otros filósofos antiguos y medievales aplicaron ideas y métodos matemáticos a sus afirmaciones
filosóficas.

En el siglo XVIII se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos
filósofos matemáticos como Lambert, pero su labor permaneció desconocida y aislada. También por parte de Leibniz ) que desarrolló la idea
de un calculus ratiocinator, un sistema de reglas para simplificar oraciones compuestas.

Siglo XIX [ editar ]

A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada profundamente. En 1847, George Boole publicó un breve tratado
titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes del pensamiento. La idea de Boole fue construir
a la lógica como un cálculo 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 matemáticas como la suma y la multiplicación.

En el último tercio del siglo XIX la lógica va a encontrar su transformación más profunda de la mano de las investigaciones matemáticas y
lógicas, junto con el desarrollo de la investigación de las estructuras profundas del lenguaje, la lingüística, convirtiéndose 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 sistemático de conocimientos racionales y coherentes, que se ocupan del estudio de
los procesos lógicos y matemáticos,

Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lógica formal, donde introduce las leyes de De Morgan e intenta
generalizar la noción de silogismo. Otro importante contribuyente inglés fue John Venn, quien en 1881 publicó su libro Lógica Simbólica,
donde introdujo los famosos diagramas de Venn.

Charles Sanders Peirce y Ernst Schröder también hicieron importantes contribuciones.

Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege, quien frecuentemente es considerado como el lógico
más importante de la historia, junto con Aristóteles. En su trabajo de 1879, la Conceptografía, Frege ofrece por primera vez un sistema
completo de lógica de predicados y cálculo proposicional. También desarrolla la idea de un lenguaje formal y define la noción de prueba.
Estas ideas constituyeron una base teórica fundamental para el desarrollo de las computadoras y las ciencias de la computación, entre otras
cosas. Pese a esto, los contemporáneos de Frege pasaron por alto sus contribuciones, probablemente a causa de la complicada notación
que desarrolló el autor. En 1893 y 1903, Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta deducir toda la
matemática a partir de la lógica, en lo que se conoce como el proyecto logicista. Su sistema y su aplicación a la teoría de conjuntos, sin
embargo, contenía una contradicción (la paradoja de Russell).

Lógica matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto
de vista de una nueva notación, más abstracta, tomada del álgebra.

Siglo XX [ editar ]

En el siglo XX hubo uno de los enormes desarrollos en lógica. A partir del siglo XX, la lógica pasó a estudiarse por su interés intrínseco, y no
sólo por sus virtudes como propedéutica, por lo que se estudió a niveles mucho más abstractos.

En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de
la matemática a partir de la lógica, evitando caer en las paradojas en las que cayó Frege. Se suponía que las teorías matemáticas eran
tautologías lógicas, y el programa debía mostrar esto por medio de una reducción de la matemática a la lógica. Los autores reconocen el
mérito 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 ficción más importantes e influyentes de todo el siglo XX. Principia mathematica utiliza una notación inspirada en la
de Giuseppe Peano, parte de la cual todavía es muy utilizada hoy en día.

En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo después de los Principia Mathematica de Russell y Whitehead. En
1918 publica A Survey of Symbolic Logic en donde propone un nuevo condicional más adecuado para recoger el significado de la expresión
«si... entonces» del lenguaje natural. Lewis lo llama implicación estricta. El nuevo condicional requiere, para ser verdadero, una relación más
fuerte entre el antecedente y el consecuente que el condicional clásico.

En 1920 David Hilbert propuso de forma explícita un proyecto de investigación (en metamatemática, como se llamó entonces) que acabó
siendo conocido como programa de Hilbert. Quería que la matemática fuese formulada sobre unas bases sólidas y completamente lógicas.
El proyecto fue refutado por los por los teoremas de incompletitud de Gödel. Tanto la declaración del programa de Hilbert como su
refutación por Gödel dependían de su trabajo estableciendo el segundo ámbito de la lógica matemática, la aplicación de las matemáticas a
la lógica en la forma de la teoría de la demostración. A pesar de la naturaleza negativa de los teoremas de la incompletitud, el teorema de la
complejidad de Gödel, un resultado en la teoría de modelos y otra aplicación de las matemáticas a la lógica, puede ser entendido como una
demostración del logismo cercano: toda teoría matemática rigurosamente definida puede ser capturada exactamente por una teoría de
primer orden. El cálculo de la prueba de Frege es suficiente para describir toda la matemática, aunque no sea equivalente a ella.
El origen de los modelos abstractos de computación se encuadra en los años 1930 (antes de que existieran los ordenadores modernos), en
el trabajo de los lógicos Alonzo Church, Kurt Gödel, Stephen Kleene, Emil Leon Post, Haskell Curry y Alan Turing. Estos trabajos iniciales
han tenido una profunda influencia, tanto en el desarrollo teórico como en abundantes aspectos de la práctica de la computación; previendo
incluso la existencia de ordenadores de propósito general, la posibilidad de interpretar programas, la dualidad entre software y hardware, y
la representación de lenguajes por estructuras formales basados en reglas de producción.

La deducción natural fue introducida por Gerhard Gentzen en su trabajo Investigaciones sobre la inferencia lógica (Untersuchungen über
das logische Schliessen), publicado en 1934-1935.

En los años 1940 Alfred Tarski comenzó a desarrollar junto a sus discípulos el álgebra relacional, en la que pueden expresarse tanto la
teoría axiomática de conjuntos como la aritmética de Peano. También desarrolló junto a sus discípulos las álgebras cilíndricas, que son a la
lógica de primer orden lo que el álgebra booleana a la lógica proposicional. En 1941 publicó en inglés uno de los manuales de lógica más
acreditados, Introduction to Logic and to the Methodology of Deductive Sciences.

Noam Chomsky en 1956 propone una clasificación jerárquica de distintos tipos de gramáticas formales que generan lenguajes formales
llamada jerarquía de Chomsky.

Si bien a la luz de los sistemas contemporáneos la lógica aristotélica puede parecer equivocada e incompleta, Jan Łukasiewicz mostró que,
a pesar de sus grandes dificultades, la lógica aristotélica era consistente, si bien había que interpretarse como lógica de clases, lo cual no es
pequeña modificación. Por ello la silogística prácticamente no tiene uso actualmente.

Además de la lógica proposicional y la lógica de predicados, el siglo XX vio el desarrollo de muchos otros sistemas formales; entre los que
destacan las muchas lógicas modales.

Véase también [ editar ]

Noción primitiva
Función indicatriz
Retroalimentacion
Cibernética
Teoría de sistemas
Emergencia (filosofía)
Pensamiento sistémico
Dinámica de sistemas
Sistema complejo
Sistema dinámico
 Referencias [ editar ]

1. ↑ Evandro Agazzi, 1986.

2. ↑ Encyclopædia Britannica, Formal system definition, 2007.
3. ↑ Shapiro, Stewart. «metalógica» . The Oxford Companion to Philosophy. Oxford University Press. Consultado el 6 de octubre de 2009.
4. ↑ Jesús Padilla Gálvez, Jesús. (1995). Sobre metalógica. Un análisis histórico en torno a 1931. Arbor, 150, pp. 73-90.
5. ↑ Véase Devlin, Keith (2005). «3.1. Sets». Sets, functions and logic (en inglés). ISBN 1-58488-449-5. o Lipschutz, Seymour (1991). «Prólogo». Teoría
de conjuntos y temas afines. McGraw-Hill. ISBN 968-422-926-7.

Bibliografía [ editar ]

Agazzi, Evandro (1986). Lógica simbólica. Herder. ISBN 9788425401305 .

Enderton, Herbert (2001). A mathematical introduction to logic (2nd edición). Boston, MA: Academic Press. ISBN 978-0-12-238452-3 .
Hamilton, A. G. (1988), Logic for Mathematicians (2nd edición), Cambridge: Cambridge University Press, ISBN 978-0-521-36865-0 .
Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994), Mathematical Logic (2nd edición), Nueva York: Springer, ISBN 0-387-94258-0

Enlaces externos [ editar ]

Wikiversidad alberga proyectos de aprendizaje sobre Lógica matemática.

Categoría: Lógica matemática

Esta página se editó por última vez el 29 may 2019 a las 17:22.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de
uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

Política de privacidad Acerca de Wikipedia Limitación de responsabilidad Desarrolladores Declaración de cookies Versión para móviles