Desde cundo hay Lgica?

Muchos de los problemas que surgen a partir del estudio histrico de la Lgica
presuponen, por desgracia, un buen conocimiento previo de los contenidos y tensiones
internas de la propia disciplina. Se trata de una situacin comn, en definitiva, a un
muchas otras ciencias con una larga tradicin a sus espaldas. Esto justifica mi
decisin de situar al final de este curso una serie de temas de contenido histrico que
de otro modo no habran podido incluirse. Pero esta opcin no implica que debamos
pasar sin ms a la cruda exposicin de los contenidos hoy vigentes de la Lgica. Se
hace necesario buscar una especie de solucin de compromiso. Aclarar desde cundo
hay Lgica y qu Lgica hay en cada momento me parece suficiente.
Lo primero que conviene dejar claro es que la Lgica parece haber existido
desde siempre, al menos sin nos concedemos la prerrogativa de situar el origen de
nuestra tradicin en la Grecia clsica. Esto no significa, tal y como se ha insinuado en
el captulo anterior, la existencia de una suerte de continuidad en el tpico en lo que
sera un modelo realmente nico en el dominio de las Ciencias. Pero tampoco
debemos pensar en la ocurrencia de una sucesin de cambios ms o menos radicales
repartidos a lo largo de su historia. La Lgica no parece seguir el paso que es tan
caracterstico de la Fsica o la Qumica desde que estas adoptaran lo que hoy
consideramos el mtodo cientfico. Sus aportaciones no suelen proceder de la
resolucin de conflictos abiertos entre teoras como los que a menudo se manifiestan
en estas ciencias. Por ltimo, tampoco sera justo en absoluto imaginar una especie de
etapa precientfica seguida de una transicin ms o menos traumtica a la
metodologa de las ciencias positivas. La biografa de la Lgica consta, en realidad, de

un nacimiento, una muerte y una resurreccin final en lo que claramente son dos
identidades que a duras penas identificamos como propias del mismo sujeto histrico.

Desde cundo hay Lgica?

Cada una de estas identidades est asociada a un nombre o un momento

histrico caracterstico. La primera de ellas, la que podemos denominar Lgica
tradicional, aparece ligada a la figura de Aristteles al punto de responder tambin al
nombre de Lgica Aristotlica o Silogstica. Esta asimilacin me parece en cualquier
caso excesiva, ya que dentro de este primer periodo podemos encontrar autores
relevantes desarrollando ideas en direcciones no imaginadas por Aristteles o
criticando abiertamente sus posiciones. La paternidad de la segunda gran etapa, la
que denominaremos Lgica contempornea, ya que es la que se encuentra vigente
ahora, est algo ms repartida. En vez de un nico nombre nos vemos obligados a
mencionar al menos dos, el de G. Boole y el de G. Frege. El periodo en que ambos
realizan sus contribuciones decisivas es la segunda mitad del siglo xix. Podemos
encontrar muchos otros personajes alrededor de ese intenso periodo de refundacin,
pero ninguno gozara por separado del reconocimiento de los dos que he mencionado.
Tan peculiar biografa disciplinar, poco comn dentro de nuestra tradicin
cultural y cientfica, lleva a preguntarse inmediatamente por qu se preserva en ambos
casos el mismo nombre Lgica- cuando muy bien podra haber sido de otro modo.
Aunque tengo la impresin de que en este asunto interviene en alguna medida la
casualidad, es cierto que tanto la Lgica tradicional como la contempornea
responden a la misma definicin [1] cap. 1.1- ofrecida pginas atrs. Coinciden,
adems, en otra serie de aspectos relevantes sin los cuales la Lgica quedara
parcialmente confundida con disciplinas como la Retrica Teora de la
Argumentacin- o la Gramtica, entendida en un cierto sentido. De hecho, no debe
extraarnos de que Lgica, Retrica y Gramtica aparezcan reunidas de forma
evidente en la obra lgica de Aristteles. Pero es tambin ah donde podemos buscar
sus rasgos caractersticos. Quiero aprovechar la presentacin de algunos de los
contenidos bsicos de la Lgica aristotlica para analizar esa serie de rasgos o
matices que deben aadirse a la definicin ofrecida en [1] cap. 1.1 para entender en
sus justos trminos cmo trabaja la Lgica. Estudiar la estructura de la argumentacin
constituye un objetivo que puede interpretarse de muchas maneras distintas. Casi
todas las culturas presentan autores cuyas obras pueden interpretarse sin mucha

Lgica de Enunciados

violencia como ilustraciones de ese objetivo. Sin embargo, no hablamos en estos

