You are on page 1of 8

LAZZER, Sandra.

Haca una historia de la lgica de fines del


siglo XX. In: MARTINS, R. A.; MARTINS, L. A. C. P.;
SILVA, C. C.; FERREIRA, J. M. H. (eds.). Filosofia e
histria da cincia no Cone Sul: 3o Encontro. Campinas:
AFHIC, 2004. Pp. 438-445. (ISBN 85-904198-1-9)

HACA UNA HISTORIA DE LA LGICA DE FINES


DEL SIGLO XX*
Sandra Lazzer **

Resumen El propsito de este trabaj ser analizar algunos cambios en la forma


de hacer y concebir la lgica que se han producido durante la segunda mitad del siglo
que a acabamos de dejar atrs. El carcter en cierto modo instrumental que esta
disciplina tiene ha hecho que a lo largo de su desarrollo histrico ha estado
estrechamente vinculada con otras disciplinas como la ontologa, la retrica, la
filosofa del lenguaje y la matemtica, entre otras. Es as como, si la lgica de fines del
siglo XIX debe compredrsela entre la filosofa y la matemtica, la lgica de fines de
siglo XX (por lo menos gran parte de ella) debe pensrsela entre la filosofa y las
ciencias que estudian la cognicin humana. Para algunos autores, como D. Gabbay,
hay una nueva lgica que pretende ser modelo del comportamiento de un agente lgico.
Uno de las interrogantes que esto nos plantea es si estamos en verdad en presencia de
una revolucin o un nuevo paradigma en la manera de hacer y concebir la lgica, o de
alguna forma estos cambios son funcionales al enfoque clsico representado por la
lgica matemtica.

INTRODUCCIN: DE CMO CONTAR LA HISTORIA DE UN CAMBIO


ANUNCIADO
Es usual que el origen histrico de una disciplina sea fijado, en forma ms o menos arbitraria, por
los historiadores del rea, a veces destacando algn trabajo representativo y reconociendo a la vez
ciertos precedentes a los que se le puede asignar algn grado de importancia. Tambin es frecuente,
aunque discutible, asociar con el cuerpo terico de una disciplina con un desarrollo gradual y
acumulativo. Un determinado nivel o estadio histrico puede ser visto como el resultado de sucesivas
adiciones y rectificaciones en contenidos que, en muchos casos, pudieron haber llevado a ciertos

Este trabajo fue realizado en el marco de las actividades del Grupo de Investigacin del Programa de Subsidios de la Universidad
de Buenos Aires, Secretara de Ciencia y Tcnica (UBACyT) denominado Normatividad y No-monotona: El caso de las
Inferencias Derrotables.
**
Universidad de Buenos Aires (UBA), Argentina. E-mail: slazzer@filo.uba.ar

438

cambios significativos en la temtica original de la disciplina en cuestin. Es curioso observar, que


