Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
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).