'1

i;

'

BARNES, Jonathan. Lgica. En: Aristteles. Madrid:. Ctedra, 1993.

[Ttulo original: Aristotle. Mnchen: Oxford Uruverstty Press].
Traduccin de Marta Sansigre Vida!. p. 52-58.

1
1

CAPITULO 7

lgica
Las ciencias -en cualquier caso, las ciencias tericas- deben ser axiomatizadas. Entonces, cules deben ser sus axiomas? Qu condiciones debe satisfacer una proposicin para ser unaxioma? Y qu forman adoptarn las derivaciones dentro de cada ciencia? Por medio de qu reglas se deducirn los teoremas ~partir de los axiomas? stas son algunas de las
cuestwnes que plantea Aristteles en sus escritos lgicos y en particular en las obras conocidas con los ttulos de Primeros Analticos y Segundos Analticos.
Veamos, en primer lugar, las reglas de la deduccin
y, por tanto, la parte formal de la lgica de Aristteles.
. Todas las oraciones tienen sentido ... pero no todas
constituyen enunciados, slo los constituyen aquellas
en las que se encuentra verdad o falsedad. De los
enunciados, algunos son simples, es decir, los que afirman o niegan algo de algo, y otros se componen de
stos y son, por ello, oraciones compuestas. En cuall:_
ro lgico, Aristteles est interesado solamente en las
?raciones que son verdaderas o falsas (las rdenes,
preguntas, exhortaciones y similares son asunto del
estudioso de la retrica o la lingstica).) Aristteles
sostiene que tales oraciones son rodas o simples o

52

l
1

compuestas a partir de oraciones simples, y que las

oraciones simples afirman o niegan algo de algo -algzma cosa respectO a alguna cosa, como insiste ms
tarde.
Todo eso lo adopt Aristteles del Sofista de Platn. En sus Primeros Analticos va ms all que Platn en varios aspectos. Las oraciones simples del tipo
de que se ocupa la lgica se llaman proposiciones
y las proposiciones se analizan en trminos. Si una
proposicin dice o niega P de S, entonces S y P son
sus trminos: P el trmino predicado y S el trmino
sujeto. Las proposiciones son o universales o particulares: afirman o niegan P de codo S o de algn S. As
todo animal vivparo es vertebrado afirma el ser
vertebrado de codos los animales vivparos; y algunos animales ovparos no son sanguneos niega el
ser sanguineo de algunos animales ovparos. Tenemos, pues, cuatro tipos de proposiciones simples: universales afirmativas, que afirman P de codo S; universales negativas, que niegan P de todo S; partculares afirmativas, que afirman P de algn S; y particulares negativas, que niegan P de algn S.
An ms, las proposiciones se dan en una variedad
de modos: toda proposicin expresa o que algo se
atribuye, o que se atribuye necesariamente o que se
atribuye posiblemente. As, algunos calamares llegan a tener una longitud de un metro expresa el pensamiento de que tener un metro de longitud es una
verdad de hecho respecto a algunos calamares. Todo
hombre est constituido necesariamente de carne,
huesos, etc. dice que ser corpreo es necesariamente
verdad para todo hombre, que una cosa no podra ser
un hombre sin estar constituida de carne, huesos, etc.
Es posible que ningn caballo est dormido enuncia que estar dormido puede no pertenecer a ningn
caballo: que codo caballo pttede estar despierto. Estos
tres modos o modalidades reciben el nombre (aun53

',,

que no de Aristteles) de asertorio, apodctico y

problemtico.
Esta es, brevemente, la doctrina de Aristteles sobre la proposicin, tal como se encuentra en los Analticos. Todas las proposiciones son simples o compuestas de simples. Toda proposicin simple contiene dos trminos, predicado y sujeto. Toda proposicin simple es afirmativ o negativa. Toda proposicin simple es universal o particular. Toda
proposicin simple es o asertoria o apodctica o problemtica.
La doctrina de los Analticos no es exactamente la
misma que la del corto ensayo De la interpretacin,
una obra en la que Aristteles reflexiona ms extensamente sobre la naturaleza y estructura de las proposiciones simples. Y, como doctrina, est expuesta a
diversas objeciones. Son todas las proposiciones simples o compuestas de simples? <<Actualmente se reconoce que el ltimo tentculo del pulpo est bifurcado es, desde ll.lego, una proposicin compuesta: contiene como parte de s misma la proposicin ef ltimo tentculo del pulpo est bifurcado. Pero no est
compuesta de simples. Consta de una proposicin
simple antecedida por Actualmente se reconoce
que, y Actualmente se reconoce que no es, en absoluto, una proposicin completa. Adems, todas las
proposiciones simples contienen solamente dos trminos? Llueve parece bastante simple. Pero contiene dos trminos? De qu afirma que l!tteve? Y
la oracin Scrates es un hombre? Esa contiene,
ciertamente, un sujeto y un predicado. Pero no es ni
universal ni particular: no predica hombre de
todo ni de algn Scrates; porque el trmino Scrates no es un trmino general, de modo que (como
observ el propio Aristteles) las frases todo y algn no son aplicables a l.
Consideremos, finalmente, oraciones tales como