casos de una obra Lgica. La Lgica, como nosotros la entendemos, es un producto
caracterstico de la cultura occidental y en alguna medida de otras tradiciones que
han entrado en contacto con ella-. No hay que ver en esto una forma de etnocentrismo
sino la constatacin de que por Lgica no slo entendemos lo que hemos visto en [1]
cap. 1.1, sino adems un cierto modo de dar cumplimiento a ese objetivo. La principal
aportacin de Aristteles a la larga historia de nuestra disciplina es, precisamente, la
definicin de esa serie de rasgos que nos permiten decir de una obra, una
investigacin o un problema, que pertenece propiamente al dominio de la Lgica.
Estos elementos no slo se mantienen en la Lgica contempornea, sino que en cierta
medida es en ella donde encuentran su mejor expresin.
La tradicin ha querido que los textos de lgica compuestos por Aristteles
reciban el nombre de Organon. Se trata de una recopilacin de obras que empieza a
ser elaborada a partir de su muerte 322 a.C.- por sucesivos discpulos y seguidores.
El criterio empleado para incluir un texto en este apartado responde a su carcter
instrumental significado del trmino organon- para el desarrollo de los temas propios
de la Filosofa. Slo ms adelante, cinco siglos en concreto, se empieza a hacer uso
del trmino Lgica para referirse a los contenidos del Organon: el responsable parece
ser Alejandro de Afrodisia. Todo esto lo podemos interpretar como una debilidad
inherente al tpico de la Lgica, no surge siquiera de forma directa a partir del autor
que asociamos a su nacimiento, o como todo lo contrario: fue capaz de cobrar unidad
a lo largo del tiempo demostrando una motivacin independiente de autores y avatares
histricos. Esta segunda opcin me parece ms interesante.
El Organon consta en la actualidad de las siguientes obras: Las Categoras, De
la Interpretacin, Primeros Analticos, Analticos Posteriores, Tpicos y Refutaciones
Sofistas. Qu hay en ellas que permita identificar ese modo peculiar de investigar la
argumentacin que caracteriza a la Lgica?
En primer lugar, ha de darse lo que podramos llamar una identificacin o
eleccin de los rasgos estructurales en que se va a apoyar el estudio de la correccin

Desde cundo hay Lgica?

de un argumento. Esto supone identificar un modelo, patrn o esquema comn a todas

las oraciones que intervienen en cada posible argumento. En el caso aristotlico este
patrn viene dado por la combinacin S es P o S pertenece a P- donde S recibe el
nombre de trmino menor y P el de trmino mayor junto con ciertas partculas
destinadas a modificar esa estructura bsica conviene repasar el ejemplo [2.ii]
cap.1.1-. Las partculas son aquellas que permiten predicar de forma universal todosque S es P, la que hace lo propio para la predicacin existencial algn- y, finalmente,
una destinada a negar o romper no- la conexin entre termino menor y mayor. Las
oraciones que intervienen en un razonamiento son, desde este punto de vista,
oraciones en las que se atribuye (o niega) una propiedad P a todos o algunos de los
individuos de una clase S.
Una vez satisfecho este primer paso se inicia una segunda etapa en la que los
rasgos identificados dan lugar a una especie de combinatoria o pequea gramtica
estructural que permite clasificar los tipos de enunciados atendiendo a la disposicin
de los rasgos con que se cuenta. Esta combinatoria se puede apreciar perfectamente
en la clasificacin aristotlica de los tipos de juicios: universales afirmados, Todos los
S son P , tipo A; universales negados, Ningn S es P, tipo E; particulares afirmados,
Algn S es P, tipo I; particulares negados, Algn S no es P, tipo O esta clasificacin,
sin recibir estos nombres, se introduce ya en las primeras secciones de los Primeros
Analticos-. La tradicin ha querido que demos a estos enunciados el nombre de
enunciados categricos.
Es preciso reconocer que sera difcil aceptar una investigacin como un
producto genuino de la Lgica si no hubiera algn uso, por informal o asistemtico que
sea, de un simbolismo acorde con las categoras estructurales identificadas en la
primera parte y con la gramtica descrita en la segunda. Este tercer aspecto
caracterstico de la Lgica se aprecia claramente en el uso, mnimo, si se quiere, que
Aristteles hace de un lenguaje formal en los Primeros Analticos. Podemos ver un
empleo esquemtico, formal, de ciertos smbolos en fragmentos como el siguiente:

Lgica de Enunciados

[1] En efecto, si A se predica acerca de todo B y B se predica de todo C, es

necesario que A se predique de todo C... Primeros Analticos, 26 a.
Por ltimo, hay que dar satisfaccin a los objetivos declarados en la definicin
establecida en [1] cap. 1.1, esto es, hay que establecer un cierto canon o criterio de
correccin que sirva para identificar qu argumentos son aceptables o correctos y
cules no. Esto es lo que lleva a Aristteles a definir lo que se ha dado en llamar la
Teora del Silogismo categrico, y que pasa, en su caso, por ofrecer una serie de leyes
del pensamiento que intentan agrupar todas las combinaciones correctas desde el
punto de vista del razonamiento de argumentos cuyo esquema general responde a los
criterios obtenidos en los apartados precedentes. La descripcin de esos principios,
clasificados por figuras y modos del silogismo, se hace ahora aprovechando el
rudimentario lenguaje formal que se ha introducido con anterioridad. Esto permite que
un principio como el que aparece en [1] reciba el nombre de Silogismo en bArbArA la
A indica la presencia de un juicio tipo A, siendo el resto un recurso mnemnico-,
constituyendo, como parece evidente, un esquema inferencial vlido para todo
argumento de esa misma forma. Un ejemplo ms comn de este mismo tipo de
silogismo es aquel que afirma que si Todo ateniense es griego (1 premisa, o mayor), y
que si Todo griego es europeo (2 premisa, o menor) , entonces se puede afirmar que
Todo ateniense es europeo (conclusin). Es fcil imaginar una forma de organizar la
bsqueda de esquemas de este tipo basada tan slo en las posibles combinaciones
de gneros de enunciados categricos y su posicin en el razonamiento premisas o
conclusin. La Silogstica es, precisamente, la presentacin de aquellos esquemas
vlidos de entre todos los que cabe considerar con estos mimbres.
Al tomar la Lgica aristotlica como caso histrico solo se pretenda,
recurdese, ver qu era lo especficamente lgico en el modo de interpretar [1]
cap.1.1. Para reconocer una obra como una genuina contribucin en Lgica es preciso
contar entonces con:

