HISTORIA DE LA LÓGICA MATEMÁTICA

La historia de la lógica documenta el desarrollo de la lógica en varias culturas y

tradiciones a lo largo de la historia. Aunque muchas culturas han empleado
intrincados sistemas de razonamiento, e, incluso, el pensamiento lógico estaba ya
implícito en Babilonia en algún sentido, la lógica como análisis explícito de los
métodos de razonamiento ha recibido un tratamiento sustancial solo originalmente
en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia.
Aunque las dataciones exactas son inciertas, particularmente en el caso de la India,
es probable que la lógica emergiese en las tres sociedades hacia el siglo IV a. C. El
tratamiento formalmente sofisticado de la lógica proviene de la tradición griega,
especialmente del Organon aristotélico, cuyos logros serían desarrollados por los
lógicos islámicos y, luego, por los lógicos de la Edad Media europea. El
descubrimiento de la lógica india entre los especialistas británicos en
el siglo XVIII influyó también en la lógica moderna.
La historia de la lógica es producto de la confluencia de cuatro líneas de
pensamiento, que aparecen en momentos históricos diferentes: 1

 La lógica antigua, obra de Aristóteles, los megáricos y

los estoicos.
 La idea de un lenguaje único, completo y exacto para
razonar, sueño al que aspiraban Ramón Llull y Leibniz.
 Los progresos en álgebra y geometría al comienzo
del siglo XIX, y el desarrollo de un cálculo completo,
obra de Frege.
 Ya en el siglo XX, Bertrand
Russell y Whitehead culminaron el proceso de
creación de la lógica. A partir de este momento no
cesarán de producirse nuevos desarrollos y de nacer escuelas y tendencias.

Edad Antigua
La lógica, como un análisis explícito de los métodos de razonamiento, se desarrolló
originalmente en tres civilizaciones de la historia antigua: China, India y Grecia,
entre el siglo V y el siglo I a. C.
En el plano sintáctico y semántico del lenguaje Protágoras fue el primero en estudiar
las oraciones, Platón en su obra Sofista trató también las afirmaciones y las
negaciones, introduce la noción del método axiomático que más tarde fue
completado por Aristóteles cuyo mérito radica el haber sistematizado la lógica formal
codificando las formas de argumentación correcta que es donde radica la naturaleza
de la lógica como ciencia. Los escritos lógicos de Aristóteles están contenidos en
su libro Organon que significa “instrumento” para pensar correctamente
(propedéutica o metodología), este libro contiene los cinco tratados siguientes: las
categorías, las proposiciones, los analíticos, (primeros y segundos) los tópicos y las
refutaciones sofísticas. Los analíticos es el tratado que contiene la naturaleza de la
lógica y el Silogismo que trata del razonamiento lógico aristotélico usando
proposiciones categóricas.
Aristóteles aporta a la lógica la introducción del uso de variables, las proposiciones
por su cantidad y su cualidad, el raciocinio deductivo, las formalizaciones de la
Lógica y el desarrollo silogístico.

Más adelante Teofrasto y Eudemo aportaron los silogismos hipotéticos

condicionales perteneciente a la lógica de las proposiciones los Megariacos
plantean el significado de las proposiciones “Si - entonces” los Estoicos desarrolla
la lógica Verdadero – Falso de las proposiciones.

Edad Media
Con el nombre de dialéctica en la Edad Media la lógica mantiene la condición de
ciencia propedéutica. Así se estudia en la estructura de las enseñanzas
del Trivium como una de las artes liberales pero sin especiales aportaciones en
la Alta Edad Media.
En su evolución hacia la Baja Edad Media son importantes los aportes árabes de Al-
Farabi, Avicena y Averroes, pues fueron los árabes quienes reintrodujeron los
escritos de Aristóteles en Europa. En la Baja Edad Media su estudio era requisito
para entrar en cualquier universidad. Desde mediados del siglo XIII se incluyen en
la lógica tres cuerpos separados del texto. En la logica vetus y logica nova es
tradicional escritos lógicos, especialmente el Órganon de Aristóteles y los
comentarios de Boecio y Porfirio. La parva logicalia puede ser considerada como
representativa de la lógica medieval.
La evolución crítica que se va desarrollando a partir de las aportaciones
de Abelardo dinamizaron la problemática lógica y epistemológica a partir del siglo
XIII (Pedro Hispano, Raimundo Lulio Lambert de Auxerre, Guillermo de Sherwood)
que culminaron en toda la problemática del siglo XIV: Guillermo de Ockham, Jean
Buridan, Alberto de Sajonia.
Aquí están tratados una cantidad de nuevos problemas en la frontera de la lógica y
la semántica que no fueron tratados por los pensadores antiguos. De especial
relevancia es la problemática respecto a la valoración de los términos del lenguaje
en relación con los conceptos universales, así
como el estatuto epistemológico y ontológico de
éstos y el problema de la individuación.
Edad Moderna
Esta lógica adquiere un nuevo enfoque en las interpretaciones racionalistas de Port
Royal, en el siglo XVII, (Antoine Arnauld; Pierre Nicole) pero tampoco supusieron
un cambio radical en el concepto de la Lógica como ciencia.
Los filósofos racionalistas, sin embargo, aportaron a través del desarrollo
del análisis y su desarrollo en las matemáticas (Descartes, Pascal y Leibniz) los
temas que van a marcar el desarrollo posterior. Son de especial importancia la idea
de Descartes de una Mathesis universalis11 y de Leibniz en la búsqueda de
un lenguaje universal, especificado con precisión matemática sobre la base de que
la sintaxis de las palabras debería estar en correspondencia con
las entidades designadas como individuos o elementos metafísicos, lo que haría
posible un cálculo o computación mediante algoritmo en el descubrimiento de la
verdad.12
Aparecen los primeros intentos y realizaciones de máquinas de cálculo,
(Pascal, Leibniz) y, aunque su desarrollo no fue eficaz, sin embargo la idea de
una Mathesis Universal o «Característica Universal», es el antecedente inmediato
del desarrollo de la lógica a partir del siglo XX.
Kant consideraba que la lógica por ser una ciencia a priori había encontrado su
pleno desarrollo prácticamente con la lógica aristotélica, por lo que apenas había
sido modificada desde entonces.

