Objetivos de Aprendizaje:

1. Comprender qué es la lógica matemática y sus principales aplicaciones.
2. Comprender la diferencia entre la lógica y una teoría de la verdad.
3. Comprender por qué se utiliza un lenguaje formal en lógica y cómo este permite representar y analizar argumentos y razonamientos de manera precisa y rigurosa.
4. Comprender la diferencia entre lenguajes naturales y lenguajes formales

¿Qué es la Lógica Matemática?

La lógica matemática es una rama de la lógica que se ocupa del estudio de los principios fundamentales del razonamiento matemático y la argumentación. Se utiliza para analizar y evaluar la validez de los razonamientos y para desarrollar métodos formales útiles para la ejecución de las demostraciones de teoremas matemáticos. La lógica matemática también tiene aplicaciones en otras áreas, como la informática y la filosofía de la ciencia, y se utiliza como base para el desarrollo de sistemas formales de lenguaje y de deducción automática.

La lógica no es una teoría de la verdad

Es importante recalcar siempre que la lógica no es una teoría sobre la verdad; en el sentido de que esta no aborda la discusión que permite dar con una definición de verdad o falsedad. En su lugar, asumiendo a priori que ciertas expresiones tienen valores de verdad, se estudia cómo se relacionan entre sí o cómo se infieren unos de otros.

La lógica exige un lenguaje adecuado

Antes de hacer lógica es necesario estar en posesión de un lenguaje adecuado para su ejecución. Este lenguaje, que llamamos «lenguaje formal», tiene las características necesarias para realizar inferencias válidas; es decir, un mecanismo que le permite encontrar o producir expresiones verdaderas a partir de la verdad de otras previas.

¿Por qué la lógica necesita de un lenguaje formal?

La lógica necesita de un lenguaje formal porque éste es un lenguaje especialmente diseñado para expresar argumentos y razonamientos de manera clara y precisa. Al utilizar un lenguaje formal, es posible representar de manera rigurosa y exacta el contenido de los argumentos y razonamientos, lo que permite analizar y evaluar su validez y consistencia.

El lenguaje formal es un lenguaje que se basa en reglas y convenciones estrictas y sistemáticas para la representación de los conceptos y relaciones entre ellos. Al utilizar un lenguaje formal, es posible representar de manera más precisa y rigurosa los conceptos y argumentos lógicos, lo que permite evitar ambigüedades y errores en el razonamiento. Uno de los propósitos por el que se crea este tipo de lenguajes es el de evadir las imprecisiones y paradojas que emergen del lenguaje usual: se sacrifica la flexibilidad y la riqueza expresiva del lenguaje usual con el objetivo de obtener la precisión de un lenguaje formal.

Lenguajes naturales y lenguajes formales

Los lenguajes naturales son aquellos lenguajes que utilizan los seres humanos para comunicarse de manera oral o escrita. Algunos ejemplos de lenguajes naturales son el español, el inglés, el francés, el chino, el árabe, entre muchos otros.

Los lenguajes naturales son complejos sistemas de comunicación que se basan en un conjunto de reglas y convenciones que permiten expresar ideas, pensamientos y sentimientos de manera clara y precisa. Estos lenguajes están formados por un conjunto de símbolos (como letras, palabras y frases) que se utilizan para transmitir significado y comunicar información.

A diferencia de los lenguajes formales, que son lenguajes especialmente diseñados para expresar argumentos y razonamientos de manera clara y precisa, los lenguajes naturales son más flexibles y adaptables y se utilizan para comunicarse en diversas situaciones y contextos.

En lógica matemática se prefiere el uso de lenguajes formales por sobre el lenguaje natural principalmente porque la flexibilidad y riqueza característica de los lenguajes naturales, a la vez que son su mayor fortaleza en el campo expresivo, es también su más grande debilidad por el lado de la precisión: su nivel de riqueza expresiva y falta de rigurosidad dan a luz a un sinnúmero de paradojas que en lógica es conveniente evitar. Por esto, se sacrifica todo el poder expresivo de los lenguajes naturales a cambio de la precisión de un lenguaje formal.