Desde cundo hay Lgica?

[2]

i. Una identificacin de los rasgos estructurales que son comunes a

todas las oraciones que participan en un argumento.
ii. La definicin de una gramtica o combinatoria- que describa las
posibles combinaciones obtenibles con los elementos identificados en i.
iii. La introduccin de recursos simblicos adecuados al tipo de
categoras obtenidas en i o ii.
iv. Y una teora de la correccin argumental expuesta de trminos de
esquemas vlidos en virtud de la combinacin de las categoras
previamente identificadas.

Si consideramos que la Lgica es un tipo de investigacin que tiene por objeto

lo que se afirma en [1] cap.1.1 y que, adems, lo interpreta en los trminos
establecidos ahora en [2], nos encontraremos ante una definicin del asunto de la
Lgica que, no slo la identifica perfectamente ante otras disciplinas afines ya se han
mencionado algunas- sino que resulta tambin aceptable para casi cualquier
manifestacin de la misma a lo largo de su historia. Por extensin, aceptaremos
tambin como una preocupacin propia de la Lgica la descripcin y anlisis de la
conducta y propiedades generales de cualquier sistema que responda a los criterios
expuestos en [2].
Algo que debe quedar claro ya desde este preciso instante es que el objetivo
de la Lgica, es decir, el estudio de la correccin argumental depende esencialmente
del tipo de elementos que sean reconocidos como componentes relevantes desde un
punto de vista estructural en el apartado i de [2]. Afirmar que la estructura de las
oraciones a considerar en una argumentacin es del tipo S es P compromete todos los

Lgica de Enunciados

pasos siguientes de una forma que resulta fcil entender. Por eso es importante que
tengamos en cuenta que la doctrina del silogismo categrico la descrita por
Aristteles y sus comentaristas posteriores- no es la nica forma de hacer Lgica que
nace con el desarrollo del pensamiento clsico. Menos conocida e influyente es, desde
luego, la obra lgica de dos de las llamadas escuelas menores: los megricos y los
estoicos. Todos ellos desarrollan de forma ms sistemtica en el caso de los
segundos- una nueva doctrina, denomina en ocasiones del silogismo hipottico, en la
que los rasgos estructurales identificados son otros. Bsicamente se trata de
considerar unidades con sentido propio que igualaran en lo esencial a lo que ahora
entendemos como enunciados y de contar con las partculas que sirven para conectar
unos con otros. Esto les lleva a considerar nociones tales como la negacin, la
implicacin representada por clusulas del tipo si...entonces...- y otras similares y a
evaluar su conducta mediante la descripcin de leyes. Los megricos, con Eublides a
la cabeza, destacan en el estudio de ciertas paradojas la del mentiroso, por ejemploextendiendo el dominio de la Lgica problemas de tipo metalingstico. Los estoicos,
por su parte, desarrollan una incipiente teora formal del significado en la que se
discute el tipo de elementos lingsticos a los que corresponde atribuir verdad o
falsedad teora de los lekt-.
La razn de que sepamos menos de todas estas aportaciones es la prdida de
los textos en que presumiblemente se desarrollan en profundidad. Pero el drama de
esa monumental crisis civilizatoria que tiene lugar con el final del mundo clsico no
slo alcanza a megricos y estoicos. Aristteles se ve igualmente afectado al perderse
durante toda la Alta Edad Media una buena parte de los textos que constituyen el
Organon. De hecho, slo el libro de las Categoras y el De la Interpretacin son
conocidos en todo momento como obras suyas.
La reintroduccin del resto de sus obras, y muy especialmente de los Primeros
Analticos conteniendo la doctrina del silogismo categrico, marcan un antes y un
despus en el proceso de recuperacin de la civilizacin occidental. Es as como se
acuan los trminos Logica vetus y Logica nova para referirse a la doctrina lgica
conocida antes del siglo xii, momento en que se completa el Organon en edicin latina,

Desde cundo hay Lgica?

