Lógica matemática

(Redirigido desde «Vocabulario (lógica)»)

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 algunas áreas de la matemática y la ciencia. Comprende la
aplicación de las técnicas de la lógica formal a la 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 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 fundamentos de las
matemáticas.

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 orden o la lógica modal. Estos sistemas capturan las características esenciales de las
inferencias válidas en los lenguajes naturales, pero al ser estructuras formales susceptibles de análisis matemático,
permiten realizar demostraciones rigurosas sobre ellas.

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 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 matemática, desde el teorema de Cantor, el axioma
de elección y la cuestión de la independencia de la hipótesis del continuo, al debate 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 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 principalmente del problema más refinado de las clases de complejidad
(¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de insolubilidad.

La lógica matemática también estudia las definiciones de nociones y objetos matemáticos básicos como conjuntos,
números, demostraciones y algoritmos. La lógica matemática estudia las reglas de deducción formales, las
capacidades expresivas de los diferentes lenguajes formales y las propiedades metalógicas de los mismos.

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 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 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 un método para descubrir
verdades del mundo físico real, sino solo una fuente posible de modelos lógicos aplicables a teorías científicas, muy
especialmente a la matemática convencional.

Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano general o el proceso creativo de
construcción de demostraciones matemáticas mediante argumentos rigurosos pero con lenguaje informal con algunos
signos o diagramas, sino solo de demostraciones y razonamientos que se pueden formalizar por completo.

Áreas
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
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 ;;, 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
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
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 Gálvez, Jesús Padilla Gálvez (2007). Verdad y demostración (https://www.worldcat.org/oclc/427520
428). Plaza y Valdés. p. 229. ISBN 9788496780194. OCLC 427520428 (https://www.worldcat.org/oclc/427520428).
Consultado el 28 de febrero de 2019.

Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión 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
VEB Robotron Elektronik Dresden.
según el uso que hacen de diversos recursos en diversos tipos de máquina.

Teoría de conjuntos
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 que permite
formular de cualquier otra teoría matemática.5

La teoría de los conjuntos es lo suficientemente flexible y general como

para construir el resto de objetos y estructuras de interés en
matemáticas: números, funciones, figuras geométricas, etc; gracias a
las herramientas de la lógica, permite estudiar los fundamentos.
Un diagrama de Venn que ilustra la intersección
Además, la propia teoría de conjuntos es objeto de estudio per se, no de dos conjuntos.
solo 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
algún cardinal inaccesible. Por esta razón, sus razonamientos y técnicas se apoyan en gran medida en la lógica
matemática.6

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 ;N;, 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 y Abraham Fraenkel.7

La teoría de conjuntos se emplea habitualmente como sistema fundacional de toda la matemática, en particular en la
forma de la teoría de conjuntos de Zermelo-Fraenkel con el axioma de elección.8 Además de su papel fundacional, la
teoría de conjuntos también proporciona el marco para desarrollar una teoría matemática del infinito, y tiene varias
aplicaciones en informática, filosofía y semántica formal. Su atractivo fundacional, junto con sus paradojas, sus
implicaciones para el concepto de infinito y sus múltiples aplicaciones han hecho de la teoría de conjuntos un área de
gran interés para lógicos y filósofos de la matemática. La investigación contemporánea sobre la teoría de conjuntos
abarca una amplia gama de temas, que van desde la estructura de la línea de números reales hasta el estudio de la
consistencia del cardinal grande.

Teoría de la demostración
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
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 ;TNNN 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
A partir de la segunda mitad del siglo ;N;, 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 ;N; 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
En el siglo ;; hubo uno de los enormes desarrollos en lógica. A partir del siglo ;;, la lógica pasó a estudiarse por su
interés intrínseco, y no solo 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 ;;. 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 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 ;; vio el desarrollo de muchos otros sistemas
formales; entre los que destacan las muchas lógicas modales.

Véase también
Noción primitiva
Función indicatriz
Retroalimentacion
Cibernética
Teoría de sistemas
Emergencia (filosofía)
Pensamiento sistémico
Dinámica de sistemas
Mereología
Sistema complejo
Sistema dinámico
Argumento
Lógica informal
Representación del conocimiento
Lógica
Anexo:Símbolos lógicos
Lógica proposicional
Fórmula bien formada

Referencias
1. Evandro Agazzi, 1986.
2. Encyclopædia Britannica, Formal system (http://www.britannica.com/eb/article-9034889/formal-system) definition,
2007.
3. Shapiro, Stewart. «metalógica» (http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t116.e1
583). 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.
6. Tomáš Jech (https://books.google.com/books/about/Set_Theory.html?id=WTAl997XDb4C)Set Theory: The Third
Millennium Edition, revised and expanded (https://books.google.com/books/about/Set_Theory.html?id=WTAl997X
Db4C), 2006, Springer Science & Business Media, ISBN 3-540-44085-2. 1st ed. 1978
7. K. Kunen, The Foundations of Mathematics (https://people.math.wisc.edu/~miller/old/m771-10/kunen770.pdf) (p.
10).
8. Kunen, 1980, p. xi. : "La teoría de conjuntos es el fundamento de las matemáticas. Todos los conceptos
matemáticos se definen en términos de las nociones primitivas de conjunto y pertenencia. En la teoría axiomática
de conjuntos formulamos unos pocos axiomas simples sobre estas nociones primitivas en un intento de capturar
los principios básicos "obviamente verdaderos" de la teoría de conjuntos. A partir de estos axiomas se pueden
derivar todas las matemáticas conocidas".
Bibliografía
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 (https://archive.org/details/mathematicallogi
1996ebbi) (2nd edición), Nueva York: Springer, ISBN 0-387-94258-0.

Bibliografía adicional

Para estudiantes universitarios

Walicki, Michał (2011). Introduction to Mathematical Logic. Singapore: World Scientific Publishing.
ISBN 9789814343879.
Boolos, George; Burgess, John; Jeffrey, Richard (2002). Computability and Logic (4th edición). Cambridge
University Press. ISBN 9780521007580.
Crossley, J.N.; Ash, C.J.; Brickhill, C.J.; Stillwell, J.C.; Williams, N.H. (1972). What is mathematical logic? (https://a
rchive.org/details/whatismathematic0000john). London, Oxford, New York City: Oxford University Press.
ISBN 9780198880875. Zbl 0251.02001 (http://www.zentralblatt-math.org/zmath/en/search/?format=complete&q=an:0251.02001).
Fisher, Alec (1982). Formal Number Theory and Computability: A Workbook. (suitable as a first course for
independent study) (1st edición). Oxford University Press. ISBN 978-0-19-853188-3.
Hamilton, A.G. (1988). Logic for Mathematicians (https://archive.org/details/logicformathemat0000hami) (2nd
edición). Cambridge University Press. ISBN 978-0-521-36865-0.
Katz, Robert (1964). Axiomatic Analysis. Boston MA: D. C. Heath and Company.
Mendelson, Elliott (1997). Introduction to Mathematical Logic (4th edición). London: Chapman & Hall.
ISBN 978-0-412-80830-2.
Rautenberg, Wolfgang (2010). A Concise Introduction to Mathematical Logic (3rd edición). New York City:
Springer. ISBN 9781441912206. doi:10.1007/978-1-4419-1221-3 (https://dx.doi.org/10.1007%2F978-1-4419-1221-3).
Schwichtenberg, Helmut (2003–2004). Mathematical Logic (http://www.mathematik.uni-muenchen.de/~schwicht/le
ctures/logic/ws03/ml.pdf). Munich: Mathematisches Institut der Universität München. Consultado el 24 de febrero
de 2016.
Shawn Hedman, A first course in logic: an introduction to model theory, proof theory, computability, and
complexity, Oxford University Press, 2004, ISBN 0-19-852981-3. Covers logics in close relation with computability
theory and complexity theory
van Dalen, Dirk (2013). Logic and Structure (https://archive.org/details/logicstructure0005dale). Universitext.
Berlin: Springer. ISBN 978-1-4471-4557-8. doi:10.1007/978-1-4471-4558-5 (https://dx.doi.org/10.1007%2F978-1-4471-4558-5).

Textos para graduados

Hinman, Peter G. (2005). Fundamentals of mathematical logic. A K Peters, Ltd. ISBN 1-56881-262-0.
Andrews, Peter B. (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (http
s://archive.org/details/introductiontoma0000andr_h2a3) (2nd edición). Boston: Kluwer Academic Publishers.
ISBN 978-1-4020-0763-7.
Barwise, Jon, ed. (1989). Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics.
Amsterdam: Elsevier. ISBN 9780444863881.
Hodges, Wilfrid (1997). A shorter model theory (https://archive.org/details/shortermodeltheo0000hodg).
Cambridge University Press. ISBN 9780521587136.
Jech, Thomas (2003). Set Theory: Millennium Edition (https://archive.org/details/settheory0000jech_f7i4).
Springer Monographs in Mathematics. Berlin, New York: Springer. ISBN 9783540440857.
Kleene, Stephen Cole.(1952), Introduction to Metamathematics. (https://books.google.com/books?id=HZAjPwAAC
AAJ&source=gbs_ViewAPI) New York: Van Nostrand. (Ishi Press: 2009 reprint).
Kleene, Stephen Cole. (1967), Mathematical Logic. (http://worldcat.org/oclc/523472) John Wiley. Dover reprint,
2002. ISBN 0-486-42533-9.
 Shoenfield, Joseph R. (2001). Mathematical Logic (2nd edición). A K Peters. ISBN 9781568811352.
Troelstra, Anne Sjerp; Schwichtenberg, Helmut (2000). Basic Proof Theory (https://archive.org/details/basicproofth
eory0000troe_l1x1). Cambridge Tracts in Theoretical Computer Science (2nd edición). Cambridge University
Press. ISBN 978-0-521-77911-1.

Artículos y textos clásicos, y colecciones

Banach, Stefan; Tarski, Alfred (1924). «Sur la décomposition des ensembles de points en parties respectivement
congruentes» (http://matwbn.icm.edu.pl/ksiazki/fm/fm6/fm6127.pdf). Fundamenta Mathematicae (en francés) 6:
244-277. doi:10.4064/fm-6-1-244-277 (https://dx.doi.org/10.4064%2Ffm-6-1-244-277).
Bochenski, Jozef Maria, ed. (1959). A Precis of Mathematical Logic. Synthese Library, Vol. 1. Dordrecht: Springer.
ISBN 9789048183296. doi:10.1007/978-94-017-0592-9 (https://dx.doi.org/10.1007%2F978-94-017-0592-9).
Burali-Forti, Cesare (1897). A question on transfinite numbers. Reprinted in van Heijenoort, 1976, pp. 104–111
Cantor, Georg (1874). «Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen» (http://gdz.su
b.uni-goettingen.de/download/PPN243919689_0077/PPN243919689_0077___LOG_0014.pdf). Journal für die
Reine und Angewandte Mathematik (en alemán) 1874 (77): 258-262. S2CID 199545885 (https://api.semanticscholar.org/C
orpusID:199545885). doi:10.1515/crll.1874.77.258 (https://dx.doi.org/10.1515%2Fcrll.1874.77.258).
Carroll, Lewis (1896). Symbolic Logic (https://www.gutenberg.org/ebooks/28696). Kessinger Legacy Reprints.
ISBN 9781163444955.
Dedekind, Richard (1872). Stetigkeit und irrationale Zahlen (en alemán). English translation as: "Consistency and
irrational numbers".
Dedekind, Richard (1888). Was sind und was sollen die Zahlen?. Two English translations:
1963 (1901). Essays on the Theory of Numbers. Beman, W. W., ed. and trans. Dover.
1996. In From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2 vols, Ewald, William B.,
ed., Oxford University Press: 787–832.
Fraenkel, Abraham A. (1922). «Der Begriff 'definit' und die Unabhängigkeit des Auswahlsaxioms».
Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse (en
alemán). pp. 253-257. Reprinted in English translation as "The notion of 'definite' and the independence of the
axiom of choice" in van Heijenoort, 1976, pp. 284–289.
Frege, Gottlob (1879), Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.
Halle a. S.: Louis Nebert. Translation: Concept Script, a formal language of pure thought modelled upon that of
arithmetic, by S. Bauer-Mengelberg in van Heijenoort, 1976.
Frege, Gottlob (1884), Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung über den Begriff
der Zahl. Breslau: W. Koebner. Translation: J. L. Austin, 1974. The Foundations of Arithmetic: A logico-
mathematical enquiry into the concept of number, 2nd ed. Blackwell.
Gentzen, Gerhard (1936). «Die Widerspruchsfreiheit der reinen Zahlentheorie». Mathematische Annalen 112:
132-213. S2CID 122719892 (https://api.semanticscholar.org/CorpusID:122719892). doi:10.1007/BF01565428 (https://dx.doi.org/10.10
07%2FBF01565428). Reprinted in English translation in Gentzen's Collected works, M. E. Szabo, ed., North-Holland,
Ámsterdam, 1969.
Gödel, Kurt (1929). Über die Vollständigkeit des Logikkalküls [Completeness of the logical calculus]. doctoral
dissertation. University Of Vienna.
Gödel, Kurt (1930). «Die Vollständigkeit der Axiome des logischen Funktionen-kalküls» [The completeness of the
axioms of the calculus of logical functions]. Monatshefte für Mathematik und Physik (en alemán) 37: 349-360.
S2CID 123343522 (https://api.semanticscholar.org/CorpusID:123343522). doi:10.1007/BF01696781 (https://dx.doi.org/10.1007%2FBF0
1696781).
Gödel, Kurt (1931). «Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
(On Formally Undecidable Propositions of Principia Mathematica and Related Systems)». Monatshefte für
Mathematik und Physik (en alemán) 38 (1): 173-198. S2CID 197663120 (https://api.semanticscholar.org/CorpusID:19766312
0). doi:10.1007/BF01700692 (https://dx.doi.org/10.1007%2FBF01700692).
Gödel, Kurt (1958). «Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes». Dialectica (en
alemán) 12 (3–4): 280-287. doi:10.1111/j.1746-8361.1958.tb01464.x (https://dx.doi.org/10.1111%2Fj.1746-8361.1958.tb01464.x).
Reprinted in English translation in Gödel's Collected Works, vol II, Solomon Feferman et al., eds. Oxford
University Press, 1993.
van Heijenoort, Jean, ed. (1976). From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931 (3rd
edición). Cambridge MA: Harvard University Press. ISBN 9780674324497. (pbk.).
Hilbert, David; Sánchez de Zavala (traductor), Victor (1975). Elementos de lógica teórica (traducción de
Grundzüge der theoretischen Logik) (https://archive.org/details/elementosdelogic0000davi). Madrid: Tecnos.
ISBN 84-309-0581-2.
Hilbert, David (1899). Grundlagen der Geometrie (en alemán). Leipzig: Teubner. English 1902 edition (The
Foundations of Geometry) republished 1980, Open Court, Chicago.
Hilbert, David (1929). «Probleme der Grundlegung der Mathematik» (https://web.archive.org/web/2017090819244
8/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002273500&L=1). Mathematische Annalen
102: 1-9. S2CID 122870563 (https://api.semanticscholar.org/CorpusID:122870563). doi:10.1007/BF01782335 (https://dx.doi.org/10.10
07%2FBF01782335). Archivado desde el original (http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN0
02273500&L=1) el 8 de septiembre de 2017. Consultado el 20 de mayo de 2022. Lecture given at the
International Congress of Mathematicians, 3 September 1928. Published in English translation as "The Grounding
of Elementary Number Theory", in Mancosu 1998, pp. 266–273.
Hilbert, David; Bernays, Paul (1934). Grundlagen der Mathematik. I. Die Grundlehren der mathematischen
Wissenschaften 40. Berlin, New York City: Springer. ISBN 9783540041344. JFM 60.0017.02 (http://www.zentralblatt-math.org/
zmath/en/search/?format=complete&q=an:60.0017.02). MR 0237246 (https://www.ams.org/mathscinet-getitem?mr=0237246).
Kleene, Stephen Cole (1943). «Recursive Predicates and Quantifiers». Transactions of the American
Mathematical Society 53 (1): 41-73. JSTOR 1990131 (https://www.jstor.org/stable/1990131). doi:10.2307/1990131 (https://dx.do
i.org/10.2307%2F1990131).
Lobachevsky, Nikolai (1840). Geometrishe Untersuchungen zur Theorie der Parellellinien (en alemán). Reprinted
in English translation as Robert Bonola, ed. (1955). «Geometric Investigations on the Theory of Parallel Lines».
Non-Euclidean Geometry. Dover. ISBN 0-486-60027-0.
Löwenheim, Leopold (1915). «Über Möglichkeiten im Relativkalkül» (https://web.archive.org/web/2017090819271
1/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002266121&L=1). Mathematische Annalen
(en alemán) 76 (4): 447-470. ISSN 0025-5831 (https://portal.issn.org/resource/issn/0025-5831). S2CID 116581304 (https://api.sem
anticscholar.org/CorpusID:116581304). doi:10.1007/BF01458217 (https://dx.doi.org/10.1007%2FBF01458217). Archivado desde el
original (http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002266121&L=1) el 8 de septiembre de
2017. Consultado el 20 de mayo de 2022. Translated as "On possibilities in the calculus of relatives" in Jean van
Heijenoort (1967). A Source Book in Mathematical Logic, 1879–1931. Harvard Univ. Press. pp. 228-251.
Mancosu, Paolo, ed. (1998). From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the
1920s. Oxford University Press.
Pasch, Moritz (1882). Vorlesungen über neuere Geometrie.
Peano, Giuseppe (1889). Arithmetices principia, nova methodo exposita (en lituano). Excerpt reprinted in English
translation as "The principles of arithmetic, presented by a new method"in van Heijenoort, 1976, pp. 83–97.
Richard, Jules (1905). «Les principes des mathématiques et le problème des ensembles». Revue Générale des
Sciences Pures et Appliquées (en francés) 16: 541. Reprinted in English translation as "The principles of
mathematics and the problems of sets" in van Heijenoort, 1976, pp. 142–144.
Skolem, Thoralf (1920). «Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit
mathematischer Sätze nebst einem Theoreme über dichte Mengen». Videnskapsselskapet Skrifter, I. Matematisk-
naturvidenskabelig Klasse (en alemán) 6: 1-36.
Soare, Robert Irving (22 de diciembre de 2011). «Computability Theory and Applications: The Art of Classical
Computability» (http://www.people.cs.uchicago.edu/~soare/Turing/frontice.pdf). Department of Mathematics.
University of Chicago. Consultado el 23 de agosto de 2017.
Swineshead, Richard (1498). Calculationes Suiseth Anglici (en lituano). Papie: Per Franciscum Gyrardengum.
Tarski, Alfred (1948). A decision method for elementary algebra and geometry. Santa Monica CA: RAND
Corporation.
Turing, Alan M. (1939). «Systems of Logic Based on Ordinals». Proceedings of the London Mathematical Society
45 (2): 161-228. doi:10.1112/plms/s2-45.1.161 (https://dx.doi.org/10.1112%2Fplms%2Fs2-45.1.161). hdl:21.11116/0000-0001-91CE-3
(https://hdl.handle.net/21.11116%2F0000-0001-91CE-3).
Weyl, Hermann (1918). Das Kontinuum. Kritische Untersuchungen über die Grund lagen der Analysis (en
alemán). Leipzig.
Zermelo, Ernst (1904). «Beweis, daß jede Menge wohlgeordnet werden kann» (https://web.archive.org/web/20160
305010226/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002260018&L=1). Mathematische
Annalen (en alemán) 59 (4): 514-516. S2CID 124189935 (https://api.semanticscholar.org/CorpusID:124189935). doi:10.1007/
BF01445300 (https://dx.doi.org/10.1007%2FBF01445300). Archivado desde el original (http://gdz.sub.uni-goettingen.de/ind
ex.php?id=11&PPN=GDZPPN002260018&L=1) el 5 de marzo de 2016. Consultado el 20 de mayo de 2022.
Reprinted in English translation as "Proof that every set can be well-ordered" in van Heijenoort, 1976, pp. 139–
141.
Zermelo, Ernst (1908a). «Neuer Beweis für die Möglichkeit einer Wohlordnung» (https://web.archive.org/web/2017
0908192142/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002261952&L=1). Mathematische
Annalen (en alemán) 65: 107-128. ISSN 0025-5831 (https://portal.issn.org/resource/issn/0025-5831). S2CID 119924143 (https://a
pi.semanticscholar.org/CorpusID:119924143). doi:10.1007/BF01450054 (https://dx.doi.org/10.1007%2FBF01450054). Archivado
desde el original (http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002261952&L=1) el 8 de
septiembre de 2017. Consultado el 20 de mayo de 2022. Reprinted in English translation as "A new proof of the
 possibility of a well-ordering" in van Heijenoort, 1976, pp. 183–198.
Zermelo, Ernst (1908b). «Untersuchungen über die Grundlagen der Mengenlehre» (https://web.archive.org/web/2
0170908192040/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0065&DMDID=DMDLO
G_0018&L=1). Mathematische Annalen 65 (2): 261-281. S2CID 120085563 (https://api.semanticscholar.org/CorpusID:12008
5563). doi:10.1007/BF01449999 (https://dx.doi.org/10.1007%2FBF01449999). Archivado desde el original (http://gdz.sub.uni-g
oettingen.de/index.php?id=11&PPN=PPN235181684_0065&DMDID=DMDLOG_0018&L=1) el 8 de septiembre de
2017. Consultado el 20 de mayo de 2022.

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

Obtenido de «https://es.wikipedia.org/w/index.php?title=Lógica_matemática&oldid=167585492»