“Todo razonamiento es pensamiento, pero no todo pensamiento es razonamiento”

Irving Copi- Carl Cohen,

Introducción a la Lógica.
 LÓGICA
GEORGE BOOLE
(1815-1864)

Este matemático y autodidacta realizó una gran contribución conocida actualmente como álgebra de Boole, que
consiste en la relación de las estructuras lógicas con los operadores de la matemática, transformándola en un
álgebra tradicional, también es llamada álgebra de la conmutación.
 LÓGICA
GOTTLOB FREGE
(1848-1925)

El aporte de Frege sentó las bases de la semántica lógica. Creó muchas notaciones simbólicas, como los
cuantificadores y las variables, estableciendo así los fundamentos de la lógica matemática moderna.
Refiriéndose el papel de los símbolos en las matemáticas y la lógica, señalaba que no debía existir signo sin
significación. Además, consideraba erróneo el propósito de los matemáticos de hacer objeto de las matemáticas los
signos privados de significación, de convertir los números en signos.
 LÓGICA
BERTRAND RUSSELL
(1872-1970)
Es uno de uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica
contemporánea Por influencia de los trabajos de Cantor descubrió en la teoría de conjuntos varias paradojas que
resolvió mediante la teoría de los tipos; años más tarde establecería una teoría similar, la de la jerarquía de los
lenguajes, para eliminar las paradojas semánticas. Siguiendo los trabajos de Cantor, Peano y Frege, Russell se
propuso fundamentar y axiomatizar la matemática a partir de conceptos lógicos. Este empeño culminó con la
publicación (1910-1913) de los monumentales ''Principios Matemáticos'' (junto con Whitehead), obra que,
además, sentaba las bases de la moderna lógica formal.
 LÓGICA
LOTFI ASKER ZADEH
(1921-2017)
En 1965 propuso a la comunidad científica un trabajo matemático describiendo los conjuntos difusos y ocho años
más tarde presenta una teoría completa y extraordinaria para una nueva lógica que se denominó “lógica difusa”.
La lógica difusa se puede considerar como un complemento de la simbólica de Boole, ya que se fundamenta en la
variabilidad de cero a uno del valor de verdad de un enunciado. Dicha lógica es una herramienta conceptual que
tiene diversas aplicaciones en varios campos del conocimiento, específicamente comerciales y en el desarrollo de
la electrónica, cuyas actividades están relacionadas con estimadores difusos cuantificables y calificables, como:
muy cercano, rara vez, poco probable, muy alto, medio alto y otros.
 LÓGICA
KURT GÖDEL
(1906-1978)

Tuvo múltiples contribuciones a la lógica matemática, destacando la demostración de la consistencia de la

hipótesis cantoriana del continuo y el teorema y la prueba de incompleta semántica. En ''Sobre las proposiciones
indecidibles de los sistemas de matemática formal'' establece que es imposible construir un sistema de cálculo
lógico suficientemente rico en el que todos sus teoremas y enunciados sean decidibles dentro del sistema. Con
este teorema se demostró definitivamente que era imposible llevar a cabo el programa de la axiomatización
completa de la matemática propugnado por Hilbert y otros, ya que, según él, no puede existir una sistematización
coherente de la misma tal que todo enunciado matemático verdadero admita demostración. Siempre habrá
enunciados que no son demostrables ni refutables. Para probar esta aserción se sirvió de la matematización de la
sintaxis lógica.
 LOGICA
Alan Turing
(1912-1954)

Matemático y lógico quien fue pionero en la teoría de la computación y contribuyó en importantes análisis lógicos
de los procesos computacionales. Las especificaciones para la computadora abstracta que él ideó (llamada la
Máquina de Turing) resultó ser una de sus más importantes contribuciones a la teoría de la computación. Turing
inventó la máquina en un intento por determinar si toda la matemática podía ser reducida a algún tipo simple de
computación. Su objetivo fue desarrollar la máquina más simple posible capaz de realizar computación. La
máquina de Turing es un dispositivo relativamente simple, pero capaz de realizar cualquier operación matemática.
Turing abrigó la ilusión de que su máquina tenía una capacidad tal que, potencialmente, podría ser capaz de
realizar cualquier cosa realizable por el cerebro humano, incluyendo la capacidad de poseer conciencia de sí
mismo. Además, probó que es posible construir una máquina universal que con una programación adecuada podrá
hacer el trabajo de cualquier máquina diseñada para resolver problemas específicos.
 LOGICA
ALFRED TARSKI
(1902-1983)

En 1941 publicó uno de los manuales de lógica más acreditados, "Introduction to Logic and to the Methodology
of Deductive Sciences". Contribuyó a la madurez de la lógica estándar —de primer orden— fundando una
metodología conjuntista de las teorías deductivas sobre dos bases: la noción de teoría como conjunto de
proposiciones cerrado bajo una noción de derivación mediante aplicación de reglas, y el desarrollo de una
semántica basada en las nociones de satisfacción, verdad y consecuencia lógica.
Sus métodos semánticos, que culminaron en la teoría de modelos desarrollada en los años 50 y 60 junto a sus
discípulos de Berkeley, transformaron radicalmente la metamatemática, consolidándola como ciencia estricta. La
idea principal es reemplazar los símbolos de una cierta teoría por expresiones de otra teoría de forma que los
axiomas de la primera se traduzcan en teoremas de la otra. La teoría de modelos estudia las propiedades que se
heredan de unas teorías a otras a lo largo de estas traducciones y compara los alcances respectivos de teorías
diversas. Fue el inventor de una de las primeras demostraciones del teorema de deducción, con importantes
aplicaciones tanto en lógica como en metalógica.