y la que se desarrolla a partir de ese hito histrico, que debemos agradecer en buena
medida a la inmensa tenacidad de Boecio.
Es imposible resumir la complejidad y riqueza de un periodo como el medieval
por lo que hace a esta disciplina. La oportunidad de emplear una herramienta como la
teora del silogismo categrico, dotada de la auctoritas de Aristteles, en la defensa de
la fe catlica, as como en el transcurso de sus diversas controversias hizo que la
Lgica gozase de un prestigio y una atencin que, posiblemente, no tienen parangn
en la Historia. La alianza entre fe y razn promovida por la Escolstica provoca, con el
paso del tiempo, la aparicin de fuertes tensiones dentro del modelo silogstico clsico.
Se hace necesario considerar nuevos esquemas que cubran razonamientos que el
sentido comn sanciona sin dificultad y que no encuentran acomodo en las doctrinas
lgicas aceptadas. El paso del tiempo genera nuevas anomalas responsables de lo
que cada vez es ms evidente: la salida de la Lgica de las corrientes principales del
pensamiento durante la modernidad. Mientras la nueva ciencia impone sus nuevos
mtodos de anlisis de la realidad, la Lgica tradicional sigue atascada en la dificultad
de explicar la correccin de argumentos como el que se ofrece aqu a modo de
ejemplo:
[3] Mara es madre de Cristo. Cristo es Dios. Por tanto, Mara es madre de
Dios.
No pretendo ridiculizar el argumento ni su importancia: la razn de que la
silogstica tropiece en este punto no es casual, de hecho, es lo que permitira ms
adelante someter a crtica sus fundamentos.
Durante la modernidad, la Lgica ya no es el canon metodolgico del
conocimiento. En su lugar aparecen las matemticas y el mtodo experimental,
capaces de aportar conocimiento nuevo y cierto all donde la silogstica slo muestra
complejas deducciones obtenidas a partir de premisas tenidas por ciertas. Con
excesiva frecuencia se ha presentado este enfrentamiento metodolgico para ilustrar
la cerrazn e ignorancia de los antiguos en oposicin a la brillante intuicin de los

Lgica de Enunciados

modernos. Mientras que los primeros parecen slo preocupados por reducir mediante
largas y tediosas deducciones nuevos fenmenos a juicios sustentados en la
auctoritas, los segundos ven con claridad la necesidad de descubrir las leyes y
mecanismos segn los cuales se comporta la naturaleza. Dudo mucho que la imagen
que as se ofrece del pensamiento medieval le haga autntica justicia. Pero aunque
as fuera, juzgar toda esa etapa sin entender el intenso sentimiento de prdida y cada
que la disolucin del pensamiento clsico produjo a lo largo del tiempo slo puede
conducir a idiotizar figuras que a mi juicio poseen una indudable dignidad. Intentar
conectar y reconstruir a travs de la Lgica el saber que un da existi no era una
muestra necesaria de oscurantismo, sino el intento, muchas veces sincero, de salir de
una poca triste retornando a una poca supuestamente dorada.
Pero, desaparece realmente la Lgica tradicional como ciencia en ejercicio a
lo largo de este periodo? En modo alguno. Sera injusto no mencionar dos obras, la
Logica Hamburguensis y la conocida como Lgica de Port-Royal, en las que se intenta
sistematizar hasta donde es posible todo el cuerpo doctrinal de la Lgica de tradicin
aristotlica. Ambas son compuestas durante el siglo xvii y pasan por ser el ltimo
intento serio de solventar las anomalas observadas por una tradicin que proviene,
casi sin solucin de continuidad, del pensamiento clsico.
Pero la modernidad tiene reservadas otras novedades para la ciencia de la
Lgica. El imparable abandono en que cae una determinada tradicin va dejando lugar
a la aparicin de una nueva cultura que an tardara un tiempo en reconocerse
explcitamente como propia de la Lgica. El autor que ms hizo por promover esta
nueva va, sin ser l mismo consciente de estar removiendo con ello los fundamentos
de la Lgica tradicional, fue, como es bien sabido, W. Leibniz. Sus aportaciones a
diversas ramas de la matemtica moderna, en particular, su contribucin al clculo
infinitesimal van a mostrar en el complejo escenario de la modernidad la ntima
conexin existente entre una serie de habilidades cognitivas propias del ser humano.
La primera de ellas se refiere a la capacidad de representar simblicamente, mediante
categoras lingsticas adecuadas, la estructura de diversos fragmentos de la realidad.
La segunda tiene que ver con la posibilidad de definir transformaciones simblicas que

10

Desde cundo hay Lgica?

adquieren, a travs de la representacin postulada previamente, un significado real.