Edad Contemporánea (1960 – 1900)

Históricamente, Descartes puede que haya sido el primer filósofo en haber tenido la
idea de usar el álgebra, especialmente sus técnicas para resolver cantidades
desconocidas en las ecuaciones, como vehículo para la exploración científica. La
idea de un cálculo de razonamiento fue también cultivada por Gottfried Wilhelm
Leibniz. Leibniz fue el primero en formular la noción de un sistema de lógica
matemática aplicable de forma generalizada. Sin embargo, los documentos
relevantes al respecto no fueron publicados hasta 1901 y muchos de ellos siguen
sin estar publicados, y la actual comprensión del poder de los descubrimientos de
Leibniz no empezó a desarrollarse hasta los años ochenta.
Gottlob Frege en su Begriffsschrift (1879) extendió la lógica formal más allá de la
lógica proposicional para incluir constructores como "todo" y "algunos". Mostró cómo
introducir variables y cuantificadores para revelar la estructura lógica de las
oraciones, que podría estar ocultas tras su estructura gramatical. Por ejemplo,
"Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que,
si x es un ser humano entonces x es mortal." La peculiar doble notación dimensional
de Frege hizo que su obra fuese ignorada durante muchos años.
En el siglo XX la lógica simbólica, que tanto debía a la matemática había
desembocado, desde principio del siglo, en cuestiones irresolubles. Esto produjo un
paulatino alejamiento de la lógica con respecto a la matemática, así como un
deslindamiento de las competencias respectivas. Por un lado, la lógica, alejándose
del excesivo formalismo y simbolismo, empieza a ocuparse y preocuparse de
problemas semánticos, es decir de las relaciones entre los símbolos y lo que
expresan. Se producen así un acercamiento de la lógica a la lingüística y a la
epistemología. Filósofos como L. Wittgenstein, R. Carnap inicialmente bajo la
influencia formalista y logicista, dan un viraje en su filosofar orientándose hacia
preocupaciones lógico - semántica.

Personajes importantes en la lógica Matemática

Platón

Platón (427-347 AC) intenta instaurar en Siracusa una utópica república dirigida por
filósofos, y crea la Academia en Atenas, que no era solouna institución filosófica,
sino servía de formación política a los jóvenes de la aristocracia. Según muchos
críticos, Platón edifica su teoría del conocimiento para justificar el poder
preeminente del filósofo y parte de los pensamientos socráticos: la búsqueda de
conceptos y definiciones estables de las ideas abstractas (justicia, bondad, valor,
etc.).

Aristóteles

Los tratados de lógica de Aristóteles (384-332 a.C.), conocidos como Organón,

contienen el primer tratamiento sistemático de las leyes de pensamiento en relación
con la adquisición de conocimiento. Estos representan el primer intento de
establecer a la lógica como ciencia. Aristóteles da una clasificación de todos los
conceptos o nociones (sustancias, cantidad, relación, acción, pasión, diferencia,
propiedad y accidente) y trata las reglas del razonamiento silogístico. Aristóteles no
hace de la lógica una disciplina metáfisica, pero si establece una correspondencia
entre el pensamiento lógico y la estructura ontológica.

Euclides

Este matemático alejandrino publicó numerosas obras entre las que destacan los
célebres ''Elementos'', sin duda el texto matemático más conocido a lo largo de la
historia. Los ''Elementos'' están divididos en trece libros y constituyen una
recopilación de gran parte de las matemáticas conocidas en tiempos de Euclides;
su gran valor reside en el uso riguroso del método deductivo, distinguiendo entre
principios (definiciones, axiomas y postulados) y teoremas, que se demuestran a
partir de los principios.

La ciencia matemática

Después de declinar la escuela clásica de los griegos, se presenta un periodo en el

cual la autoridad religiosa embruteció a la creatividad intelectual. El renacimiento
inicia una nueva era en la cual se permite la revitalización de la ciencia y las
matemáticas. Los representantes más destacados de esta etapa son Descartes,
Newton y Leibniz. Este periodo abarca de los 1500 a los 1800 [6].

René Descartes

El punto de partida de este filósofo y matemático francés (1596-1650) es la duda

universal, que consiste de prescindir de cualquier conocimiento previo que no queda
confirmado por la evidencia con que ha de manifestarse el espíritu. Descartes dudó
de toda enseñanza recibida, de todo conocimiento adquirido, del testimonio de los
sentidos e incluso de las verdades de orden racional.

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.
El objetivo de la lógica matemática es cuestionar los conceptos y las reglas de
deducción que son utilizadas en las matemáticas y esto constituye a la lógica una
verdadera matemática.