Está en la página 1de 2

La lógica matemática es la disciplina que trata de métodos de razonamiento.

En un nivel
elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un
argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar
teoremas; en ciencias de la computación para verificar si son o no correctos los programas;
en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias
sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa
en forma constante el razonamiento lógico para realizar cualquier actividad.
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 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.
Tipos de lógica matemática
Hay diversos tipos de lógica, sobre todo si se toma en cuenta la lógica pragmática o
informal que apunta a la filosofía, entre otras áreas.
En lo que a matemática respecta, los tipos de lógica se podrían resumir en:
 Lógica formal o aristotélica (lógica antigua).
 Lógica proposicional: se encarga del estudio de todo lo referente a la validez de
argumentos y proposiciones usando un lenguaje formal y también simbólico.
 Lógica simbólica: enfocada en el estudio de los conjuntos y sus propiedades, también
con un lenguaje formal y simbólico, y está profundamente vinculada con la lógica
proposicional.
 Lógica combinatoria: una de las desarrolladas más recientemente, envuelve resultados
que pueden ser desarrollados mediante algoritmos.
 Programación lógica: usada en los diversos paquetes y lenguajes de programación.

Origen e historia
Las fechas exactas con respecto a muchos aspectos de la lógica matemática son inciertas.
Sin embargo, la mayoría de las bibliografías sobre el tema remontan el origen de esta a la
antigua Grecia.
Aristóteles
El comienzo del tratamiento riguroso de la lógica se atribuye, en parte, a Aristóteles, quien
escribió un conjunto de obras de lógica, las cuales fueron posteriormente recopiladas y
desarrolladas por diferentes filósofos y científicos, hasta la Edad Media. Esto se podría
considerar como “la lógica antigua”.
Luego, en la que se conoce como la Edad Contemporánea, Leibniz, movido por un
profundo deseo de establecer un lenguaje universal para razonar matemáticamente, y otros
matemáticos como Gottlob Frege y Giuseppe Peano, influyeron notablemente en el
desarrollo de la lógica matemática con grandes aportes, entre ellos, los Axiomas de Peano,
que formulan propiedades indispensables de los números naturales.
También fueron de gran influencia en esta época los matemáticos George Boole y Georg
Cantor, con contribuciones importantes en teoría de conjuntos y tablas de verdad, en las que
resaltan, entre otros aspectos, el Álgebra Booleana (por George Boole) y el Axioma de
Elección (por George Cantor).
También está Augustus De Morgan con las conocidas leyes de Morgan, que contemplan
negaciones, conjunciones, disyunciones y condicionales entre proposiciones, claves para el
desarrollo de la Lógica Simbólica, y Jhon Venn con los famosos diagramas de Venn.
En el siglo XX, aproximadamente entre 1910 y 1913, resaltan Bertrand Russell y
Alfred North Whitehead con su publicación de Principia mathematica, un conjunto
de libros que reco

, desarrolla y postula una serie de axiomas y resultados de lógica.

También podría gustarte