Las manipulaciones simblicas corresponden as a operaciones que tambin pueden
tener lugar en la realidad representada. En tercer y ltimo lugar, se hace posible
incorporar al aparato simblico un mecanismo de resolucin de problemas el cual,
sirvindose de reglas simblicas adecuadas, acta sobre el lenguaje y es capaz de
responder a preguntas que poseen una traduccin en la realidad representada. Este
nuevo equilibrio entre realidad, capacidad simblica, y habilidad mecnica es un rasgo
distintivo del modo en que la relacin entre lenguaje, mundo y voluntad se recompone
durante la modernidad, pero no es, como se ve fcilmente, algo ajeno a los rasgos que
distinguen a la Lgica como disciplina [2]-.
Leibniz da forma a estas intuiciones en su characteristica universalis, una
especie de lenguaje universal al que se incorporar un procedimiento o calculus
ratiocinator, pensado para generar respuestas mecnicas, algortmicas, a cualquier
cuestin que quepa formular en sus trminos. Con ello contrae una deuda explcita
con un precedente hertico presentado por Llul en su Ars Magna, y que Leibniz intenta
recuperar inicialmente en su De Arte Combinatoria de 1666. Ms que el xito o fracaso
de su proyecto, lo que importa aqu es que la idea, entremetida de algn modo en la
estructura ms ntima de aquel momento histrico, prospera y se expande como una
eficaz metfora que no cesa de ganar adeptos. Autores posteriores como Bolzano,
Babbage, Jevons o Peirce, por no hablar ya de Boole o Frege, se esfuerzan cada vez
con ms xito por hacer realidad esa especie de soberbio sueo de la razn. El
resultado es que aquello a lo que llamamos hoy da Lgica no podra entenderse sin
ver en ella un intento de integrar las tres capacidades que identifica Leibniz en su obra.
Como ya he dicho, la forma en que Leibniz interpreta esa peculiar juntura entre
capacidad de representacin, manipulacin simblica y habilidad mecnica para
responder a preguntas, no es, si se piensa bien, algo que no est ya presente en la
silogstica de tradicin aristotlica. La aportacin leibniziana a la modernidad consiste
en desvincular tales capacidades de una realizacin particular, la aristotlica, y con ello
de las decisiones que le son especficas.

11

Lgica de Enunciados

El resultado de esta liberacin de las capacidades formales de las que

parecemos disponer lleva a que mucha de la investigacin que en la actualidad
reconocemos como genuinamente lgica se refugie durante los siglo xviii y xix en los
dominios de la matemtica. Esto no es de extraar ya que es en ese espacio donde
ms intensamente se pone a prueba nuestra capacidad para resolver con eficacia
problemas que afectan a manipulaciones simblicas dentro de un sistema. Se
entiende, adems, que tales sistemas pretenden representar algn fragmento de la
realidad. El lgebra, el anlisis, la teora de nmeros, la geometra son campos en los
que cada vez resulta ms evidente la existencia de un dominio genuino que afecta,
bsicamente, a nuestra habilidad para manipular smbolos de manera efectiva.
Esta corriente adquiere mayor intensidad a partir de la segunda mitad del siglo
xix debido a un fenmeno muy general cuya importancia es difcil dejar de apreciar
debidamente. La comunidad cientfica empieza a manifestar por aquel entonces una
preocupacin manifiesta por la adecuada fundamentacin de sus teoras. Doctrinas
tiles, tenidas por ciertas hasta entonces, muestran fisuras e imprecisiones que es
preciso solventar. La extensin de un lenguaje cada vez ms normalizado para la
descripcin de teoras matemticas, as como la difusin de estndares para las
tcnicas de demostracin permiten pensar en la existencia de estructuras comunes
que se repiten en toda teora matemtica correcta. G. Boole y G. Frege, tenidos en la
actualidad por los padres fundadores de la Lgica contempornea, surgen,
precisamente, de este entorno intelectual.
La continuidad con el periodo anterior se encuentra rota en este momento. Hay
una tradicin entera que se agosta y otra que corre paralela y que durante algn
tiempo no se identifica a s misma con los objetivos de la Lgica, sino, ms bien, con
los propios de la matemtica y ms en particular con su fundamentacin. Pasar algn
tiempo hasta que finalmente la moderna Lgica ocupe por completo el espacio,
aunque no exactamente el mismo, que va a dejar la Lgica tradicional.
La publicacin en 1854 de An Investigation of the Laws of Thought on which
are founded the Matematical Theories of Logic and Probabilities hace que Boole pueda

12

Desde cundo hay Lgica?

ser considerado como uno de los primeros en apreciar la relativa autonoma de la

Lgica frente a los dominios matemticos en que tiene uso. Las leyes relativas a
partculas tales como la negacin, la expresin de sumas de circunstancias lo que
llamaremos ms adelante conjunciones- o la expresin de alternativas disyuncionesson relativamente conocidas y tratadas ya desde la tradicin estoica. Por eso no
importa tanto que Boole se dedique de nuevo a ellas, sino el modo en que sabe
identificar en la reunin de todas ellas una estructura con un peso lgico-matemtico
genuino. Boole describe de forma sinttica una estructura, que en la actualidad
denominamos lgebra de Boole o tambin lgebra de la lgica (habra que aadir de la
lgica clsica o bivaluada), dotada de autonoma y valor propios. Esta es la razn que
le permite concebir su trabajo como la descripcin de una serie de leyes del
pensamiento aplicables a un sinfn de dominios concretos. Diversas teoras
matemticas pueden mostrar ahora, si la interpretacin es conveniente, una estructura
que corresponde a la de un lgebra de Boole, y de este modo, las propiedades que
dicho dominio posea a partir de ahora se debern, no tanto a su interpretacin o
materia particular, como a su descripcin como una entidad lgica de un cierto tipo, un
lgebra boolena en este caso. Boole inicia de esta forma un proceso de naturalizacin
de la Lgica que hace de esta una doctrina cada vez ms identificable como algo
independiente de cualquier teora matemtica particular y tambin de cualquier
proceso mental singular. La Lgica contempornea nace ya con un par de problemas,
el de su ubicacin y el de su funcin. Se trata de describir un cierto tipo de actividad
mental, o es algo que se encuentra en la realidad misma de las cosas, y por tanto,
tambin en nuestros actos mentales? Es algo que slo posee una funcin
prescriptiva o posee tambin una dimensin descriptiva? La existencia de estos
problemas cautivar a una serie de autores entusiastas, Jevons, Schroder y Peirce,
entre otros, fundamentales para la difusin de la obra de Boole. En el caso de este
ltimo el proceso de naturalizacin se detiene en el nivel de lo mental, pero esta
frontera pronto ser superada con tesis cada vez ms fuertes.
Pocos aos despus de que Boole hubiera difundido sus trabajos, G. Frege, el
segundo de los protagonistas de esta especie de refundacin de la Lgica, introduce
en su Conceptografa Begriffsschrift en el original en lengua alemana- una serie de

