Teniendo en cuenta el carácter interdisciplinar de este diccionario, hemos tratado de expresar las ideas centrales de la lógica matemática de un modo accesible. Hemos procurado que el artículo sea auto-contenido (exceptuando quizá este párrafo), aunque alguna familiaridad con la lógica sin duda ayudará a la comprensión del texto. También por este motivo hemos puesto restricciones a los temas tratados. Concretamente, durante todo el artículo adoptaremos de modo habitual un punto de vista semántico. Al tratar la lógica clásica (sección 2) consideraremos solamente lenguajes de primer orden con identidad, con funciones de uno y dos argumentos y predicados de uno y dos argumentos. Este lenguaje es suficiente para ilustrar qué es la lógica de primer orden y para introducir teorías aritméticas de las que hablaremos en la sección 3. Cuando expliquemos algunos teoremas (sub-sección 2.5 y sección 3), nos limitaremos a dilucidar su contenido y a dar una idea general sobre su demostración, aportando las referencias para una demostración detallada. Cuando tratemos las lógicas no-clásicas, nos restringiremos al caso proposicional mencionando únicamente algunos ejemplos que ilustren la distinción, dentro de esta clase de lógicas, entre ''extensión'' y ''alternativa'' a la lógica clásica. La sub-sección 2.5 y la sección 3 son un poco más exigentes desde el punto de vista matemático.

Hemos procurado distinguir los aspectos técnicos de su explicación informal. Para ello, introducimos en primer lugar las definiciones o resultados seguidas de comentarios que clarifican un aspecto de la definición. Los comentarios están ordenados dentro de cada sección: el primer número corresponde a la sección y el segundo a la posición del comentario dentro de la sección.

El argumento es válido porque, aunque su conclusión es falsa y alguna de sus premisas verdaderas, sin embargo, necesariamente si sus premisas fuesen todas verdaderas, la conclusión sería verdadera. O en otras palabras: es imposible que sus premisas sean verdaderas y su conclusión falsa.

(1) Si <math>A</math> entonces <math>B</math>

Esta definición de consecuencia lógica muestra que para caracterizar una lógica es necesario describir el lenguaje que estamos empleando, separando el vocabulario lógico del vocabulario no-lógico. Además es necesario explicar en qué consiste una interpretación para el vocabulario no-lógico y cómo, dada una interpretación del vocabulario no-lógico, cualquier fórmula del lenguaje tomará también una interpretación.

[[File:Tabla 1 LM.png]]

'''Comentario 2.9'''

'''Ejemplo 2.11'''

#<math>\forall x(Px\lor Qx)</math>

Una teoría, en términos generales, es un conjunto consistente de oraciones. La construcción de Henkin garantiza que cualquier teoría de un lenguaje de primer orden tiene un modelo (una interpretación donde todas las oraciones de la teoría son verdaderas). Los teoremas de Löwenheim-Skolem se refieren al ''tamaño'' de los modelos, donde el tamaño de un modelo <math>\langle\mathbb{U}, \mathbb{I}\rangle</math> es el tamaño de su universo <math>\mathbb{U}</math>.

En un lenguaje de primer orden podemos encontrar conjuntos de oraciones que ponen un ''límite por arriba'' al tamaño de sus modelos. Por ejemplo, la oración <math>\forall x\forall y\forall z(x\approx y\lor x\approx z)</math> puede ser verdadera en estructuras que tienen a lo sumo dos elementos. El Teorema de Löwenheim-Skolem ascendente nos dice que un conjunto de oraciones de un lenguaje de primer orden con un modelo infinito no puede poner un límite por arriba a sus modelos. El teorema es una consecuencia directa del Teorema de compacidad (detalles en Zabalardo 2002, 298 y Hedman 2006, 167).

==Bibliografía==