difcilmente esta visin pueda corresponderse con una historia de la lgica. En el caso de esta
disciplina su origen histrico tiene una fecha cierta, i.e. los trabajos de Aristteles (384-322 a.C.)
contenidos en el Organon. Adems, su historia esta signada por ciertas discontinuidades marcadas,
siendo a la vez destacable el que su tema central, haya permanecido, en gran medida, invariable hasta
nuestros das.
A lo largo de la historia la lgica ha tenido muchos y variados usos. Los intereses de quienes han
hecho y han pensado acerca de esta disciplina han cambiado y continan cambiando. Si embargo hay
un elemento comn, presente en cada una de las pocas del desarrollo histrico, a saber: una visin
segn la cual la lgica, cuya aplicacin cannica es el anlisis del razonamiento, puede tambin ser
concebida como un instrumento, un medio a travs del cual podemos llegar a un conocimiento, o a la
resolucin prctica de cierto tipo de problema. Es as como, en la antigedad, la lgica deba
responder tanto a preocupaciones ontolgicas sobre la naturaleza de las cosas, como a una necesidad
inmediata de construir y discutir argumentos. En la Edad Media, para los grandes lgicos, fue comn
el inters por aplicarla en estudios de semntica y filosofa del lenguaje. La modernidad, tal como
muchos historiadores sealan, no se caracteriz por ser una poca rica en desarrollos lgicos donde
muchos pensadores a despreciaron las posibilidades del instrumental lgico. En las postrimeras del
siglo XIX se produce lo que con justicia se ha interpretado como una gran revolucin, con la
subsiguiente aparicin de una nueva lgica. Este desarrollo puede describirse como un proceso,
iniciado por Frege y Russell y continuado por Hilbert entre muchos otros, a partir del cual sobreviene
un profundo rechazo al psicologismo en ciencias formales y donde adems, se toma a la
argumentacin en matemtica como el paradigma aquel tipo de argumentacin que la lgica poda
reconstruir. El proceso alcanz su esplendor en la primera mitad del siglo XX con los grandes avances
metalgicos sobre la teora de la cuantificacin y el desarrollo de la teora de conjuntos1. Podemos
hablar entonces, en este perodo, del dominio de un enfoque clsico, para poder distinguirlo del
anterior, al que podra denominarse tradicional.
La segunda mitad del siglo que a acabamos de dejar atrs, no fue menos rica y fecunda en cuanto a
avances y desarrollos en materia de lgica. An slo limitndonos a considerar las metodologas y
programas de investigacin que emergieron a partir del advenimiento de la llamada Inteligencia
Artificial (IA), podemos comprobar como se destaca como especialmente fructfero aquel enfoque
cuya motivacin principal fue el estudio formal del razonamiento humano de sentido comn. Este
programa se caracteriz por adoptar una metodologa basada en lgica. Significativos progresos en la
aplicacin de tcnicas lgicas al estudio de este tipo de razonamiento fueron hechos por
investigadores de la IA. Los estudios lgico-formales en razonamiento de sentido comn son
reconocidos en la actualidad como un sub-campo de esta disciplina. Los problemas propios de la
formalizacin de esta clase de razonamientos, al igual que la naturaleza de las inferencias
involucradas, derivaron en un importante nmero de avances tericos en materia de lgica, entre los
cuales se puede destacar la creacin de un tipo de lgica llamada lgica no-montona. Es as como la
IA ha tenido en los ltimos aos un fuerte impacto sobre el desarrollo de la lgica, en especial en el
mbito de la lgica filosfica, del que la aparicin de la lgica no-montona es slo un ejemplo.
Algunos autores creen que los cambios que se vienen dando en los ltimos aos nos colocan de
nuevo, frente a lo que genuinamente sera una nueva lgica. En qu consiste esta lgica, o dichos en
otros trminos, cul es la novedad que se introduce haciendo de sta una lgica distinta? Para autores
como D. Gabbay, J. Woods o J. Cunningham, entre otros, esta nueva lgica debe ser entendida como:

Trabajando dentro de este nuevo enfoque muchos lgicos, como E. Mendelson llegaron a concebir el fin principal de la lgica
como la comprensin precisa y adecuada de la nocin de prueba matemtica (MENDELSON, 1987).

439

[...] un movimiento radical hacia una lgica atenta a lo psicolgico, donde aquello
incorrecto en trminos de la (lgica) matemtica, pero que se infiere naturalmente,
puede ser (re)acomodado, si es eficaz, en la prctica, para un agente limitado por un
espacio cerebral y un tiempo real. (CUNNINGHAM & GABBAY, 2001)
La ahora supuesta nueva nueva lgica, pretende ser modelo del comportamiento de un agente
lgico. Se puede reconocer que, al formular una teora lgica, se persiguen dos objetivos: primero: en
primer lugar, dar una explicacin de qu es un agente lgico, y en segundo, dar una descripcin de
cmo su comportamiento puede ser modelizado. Esta nueva nueva lgica es adems concebida, no
como rival sino como complementaria, en cierto sentido, de la lgica matemtica clsica (GABBAY
& WOODS, 2001).
Pero cabe preguntarse entonces, es verdaderamente nueva esta nueva lgica?, estamos en
presencia de una revolucin o un nuevo paradigma en la manera de hacer y concebir la lgica, o de
alguna forma todos estos cambios son funcionales al enfoque clsico? Seria muy difcil, en un trabajo
de esta extensin dar una respuesta completa y profunda a estos interrogantes. Pero creo que, el
empezar a esbozar alguna respuesta presupone tambin, empezar a explicar cmo se ha dado el
desarrollo histrico-filosfico de una parte importante de la lgica de fines de siglo XX. El propsito
de este trabajo apunta a iniciar esta tarea.
Creo que, as como la lgica de fines del siglo XIX debe comprendrsela entre la filosofa y la
matemtica (PECKHAUS, 1999), la lgica de fines de siglo XX (por lo menos gran parte de ella)
debe pensrsela entre la filosofa y las ciencias que estudian la cognicin humana. As pues, para
entender el alcance y significado de los cambios que se han originado, y se siguen dando, en materia
de lgica, es posible pensar a la historia reciente de esta disciplina en asociacin con tres de los
llamados giros tericos, que se han desarrollado durante el siglo XX, i.e. el giro lingstico de la
filosofa, el giro formalstico de la propia lgica y el giro cognitivo de la psicologa o en trminos ms
generales, de las disciplinas que estudian los procesos ligados a la cognicin humana. En lo que sigue
intentar justificar esta asociacin.
Esto puede adems actuar como una suerte de prolegmeno, en un proceso de reconstruccin
histrica, obviamente no de toda, sino de alguna parte de la llamada lgica filosfica, que se ha
desarrollado en los ltimos.

