El libro Sobre la interpretacin (Peri hermeneas) cons-
tituye una buena introduccin a los Analticos por dos ra- zones: porque proporciona un anlisis semntico-grama- tical de los elementos del enunciado, prerrequisito necesa- rio de una lgica adherida al lenguaje natural, como es la aristotlica, y porque analiza, ya desde un punto de vista lgico (relaciones de verdad/falsedad entre enun- . ciados), los elementos atmicos del razonamiento: las aser- ciones (apophseis). En ambos aspectos constituye una propedutica necesaria para adentrarse en el estudio siste- mtico del razonamiento en general (Analticos primeros) y de la metodologa del conocimiento cientfico o episte- mologa (Analticos segundos). En el cap. 1 expone el autor la primera teora de la significacin conocida en que, frente a las ambigedades del Crtilo platnico, se establece una interpretacin ine- quvocamente convencional del lenguaje (remachada en el cap. 2): la escritura es smbolo (es decir, seal convencio- nal, corno cada una de las dos mitades de la pieza que se usaba en Grecia como contrasea para el reconocimien- to mutuo de quienes se reencontraban despus de una lar- ga separacin), smbolo de la palabra hablada, que, a su vez, es smbolo. de las imgenes o afecciones que hay en el alma de los interlocutores. Estas imgenes, al igual que las cosas de las que son s'emejanzas, son las mismas pa- 26 TRATADOS DE LGICA (RGANON) ra todos, a diferencia de sonidos y escritura, que varan (prueba inequvoca de su convencionalidad) de un pueblo a otro. En los dems captulos define, respectivamente, el nom- bre, el verbo y el enunciado, en lo que puede considerar- se corno primer esbozo histrico de una teora gramatical sistemtica, que ser desarrollada despus por la Estoa. Se trata, por supuesto, de una teora gramatical que no conoce prcticamente otro criterio que el semntico, hasta el extremo de que no concibe a los casos o inflexio- nes del nombre y el verbo corno meras variantes rnorfo- sintcticas, sino corno alteraciones (cuasi degradaciones) del significado del nombre o verbo por antonomasia, que son, respectivamente, el nominativo y las formas de indi- cativo presente. Entre los enunciados, asla para su estudio minucioso el enunciado apofntico o asertivo, que es, por defini- cin, el susceptible de verificacin o falsacin. Una vez acotado de esta manera el objeto del tratado, el autor se dedica a estudiar: la diferencia entre asercio- nes simples y compuestas (para lo que el criterio ser, una vez ms, ontolgico-semntico, a saber, el carcter unita- rio o no de la realidad designada por el enunciado); la diferencia entre afirmacin y negacin (con su respectiva exclusividad mutua en cuanto al criterio de verdad y fal- sedad); la cuantificacin y oposicin de las aserciones; el problema de la verdad en las aserciones de hechos futuros tconocido por el clebre ejemplo de la batalla naval y su aparente ineluctabilidad o imposibilidad en funcin de la necesidad de que uno de los miembros de la contradic- cin sea verdadero); las relaciones de consecucin entre aserciones afirmativas de predicado negativo y aserciones negativas de predicado positivo (v.g.: es todo hombre no- SOBRE LA INTERPRETACIN (INTROD.) 27 justo, no es ningn hombre justo); la oposicin y con- secucin entre las aserciones modales; y, finalmente, un estudio sobre la relacin de contrariedad, en que se dis- tingue entre la contrariedad en la asercin y la asercin de contrarios (por ejemplo, son aserciones contrarias: es todo hombre justo - no es ningn hombre justo; y son aserciones de contrarios: es todo hombre justo - es todo hombre injusto). Sobre el carcter peculiar de la asercin, como enun- ciado que comporta verdad o falsedad, hay que decir que Aristteles cifra esa peculiaridad de lo que l llama ap- phansis o lgos apophantiks en la posicin de existencia, como se desprende de los pasajes 16a12-18 y 16b19-25, en que distingue entre significar algo y significar la exis- tencia de algo. Todos los nombres (sujetos) y verbos (pre- dicados) significan algo, es decir, tienen un contenido no- tico (mental); pero por s mismos no dicen si ese signi- ficado est actualmente representado en un objeto real (prgma) o no. Esta posicin de existencia/inexistencia s- lo se da con la adjuncin del verbo ser o no ser (efnail ~ efnai); aunque ni siquiera este verbo significa una co- sa real, es decir, ni siquiera l establece o excluye por s mismo la existencia de nada real, sino que slo cosigni- fica, en unin de los trminos del enunciado, la existen- cia en la realidad de lo significado por la sntesis notica que esos trminos expresan (cf. infra, nn. 35 y 78). Esta concepcin del carcter verificable/falsable de los enunciados apofnticos o aserciones como posicin (afirmacin, katphass) o exclusin (negacin, apphass) de existencia, cosignificada por el verbo ser, lleva a Aristteles a privilegiar la forma atributiva (o de verbo copulativo y atributo) sobre la forma predicativa de los enunciados. En el cap. 12 dice explcitamente, para aclarar 28 TRATADOS DE LGICA (RGANON) la cuestin de la negacin modal, que es lo mismo el hombre camina que el hombre es uno que camina (es ca- minante). La razn de ello es que as puede apreciarse mejor la diferencia entre el contenido notico, significati- vo, de un enunciado (expresado por los trminos sujeto y predicado), y su forma apofntica, cosignificativa de verdad (existencia) o falsedad (inexistencia) (cf. n. 103, in- fra). Esta forma est representada por el verbo efnai, que adems Aristteles coloca siempre en primera posicin pa- ra resaltar su funcin modalizadora del contenido (cf. in- fra. nn. 58 y 87). En cuanto a la modalidad, el propio cap. 12 se dedica a los enunciados que la tradicin posterior clasific como problemticos y apodcticos, es decir, por una forma no meramente asertiva (o asertrica, en terminolo- ga tradicional), sino cosignificadora de posibilidad o necesidad. Lo cierto es que Aristteles, debido a su con- cepcin de la verdad como existencia, tropieza con difi- cultades considerables en su tratamiento de las aserciones de posibilidad y necesidad. Un reflejo de ello es todo el cap. 9, que gira en torno a una trabajosa aclaracin del sentido en que puede hablarse de verdad necesaria de uno de los dos miembros de la oposicin entre aserciones con- tradictorias (maflana habr o no habr una batalla naval, es el clebre ejemplo propuesto): el problema se le plan- tea a Ari$tteles, dice Ackrill, por carecer de una distin- cin entre necesidad lgica y necesidad material; pero la raz de ello es, como decimos, la asimilacin de verdad a existencia, ya que por otra parte Aristteles, a su ma- nera, acaba formulando un cierto concepto de necesidad formal cuando dice: por un lado es necesario que todo sea o no sea, y que vaya a ser o no: sin embargo, no <cabe> decir, dividiendo, que <lo uno o lo> otro sea SOBRE LA INTERPRETACIN (INTROD.) 29 necesario (19a28-29; cf. infra, n. 73). Aunque la solu- cin real que salva para l el escollo es la distincin on- tolgica entre ser en potencia y ser o existir efectiva- mente, o en acto. Otra dificultad de la lgica modal aristotlica es la que aparece en el concepto de posible o admisible entendido como contingente, es decir, como reunin de los concep- tos de no imposible y no necesario, con las inconsisten- cias que de ello se siguen en la derivacin y oposicin de unas frmulas modales respecto de otras (cf. nn. 114 y 119, infra). Respecto a la ordenacin de las aserciones de distinta forma e. idntico contenido, segn relaciones de oposicin Y consecucin entre ellas, el texto aristotlico apunta una serie de cuadros de los que algunos son explcitos, como el de las oposiciones y equipolencias entre frmulas mo- dales, que figura en 22a24-31, y los de oposicin entre afirmaciones de predicado positivo y afirmaciones y nega- ciones de predicado negativo, que figuran en 19b27-20a3; pero hay otros muchos implcitos, de los que el ms im- portante es: (1) <A> <0> .es todo hombre blanco -f- no es todo hombre blanco >< t <1> <E> es algn hombre blanco -t- no es ningn hombre blanco Se trata del clebre paralelogramo de oposicin entre los enunciados apofnticos, transmitido por la tradicin esco- lstica, donde A simboliza la asercin universal afirmati- TRATADOS DE LOGICA (ORGANON) va, E la universal negativa, 1 la particular afirmativa y O la particular negativa (todas estas letras son smbolos aadidos por la tradicin, no originales de Aristteles). El cuadro (1) aparece esbozado en el cap. 7, tras una dis- tincin entre cosas (pragmton) singulares (kath 'hkas- ton) y universales (kathlou), as como de la posibilidad de que estas ltimas se tomen universalmente o no, es de- cir, que estn cuantificadas o tomadas en toda su ex- tensin natural -llamo universal a lo que es natural que se predique sobre varias cosas (17a39-40)- o en una extensin restringida. Los signos convencionales que utili- zamos para unir las distintas proposiciones expresan sus mutuas relaciones o conexiones lgicas, a saber: '+' = oposicin de contradiccin (antphasis), '..._____' = opo- sicin de contrariedad o incompatibilidad (enantites), '-- ' = relacin de compatibilidad (sin designacin pro- pia en el texto aristotlico), '-+' = relacin de consecu- cin o implicacin (ako/othesis). Aristteles expone, en los caps. 7, 8, 10 y 14, lo que hoy llamaramos las ta- blas de verdad de todas estas relaciones, que son: Contradiccin A o A-t-0 E 1 E-t-I 1 V F V V F V F V V F V 1 V ! F F F F F F i V V F V V F ::.UHKl: LA IN 1 l:Kt'Kt: l ACJVN (IN l KUU.J .JI Contrariedad A E ~ E 1 V F V F V V F F V V V F Compatibilidad 1 o 1--0 V F V F V V V V V F F F Consecucin A 1 A- I E o E -o -- V V V V V V F F V F F V F V 1 V F V V V F F V F F Comparando con la lgica formal o logstica moderna, veramos que existen profundas diferencias en todas las tablas, excepto en la de contradiccin, que es la relacin bsica, tanto en el sistema lgico aristotlico como en los sistemas modernos. Pero no es ste el lugar adecuado pa- ra tratar de ello (cf. las obras de Kneale, Lukasiewicz 32 TRATADOS DE LGICA (RGANON) y Patzig citadas en la Bibliografa del vol. I y en el Su- plemento bibliogrfico de ste; igualmente: W. O. Quine, Los mtodos de la lgica, Barcelona, 1969, 2. a parte, y M. Candel, Las categoras del discurso en Aristteles, Uni- versidad de Barcelona, Facultad de Filosofa, 1976, sec- cin 9). (Una observacin que conviene hacer de pasada es que el orden en que suelen colocarse tradicionalmente las cua- tro proposiciones no es el que nosotros damos aqu, sino este otro: Ar-----; E )K I --0 El cual se debe a Ammonio, que lo expone en su comen- tario In librum peri hermeneas, 75V. Pero Aristteles si- ta claramente las relaciones de contrariedad y comple- mentariedad como diametral o diagonalmente opues- tas>> -19b35-36; cf.: Anal. pr. II 46, 51b36-52a14-, apar- te de que las oposiciones aparecen muchas veces como series de contradicciones, en cuyo caso es natural colocar las parejas de aserciones contradictorias en lnea; el paso siguiente sera, pues, en lugar de inclinar los ejes que unen las contradictorias, aadir a dichos ejes horizontales los de contrariedad y consecucin como ejes inclinados Y verticales, respectivamente.) En el' cap. 10, 20a20-30, Aristteles explica las relacio- nes de obversin (v.g.: [A] ser todo hombre no-justo /vs/ [B] no ser ningn hombre justo, [C] ser algn hombre jus- to /vs/ [D] no ser todo hombre no-justo) como relacio- nes de consecucin o implicacin A ~ B), C ~ D), (B+ A), (D+C), y por tanto no simtricas (cf. infra, n. 82). Con el mismo criterio establece en 19b33-35 el paralelogramo: SOBRE LA INTERPRETACIN (INTROD.) 33 (II) es todo hombre justo
-t-- no es todo hombre justo t no es todo hombre no-justo -+-- es todo hombre no justo La razn de que tanto el cuadro (I) como el (U) y las relaciones de contrariedad, implicacin y obversin se den en el sentido y con arreglo a las tablas de verdad que antes se han expuesto (a diferencia de lo que ocurre en la lgica moderna) es, una vez ms, la interpretacin del functor asertivo o veritativo (cf. infra, n. 82) como exis- tencial, por lo que, de la afirmacin es todo hombre no- justo puede inferirse la negacin no es ningn hombre justo, pero no viceversa: pues en este ltimo caso cabe interpretar la asercin en el sentido de que no haya si- quiera hombres, ni justos ni de ninguna otra clase, y par- tiendo de esa posibilidad nunca podr inferirse que haya hombres, del tipo que sean (cf. Anal. pr., Introduccin y nn. 433 y 434). Por ltimo, tambin las relaciones entre esquemas pro- posicionales (aqu Aristteles no da ejemplos de proposi- ciones concretas) modales, tal como las caracteriza Arist- teles, pueden ordenarse en un paralelogramo anlogo a (I) y (JI): (III) N S necesario que sea -t-- no necesario que sea
p X Q no imposible que sea -t-- 115.- 3 t R imposible que sea