HISTORIA DE LA LOGICA

i. EDAD ANTIGUA:
A. PARMÉNIDES ( 540 a. C) :
o Creo el principio de identidad: “si un enunciado es verdadero entonces es
verdadero”. (p p) o (p ↔ -p)
o Señaló que sólo por la razón conocemos la verdad de las cosas.
o Concluyó que todo lo que puede ser pensado es, y lo que no puede ser
pensado no lo es (aceptando una realidad inmóvil y sin cambios).
o Refutó a Heráclito.
B. ZENÓN DE ELEA (490 a. C):
o Perteneció a la Escuela Eleática fundada por Parménides, por lo cual apoyo
la posición de Parménides.
o Dio origen al método dialéctico, al razonamiento hipotético y a la reducción
al absurdo.
o Sus argumentos se conocen como Aforias Que significa duda o negación.
C. SÓCRATES (470 a. C) :
o En su lucha contra los sofistas sistematiza el método de la Mayéutica
(Método de preguntas para poder plantear bien los problemas y aclarar los
conceptos).
D. DEMÓCRITO (460 a. C) :
o Creo el principio de la razón suficiente: “No hay efecto sin causa”.
o Utilizó por primera vez la palabra lógica y fue quien inició la investigación
sobre la lógica.
o Estudio la inducción, la analogía y la formulación de hipótesis, así como la
definición de conceptos.
E. PLATÓN (427 a. C) :
o Creo el principio de no contradicción: “Es imposible que un enunciado sea
verdadero y falso a la vez”. [~ (p^~p)], planteando que era falso ser y no ser
al mismo tiempo.
 o En su obra “Sofismas” desarrollo las afirmaciones y las negaciones.
o Teorizo y esquematizo la división y la definición lógica.
o Empleo el método Axiomático (Deducir verdades a partir de otras
verdades).
F. ARISTÓTELES (384 a. C) :
o Es el padre de la lógica formal Iniciando un estudio más reflexivo
sistemático y ordenado de la lógica dicho estudio quedó plasmado en un
grupo de libros a los cuales en conjunto los discípulos de Aristóteles
llamaron Organon.
o Creo el principio del tercio excluido: “Un enunciado puede ser verdadero o
falso no hay una tercera posibilidad” (p v ~p).
o Creo la teoría de los silogismos
o Introdujo el uso de variables.
o Realizó un análisis semántico de las proposiciones, clasificando las por su
cantidad y calidad.
o Realizó un análisis sintáctico de las proposiciones, señalando los términos
como sus elementos más simples
o Desarrollo la lógica de predicados
o Estudio la deducción considerando sólo su forma o estructura (Lógica
Formal) sin tomar en cuenta el significado o contenido de las deducciones.
G. BOECIO (480 – 525 d. C)
o Descubre las leyes de la inferencia inmediata a partir del “Cuadro lógico de
oposición” de las proposiciones categóricas.
o El “Cuadro lógico de la oposición” fue completado y estructurado por
Boecio (Cuadro de Boecio), en este cuadro aparecen las contradictorias, las
contrarias, las subcontrarias, las subalternas y las subalternantes.
o Logra sistematizar las proposiciones categóricas.
ii. EDAD MEDIEVAL:
A. PEDRO ABELARDO (1079 – 1142):
 o Fue el primer lógico medieval de mayor importancia, considera que la
verdad y la falsedad son intercambiables en una misma proposición
B. GUILLERMO DE SHYRESWOOD (1190 – 1249)
o Formula por primera vez el esquema de división dicotómica conocido
como: “árbol de Porfirio” también anuncia por primera vez los famosos
versos nemotécnicos:

Barbara celarent darii ferio baralipton

Celantes dabitis fapesmo frisesomorum

Cesare camestres festino baroco darapti

Felapton disamis datisi bocardo ferison

C. PEDRO HISPANO (1210 - 1277):

o Su obra “Summulae Logicales”, es el texto medieval de la lógica que tuvo
mayor aceptación, también desarrolló la Teoría de las Suposiciones.
D. TOMÁS DE AQUINO (1225 – 1274):
o En su obra “Suma Teológica” busco la demostración racional de la
existencia de Dios.
o Estudió los signos y juicios modales.
E. RAIMUNDO LULIO (1235 – 1315):
o Planteo que la razón puede y debe demostrar todo, y debe dar prueba de la
verdad cristiana.
o Es el precursor de la lógica simbólica.
o Su obra más importante es: “Ars Magna” (Artes Generales).
o Primer Precursor de la Lógica Matemática.
F. JUAN DUNS SCOTO (1266 – 1308):
o Se opuso a las ideas de Tomás de Aquino, expresando que “la verdad s e
logra por la experiencia”.
 o Considera que la clasificación cuantitativa de los juicios simples no es