DE CMO NO MAREARSE CON TANTOS GIROS


En un artculo reciente el lingista y lgico checo, Jaroslav Peregrin2, vuelve a explorar las ya muy
conocidas relaciones entre el desarrollo de la lgica matemtica y algunas corrientes filosficas,
fuertemente influenciadas por el giro lingstico.3 Peregrin est interesado en aclarar cul es el rol que
le cupo a la lgica en el desarrollo de un tipo de pensamiento de ndole cientfico-filosfico, presente
en la filosofa analtica temprana y el positivismo lgico. Intentar mostrar que el hecho de que el
anlisis filosfico fuera concebido sin ms como anlisis lgico, tuvo consecuencias sobre la misma
lgica, provocando hacia ella, cierta idolatra injustificada. Fue as como se le asign a la lgica una
tarea, que a juicio de Peregrin, no poda cumplir. Partiendo de la clsica distincin introducida por
VAN HEIJENOORT (1967), entre lgica como clculo y lgica como lenguaje, presenta, lo que a su

2
3

Vase el artculo Formal logic and the pursuit of meaning en http://dec59.ruk.cuni.cz/~peregrin/HTMLTxt/log&mea.htm


Peregrin en Formal logic and the pursuit of meaning describe las cosas en estos trminos; El giro lingstico que ocurri en
las mentes de varios filsofos durante la primera mitad de nuestro siglo ha conducido a la conclusin de que resolver los
problemas filosficos tradicionales significa disolverlos por medio del anlisis lgico de la lengua en la cual se formulan. El
alcance de esta postulacin [...] es probablemente el acontecimiento ms significativo de la historia de la filosofa del siglo
veinte; al mismo tiempo, sin embargo, es la fuente de malentendidos y de interpretaciones profusas.

440