54

1
1

<as vacas tienen cuatro estmagos, <os humanos

engendran un hijo a la vez y <os ciervos cambian
anualmente las astas, todas ellas, oraciones del tipo
que Aristteles emplea en sus escritos biolgicos. No
es verdad que toda .vaca renga c~atro e~tmagos: hay
indviduos deformes con tres o cmco. Sm embargo, el
bilogo no quiere decir simpl;mente q~e ~~g~nas vacas resultan tener cuatro estomagas, m siqUiera que
la mayora de las vacas los tienen. Ms bien? afirma,
correctamente, que toda vaca por naturaleza tiene cuatro estmagos (aunque, de hecho, haya algunas que
no los tienen). Aristteles resalta que en la naturaleza muchas cosas son vlidas para la mayora y cree
que la mayor parte de las verdades de las ciencias naturales pueden expresarse por medio de ora~iones de
la forma por naturaleza, todo S es P, oracwnes que
son verdaderas si la mayora de los. S son P. Pero,
cul es exactamente la estructura de las oraciones de
~sa forma? Aristteles debati la cuestin, pero se vio
obligado a dejarla sin respuesta, y, efectiva:n.~nte, no
la tiene dentro de su doctrina de la propostoon.
El sistema lgico que desarrolla Aristteles en Primeros Analticos se basa en su doctrina de la proposicin. Los argumentos que contempla constan todos
de dos premisas y una sola conclusin, y cada uno de
Jos tres componentes es una proposicin simple. La
lgica es una disciplina general y Aristteles quer.a
tratar de manera general todos los argumentos posibles. Pero hay un nmero indefinido de argumentos
y ningn tratado podra ocuparse individualmente .de
cada uno de ellos. Para tratar de forma general esa Indefinidamente inmensa multiplicidad, Aristteles introdujo un mecanismo simple: en lugar de emple.ar
trminos particulares -hombre, caballo, CISne-, en sus exposiciones us letras -.A, B, C. En
lugar de oraciones como -:r:odo 1;ulpo tiene ~cho tentculos, encontramos cuasi-oraciOnes u oraciones-es-

55

