Esbozo del Desarrollo Histrico de la Lgica

En las siguientes pginas se presenta un sucinto panorama histrico de la lgica dividido en las
siguientes secciones

Edad Antigua
A los trabajos de Aristteles (384-322 a C.) se debe la sistematizacin de la lgica. Conscientes de
este descubrimiento (la teora del Silogismo), los comentaristas, que durante la poca bizantina se
encargaron del estudio y ordenamiento de estos escritos, denominaron Organon (instrumento) al
compendio que nos leg ese saber, en cuya seccin inicial, Primeros Analticos, reuni todo el
material existente en su poca sobre la deduccin o inferencia. Es, por ello, el primer lgico formal
de la historia. Su mrito consisti en haber examinado las deducciones o inferencias considerando
slo su forma o estructura, con independencia de su significado o contenido. sta es la razn por la
que la lgica desde su creacin es una ciencia formal o estructural que mantiene este carcter
hasta
nuestros
das,
tras
veinticuatro
siglos.
El tratamiento estructural que hizo el Estagirita de la deduccin signific un aporte sustancial al
desarrollo de la lgica y de la matemtica: el mtodo axiomtico. En efecto, debido a que todos los
razonamientos podan ser considerados como estructuras, Aristteles axiomtico su teora del
silogismo. La silogstica aristotlica forma parte de lo que hoy se considera la teora general de la
inferencia deductiva y su desarrollo hace de su lgica un antecedente remoto de la
contempornea.
Casi contemporneos con Aristteles fueron los lgicos estoicos y los megricos. Los primeros
tuvieron el mrito de profundizar en algunos campos a los que el Estagirita no haba concedido
suficiente atencin. Estos filsofos son los precursores ms lejanos de la actual lgica
proposicional y de las teoras que incluyen predicados relacionales, que son indispensables para
dotar a la matemtica de una lgica adecuada que el silogismo no proporciona. Por su parte, los
megaricos hicieron tres aportaciones a la lgica: una en lo relativo a las paradojas (por ejemplo, la
del mentiroso, atribuida a Eublides); otra en el examen de los conceptos modeles y, adems,
iniciaron un importante debate sobre los enunciados condicionales. El ms importante de ellos,
Diodoro Cronos, se dedico a la lgica de las modalidades temporales esclareciendo relaciones
importantes entre verdad y tiempo. Sin embargo, el influjo del Estagirita fue avasallador y los
estoicos y megricos fueron desconocidos en la Edad Media, durante la cual las investigaciones
lgicas se centraron en el Silogismo y sus aplicaciones.

Edad Media
Durante la Edad Media los mximos representantes de la lgica escolstica, como
Pedro Abelardo, Pedro Hispano, Toms de Aquino, Raimundo Lulio y Guillermo de
Occam, no slo perfeccionaron y sistematizaron temas heredados de la tradicin
antigua, sino emprendieron nuevas investigaciones como la teora de las suposiciones
precursora de la moderna teora de la jerarqua de lenguajes, la cual es empleada para
la eliminacin de paradojas metalgicas. Asimismo, trabajaron en forma apreciable la
lgica proposicional y conocieron sus principales reglas de inferencia a pesar de no
manejar un lenguaje simblico adecuado, lo que hizo muy difciles sus trabajos. Por
aadidura, la concepcin nominalista de los universales de Occam -que interpreta los
conceptos como nombres genricos- es muy prxima a la nocin contempornea de

predicado
lgico.
Los escolsticos, adems, emprendieron un estudio especial y profundo de la lgica
modal llevndola bastante ms all del nivel inicial en el que la haba dejado
Aristteles. Tambin se enfrentaron con el problema de las paradojas semnticas, de
las que hallaron no menos de una docena de soluciones, logrando desentraar casi
todos sus aspectos. Finalmente, los escolsticos desarrollaron la mayor parte de sus
investigaciones de manera metalgica, o sea no construyendo frmulas lgicas si no
describindolas, cosa que los antiguos slo haban hecho en contadas ocasiones. No
obstante, como lo anotaremos lneas arriba, los filsofos medievales no lograron
avanzar mucho, debido a que no contaron con un lenguaje adecuado para un eficaz
anlisis
de
inferencias.
Las principales aportaciones de esta poca son las relacionadas con los trminos
sincategoremticos, la teora de la suposicin y la teora de las consecuencias.

Renacimiento y Edad Moderna