criterio, es el adecuado valor que la lgica puede tener a la hora de llevar a cabo un proceso de anlisis
filosfico, a saber, el de brindar representaciones perspicuas
Ms all de coincidir o no con la tesis presentada por Peregrin, lo que me interesa rescatar aqu, es
la descripcin del desarrollo de la lgica durante la primera mitad del siglo veinte que el autor ofrece,
vinculada con una tensin entre el giro lingstico de la filosofa y, lo que Peregrin llamar el giro
fomalstico de la propia lgica.
Citando a R. Rorty, va a entender por giro lingstico, la visin segn la cual los problemas
filosficos son problemas que pueden ser resueltos (o disueltos), o reformulando el lenguaje, o
entendiendo ms sobre el lenguaje que utilizamos actualmente., lo que implicar que preguntas
problemticas de la forma,
1) qu es X?,
sean remplazadas por preguntas como
2) cul es el significado de X?,
teniendo lugar con esto lo que Quine denomin asenso semntico.
Pero lo interesante en materia de historia del desarrollo de la lgica es que, aproximadamente al
mismo tiempo que este giro lingstico cobraba forma en la obra de autores como Russell,
Wittgeinstein y Carnap, otro importante giro, fuertemente conectado con el anterior tena lugar en la
misma lgica, i.e. el giro formalstico. Pero, a qu se refiere Peregrin con esta expresin?
Para presentar esta nocin de giro formalstico, va a partir de una distincin que pretende poner de
relieve la diferencia entre una lgica propiamente formal4 y una meramente simblica. Tanto la
primera como la segunda se basan en la substitucin de enunciados y expresiones del lenguaje natural
por smbolos. Pero, el objetivo que se persigue en la segunda es meramente la regimentacin del
lenguaje (en el sentido de Quine), sea suprimir aquellos aspectos de las expresiones del lenguaje que
no se consideran involucrados en el anlisis de la nocin de consecuencia. En cambio, en cuanto a la
primera, es decir de la lgica en un sentido propiamente formal, el objeto de estudio se ha desplazado
hacia los sistemas resultantes de la simbolizacin, i.e. haca un clculo lgico, donde el inters esta
puesto en el sistema mismo, ms que en aquello que pueda simbolizar. As estos sistemas pasan a ser
estructuras algebraicas abstractas. Frege y Russell son ejemplos de lgicos simblicos por excelencia,
dado que, y siguiendo la opinin de Pavel Tichy, en ambos los smbolos, no son objeto de sus
teorizaciones sino meras abreviaturas que facilitan la discusin acerca de entidades extra-lingsticas
(TICHY, 1988). Segn Peregrin, Hilbert fue el primero en ver la lgica en trminos pueramente
formales5.
El giro formalsitco llev a los lgicos a desarrollar modelos metalgicos para los sistemas
formales entendidos como clculos. Fueron los trabajos de Loewenheim, Skolem, Gdel, Tarski, y
especialmente la teora de modelos de ste ltimo, lo que llevara a la lgica a dar el siguiente paso en
su toma de posicin frente a la filosofa. A entender de Peregrin, si el giro lingstico haba eliminado
la vieja metafsica, la teora de modelos, hija dilecta del giro formalstico, haba llegado para cubrir el
bache. Es en este sentido que se puede comenzar a hablar de un tipo de filosofa, como de filosofa
formal.
Lo que vendra luego se puede presentar, por un lado, como un cambio dentro del giro lingstico,
donde se pasa de entender al anlisis filosfico, como anlisis puramente lgico, a un anlisis
lingstico. Este cambio es fruto de las preocupaciones de algunos filsofos por la naturaleza del
lenguaje natural. Pero, por otro, se puede tambin presentar como un refinamiento del enfoque

4
5

Aqu el adjetivo formal, obviamente, no alude a la nocin de forma lgica sino a la de sistema formal tanto clculo
Peregrin , en el mencionada trabajo, afirma, a este respecto, lo siguiente:For Frege, a symbolic formula represents a definite
statement, a definite thought. There are situations in which it may be reasonable to disregard the particular statement a
formula represents; but there is no way to detach the latter from the former completely. For Hilbert, on the other hand, a
formula is first and foremost an abstract object, an object which we are free to interpret in various alternative ways.

441

