QUE ES LA LOGICA MATEMATICA

Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el

lenguaje de las matemáticas como un lenguaje analítico.

La lógica matemática nos ayuda a establecer criterios de verdad, equivalencias

lógicas tales como el silogismo, hacer demostraciones de teoremas que
participan en el análisis de argumentos planteados.

Dentro de la misma, se complementa también de la heurística para resolver

problemas y es muy útil en matemáticas.

Suele dividirse en cuatro subcampos: teoría de modelos, teoría de la

demostración, teoría de conjuntos y teoría de los sistemas formales en relación
con el modo en el que codifican conceptos intuitivos de objetos matemáticos
como conjuntos, números, demostraciones y computación.
Lógica matemática (o lógica simbólica)

Se ha formado como resultado de aplicar, en el terreno de la lógica, los

métodos formales de la matemática basados en el empleo de un lenguaje
especial de símbolos y fórmulas. En la lógica matemática, el pensamiento
lógico de contenido (procesos del juicio y de la demostración) se estudia
representándolo por medio de sistemas lógicos formales o cálculos. Resulta,
pues, que la lógica matemática, por su objeto es lógica, y por su método es
matemática. La lógica matemática contiene generalizaciones de largo alcance,
y el desarrollo de las ideas y métodos de la lógica formal tradicional
constituye precisamente la etapa presente del desarrollo de la lógica formal.
La lógica matemática contemporánea incluye en sí una serie de cálculos
lógicos, constituye una teoría sobre dichos cálculos, acerca de sus premisas,
propiedades y aplicaciones. Junto al estudio de la estructura formal de los
cálculos lógicos (Sintaxis lógica), en la lógica matemática surge también la
necesidad de examinar las relaciones entre los cálculos y las esferas de
contenido que sirven para las interpretaciones y modelos de dichas relaciones.
En esta cuestión se esboza la problemática de la semántica lógica. La sintaxis
lógica y la semántica se incluyen en la metalógica, teoría sobre los recursos
para describir las premisas y las propiedades de los cálculos lógicos. El
descubrimiento del examen formal de la lógica pertenece a Aristóteles (siglo
IV a. n. e.). (Silogística). En su forma primitiva algunos conceptos iniciales de
la lógica matemática se encuentran ya en la teoría de la escuela estoica de
Megara (siglo III a. n. e.). Pero, al parecer, fue Leibniz quien por primera vez,
formuló la idea de cálculo lógico. De todos modos, la lógica matemática como
disciplina independiente sólo se constituyó a mediados del siglo XIX gracias a
los trabajos de George Boole. Con él se inicia el desarrollo de la denominada
álgebra de la lógica. Ernst Schröder en sus Lecciones sobre el álgebra de la
lógica (1890-95) resumió y sistematizó los resultados de dicho desarrollo. A
fines del siglo XIX en el estudio de la lógica matemática se inicia una nueva
dirección relacionada con las investigaciones de la matemática tendientes a
fundamentar sus conceptos y sus procedimientos demostrativos. En las fuentes
de la dirección aludida, se encuentran los trabajos de Gottlob Frege.
Contribuyeron en gran manera a su desarrollo Bertrand Russell y Alfred
Whitehead (“Principia Mathematica”, 1910-1913) y David Hilbert. En este
período, se crean los sistemas lógicos fundamentales, ya clásicos: el cálculo
proposicional y el cálculo de predicados. La presente etapa de la lógica
matemática se caracteriza por las investigaciones que en ella se realizan sobre
los diferentes tipos de cálculos lógicos, por el interés hacia los problemas de la
semántica y, en general, de la metalógica, hacia las cuestiones de la aplicación
especial, científica y técnica, de la lógica. Los problemas que plantea la
fundamentación de la matemática hacen que paralelamente a los trabajos que
se llevan a cabo en la esfera de la lógica clásica se elabore la lógica
constructiva. Al análisis de los fundamentos de la lógica están unidas las
investigaciones concernientes a la lógica combinatoria. Se crea la teoría de la
lógica polivalente. Los intentos de resolver el problema de cómo formalizar
las investigaciones lógicas elevan a la creación de cálculos de una implicación
rigurosa y fuerte. Se están sentando las bases de la lógica modal. Por otra
parte, la lógica matemática ejerce una gran influencia sobre la propia
matemática moderna, algunos de cuyos aspectos esenciales han surgido de
ella; así ha ocurrido, por ejemplo, con las teorías de los algoritmos y de las
funciones recursivas. La lógica matemática halla aplicación en electrónica
(investigación de los relés de contacto y de los esquemas electrónicos), en
técnica calculatoria (programación), en cibernética (teoría de los dispositivos
automáticos), en neurofisiología (modelación de redes neuronales), y en
lingüística (lingüística estructural y semiótica). La vieja lógica formal no
conocía esa estrecha concatenación de la problemática lógica con la resolución
de los problemas científicos especiales, ni la utilización de la lógica como
instrumento de las investigaciones científicas concretas.

Lógica matemática (o lógica simbólica)

Esfera del saber, que se formó en virtud del empleo en la lógica de los
métodos formales de las matemáticas y de la investigación lógica de los
razonamientos y demostraciones matemáticos. La lógica matemática estudia
los procesos lógicos reflejándolos en lenguajes formalizados o cálculos
lógicos. Además del estudio de la estructura formal de los cálculos lógicos
(Sintaxis lógica), la lógica matemática se plantea también la tarea de examinar
aquellas relaciones entre los cálculos y las esferas substanciales que
constituyen sus interpretaciones y modelos. Esta tarea esboza la problemática
de la semántica lógica. La sintaxis y la semántica lógicas son incluidas en la
metalógica: teoría de los medios de descripción y de las premisas y
propiedades de los cálculos lógicos. Por primera vez la idea del cálculo lógico
la formuló, por lo visto, Leibniz. Sin embargo, como disciplina independiente,
la lógica matemática cobró forma a mediados del siglo 19 gracias a los
trabajos de Boole. Con él comienza el desarrollo de la denominada álgebra de
la lógica. Otra tendencia en la elaboración de la lógica matemática, que pasó a
ser determinante, empieza desde fines del siglo 19 en virtud de las necesidades
de las matemáticas en cuanto a la fundamentación de sus conceptos y modos
de demostración. En las fuentes de esta tendencia están los trabajos de Frege.
Hicieron un notable aporte a su desarrollo Russel y Whitehead (Principia
Mathematica, 1910-13), así como Hilbert. En aquel período se crean los
sistemas lógicos fundamentales de la lógica matemática: cálculo de los
enunciados y cálculo de los predicados (ambos cálculos son clásicos). En los
años 30, Goedel, Tarski, A. Church obtuvieron importantes resultados, los
cuales determinan el estado actual de la lógica matemática. La presente etapa
de la lógica matemática se caracteriza por la investigación de las diversas
variedades de los cálculos lógicos, el interés por los problemas de la semántica
y, en general, de la metalógica, así como de las aplicaciones especiales
matemáticas y técnicas de la lógica. La lógica matemática ejerce gran
influencia sobre las matemáticas modernas y halla aplicación en la técnica de
cómputo (programación), en la cibernética (teoría de los autómatas), la
neurofisiología y la lingüística (lingüística estructural y semiótica).