En el siglo XVII Guillermo Leibniz el precursor de la lgica matemtica - descubre por
su cuenta todo cuanto haban descubierto los estoicos, megricos y medievales y se
constituye en el primer filsofo que tom conciencia de la necesidad de disponer de un
lenguaje especial para progresar en el estudio de las deducciones. Aunque los
especialistas reconocen que esta idea ya estaba en germen en el Ars magna, de
Raimundo Lulio, Leibniz fue el primero que sostuvo con claridad que el procedimiento
para convertir la teora de la deduccin lgica en una ciencia estricta e infalible era
convertirla en un clculo mediante el uso de procedimientos matemticos.
Esta nueva ciencia sera una mathesis universales (ciencia fundamental), que l llamo
tambin logstica o lgica matemtica. Su funcin consistira en demostrar la verdad de
las afirmaciones filosficas y cientficas sin tener en cuenta su significado sino
solamente su estructura expresada en smbolos de un lenguaje artificial, construido
especialmente para calcular. Leibniz deca que calcular era operar con smbolos. As
como se poda calcular con smbolos aritmticos tambin ello sera factible con
smbolos
que
representaran
estructuras
deductivas.
El ideal leibniziano era lograr un instrumento lgico lo suficientemente poderoso como
para poder traducir cualquier discusin significativa sobre la correccin de las
deducciones a una operacin en la que los oponentes se limiten a revisar los clculos
para ubicar el error de manera parecida a como se corrige una suma cualquiera. El
proyecto de Leibniz era demasiado ambicioso y por ello fracas. Aunque su intuicin
fue grande, estuvo lejos de lo realizable y no pudo avanzar hacia la construccin de un
lenguaje simblico que superara significativamente la vieja silogstica aristotlica.
Pero sus trabajos no alcanzaron difusin y pasaron inadvertidos debido al inmenso
prestigio que alcanzaba Aristteles aun hasta el siglo XVIII. Es que se admita, con
Manuel Kant en el prefacio a la segunda edicin (1787) de su crtica de la razn pura,
que el Estagirita haba descubierto todo lo que haba que descubrir sobre lgica. Se
aceptaba que la lgica creada por l era un conocimiento acabado, cerrado y completo;
puesto que la investigacin posaristotlica no haba ni refutado ni aportado nada nuevo
en relacin con las enseanzas del Organon, Este apodctico juicio privada a la

disciplina lgica al haber surgido del cerebro de Aristteles ya acabada y perfecta,

como Minerva de la cabeza de Jpiter- de su propia historia:
a partir de Aristteles no ha tenido que dar ningn paso atrs
y
hasta
hoy
la
lgica
no
ha
podido
dar
ningn
paso
adelante,
de modo que todo parecer indicar que hay que considerarla como
cerrada y completa.
Esta limitacin es debida, esencialmente, a la escasa cultura referente a la historia de
la filosofa, comn a los dems grandes pensadores de su tiempo, cuya informacin en
historia de la filosofa no llagaba en el tiempo ms atrs de Descartes, desconociendo
de manera casi total la Edad Media y que tena de la filosofa antigua nociones de nivel
puramente
manualstico
y
poco
precisas.
Sin embargo, desde hace ms de un siglo la lgica ha tomado un nuevo curso y en
poco tiempo ha experimentado significativos progresos que la han renovado por
completo. El impulso fue dado por dos matemticos y lgicos ingleses: George Boolecon su obra Anlisis matemtico de la lgica, que apareci en 1847- y Augustus De
Morgan, quien ese mismo ao pblico su Lgica formal, en la que se desarrolla la idea
de
Leibniz
de
construir
la
lgica
como
un
clculo.
Este nuevo lenguaje conocido como lgebra de Boole- manifest su potencia
resolviendo problemas que excedan los alcances de la lgica aristotlica y poniendo
por primera vez en evidencia los errores del Estagirita. El lgebra de Boole conocida
tambin como lgebra de clases o de conjunto- fue asimismo investigada por De
Morgan. Ambos son los creadores del moderno lenguaje formalizado de la lgica lo que
les permiti, entre otras cosas, descubrir una cantidad asombrosa de nuevos tipos de
deduccin o inferencia. A pesar de las limitaciones de sus trabajos sealan un
verdadero cambio de rumbo en la historia de la lgica y han contribuido a dotar de sus
caracteres
esenciales
a
la
lgica
matemtica.
A fines de XIX aparecen los trabajos del matemtico y lgico alemn Gottlob Frege,
considerado el padre de la lgica matemtica, cuya primera obra, el Begriffsschrift,
publicad en 1879 marcara el comienzo de la lgica formal contempornea. Desarrolla
un primer sistema axiomtico, plenamente simbolizado, consistente y completo, de la
lgica de primer orden aun antes de que se tuvieran las herramientas lgicas
adecuadas para llevar a cabo la prueba de la completad de un sistema deductivo
cualquiera. Bochnski, por ejemplo, no duda en comparar su primera obra lgica, el
Begriffsschrift, con los Primeros analticos y anota:
El Begriffsschrift contiene toda una serie de perspectivas totalmente nuevas.
Asi, Frege es el primero en formular de manera clara la distincin entre
variable y constante; el concepto de funcin lgica y el concepto de cuantificador;
da una formulacin notablemente ms rigurosos a la teora aristotlica de sistema
axiomtico, distingue cuidadosamente entre ley y regla, introduce la diferencia
igualmente precisa entre lenguaje y metalenguaje.
Sin embargo, la obra de Frege, a pesar de su gran valor, paso casi inadvertida y
transcurriendo casi veintes aos antes de que Bertrand Rusell llamara sobre ella la
atencin teniendo que pasar otros veintes hasta que Lukasiewicz pusiera de manifiesto

