Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
I.- ETIMOLOGÍA.-
Donde: logos (ó) significa "razón", "palabra pensada", "pensamiento"; e, ikus () significa
"tratado", "estudio"; y, logikus significa "tratado del pensamiento", "estudio de la razón".
a) Aristóteles (384 – 322 a.n.e.), llamado "Padre de la Lógica" o "El estagirita" (por proceder de
Estagira –hoy llamada Tracia– de Macedonia) con quien nace científicamente la Lógica Clásica.
Escribió seis tratados de lógica: “Categorías” o “Predicamentos”), “Interpretación” (o
“Hermenéutica”), "Primeros Analíticos", "Segundos Analíticos", "Tópicos" y “Argumentos
Sofísticos”; agrupados todos, después de su muerte, como si fueran un solo texto al cual se le
llamó “Organón” que significa “origen” o “instrumento”. Desarrolló la teoría silogística con la cual
defendió el método deductivo.
b) Los Megáricos (s. IV a.n.e.). Diodoro de Cronos desarrolló la lógica modal (verdad + tiempo).
b) Porfirio (232-304), gracias a quien se le conoce a Aristóteles, escribió el "Isagoge" donde hace
unos comentarios críticos de las "Categorías" del estagirita y da inicio al problema de "los
universales" preguntándose "¿cuál será la naturaleza de los conceptos generales?".
c) Boecio (480-524), seudónimo de Anicio Manlio Severino, monje filósofo y lógico cristiano.
Tradujo las obras de Aristóteles y de Porfirio. Considerado erróneamente el autor del "Cuadro de
Oposición Lógica" o "Cuadro de Boecio", cuyo verdadero autor fue el lógico Julius Paecius.
d) Raymund Llull o Reymundo Lulio (1233-1315), autor de "Ars Magna" ("Fortaleza Grandiosa),
obra que le ha valido el título de "Primer Precursor de la Lógica Matemática
e) También sobresalieron Duns Escoto, Pedro Abelardo, Guillermo de Ockam, Alberto de Sajonia
(San Alberto Magno), Tomás de Aquino, entre otros.
a) Georg Wilhelm Friedrich Hegel (1770-1831), escribió la "Ciencia de la Lógica" donde desarrolla
su método llamado dialéctica idealista. Mal se ha hecho en considerar a este método como un
método lógico.
b) Karl Marx (1818-1883), juntamente con su gran colaborador y mejor amigo, Friedrich Engels,
desarrolló, en contraposición a Hegel, la dialéctica pero desde la posición materialista, creando así
la filosofía científica marxista que está compuesta por el materialismo dialéctico, el materialismo
histórico y la lógica dialéctica. Posteriormente Lenin se encargó de desarrollar la lógica dialéctica
marxista dando prioridad a la unidad entre lo lógico y lo histórico.
c) George Bool (1815-1864), desarrolló el "álgebra de clases" llamada también "álgebra booleana".
Creador del primer sistema de lógica matemática. Retomó los trabajos de formalización del
lenguaje iniciados por Leibnitz creando un lenguaje simbólico formalizado lógico. Escribió "Análisis
Matemático de la Lógica", "Investigaciones de las leyes del pensamiento" y "Cálculo de Clases",
entre otras obras.
d) Auguste De Morgan, creador de las llamadas "Leyes de De Morgan" que son equivalencias
tautológicas de la conjunción y disyunción de la negación de las variables proposicionales p y q.
e) John Venn (1834-1923), creador de los "Diagramas de Venn" para la demostración gráfica de las
fórmulas booleanas.
f) Gottlob Frege (1848-1925), aportó, entre otras cosas, la distinción entre constante y variable y el
uso de cuantificadores. Es llamado "Padre de la Lógica Contemporánea" por haber revolucionado
la lógica y la matemática. Logizó la aritmética. Escribió el "Begriffsschrisft" (algo así como
"conceptografía" o "ideografía") conocida también, por antonomasia, como el "Segundo
Organón".
g) Giussepe Peano (1858-1932), creó un lenguaje simbólico para las demostraciones matemáticas,
como son el uso de puntos en lugar de los signos tradicionales de agrupamiento y la simbolización
de los cuantificadores. Creó el idioma llamado "interlingua" (derivado del latín, el francés, el
alemán y el inglés). Escribió "Principios de Aritmética".
h) Bertrand Russell (1872-1970) y Alfred Norbert Whitehead (1861-1947). Éste fue maestro de
aquél. Ambos realizaron la síntesis de toda la teoría de la inferencia y los tipos de inferencia
empleados en la demostración de teoremas de la matemática anterior, en su obra conjunta
"Principia Mathematica". Propusieron que la matemática se reduzca a una rama de la lógica.
Descubrieron algunas paradojas de la lógica cuantificacional del Gottlob Frege. Russell denominó a
su filosofía con el nombre de "Filosofía Atomista" al hacer la distinción de las proposiciones en
atómicas y moleculares, desarrollando así el trabajo del estoico Crisipo.
i) David Hilbert (1862-1943), luego de analizar algunos defectos cometidos por Russell y
Whitehead en "Principia Mathematica" debido a la falta de rigor en el lenguaje usado al estudiar la
inferencia, creó un nuevo método actualmente conocido como "metateoría" (teoría que tiene
como objeto de investigación es otra teoría, y está formulada en un metalenguaje) que permite la
elaboración rigurosa de los sistemas axiomáticos.
k) Karl Popper, epistemólogo austríaco planteó la lógica probabilística y negó la validez del método
inductivo reafirmando así el deductivismo. Escribió "Lógica de la Investigación Científica".
l) También son considerables los trabajos de Emil Post, Kurt Gödel, Alfred Tarski, los primeros
sistemas de la lógica polivalente (característica de la lógica no-clásica) como la lógica trivalente de
Jan Luckasiewicz (1920) y la lógica n-valente de Emil Post (1921); y, el desarrollo de la lógica digital
(dígitos) desde 1939 (inicio de la Segunda Guerra Mundial), propulsada por Norbert Winner
(fundador de la cibernética), Charles Babbage (creador de la calculadora mecánica, antecesora de
la "Máquina de Türing"), Claude Shannon (aplicó el álgebra de proposiciones o "circuitos lógicos",
al diseño de los circuitos eléctricos), Alan Mathison Türing (padre de la teoría de la computación,
creador de la "Máquina de Türing" o TM, se preguntaba si se podría distinguir una computadora
de un ser humano) y John von Neuman (colaborador de Shannon y Turing, con quienes llevan el
título conjunto y amplio de "Padres de la Computación").
a) Newton da Costa, brasileño creador del lenguaje paraconsistente que niega el principio de no-
contradicción.
c) Gerold Stahl, alemán establecido en Chile, quien ha investigado la lógica de las matemáticas. d)
Luis Piscoya Hermoza, en la UNMSM del Perú, quien viene realizando investigaciones en el campo
lógico. Es preciso, además, recordar con mucho orgullo, que la Lógica Matemática fue introducida
a América Latina por nuestro compatriota, el Dr. Francisco Miró Quesada Cantuarias (ex profesor
de Filosofía de la Matemática y de Filosofía Política en la UNMSM), además de ser uno de los
pioneros de la epistemología, de la metamatemática y de la metateoría.