CONCEPTOS PRELIMINARES

1. GNESIS DE LA LGICA
El origen de la lgica como ciencia formal se remonta a los tiempos de Aristteles
(siglo IV a.C.)>quien fue su creador. Sin embargo, Aristteles no emple el trmino
'lgica* para referirse a la nueva ciencia, sino, mis bien, analtica (del griego analysis:
solucin, resolucin; fin, en el sentido de trmino). Por esta razn, los tratados ms rele
vantes del Organon aristotlico (conjunto de sus investigaciones sobre lgica) reciben el
nombre de Analticos.
Segn indicacin de Boecio, la palabra lgica pudo haber sido creada por los co
mentadores de Aristteles para oponer el Organon de ste a la dialctica estoica, tal vez
en tiempo de Andrnico de Rodas. En todo caso, se encuentra ya en Cicern (siglo I
a.C.), en Alejandro de Afrodisia (siglo II d.C.) y en Galeno, lo que parece mostrar que se
haba hecho de uso corriente en su poca.
La palabra lgica proviene del vocablo griego logos, y ste de la voz 'legein'. Los
fragmentos de Herclito revelan que en su acepcin primigenia el significado de la pala
bra 'logos' lleg a tener connotaciones metafsicas, pues haca mencin de una sustancia
que penetraba toda la realidad, incluyendo al animal humano, quien deba emprender la
purificacin de su pensamiento para contemplar el logos y comprender la realidad. Este