13

Lgica de Enunciados

innovaciones que van a alterar el esquema conceptual bsico adoptado por la Lgica
desde Aristteles. Es el ao 1879. La nocin ms directamente responsable de esta
ruptura con el molde clsico es la de funcin proposicional. Expresado en una
terminologa actualizada, una funcin proposicional constituye un tipo especial de
funcin en la cul se ponen en conexin n-tuplas de individuos, por un lado, con
valores de verdad por el otro. Una n-tupla no es sino una secuencia ordenada de n
individuos, de ah lo de n-tuplas, mientras que un valor de verdad es, en este caso,
una de estas dos posibilidades, verdadero, o falso. Tomemos como ejemplo un caso
grfico y fcil de entender, uno en el que la n-tuplas sean pares formados por nmeros
naturales en este caso n=2-. Una funcin proposicional definida sobre pares de
nmeros naturales asigna a cada uno de estos pares uno y slo un valor de verdad.
Qu puede representar cada una de esas funciones? La relacin ser menor o igual
que, por ejemplo, es una de esas funciones: cada par <a,b> para el cual existe un c,
incluido el 0, para el que se cumple que a+c=b recibir el valor verdadero bajo esa
funcin, y falso en otro caso. Si en vez de considerar pares, consideramos funciones
que conectan nmeros con valores de verdad se tratara de un caso especial en el
que n=1- lo que obtenemos es lo que habitualmente se denomina propiedades
numricas. As, la funcin proposicional que slo asigna el valor verdadero a nmeros
divisibles por 2, representar la propiedad de ser par. Es fcil entender la generalidad
del procedimiento. Por otra parte, la referencia a nmeros naturales es un mero
ejemplo. En realidad, nada impide que consideremos cualquier tipo de entidades como
dominio de este tipo de funciones.
Qu tiene de especial esta nocin para hacer de ella algo determinante en la
historia posterior de los acontecimientos? En el molde aristotlico, la estructura de los
enunciados que participan en un argumento era, recurdese, S es P. Esta decisin
comprometa el resto de su anlisis generando, con el paso del tiempo, dificultades
imposibles de superar. La nocin de funcin proposicional permite romper ese
esquema rgido y reemplazarlo por otro que es capaz de recuperar en su seno la
silogstica e ir mucho ms all. En el caso aristotlico, las predicaciones admisibles
consisten, bsicamente, en la atribucin de una propiedad a una clase de individuos, o
a parte de una clase de individuos: Todos los S son P, Algunos S son P. Forzando un

14

Desde cundo hay Lgica?

poco los trminos, podemos decir que en el esquema fregeano estas afirmaciones se
recuperan del siguiente modo:
[4]

i. Para todo individuo sucede que ( si la funcin proposicional S le

asigna el valor de verdad verdadero, entonces la funcin
proposicional P tambin le asigna el valor de verdad verdadero).
ii. Hay algn individuo al que (la funcin proposicional S asigna el valor
de verdad verdadero y al que la funcin proposicional P asigna el valor
de verdad verdadero).

Aunque a primera vista pueda parecer que hemos complicado sustancialmente

el esquema aristotlico, lo que ha sucedido es, en realidad, la integracin de la teora
del silogismo categrico, sin restricciones al tipo de predicaciones que es posible
expresar, y la del silogismo hipottico. Obsrvese que para expresar las atribuciones
que, en el caso aristotlico eran primitivas, sin partes, ahora se precisan partculas que
son las que en su da fueron estudiadas por los estoicos: si...entonces..., ...y..., etc.
La amplitud de la nocin de funcin proposicional permite resolver el problema
escolstico asociado a la relacin de Mara con el hecho de ser madre de Dios de
forma inmediata por eso dije que este problema era, en realidad, substantivo-. Lo que
anda en juego no son, como la escolstica se vea obligada a pensar, un sistema de
propiedades, sino una relacin, ...es madre de... cuya funcin proposicional arroja el
valor de verdad verdadero cuando los nombres propios M y C designan los
individuos Mara y Cristo, respectivamente.
En la historia de la Lgica se experimentan cambios de muchos tipos, algunos
de los cuales llegan a afectar incluso a elementos muy caractersticos de su actividad
o de la apariencia de sus productos finales. La experiencia muestra, sin embargo, que
pocas veces se ha llegado a reformular por completo ese primer estadio del que
hablamos en la primera sesin de este curso. Me refiero a aquel en cual se establece
la estructura general de las oraciones que intervienen en un argumento. Frege es
responsable de una alteracin de este nivel bsico del anlisis lgico que iguala su