semntico clsico tarskiano, para poder dar cuenta de contextos intensionales, lo que llevara
consecuentemente a importantsimos avances en todo el rea de la lgica modal.
Contemporneamente con esto, otro importante giro estaba teniendo lugar, giro que a mi entender,
tendra, algunos aos despus, mucha importancia en el desarrollo de gran parte de la lgica. Me
refiero al giro cognitivo.
Diversos factores confluyeron, haca fines de los aos cincuenta, para el surgimiento de las
ciencias cognitivas. Por entonces, aquellos que se enrolaban en las filas de la psicologa experimental,
empezaron a explorar la posibilidad de aplicar ciertos resultados tericos que estaban en pleno auge de
desarrollo, como la teora de la informacin, la teora de la computabilidad, la teora ciberntica, entre
otras, al estudio de los procesos y las estructuras que gobiernan la cognicin humana. Frente a las
limitaciones tericas que el conductismo haba impuesto, se abra ahora toda una plyade de
posibilidades. Este giro terico que puso a la cognicin humana en el centro de atencin de un
conjunto de cientficos provenientes de diversos campos, no se limit al estudio de la dimensin
psicolgica del problema de la cognicin humana, sino, como dijimos antes, desde el comienzo se
expandi y entrecruz con otras reas. Este giro cognitivo que dio lugar a la aparicin de las ciencias
cognitivas puede verse como un empeo por responder viejos interrogantes epistemolgicos,
vinculados con la naturaleza del conocimiento, de sus elementos componentes, su estructura, su
origen, evolucin y difusin.
Entre los supuestos tericos bsicos que suelen asociarse al surgimiento de las ciencias cognitivas
se destaca el de la postulacin de un nivel representacional. Este supuesto, que por cierto ha sido y
sigue siendo objeto de profundas crticas, permite, sin embargo, al cientfico cognitivo, concebir un
nivel de anlisis separado del nivel de biolgico y/o sociolgico de la cognicin.
Por otro lado, desde los aos treinta y sobre la base de los resultados tericos de Alan Turing en
lgica matemtica, la teora de la computabilidad y en general las ciencias de la computacin, haban
tenido un amplio desarrollo, vinculado especialmente a la lgica matemtica.. Fue tambin que, para
fines de los aos cincuenta, algunos cientficos enrolados en lo que estamos describiendo como giro
cognitivo advirtieron las implicancias que tenan las ideas de Turing en cuestiones ligadas con la
explicacin de la cognicin humana. Se supuso entonces, que si se poda describir con precisin los
procesos ligados al pensamiento y la conducta de un organismo, se podan tambin disear mquinas
computadoras que operaran en forma idntica a l. Los rasgos asimilables a lo que llamamos conducta
inteligente podran as simularse utilizando una mquina. Pero, desde otro enfoque se pens que el
objetivo era, en cambio, imitar o de refleja, a travs de computadoras, los procesos inteligentes que se
producen en la mente humana. Sobre la base de estos dos enfoques o tendencias, surga, a partir del
hito fundacional de la famosa Conferencia de Darmouth en 1956, una de las hijas dilectas del giro
cognitivo y parte propia de las ciencias cognitivas, como lo es la Inteligencia Artificial.
El primero de estos enfoque de la IA encontr en la lgica la herramienta adecuada para construir
el nivel representacional del que hablbamos antes. Algunos pioneros dentro de lo que se ha calificado
como paradigma simblico, supusieron que es posible formular una descripcin funcional en un nivel
abstracto, donde la mente humana y la computadora son ejemplos de sistemas capaces de generar
conductas inteligentes por medio de la manipulacin de smbolos. Pero en sistemas como estos hay
varios tipos de procesamientos de smbolos, alguno de los cuales se asocia a la idea de un llevar a
cabo un proceso deliberativo. Luego, la relacin de stos, con procesos inferenciales, es inmediata: lo
que hay que explicar es cmo justificar ciertos enunciados (que representan la informacin que el
sistema procesa) apoyndose en otros enunciados. Pero entonces, a quin recurrir sino a la lgica
para representar esto?. Quienes se vinculan dentro del paradigma simblico con las corrientes
logicistas, creyeron que la lgica deductiva clsica era la herramienta idnea para tal fin. Enseguida
aparecieron crticos para esta posicin. Lo curioso es que en respuesta a estas crticas lejos de
abandonarse la idea de que la lgica era el elemento adecuado para el desarrollo del nivel

442

representacional, se exacerb este supuesto. Fue as como se aplico y se invent ms lgica para
llevar a cabo el cometido
En este marco es donde se debe situar, la aparicin, a fines de los aos setenta, de nuevas lgicas,
como la lgica no-montona. Ellas venan a dar respuesta, a lo que por entonces, para algunos
investigadores de la IA como John Mc Carthy, se haba convertido ahora en el objetivo central de esta
disciplina, a saber, la representacin formal del razonamiento de sentido comn y el estudio lgico de
las propiedades de las inferencias ligadas a l. Pero entonces, cuando se dice que el objetivo de la IA
es la formalizacin del razonamiento de sentido comn, se est pensado en un tipo de estudio
formal y sistemtico de algunos procesos cognitivos que estn presentes en la manipulacin de
estructuras de conocimiento, por medio del cual un agente inteligente puede establecer conclusiones
de diferentes maneras, sin poseer la informacin completa para hacerlo. Esto ltimo es lo que se
entiende como el carcter derrotable de las inferencias tpicas del razonamiento humano de sentido
comn. El salto inferencial debe ser explicado de alguna manera. La cuestin a responder es
entonces s puede la lgica resolver este problema.
El desarrollo de la lgica no-montona apuesta a una respuesta afirmativa a esta cuestin. As es
que el reconocimiento, en un primer paso, va un proceso idealizacin y regimentacin del lenguaje
natural, de cierto patrones inferenciales que nos permiten reconstruir razonamientos derrotables,
puede llevar a la formulacin, en un segundo paso, de sistemas de lgica. stos estudian en un nivel
ms general y abstracto las inferencias involucradas al razonar derrotablemente Adems se puede
encarar, como para cualquier sistema de lgica, un estudio metaterico de las propiedades generales
de formalismos resultantes.
Sin duda el giro cognitivo introdujo en materia de lgica un gran desafo. Sin duda tambin los
xitos logrados dentro del paradigma simblico del desarrollo de la IA muestran la gran influencia y
fascinacin que los cientficos cognitivos tuvieron y tienen por la lgica. Pero ahora, desde el otro
lado podemos preguntarnos, ha cambiado este uso (y quizs a veces tambin, abuso) de esta
herramienta a la lgica misma, y la ha cambiado de una forma radical que nos permita, con justicia,
hablar de una nueva lgica? En lo que resta esbozar solo algunas reflexiones acerca de esta cuestin