[l
:L'i
.:

'.

,',";

i'
!.

'

;-

'

'

'

quema del tipo Todo A es B. Ese uso de las letras

Ylos esquemas permiten a Aristteles hablar con roda
generalidad, pues lo que es verdadero respecto, un
esqu_ema, es verdadero r-especto a todo caso particular
de d1cho esquema. Si, por ejemplo, Aristteles muestra que cuando Algn A es B es verdadero tambin lo es Algn Bes A, entonces ha mostrado imP_lciramente que toda proposicin particular afirmativa puede _invertirse de ese modo: si algunos animales _mannos son mamferos, algunos mamferos
son ammales ~arinos; si algunos hombres son griegos,. algunos gr~egos son hombres; si algunas democraCias no son liberales, algunos regmenes no liberales ~on d_ei?ocrricos; y as sucesivamente, para codas
las In~e~midas_ oraciones de la forma Algn A es B>>.
Anscoreles mvent el uso esquemtico de las letras.
Los lgicos estn ahora tan familiarizados con su invent~, y lo emplean can sin pensar, que pueden llegar
a olvidar hasta qu punto fue un invento crucial: sin
el uso de estas letras, la lgica no poda convertirse
en una ciencia general de la argumentacin. Los Primeros Analticos hacen uso constante de las letras esquem_ri;as. As, el primer argumento-patrn que erar~ Anscoreles se desarrolla de este modo: Si A se pre- _
d~ca de todo B, y B de todo C, necesariamente se prediCa A de todo.~->> En los argumentOs de este cipo,
las tres_ proposiCIOnes son universales, afirmativas y
a~ertonas. Un caso podra ser: Todo animal que respira posee pulmones; todo animal vivparo respira
por tanto, codo animal vivparo posee pulmones.>> '
En el transcurso de la primera parte de los Primeros Ana_lti~os Aristteles considera codos los posibles
en:pareamientos de proposiciones simples y determma de qu pares puede inferirse correctamente una
tercera proposicin simple como conclusin y de qu
pares no puede inferirse correctamente una conclusin. Divide los emparejamientos en tres grupos o fi-

56

i
f

'~

.
.

'

guraS>> y su exposicin contil)a de una manera rigurosa y ordenada. los emparejamientos se toman segn una pauta f.ija y para cada par, Aristteles enuncia y demuestra formalmente qu conclusin, en caso
de que haya alguna, puede inferirse correctamente:
Toda la exposicin se reconoce como el primer ensayo sobre la ciencia de la lgica formal.
la teora lgica de Primeros Analticos se conoce
como la silogstica de Aristteles>>. Aristteles explica la palabra griega ((syllogismos como sigue: un
syllogismos es un argumento en el cual, dando por supuestas ciertas cosas, algo diferente de las cosas supuestas se sigue, por necesidad, del hecho de que son
vlidas>>. la teora de Segundos Analticos es una reora de syllogismos, una teora, como podramos expresarlo nosotros, de la inferencia deductiva.
Aristteles hace grandes afirmaCiones res pecco a su
teora: toda prueba y roda inferencia deductiva (syltogiJmos)-, debe proceder por medio de las eres figuras
que hemos descrito>>: en otras palabras, puede mostrarse que coda inferencia deductiva posible consiste
en una cadena de uno o ms argumentos del tipo que
Aristteles ha analizado. Aristteles est afirmando,
(le hecho, que ha creado una lgica completa y perfecra. la afirmacin es audaz y es falsa; porque hay
en realidad, un nmero inmenso de inferencias que
no puede analizar la teora de Aristteles. la razn
es sencilla: la teora de la inferencia de Aristteles se
basa en su teora de las proposiciones y las deficiencias de la ltima dan lugar a deficiencias en la primer_, ,Sin embargo, esas deficiencias no se ven a primera vista y los pensadores posteriores quedaron tan impresionados por el poder y la elegancia de la silogstica de Aristteles que durante dos milenios los Analticos se ensearon como si constituyeran la suma de
la verdad lgica.
Primeros Analticos es, en efecco, la obra de unge-

57

'\

,.

!i
\l

'il1

il

;!

H
1
1

;
::

;(

:!

'(

'

-~

,_

nio excepcional. Hay dificultades internas en el sistema de Ar!stteles (_en especial en su descripcin de
las deducciOnes que mcluyen proposiciones problemticas) y el texto contiene errores y cosas oscuras. Pero
sos ~o.n defectos menor~s: en trminos generales, los
Analtttcos son un parad1gma del pensamiento lgico.
Es elegante y sistemtica; sus argumentos son ordenados, lcidos y rigurosos; consiguen un nivel notable de generalidad. Si ya no se los puede considerar
como una lgica completa, todava se los puede admirar como un fragmento casi perfecto de la lgica.

CAPITULO

Ciencia
La lgica de los Primeros A nalticoJ sirve para deducir los teoremas de una ciencia de sus axiomas. Los
Segtmdos Analticos se ocupan sobre todo de estudiar
la naturaleza de los propios axiomas y, por tanto, de
la forma general de una ciencia axiomatizada. En grado sorprendente, Segundos Analfticos es independiente de la doctrina lgica peculiar de Primeros Analticos: las deficiencias de la teora de la inferencia de
Aristteles no contagian la teora de la axiomatizacin ni hacen de Segundos Analticos una descripcin
invlida de la forma cientfica.
La descripcin de Aristteles de los axiomas se basa
en su concepcin de la naturaleza del conocimiento
cientfico; porque el propsito de 'una ciencia es sistematizar nuestro conocimiento de su materia, y los
axiomas y teoremas que la componen deben ser, por
tamo, proposiciones que son conocidas y que satisfacen las condiciones impuestas al conocimiento. Segn
Aristteles, pensamos que conocemos una cosa (en
sentido absoluto, no en sentido sofstico o accidentalmente) cuando pensamos que sabemos la causa por
la cual una cosa es (y sabemos que es su causa) y ta!Ilbin que no es posible que eso sea de otro modo_!>..
58

59