15

Lgica de Enunciados

aportacin en este aspecto a la que 20 siglos atrs hiciera Aristteles. Frege fue
capaz, como si de una tarea de relojera se tratara, de desmontar una maquinaria
atascada y en buena medida intil, y volverla a montar de un modo sustancialmente
distinto. Ese mecanismo salido de su taller es lo que hoy conocemos como Lgica
elemental, Lgica de Primer Orden, etc. En cualquier caso, se trata de un producto con
suficiente entidad como para recibir las ms de las veces el calificativo de Lgica
Clsica.
En la Conceptografa Frege no se limita a ofrecer un comentario de esta
modificacin del esquema conceptual bsico de la Lgica. Recorre, de nuevo, todos
los pasos que en la sesin anterior vimos que haban de estar presentes en la genuina
investigacin lgica. Se dota de un formalismo que por fortuna es mejorado por otros
autores ms sensibles antes las necesidades de sus lectores- que representa
adecuadamente las categoras lgico-gramaticales identificadas. A su vez, se elabora
una gramtica formal que luego se emplea para describir un aparato inferencial que
acta como canon a la hora de construir argumentos vlidos.
Aunque ahora, y con el tiempo, puede parecer que la mirada de Frege estuvo
puesta en la historia de su disciplina, me refiero a la Lgica, lo cierto es que su
aportacin slo se justifica y entiende desde el conocimiento de la matemtica de la
poca. La estructura del lenguaje lgico empleado en la Conceptografa procede de
aquel que se repite y emplea en las distintas disciplinas matemticas particulares. El
conjunto de reglas con las cuales se derivan nuevas expresiones a partir de otras
dadas, son tambin de uso frecuente en esos mismos contextos matemticos. El
sistema fregeano expuesto en la Conceptografa es un intento de proponer un
lenguaje universal para la matemtica y el pensamiento exacto en general, libre de las
imprecisiones que afectan a vastos dominios del conocimiento. La deuda que Frege
contrae con Leibniz se hace explcita en este intento de proponer un lenguaje perfecto
en el que el conocimiento prospere sin los obstculos que introducen los malos uso
propios de los lenguajes ordinarios. As,

16

Desde cundo hay Lgica?

[5]

En los smbolos aritmticos, geomtricos, qumicos se pueden ver

realizaciones de la idea leibniziana respecto a campos particulares. [...]
Sobre todo, confo en una feliz aplicacin de mi Conceptografa cuando
deba ser puesto un valor especial en la precisin de la prueba, como
cuando se trata de los fundamentos del clculo diferencial e integral.
[Conceptografa, p.9]

La impresin de haber hallado un lenguaje lgicamente perfecto en el que el

pensamiento transita directamente hacia el conocimiento, ...Me consolara, sobre
esto, la conciencia de que tambin un desarrollo del mtodo hace prosperar a la
ciencia. [ibdem], le lleva a asumir posiciones epistemolgicamente muy fuertes. Este
lenguaje, su estructura, constituyen un objeto real ajeno a nuestras particulares
habilidades cognitivas. La existencia de un lenguaje perfecto, y la necesidad de
descubrir sus rasgos caractersticos como paso previo a toda posible expresin de un
conocimiento exacto de las cosas, constituye la carta de presentacin de una de las
ideas que ms influencia ha ejercido en la evolucin del pensamiento del siglo xx. Me
refiero a lo que se ha dado en llamar el giro lingstico, por el cual, la discusin del
problema del conocimiento empieza en el lenguaje en que se expresa. De hecho, los
errores y balbuceos que afectan a diversos dominios de la actividad humana han de
ser explicados como efectos de un lenguaje lleno de ambigedades y defectos.
Es as como la Lgica contempornea acaba vindose involucrada en la
nacimiento de una de las corrientes de pensamiento ms influyentes en la historia de
las ideas del siglo xx: el positivismo lgico. Pese a su constante apelacin a la Lgica
como herramienta de anlisis y tribunal ltimo de la razn, esta corriente filosfica no
hace mucho uso, en realidad, de lo que son sus principales logros. Estos siguen
estando a mi juicio mucho ms cerca de los objetivos ideales imaginados por Boole o
Frege, orientados a investigar las leyes del pensamiento abstracto y sobre todo sus
limitaciones un mvil epistemolgico tradicional-, que de las intenciones censoras y
antimetafsicas que en ocasiones se le han atribuido.

17

Lgica de Enunciados

Los acontecimientos posteriores constituyen ya el desarrollo de este curso, con