Paradojas del lenguaje

Las paradojas del lenguaje son problemas lógicos que surgen en el lenguaje y que son difíciles de resolver debido a su contradicción interna. Estas paradojas suelen ser afirmaciones que, si se aceptan como verdaderas, llevan a conclusiones contradictorias o absurdas.

Los lenguajes naturales que utilizamos habitualmente son una poderosa herramienta que nos permite comunicar ideas, pensamientos y emociones, pero también puede ser engañoso y difícil de interpretar debido a la ambigüedad de algunas palabras y frases. Por ejemplo, algunas palabras tienen varios significados diferentes, y a veces es difícil determinar a qué significado se refiere el hablante. Además, algunas frases pueden tener interpretaciones contradictorias dependiendo del contexto en el que se usen.

Las paradojas del lenguaje se evitan a través de los lenguajes formales

Una de las ventajas de los lenguajes formales por sobre los lenguajes naturales es que evitan las paradojas del lenguaje debido a su precisión y a la ausencia de ambigüedad. Al utilizar un lenguaje formal, se pueden especificar las reglas y convenciones que se deben seguir para evitar interpretaciones equivocadas o contradicciones. Por ejemplo, en la lógica matemática, se utiliza un lenguaje formal llamado «lenguaje de la lógica proposicional» para representar y expresar proposiciones y razonamientos basados en proposiciones de manera clara y precisa. Este lenguaje especifica las reglas y convenciones que deben seguirse para evitar algunas paradojas del lenguaje, y se utiliza para realizar pruebas y demostraciones lógicas de manera rigurosa y sistemática.

Además del lenguaje de la lógica proposicional, existen otros lenguajes diseñados para situaciones más complejas y que persiguen el mismo fin, como los lenguajes de la lógica de predicados de primer y segundo orden.

5 ejemplos de paradojas del lenguaje

1. La paradoja de la no-mentira: Aparece cuando se dice que «todo lo que se dice es una mentira». Si todo lo que se dice es una mentira, entonces la afirmación de que todo lo que se dice es una mentira es una mentira y, por lo tanto, es falsa. Si la afirmación de que todo lo que se dice es una mentira no es una mentira, entonces algo que se dice es verdad y, por lo tanto, la afirmación es falsa. En consecuencia, si es cierta es falsa y viceversa.
2. La paradoja del mentiroso: Emerge de la afirmación «estoy mintiendo», que plantea una contradicción lógica si es cierta o falsa. Si es cierta, entonces está mintiendo y, por lo tanto, la afirmación es falsa. Si es falsa, entonces no está mintiendo y, por lo tanto, la afirmación es cierta. Finalmente, igual que la anterior, si es cierta es falsa y viceversa.
3. Paradoja de las propiedades autorreferentes: Las paradojas autorreferentes surgen de expresiones que hablan de sí mismas induciendo una contradicción, por ejemplo, como ocurre cuando se habla de «el número más pequeño que no se puede escribir con menos de veinte palabras». Esto es en sí mismo una paradoja porque la propia expresión tiene menos de veinte palabras.
4. La paradoja del barbero: Esta se presenta de la siguiente manera: «En un pueblo, hay un barbero que se afeita a todos los hombres del pueblo que no se afeitan a sí mismos. ¿Se afeita el barbero a sí mismo?» A primera vista parece no haber problema con esta afirmación, sin embargo, ¿qué ocurre con el propio barbero? Es claro que el barbero es hombre (sino no hablaríamos de «el barbero») y si puede afeitarse a sí mismo, entonces no puede afeitarse a sí mismo; por otro lado, si no puede afeitarse a sí mismo, entonces puede afeitarse a sí mismo, y así en círculos otra vez.
5. La paradoja de la existencia del conjunto vacío: Se basa en la afirmación de que el conjunto vacío (o conjunto que no tiene elementos) existe, pero a su vez ninguno de los elementos que lo conforman existen (porque no tiene). Por tanto, tenemos un objeto que existe y está formado a partir de objetos inexistentes.