con suficiente profundidad toda su riqueza y valor. Asimismo, propuso un mtodo de

clculo de matrices para la lgica proposicional muy semejante al que se usa
actualmente y desarrollo de manera axiomtica la naciente teora de conjuntos de
George
Cantor.
Con Giuseppe Peano (1858-1932), se cierra en cierto sentido la lnea de desarrollo del
clculo lgico iniciada por el Anlisis matemtico de la lgica George Boole. La
expresin misma de lgica matemtica es introducida por primera vez en su obra
Principios de aritmtica expuestos con un nuevo mtodo, que apareci en 1889, donde
la utiliza no slo a causa de hacer uso operacional de los smbolos, sino especialmente
porque concibi la nueva lgica como un poderoso instrumento para la sistematizacin
rigurosa
del
saber
matemtico.
La obra de Peano corona el desarrollo de la lgica en el siglo XIX. El significado histrico
de su fundamentacin de la aritmtica basada en las tres nociones primitivas de
nmero, cero y sucesor, as como sus cinco famosos axiomas- es considerable,
pues con ella muestra de manera concreta cmo aplicar ese nuevo instrumento a la
sistematizacin de las matemticas. Haba no slo logrado un manual completo y
riguroso de lgica matemtica son creado un simbolismo particularmente manejable y
preciso que an esta vigente.

Edad Contempornea
Los trabajos de Frege y Peano fueron sistematizados y desarollados por dos filsofos y
lgicos ingleses: Bertrand Rusell y Alfred North Whitehead, cuyos resultados fueron
publicados en su obra monumental de nominada Principia Matemtica (que consta de
tres volmenes: 1910, 1912 y 1913). Rusell y Whitehead intentan evitar la paradoja en
el sistema de Frege (la de las clases que no son miembros de si misma), llevando a
cabo la tarea de mostrar que es posible derivar toda la matemtica de la lgica. La
obra de Rusell y Whitehead debe situarse entre las mayores aportaciones que jams se
hayan hecho a la historia de la lgica. Concretamente, los Principia Matemtica son en
muchos aspectos todava hoy un tratado completo, minucioso y exacto de la lgica
matemtica.
Posteriormente, el matemtico y lgico alemn David Hilbert fundador de la escuela
formalista- mostr que los defectos de esa obra se deban a la falta de rigor en el
empleo del lenguaje y cre, con tal motivo, un mtodo denominado metamatemtica,
cuyo objetivo es el estudio de las teoras matemticas, aplicando los lenguajes lgicos
que haban sido creados por Frege y Rusell. El llamado programa hilbertiano se puede
resumir brevemente: todo el campo de la matemtica clsica puede concebirse como
formalizable en tres sistemas axiomticos fundamentales, a saber: el de la aritmtica,
el del anlisis y el de la teora de los conjuntos. Ha dado origen a una serie de
investigaciones notables, como las del filsofo y lgico austriaco Rudolf Carnal en el
terreno de la sintaxis lgica y las del lgico y matemtico polaco Alfred Tarski en el de
la
semntica
lgica
En su obra La Sintaxis lgica del lenguaje Carnal sostiene la tesis de que la lgica de un
lenguaje determinado se identifica con su sintaxis que, a su vez, es totalmente
convencional, sin estar en ningn caso vinculada a los contenidos del discurso. Sin
embargo, a slo un ao de distancia de su publicacin apareca en una revista filosfica

un largo artculo del lgico polaco Alfred Tarski, titulado El concepto de verdad en los
lenguajes formalizados, que puede considerarse como el acta de nacimiento de la
nueva
semntica.
En 1930, el joven austriaco Kurt Godel, de 24 aos, demostr en su tesis doctoral el
teorema ms importante de lgica matemtica de este siglo, conocido como Teorema
de las Proposiciones Indecidibles. En 1938, Claudio Shannon realiz la aplicacin del
lgebra de las proposiciones al diseo de circuitos elctricos (conmutadores y realys),
lo que constituye el aporte ms importante a la construccin de las modernas
computadoras electrnicas digitales