lo cual hemos llegado hasta donde razonablemente podamos llegar. Lo que sigue
constituye propiamente la exposicin de los principales contenidos de la Lgica
contempornea y en ella habr poca ocasin para volver a referirnos a datos o
acontecimientos histricos de importancia. Espero que esta exposicin sirva, al
menos, para justificar el tono general que este desarrollo va a tener en a lo largo de los
siguientes captulos. No creo, ya lo he dicho, que debamos concebir la Lgica
moderna como una forma de estudiar y someter a juicio ciertos usos del lenguaje
ordinario. Ni creo tampoco que su principal objetivo sea el estudio del razonamiento
informal. Slo derivadamente puede entenderse as. Revisar la motivacin que
subyace al renacimiento de la Lgica en su versin contempornea permite encontrar
un mvil distinto que, casualmente, es ms fiel al espritu con que surge esta
disciplina. Me refiero al intento de analizar la capacidad expresiva y el control que
tenemos sobre los procesos de inferencia en lenguajes formales diseados con los
propsitos ms generales que quepa imaginar. As entendida, y por modesto que
pueda parecer su objetivo, la Lgica acaba por convertirse en un estudio crtico de
ciertas capacidades abstractas fundamentales del entendimiento humano, viniendo
entonces a justificar plenamente tanto su orientacin matemtica como su genuina
vocacin filosfica. Se trata de algo que parece ir en contra de corrientes ms
interesadas en destacar las aplicaciones prcticas de la Lgica pero que no tiene, al
menos esa es mi opinin, menos futuro que aquellas.

18

Desde cundo hay Lgica?

Orientacin Bibliogrfica:

La referencia obligada en un captulo introductorio de carcter histrico es

[Kneale, 1961]. Los captulos ms pertinentes son, en esta ocasin, los dedicados a
Aristteles, Cap. II, y aquel en que se exponen la doctrina megrica y la estoica, Cap.
III. No obstante, hay que reconocer que se trata de una obra que por su carcter
enciclopdico, no se ajusta demasiado bien a los objetivos de un curso introductorio.
Por fortuna, se puede recurrir a una concisa presentacin de la historia de la Lgica
redactada por Emilio Daz Estvez, [Daz Estvez, 1985] que figura como primer
captulo de la obra colectiva editada por Angel Nepomuceno [Nepomuceno (ed.),
1995]. Pese a su brevedad 37 pginas- resulta especialmente clara y abarca todo el
perodo tratado en esta sesin llegando, incluso, a Frege.

Sera muy interesante que el alumno se animase a comprobar por s mismo

cmo concibe Aristteles su Lgica en los Primeros Analticos. Bastara para ello con
que hojeara las primeras secciones de esta obra: las cinco primeras sera ms que
suficiente.

Para la influencia de Leibniz y Bolzano es til, de nuevo, [Kneale, 1961], cap.

V. Los autores influidos por Leibniz son tratados, tal vez, no de una forma muy
ortodoxa, pero s con extrema viveza en [Gardner, 1958]. En ella es posible apreciar

19

Lgica de Enunciados

en sus justos trminos la conciencia que las posibilidades del clculo ejerce a partir de
Leibniz hasta prcticamente nuestra poca.

Para aquellos alumnos interesados por el problema antropolgico y psicolgico

suscitado al proponer el carcter cultural o universal de la Lgica puede ser
conveniente consultar [Prior (ed.), 1976], en la que se incluyen contribuciones de
distintos autores relativas al desarrollo de la investigacin lgica en la cultura hind,
china y rabe.

Para profundizar en asuntos de filosofa de la Lgica puede estar bien consultar

[Haack, 1978] o [Quesada, 1985], no obstante, existe poca claridad en cuanto al
modelo de desarrollo que la Lgica ha seguido a lo largo de su historia, y tambin
mucho prejuicio.

Para entender la constitucin de la Lgica contempornea se puede seguir

empleando textos de tipo histrico como [Kneale, 1961] y [Daz Estvez, 1985], pero
est claro que hace falta algo ms. Un texto bastante interesante y fcil de seguir a la
hora de entender la moderna refundacin de la Lgica desde la Matemtica
novecentista es [Gareth, 1982]. Otro texto en esta misma direccin aunque mucho
ms tcnico slo se recomendara como una lectura de tipo avanzado para aquellos
interesados en estos aspectos- es el de captulo de Conrado Mangione tiene en el
clsico [Geymonat, 1972].

Los textos originales de Frege, Hilbert, Peano, etc pueden consultarse en

lengua inglesa en la obra cannica de Van Heijenoort, [Van Heijenoort, 1967]. En
cualquier caso, existen traducciones muy aceptables en castellano de la mayora de
estas obras, y muy especialmente de las de Frege.

20

Desde cundo hay Lgica?

Una buena exposicin de las escuelas que intervienen en el proceso de

fundacin de la Lgica Contempornea es la que figura en [Kleene, 1952]. Una lectura
convenientemente dirigida del captulo III de la Parte I titulado Una crtica del
Razonamiento Matemtico puede ser altamente formativa sobre el alcance y
pretensiones de la Lgica matemtica. En la misma direccin hay que mencionar el
captulo 1 de [Crossley, 1972]. Sin embargo, esta es una obra que quiz conviene
leer al final del curso, como repaso y evaluacin de lo que all se ha visto.

21