DESARROLLO E HISTORIA DE LA LÓGICA MATEMÁTICA

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y

técnicas determina si un argumento es válido. Es ampliamente aplicada en la filosofía,

matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o

no, ya que una frase puede tener diferentes interpretaciones, sin embargo, la lógica permite saber

el significado verdadero. En las matemáticas para demostrar teoremas e inferir resultados

que pueden ser aplicados en investigaciones. En general la lógica se ejecuta en tareas diarias,

pues cualquier trabajo que se realiza tiene un método indicado de desarrollarse.

(Monografías.com: Lógica matemática, 2021)

La evolución de la lógica está ligada a la evolución intelectual del ser humano, ya que

como ciencia del razonamiento se puede afirmar que su historia representa la historia misma del

hombre. La lógica surge desde el momento en que el hombre al enfrentarse a la naturaleza

empieza a observar, experimentar, deduce y razona.

Durante el periodo 600 AC hasta 300 AC se desarrollaron en Grecia los principios

formales de las matemáticas, a este periodo se le llamo periodo clásico en donde sus principales

representantes son: Platón que el introdujo sus ideas y abstracciones; Aristóteles que presentó el

razonamiento ductivo y sistemático y Euclides que fue el que tuvo mayor influencia ya que este

estableció el método axiomático. (Ramas de la Lógica, 2018)

1
 Ya en el siglo XVIII se hicieron algunos intentos de tratar las operaciones lógicas

formales de una manera simbólica por parte de algunos filósofos matemáticos como Lambert,

pero su labor permaneció desconocida y aislada. A partir de la segunda mitad del siglo XIX, la

lógica sería revolucionada profundamente. En 1847, George Boole publicó un breve tratado

titulado “El análisis matemático de la lógica”, y en 1854 otro más importante titulado “Las leyes

del pensamiento”. La idea de Boole fue construir a la lógica como un cálculo en el que

los valores de verdad se representan mediante el F (falsedad) y la V (verdad), y a los que se les

aplican operaciones matemáticas como la suma y la multiplicación.

Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege,

quien frecuentemente es considerado como el lógico más importante de la historia, junto con

Aristóteles. En su trabajo de 1879, “La Conceptografía”, Frege ofrece por primera vez un

sistema completo de lógica de predicados y cálculo proposicional. También desarrolla la idea de

un lenguaje formal y define la noción de prueba. Estas ideas constituyeron una base teórica

fundamental para el desarrollo de las computadoras y las ciencias de la computación, entre otras

cosas.

En 1910, Bertrand Russell y Alfred North Whitehead publican “Principia mathematica”,

un trabajo monumental en el que logran gran parte de la matemática a partir de la lógica,

evitando caer en las paradojas en las que cayó Frege. Se suponía que las teorías matemáticas eran

tautologías lógicas, y el programa debía mostrar esto por medio de una reducción de la

matemática a la lógica. Los autores reconocen el mérito de Frege en el prefacio.

La deducción natural fue introducida por Gerhard Gentzen en su trabajo Investigaciones

sobre la inferencia lógica, publicado en 1934-1935. (Wikipedia, Mayo 2021)

2
 La lógica evoluciona a partir de ello, como un gen hacia la culminación del conocimiento

libre que nace del rigor formal de la matemática griega: emerge renovadamente de etapas de

persecución oscuras como la Edad Media, hasta llegar al intercambio constante y continuo de

datos en la moderna era de estructura de redes que internet proporción a modo neuronal a la

humanidad. (Slideshare, 2014)

3
Bibliografía
http://www.unicauca.edu.co/matematicas/eventos/log&co/MATERIAL/Elementos_Logica/Textos/
Biblioteca/Libros/Libro_008/Logica_Matematica.htm

http://ramasdelalogica.blogspot.com/2018/05/logica-matematica.html

https://es.slideshare.net/emeritacelyquinzocordova/historia-de-la-lgica-matemtica