DE CMO HACER QUE TODO CAMBIE PARA QUE NADA CAMBIE


Los problemas inherentes a la nocin de cambio en lgica no son nuevos. En algn sentido parece
intuitivo pensar que la lgica no cambia nunca; en otro parece intuitivo, que lo hace continuamente.
Las razones que llevaron a los lgicos en el pasado postular la correccin de ciertas inferencias, son
tan validas hoy como entonces, aun cuando la motivacin subyacente en la construccin de algunas
otras lgicas pudiera estar justamente en el rechazo de esas mismas inferencias. Adems, es muy claro
encontrar, si se revisa la historia de esta disciplina, mltiples cambios de motivaciones, estilos,
problemas y metodologas. Cmo explicar entonces, el cambio al que parece conducirnos, lo que
para autores como Woods y Gabbay es esta nueva lgica?
No es fcil, tan siquiera, empezar a resear los factores que estn involucrados en esta discusin.
Un camino tentativo, usando alguna de las nociones presentadas. podra ser el de tratar de establecer
cunto conservan de la impronta en la manera de hacer y concebir la lgica, impuesta por el giro
lingstico y el giro formalstico a lo que llamamos el enfoque clsico, la o las lgicas surgidas al
amparo del giro cognitivo.
En materia de lgica, la segunda mitad del siglo XX, sin duda, se caracteriz por el xito que
tuvieron las mltiples aplicaciones de la lgica a campos muy diversos. Los nuevos usos dejaron ver
algunas limitaciones de esta herramienta, limitaciones stas que antes no eran ni aparentes ni
importantes. Pero tal vez sea, en la aplicacin de instrumental lgico que la ciencia y la tecnologa
asociada al desarrollo de la computacin, el lugar donde buscar un posible cambio en idea clsica de

443