sentido mctafsico de 'logos' sirvi para nombrar al instrumento del pensamiento como
lgica, ya que si la realidad es inteligible, entonces es posible buscar un mtodo de pen
sar que haga evidente esa inteligibilidad.
Igualmente, 'logos' significaba la palabra, es decir, el lenguaje que traduca un pen
samiento ya ordenado por la norma racional. As, esta funcin especial del lenguaje inte
resaba a la lgica, y se hizo posible la determinacin del concepto de proposicin, el cual
implica asertos y negaciones, verdad y falsedad. A travs de la palabra que exprese pensa
mientos correctos es factible organizar una ciencia que garantice la inteligibilidad de las
cosas. Por supuesto, el concepto de lgica fue afinndose hasta convertirse en el instru
mento del pensar correcto del que habla Aristteles.
2. 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, Edad Media, Renacimiento, Edad
Moderna y Edad Contempornea. Asimismo, se darn algunos alcances acerca de la con-
11
figuracin que ha adoptado el panorama actual a raz del surgimiento de la llamada lgica
no clsica.
Edad Antigua
A los trabajos de Aristteles (384-322 a.C.) se debe la sistematizacin de la lgica.
l, consciente de la importancia de su descubrimiento (la teora del silogismo), denomin
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. Esta 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 le posibilit otro
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 axiomatiz 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 les haba concedido suficiente atencin. Estos filsofos son los precursores ms leja
nos de la actual lgica proposicional y de las teoras que incluyen predicados relacinales,
que son indispensables para dotar a la matemtica de una lgica adecuada que el silogis
mo no proporciona. Por su pane, los megricos 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 modales, y adems iniciaron un importante debate sobre
los enunciados condicionales2. El ms importante de ellos, Diodoro Cronos, se dedic a
la lgica de las modalidades temporales, esclareciendo relaciones importantes entre ver
dad y tiempo. Sin embargo, el influjo del Estagirita fue avasallador y los estoicos y meg
ricos 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 anti
gua, sino emprendieron nuevas investigaciones, como la teora de las suposiciones, pre
1 Cf. E. Ai choumON, Carlos y otro*. Lgica. Madrid, Trotta, p. 50.
* Ibidem: p. 52.
12
cursora de la moderna teora de la jerarqua de lenguajes, que es empleada para la elimina
cin de paradojas metalgicas. Asimismo, trabajaron en forma aprcciable la lgica pro-
posicional 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, verificaron 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 halla
ron no menos de una docena de soluciones, logrando desentraar casi todos sus aspectos.
Finalmente, los escolsticos desarrollaron lamayor parte de sus investigaciones de mane
ra metalgica, o sea no construyendo frmulas lgicas sino describindolas, cosa que los
antiguos slo haban hecho en contadas ocasiones. No obstante, como lo anotramos
ms adelante, los filsofos medievales no lograron avanzar mucho, debido a que no con
taron 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 consecuencias3.
Renacimiento y Edad Moderna
En el siglo XVII Guillermo Leibniz-el precursor de la lgica matemtica-descu
bre 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 especialis
tas 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 clcu
lo mediante el uso de procedimientos matemticos.
Esta nueva ciencia sera una mathesis universalis (ciencia fundamental), que l llam
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 era factible con smbolos que representan
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 de
ducciones 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,
* Ib dempp. 54-56.
13
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 XVI I I . Es que se admita, con Im-
manuel Kant en el prlogo 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 postaristotlica no haba ni refutado ni aportado nada nuevo en relacin
con las enseanzas del Organon. Este apodctico juicio privaba a la disciplina lgica -al
haber surgido del cerebro de Aristteles ya acabada y perfecta, como Minerva de la cabe
za de Jpiter- de su propia historia. En efecto, la lgica para Kant, m(...) no ha necesitado
dar ningn paso atrs desde Aristteles (...); a lo cual aada: *Lo curioso de la lgica es
que tampoco haya sido capaz, hasta hoy, de avanzar un solo paso. Segn todas las apa
riencias se halla, pues, definitivamente concluida
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 llegaba 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 com
pleto. El impulso fue dado por dos matemticos y lgicos ingleses: George Boole -con su
obra Anlisis matemtico de la lgica, que apareci en 1847- y Augustus De Morgan,
quien ese mismo ao public su Lgica formal, en la que se desarrolla la idea de Leibniz
de construir la lgica como un clculo.
Este nuevo lenguaje -conocido como Algebra de Boole- manifest su potencia resol
viendo 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
algebra de clases o de conjuntos- 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 siglo XI X aparecen los trabajos del matemtico y lgico alemn Gottlob
Frege, considerado el padre de la lgica matemtica, cuya primera obra, el Begriffsschrift,
publicada en 1879, marcara el comienzo de la lgica formal contempornea. Desarrolla
un primer sistema axiomtico, plenamente simbolizado, consistente y completo, de lgi
ca de primer orden aun antes de que se tuvieran las herramientas lgicas adecuadas para
llevar a cabo la prueba de la completud de un sistema deductivo cualquiera. Bochnski,
* K ant, I mmanucl, Critica de Lt razn pura, Madrid, Santillana, p. 15.
14
por ejemplo, no duda en comparar su primera obra lgica, el Begriffsschrift, con los Pri
meros analticos y anota:
"El Begriffsschrift contiene toda una sene de perspectivas totalmente nuevas. As,
Frege es el primero en formular de manera clara la distincin entre variable y cons
tante; el concepto de funcin lgica y el concepto de cuantificador; da una formula
cin notablemente ms rigurosa a la teora aristotlica de sistema axiomtico, distin
gue cuidadosamente entre ley y regla, introduce la diferencia igualmente precisa
entre lenguaje y metalenguaje ... "5.
Sin embargo, la obra de Frege, a pesar de su gran valor, pas casi inadvertida y
transcurrieron casi veinte aos antes que Bertrand Russell llamara sobre ella la atencin,
teniendo que pasar otros veinte hasta que Lukasiewicz pusiera de manifiesto con sufi
ciente 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 desarro
ll 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 de George Boole. La
expresin misma de 'lgica matemtica* es introducida por primera vez en su obra Prin
cipios de aritmtica expuestos con un nuevo mtodo, que apareci en 1889, donde la utili
za no slo a causa de hacer uso opcracional de los smbolos, sino especialmente porque
concibi la nueva lgica como poderoso instrumento para la sistematizacin rigurosa
del saber tnatemtico.
La obra de Peano corona el desarrollo de la lgica en el siglo XI X. 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 sistemati
zacin de las matemticas. Haba no slo logrado un manual completo y riguroso de
lgica matemtica sino creado un simbolismo particularmente manejable y preciso que
an est vigente.
Edad Contempornea
Los trabajos de Frege y Peano fueron sistematizados y desarrollados por dos fil
sofos y lgicos ingleses: Bertrand Russell y Alfred North Whitehead, cuyos resultados
fueron publicados en su obra monumental denominada Principia Mathematica (que consta
de tres volmenes: 1910,1912 y 1913). Russell y Whitehead intentan evitar la paradoja en
el sistema de Frege (la de las clases que no son miembros de s mismas), llevando a cabo la
tarea de mostrar que es posible derivar toda la matemtica de la lgica. La obra de Russell
y Whitehead debe situarse entre las mayores aportaciones que jams se hayan hecho a la
historia de la lgica. Concretamente, los Principia Mathematica son en muchos aspectos
todava hoy un tratado tan completo, minucioso y exacto de la lgica matemtica.
BochInsk.1, I. M., Historia de U lgica formal. Madrid, Credos, 1966, p. 283.
Posteriormente, el matemtico y lgico alemn David Hilbert -fundador de la es
cuela 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 Russell. El llamado programa hilbertiano se puede
resumir brevemente: todo el campo de la matemtica clsica puede concebirse como for-
malizable en tres sistemas axiomticos fundamentales, a saben 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 austraco Rudolf Carnap en el terreno de la sin
taxis lgica y las del lgico y matemtico polaco Alfred Tarski en el de la semntica
lgica.
En su obra La sintaxis lgica del lenguaje, Carnap sostiene la tesis de que la lgica
de un lenguaje determinado se identifica con su sintaxis que, a su vez, es totalmente con
vencional, sin estar en ningn caso vinculada a los contenidos del discurso. Sin embargo,
a un solo 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 semntica6.
En 1930, el joven austriaco Kurt Gdel, 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 lge
bra de las proposiciones al diseo de circuitos elctricos (conmutadores y relays), lo que
constituye el aporte ms importante a la construccin de las modernas computadoras
electrnicas digitales7.
Lgica clsica y lgica no clsica
El panorama de la lgica que ha heredado el mundo actual se presenta sobremanera
enriquecido, no slo por el nmero de trabajos y resultados, sino tambin por el nmero
de las reas exploradas. Ha llegado a ser necesario ordenar y clasificar estos tipos de
lgica, destacando en nuestro medio el esfuerzo ordenador de Francisco Mir Quesada
Cantuarias, para quien la lgica puede dividirse en clsica y heterodoxa o no clsica.
De manera muy general la lgica clsica, segn Francisco Mir Quesada, puede
caracterizarse como aquella que es asertrica, es decir, proposicional; que tiene un len
guaje formal caracterstico, esto es, uno de primer orden, y en la que son vlidos los
tradicionalmente denominados principios lgicos fundamentales: de identidad, no con
tradiccin y tercio excluso.
La lgica no clsica es definida, negativamente, como la que carece de alguna de
estas tres caractersticas de la lgica clsica. No es asertrica, como es el caso de la lgica
normativa; o tiene un lenguaje diferente del clsico, como es el de la lgica modal que
4 Cf. Bl anc h , Roben, Introduccin a la lgica contempornea. Buenos Aires, Carlos Lohl, 196), pp. 32-33.
* Cf. Pisco y a H r mo /.a, Luis, Lgica, Luna, Facultad de Educacin UNMSM, 1997, p. 297.
16