aplicada los juicios complejos.
G. GUILLERMO DE OCCAM (1295 – 1349):
o Representa al Nominalismo.
o Establece reglas para la inferencia consecuente, entre las cuales figuran las
“Leyes de Morgan”, que trata sobre las propiedades distributivas de la
negación lógica.
H. JUAN BURIDÁN (1290 – 1360):
o Estudia las condiciones de validez de la consecuencia, teniendo en cuenta
el antecedente y el consecuente.
iii. EDAD MODERNA:
A. FRANCIS BACON (1561-1626)
o Es lógico que hasta entonces hubiera sido lógica formal, atendiendo sólo a
las formas y encadenamiento de las ideas, va a transformarse con Francis
Bacon en la Lógica de los hechos, encaminada al descubrimiento de las
leyes naturales, mediante la inducción rechazando la deducción.
o Su principal obra fue: “Novum Organon” (nuevo instrumento), en donde
propuso un nuevo instrumento para elaborar nuevos pensamientos en la
que el mismo tiempo hizo la crítica a la lógica Aristotélica, rechazando los
aportes de Aristóteles.
B. THOMAS HOBBES (1588-1679)
o Considera el razonamiento como una especie de cálculo de signos.
C. RENÉ DESCARTES (1596-1650)
o Establece como prueba demostrativa el procedimiento de la duda
metódica.
o Establece la relación recíproca entre la inducción y la deducción.
D. WILHELM LEIBNIZ (1644-1716)
o Desarrolló el Álgebra Lógica para formar conceptos, juicios y razonamientos
mediante la combinación de símbolos.
 o Estableció la ley de tautología.
o Introdujo el cálculo en su obra “Mathesis Universalis”, demostrando la
verdad de las afirmaciones científicas y filosóficas, a través de un lenguaje
simbólico y también da a conocer sus descubrimientos en torno al cálculo
lógico, cálculo diferencial y cálculo proposicional.
o Consideró que para comprobar las verdades de los hechos, es
indispensable el principio de razón suficiente denominándolo el “Gran
Principio”.
o Leibniz es considerado unánimemente como el gran precursor de la lógica
formal y segundo precursor de la lógica matemática, como afirmaron
Bertrand Russell y Louis Couturat a principios del siglo XX.
E. IMMANUEL KANT (1724-1804)
o Distingue entre la lógica formal y la lógica trascendental.
o Estudió las antinomias de la razón.
o Es antecesor de la lógica dialéctica.
F. AUGUSTO DE MORGAN (1800-1871)
o Consideró que el silogismo no es más que una serie de combinaciones y
relaciones de clases.
o Planteó que la base común entre la lógica y la matemática son: Las
relaciones de inclusión o exclusión total o parcial de clases.
o Enuncio las Leyes de Transitividad.
o Inventó la expresión inducción matemática.
o Crea “las leyes de Morgan” que son equivalencias tautológicas de la
conjunción y disyunción.
G. JOHN STUART MILL (1806-1873)
o Fue el primer sistematizador de la lógica inductiva; para él, la inducción es
el método universal, considera que todo nuestro conocimiento proviene de
inducción es más o menos generalizadas.
 o Planteó que la lógica es la ciencia de las operaciones intelectuales, que
sirven para la estimación de la prueba.
H. GEORGE BOOLE (1815-1873)
o Innovó la lógica construyendo una teoría de las clases y sus elementos.
o Planteó la relación entre la lógica de clases y la lógica proposicional.
o Construyó el cálculo algebraico con símbolos y aportó también en el diseño
de ordenadores o computadoras.
o Su obra más importante: “Investigaciones de las leyes del pensamiento”.
I. VENN (1834-1923)
o Aclaró los procedimientos algebraicos de Boole a través de sus diagramas
de Venn.
o Trato de encontrar la significación lógica de operaciones como la
sustracción y la división.
J. EDMUNDO HUSSERL (1859-1938)
o Representa no sólo una oposición tenaz contra el psicologismo, sino
también contra las doctrinas kantianas.
o Con su teoría llamada fenomenología lucha contra el psicologismo a favor
de una posición lógica independiente de toda psicología.
o El fin de la lógica es para Husserl la elaboración de las leyes que
condicionan la conexión de “Verdades” en la unidad de un sistema o teoría.
o En su obra “Investigaciones Lógicas” establece la diferencia entre dos
ciencias: Psicología y lógica.
K. GOTTLOB FREGE (1848-1925)
o Padre de la Lógica Moderna.
o Desarrollo el estudio de la lógica predictiva.
o Distingue entre ley y regla.
o Establece diferencias entre constante y variable.
o Independizó el cálculo lógico del cálculo matemático.
o Inventó notaciones simbólicas como: Cuantificadores, variables.
 o Distingue el lenguaje del metalenguaje
o Su obra más importante es: Conceptografía conocida como “El Segundo
Órganon”
L. GIUSEPPE (PEANO 1858-1932)
o Fue el primero en dar a la lógica el nombre de Lógica Matemática.
o Consideró que la lógica es el instrumento de la matemática.
o Propuso el uso de puntos auxiliares, en reemplazo de los signos de
agrupación.
o Creó el primer ejemplo de Fractal.
o Escribió: "Principios de Aritmética".