qu es la lgica. Sin embargo, y a pesar de la irrupcin de toda una nueva temtica y de nuevos
intereses, que las lgicas ligadas a la ciencia de la computacin y en especial a la IA trajeron consigo,
creo que, en gran medida, el enfoque clsico acompa y sigue acompaando los presupuestos
actuales sobre caracterizacin de la lgica. Esta afirmacin puede justificarse, si se tienen en cuenta
que, los productos finales en esta rea, i. e. los sistemas de lgica resultantes y sus modelos, no
parecen distinguirse esencialmente, considerados en tanto sistemas formales de otros, que vieron la
luz dentro del enfoque clsico. El problema a dirimir parece estar en el nivel de las consecuencias,
que podra seguirse de aplicar lgica en ciertos mbitos, sobre la misma idea de qu es la lgica
Pero hay otro sentido de esta idea de nueva lgica que s podra decirse apunta a un cambio ms
radical. Este sentido se encuentra en los presupuestos que acompaan a la nocin de agente lgico. En
una concepcin clsica la idea de un agente lgico (asimilable a un agente racional) est asociado con
un agente deductivamente infalible al grado de no necesitar nunca la revisin de sus inferencias o
conclusiones y, que adems, debe ser perfectamente consistente. Sus inferencias deben ser
consideradas fuera del tiempo y de cualquier constreimiento espacial. Es un agente lgicamente
omnisciente que adems debe razonar sin atender a ningn contexto de discurso. Es as como la lgica
clsica se presenta adecuada slo para agentes ideales, en mundos ideales sin cambio y con recursos
infinitos..Pero el mundo real cambia y las creencias de los agentes cambian con l. La informacin
que obtenemos, sobre la que realizamos muchas de nuestras inferencias puede estar equivocada o ser
incompleta. Es posible entonces, quere seguir siendo racional y saltar a conclusiones sin certeza
deductiva. Por lo cual, tambin se puede querer ser lgico sin ser infalible, mientras se mantengan
inferencias que se apoyen en la plausibilidad y la sensatez. No necesitamos excluir la posibilidad de
tener que revisar nuestras inferencias y ni siquiera debe ser indispensable ser consistente o contar con
recursos ilimitados. Podemos manejar lgica aun en contextos determinados y adems no es
impresindible ser logicamente onmnisciente. Alguna de estas posibilidades, que sistemas como los de
la lgica no-montonos, entre muchos otros, nos brindan, apuntan haca la caracterizacin de un
nuevo tipo de agente lgico y derivativamente de un nuevo tipo de racionalidad lgica. Es en este
marco donde se puede encuadrar la novedad que parece contener la cita que incluimos en la
introduccin. Todas estas cuestiones, sin duda parecen pertenecer al mbito de las posibles
aplicaciones de la lgica, a la necesidad terica de usar instrumentalmente esta disciplina en procesos
de reconstruccin efectivos, de las diversas formas de razonar
Podra objetarse a lo que acabo de decir que esto no significa un cambio en la lgica misma, si
entendemos por sta a un conjunto de sistemas formales, que llamamos sistemas de lgica. Lo que
podra estar ocurriendo es un tipo de cambio en un plano meta-sistemtico. Podemos decir que, siendo
fieles al giro formalstico, si nuestro inters por la lgica est es los mismos sistemas (y sus modelos
formales), este cambio no parece afectarnos. Pero en una visin ms amplia de la idea de lgica, cuyo
inters por los sistemas formales, no est solo en lo que ellos tengan de sistemas de lgica en si
mismos, sino tambin en su posible adecuacin con los procesos inferenciales efectivos que se intenta
reconstruir cambiar la nocin de qu es un agente lgico no lleva a la postre a cambiar la idea misma
de qu es o mejor, que debera ser, un sistema de lgica?.
Quizs sea correcta la afirmacin de (HINTIKKA & SANDU, 1996) aseguran que las
revoluciones en lgica se dan ms en el estilo Jefferson que en el estilo Lenin. Seguramente tambin
tengan razn cuando aconsejan no adoptar frente a la lgica que se inaugur con Frege la misma
posicin conservadora que Kant haba tenido para la lgica aristotlica. Pero esto no soluciona las
cosas, slo pone nfasis en el problema. Quizs, de lo que se trate, es de que estamos atravesando un
perodo de crisis. Como en toda crisis, puede haber muy buenas razones para presuponer que algn
cambio vaya a darse, sin que tengamos todava signos evidentes de que un autntico cambio haya
empezado verdaderamente a suceder.

444

REFERENCIAS BIBLIOGRFICAS
CUNNINGHAM, J.; GABBAY, D. M. Editorial. Logic Journal of the Interest Group in Pure and
Applied Logics (IGPL) 9 (2): 139-140, 2001.6
GABBAY, D. & WOODS, J. The new logic. Logic Journal of the Interest Group in Pure and Applied
Logics (IGPL) 9 (2): 141-174, 2001.7
HINTIKKA, J ; SANDU, G. A revolution in logic? Nordic Journal of Philosophical Logic 1: 169183, 1996.
MENDELSON, E.: Introduction to mathematical logic. 3rd ed. Pacific Grove: Wadsworth &
Brooks/Cole, 1987.
PECKHAUS, Volker. 19th century logic between philosophy and mathematics. Bulletin of Symbolic
Logic 5: 433-450, 1999.
TICHY, P. Foundations of Freges logic. Berlin: de Gruyer, 1988.
VAN HEIJENOORT, Jean. Logic as calculus and logic as language. Synthese 17: 324-330, 1967.

6
7

<http://www3.oup.co.uk/igpl/Volume_09/Issue_02/pdf/editorial.pdf>
<http://www3.oup.co.uk/igpl/Volume_09/Issue_02/pdf/Woods.pdf>

445

You might also like