La Lógica Matemática o Simbólica

La lógica matemática, también conocida como lógica simbólica, es una rama de la lógica que se ocupa del uso de símbolos y notaciones matemáticas para representar y analizar argumentos y expresiones. Esta forma de lógica se basa en la idea de que el pensamiento y el razonamiento son procesos que pueden ser modelados, analizados y estudiados matemáticamente, y que los símbolos y las notaciones matemáticas son útiles para representar y manipular estos procesos de manera consistente y exacta.

El estudio de la lógica matemática comienza revisando el lenguaje que se utilizará para representar sus elementos, es así como distinguimos las más habituales: la lógica proposicional y las lógicas de predicados de primer y segundo orden. En cada una de estas se desarrollan a su vez las técnicas de razonamiento matemático que permiten la demostración rigurosa de un sinnúmero de resultados y teoremas matemáticos.

El estudio de la lógica simbólica forma parte de uno de los pilares fundamentales de la matemática.

Los 4 Pilares Fundamentales de la Matemática

La lógica matemática es una parte importante de los fundamentos de las matemáticas. Estos fundamentos están compuestos de los siguientes cuatro pilares:

1. La teoría de la Demostración: Se centra en el estudio de cómo se pueden presentar y evaluar argumentos matemáticos y científicos. Esta teoría se basa en la idea de que las demostraciones deben ser rigurosas, lógicas y basadas en principios formales. La teoría de la demostración incluye la investigación sobre diferentes tipos de demostraciones, como las demostraciones por inducción y deductivas, y sobre cómo se pueden utilizar estos tipos de demostraciones para la resolución de problemas matemáticos y científicos. Esto es justo lo que hacemos al estudiar la lógica matemática.
2. La teoría de conjuntos: Es una rama de la matemática que se ocupa del estudio de los conjuntos, que son colecciones de elementos o objetos. Esta teoría incluye la investigación sobre cómo se pueden definir y clasificar los conjuntos, y sobre cómo se pueden realizar operaciones con ellos. La teoría de conjuntos es una parte fundamental de la matemática moderna y ha sido utilizada para desarrollar y aplicar muchos de los conceptos y principios fundamentales de la matemática.
3. La teoría de computación: De las cuales son partes fundamentales:
   1. La teoría de complejidad: Es una rama de la ciencia de la computación que se ocupa del estudio de la complejidad de los problemas y algoritmos. Esta teoría incluye la investigación sobre cómo se pueden medir y comparar la complejidad de diferentes problemas y algoritmos, y cómo se pueden desarrollar y utilizar algoritmos más eficientes para resolver estos problemas.
   2. La teoría de Computabilidad: Es la parte de la ciencia de la computación que se ocupa del estudio de qué problemas y funciones pueden ser resueltos o evaluados por una computadora y cuáles no. Esta teoría incluye la investigación sobre cómo se pueden definir y clasificar los problemas y funciones computables, y cómo se pueden desarrollar y utilizar.
4. Teoría de Modelos: En lógica y matemática, es el estudio de las relaciones entre las teorías formales (afirmaciones escritas en un lenguaje formal, utilizadas para establecer afirmaciones sobre alguna estructura matemática), y sus modelos (que se mantienen bajo esas estructuras). Tales estructuras matemáticas pueden ser grupos, cuerpos, grafos, etc. La teoría de modelos permite atribuir una interpretación semántica sobre las expresiones netamente formales y además permite estudiar los problemas de completitud, consistencia e independencia entre afirmaciones.

Es extremadamente difícil estudiar cada uno de estos pilares en profundidad sin tocar en alguna parte algún tema de los otros. Los estudios de estos pilares normalmente están entremezclados. Cuando nos preguntamos ¿qué es la lógica matemática? Lo normal es que terminemos contestando esa pregunta con una combinación de estudios que se mueven entre esos cuatro pilares.