Universidad Pontificia de Salamanca Didctica de Aristteles: Lgica y Ontologa. La sustancia (1 parte). MONOGRAFA. Javier Picn Casas. Sobre la traduccin, el anlisis y las notas, Javier Picn Casas. Se permite la copia electrnica y la impresin en papel para uso particular, en parte o en su totalidad, con cita expresa del autor o sin ella. Para su uso acadmico, estatal, institucional, educativo o similar es preceptivo solicitar el permiso de su autor en vanhackez@gmail.com (con la excepcin de la Universidad Pontifica de Salamanca, la cual se considera por la presente ya autorizada). Dep. Legal: S.529-2008. ISSN 1988-768X Publicacin on-line en http://punicafides.wordpress.com SUMARIO. 3. La substancia. p. 1 3.1. La Denominacin de Sustancia. p. 3 3.2. El Principio de No-Contradiccin. p. 17 A. Aproximacin Lgica. p.17 B. Aproximacin Ontolgica. p. 42 C. El verbo Ser. p. 49 3.3. El conocimiento simpliciter. p. 37 A. Aristteles y Euclides. p. 62 B. Verdad Material y Verdad Formal. p. 64 C. Extralimitaciones de las ciencias. p. 65 D. Prtasis demostrativa y prtasis constructiva p. 68 E. Silogismo e induccin. p. 71 F. La ciencia y la opinin. p. 76 1 3. La sustancia. 2 3 Kneale (1962: 63). 1 Plat., Repblica, 527 a 06: /tyouot tv ou oXo ytXolc, +t ko 2 ovoykolc,. Por ejemplo, vanse los nombres griegos de las categoras, traducidos al ingls 3 toman las siguientes denominaciones (dependiendo del traductor considerado): Ackrill Apostle Cooke Ross substance substance Substance Substance quantity quantity Quantity Quantity qualification quality Quality Quality relative relation Relation Relation where somewhere Place Place when at some time Time Date being-in-a-position being in a position Position Posture having possesing State Possition doing acting Action Action being-affected being acted upon Affection Passivity 3.1. La Denominacin de Sustancia. Una de las caractersticas que Aristteles comparte con los gemetras de su poca es su modo forzado de hablar. Tal empleo del lenguaje natural pareca 1 farragoso e incluso ridculo ya en tiempos de Platn. Pero la finalidad de ese uso 2 lingstico vino impuesta por dos necesidades propias de la geometra y del anlisis: la precisin y el rigor. De manera que toda traduccin que pretenda designar a travs de un nico trmino dos vocablos diferentes del vocabulario del corpus aristotelicum ser objetable. En torno a Categoriae ha habido un vivo debate entre autores de diferentes nacionalidades sobre cmo deberan traducirse la mayora de los trminos. Incluso en tradiciones que propenden al consenso, como ocurre con el orbe anglosajn, no hay qurum. La controversia dista mucho de haber quedado definitivamente zanjada. El 3 4 Aunbenque (1962: 136). 4 Gilson (1946: 150-158). 5 Bonitz (1871: 801 b 35); Liddell (1996: 1895 a). 6 Yebra entiende que equivale al trmino latino substantia (1982: 809). Sus razones 7 oportunas (1982: XXXVII): En primer lugar, porque en el uso lingstico impera una especie de democracia inorgnica. que impone el gusto de la mayora y [...] la mayora de los traductores antiguos v modernos traducen por sustancia [...] En segundo trmino, si empleaba esencia para traducir ouolo, se haca ms difcil la traduccin de ouolo y +o +l gv tlvot. primer desencuentro se produce en torno a la cuestin de la sustancia (ouolo). Cmo cabe traducir dicho trmino?. 1. Tradicionalmente, ouolo es la sustancia. Este uso parece aconsejable pues a su travs: (1). Se evita entrar en conflicto con otros trminos. (2). Resulta adecuado debido al campo semntico que viene a implicar (sustrato, sustantivo, sustentar, subyacer, sujeto, etc. (3). Por tradicin, nos encontramos habituados a tal convencin. 2. Hay quien entiende preferible traducir ousa como esencia. Tal innovacin 4 se funda en un articulo de E. Gilson, el cual cobr una inusitada notoriedad a 5 mediados del Siglo XX. Este comentarista crey que historiogrficamente existan razones de peso para evitar traducir ousa por sustancia, pues el trmino latino substantia es una transcripcin del sustantivo oo+oot,; para E. Gilson se trataba 6 de un prstamo tardo que daba pie a la equivocidad. Ciertamente hipstasis es un vocablo asociado con la inmersin de la filosofa en la tradicin cristiana; pero al desestimar la traduccin habitual como sustancia se desvanece el asentimiento comn acerca de cmo deben traducirse otros trminos; por ejemplo, cuando el 7 sustantivo se traduce mediante el vocablo empleado por Cicern, essentia, ello conduce a uno de los peores equvocos posibles pues cabe identificar de manera 5 Elvira Jimnez y Almudena Alonso traducen en ouolo por esencia, lo cual induce a 8 equvocos (a no ser que se disponga del texto original). Arist., Metaphysica, 1003 a 21-22: Eo+tv tto+(g +t, j 0tcpt +o ov q ov 9 ko +o +o+ op_ov+o ko0' o+o. Calvo (1998: 161). 10 inmediata sustancia (ouolo) y esencia (+o +l gv tlvot). Habra que explicar porqu 8 siendo tan meticuloso Aristteles en la eleccin de su vocabulario cabe emplear slo un trmino donde aqul entiende que son necesarios dos. Con ello, Categoriae quedan anticipadamente convertidas en un apndice de la Metaphysica (pues en este ltimo tratado es donde se encuentra explcito el concepto de esencia) lo cual da pie a incoherencias. Gilson no propuso ninguna solucin al problema y el anlisis de P. Aubenque, guiado por tal innovacin, se encuentra prematuramente viciado y avocado al realismo. 3. T. Calvo tradujo ouolo por entidad. Tal traduccin puede ser a la vez problemtica y fructfera pues tcnicamente la entidad es en cuanto objeto fsico y en cuanto concepto o sintagma (significados que se corresponden plenamente con la sustancia primera y segunda respectivamente). Esto crea una interesante disparidad que, aun cuando suponga cierta complejidad, puede resultar de inters en el esclarecimiento del pensamiento aristotlico. La divergencia no afecta slo a proposiciones secundarias, sino a oraciones capitales. Tomemos esta traduccin como punto de partida: 9 Hay una ciencia que contempla al Ser en cuanto que es y lo que le pertenece. Al emplear el trmino entidad aparece el riesgo y la posibilidad de identificar Ser y Ente. Esto es lo que parece haber pretendido evitar T. Calvo forzando su traduccin: 10 6 La pretensin de competir con la lexicografa latina resulta un tanto ridcula y, dicho 11 sea con perdn, propia de personas con afn de notoriedad. Imaginen que un nico ingeniero pretendiera competir contra la casa Yamaha; sera ridculo. Pues lo mismo sucede cuando tratamos de enmendar la plana a los latinos: tradujeron mucho ms griego, fueron muchos ms, cada uno de ellos correga a los dems y, adems, eran listos. La ltima interpretacin de Aristteles de envergadura fue dada por un filsofo tardo-medieval: Ockham. Yebra (1982: 150). 12 Hay una ciencia que estudia lo que es, en tanto que algo es, y los atributos que, por s mismo, le pertenecen. La traduccin del primer ov parece un tanto extremada. Cabra subrayar que hay una ciencia que estudia el Ser en cuanto Ser, o incluso mejor, que estudia al Ser en cuanto que es. Pero emplear como sujeto la oracin lo-que-es, aun cuando parezca encajar mejor con la sintaxis, hace que la proposicin suene anmala; T. Calvo, al traducir ouolo por entidad, se ve compelido a alejarse cuanto pueda de cualquier sinnimo de ste ltimo trmino. Pero si el Ser es todo cuanto es, se 11 compone de entidades; cada sustancia primera viene caracterizada por su alteridad, por no ser igual a ninguna otra, de manera que el Ser se mostrar susceptible de verse tratado como una entidad ms. Esto es algo muy problemtico en el contexto aristotlico pues las entidades son individuales e independientes y si el Ser constituye un Ente ms, lgicamente la ontologa colapsa. El problema de cmo puede haber ciencia de lo particular (dado que el Ser es susceptible en poder ser entendido como una singularidad) es una cuestin menor. No obstante esta tensin entre lgica y ontologa es constante en la obra de Aristteles. Por su parte, G. Yebra, tratando probablemente de escapar de las crticas de la filosofa analtica acerca del verbo ser tradujo la proposicin as: 12 Hay una ciencia que contempla el Ente en cuanto Ente y lo que le corresponde de suyo. Aqu se identifica como objeto de la filosofa primera al Ente. Pero prcticamente se reduce lo indefinible de cada sustancia primera a un mismo nivel ontolgico: en 7 Habitualmente se interpreta a Aristteles desde el nominalismo o el realismo. Esta 13 concepcin es errnea. Aristteles es homrico. Si se desea un acercamiento a su filosofa debe hacerse desde sus precedentes no a partir de aquellos sobre quienes influy. Yebra (1982: XXIX). 14 cuanto entidad. La traduccin de Yebra predispone al lector a una lectura realista pues el Ente tiende a ser interpretado como un sinnimo de la esencia (y la objetividad de la sustancia se traspone a la de esta ltima). El fragmento de Aristteles adems 13 incide sobre el aspecto de que el objeto de la ontologa versa sobre las cosas que existen actualmente y, por tanto, sobre rasgos comunes de las mismas (siendo el primero de ellos la propia existencia). Y de nuevo la especificidad de lo ontolgico, la irrepetible singularidad de cada individuo, se desvanece, se cosifica y queda asimilada a una propiedad comn entre singularidades; as, lo singular queda normalizado y, reducido a algo general, queda convertida en su opuesto. La mera eleccin de la terminologa da pie a una disparidad excesiva no muy deseable entre alguno de los estilos de traducir, pero aunque el traductor nunca deba tratar de enmendarle la plana a Aristteles, este tipo de anlisis comparativo puede 14 ser til a la hora de comprender la complejidad de los conceptos nucleares de su filosofa (pues las lecturas realista y nominalista se encuentran prefiguradas en el tipo de traduccin contemplada por las lenguas vernculas actuales). Sigamos un poco ms all. Aunque slo existan singularidades, el ser humano es incapaz de captar el mundo en su individualidad. Esto es claro pues la ontologa parte no de los individuos sino de aquello que para nosotros tienen en comn: el ser sustancias segundas. Y aunque a travs de esto tratemos de expresar la individualidad de lo que existe, a la vez en cuanto que existe (y, adems, existe como sustancia), lo individual resultar caracterizado en funcin de lo universal. Las cosas individuales son, pero al existir todas, en el concepto y en el lenguaje quedan expresadas por su anttesis: lo universal. La ambigedad est servida a todos los niveles del discurso puesto que de las cosas en s mismas no cabr tratar sino slo desde el plano de aquello que tienen en comn. Todo anlisis no slo es insuficiente por su naturaleza, sino aportico. Y esto cabe contemplarlo ya desde aquella ciencia que se presume que pueda tener como objeto 8 Advirtase que en Aristteles existen dos estilos muy delimitados: un modo de 15 discurso fundacional (como el de Categoriae ) que es doctrinal y otro realizado con el fin de investigar (habitual en Metaphysica), el cual es abierto. El discurso fundacional depende de la circunstancia, es decir, de hasta adnde hayan llegado las observaciones en la investigacin. el orbe ontolgico puesto que su objeto podra serlo: (1). El todo en cuanto Ser. (2). Cada cosa en su peculiaridad. (3). La totalidad entendida como algo singular. Cuando estimamos la singularidad de cada individuo, de lo in re, nos vemos tentados a realizar una lectura realista pues normalizamos la singularidad ontolgica a travs de una categora que entendemos comn: la de sustancia primera. El problema es que lo distinto no es una propiedad como tantas otras, sino que se refiere a lo que no es susceptible de ser normalizado como propiedad. La alteridad no es expresin de un carcter comn sino una etiqueta para cuanto de suyo es diferente. Y cuando hablamos de que cada objeto es singular y convertimos la potencial infinitud de lo individual en una caracterstica universal, propendemos al realismo al entender que hay algo comn a todas las sustancias primeras, sin entender que esa propiedad esencial es justo la irreductibilidad a ser normalizada bajo un concepto comn. Pero si partimos de la universalidad del conocimiento y del lenguaje y tratamos de contraponerla a la singularidad de lo ontolgico, tendemos a una interpretacin nominalista, la cual entiende que lo universal slo puede ser entendido como un signo del alma humana. Cabe creer que el mundo se ajustar en alguna medida a lo que especifican las ciencias pero tambin que aquellos objetos expresados por Metaphysica, entendida como una reflexin global, tendrn un correlato ontolgico y no sern una expresin individual (id est, que las sustancias segundas se referirn a las primeras, pero no se correspondern con ellas sino con algo que tiene significado para el ser humano y que pertenece de algn modo al mundo pero que no se corresponde en concreto con nada individual en s). En cuanto perdamos de vista esta circunstancia constitutiva de lo humano tenderemos a pervertir la filosofa de Aristteles transmutando su investigacin en doctrina. 15 9 Arist., Metaphysica, E, 1, 1026 a 18-23 : co+t +pt, v tltv tXooolot 16 0tcpg+tkol, o0go+tk(, uotk(, 0toXoytk( (o yop 6gXov o+t t ou +o 0tov op_tt, tv +q +oto+q ott op_tt), ko +gv +ttc+o+gv 6t tp +o +ttc+o+ov ytvo, tlvot. ol tv ov 0tcpg+tko +cv XXcv tto+gcv olpt+c+o+ot, o+g 6t +cv 0tcpg+tkcv. Bonitz (1871: 762 b 05). 17 Arist., Metaphysica, B, 4, 1001 a 22: ko0oXou oXto+o ov+cv. 18 Arist., Metaphysica, , 1, 1003 a 21-25: Eo+tv tto+(g +t, j 0tcpt +o ov q 19 ov ko +o +o+ op_ov+o ko0' o+o. o+g 6' to+v o6ttq +cv tv tptt Xtyotvcv g o+( o6tlo yop +cv XXcv ttokot ko0oXou tp +ou v+o, Habitualmente nos encontramos con expresiones como el motor inmvil es una sustancia, las especies existen en la naturaleza, la ciencia que se ocupa sobre los primeros principios es la mejor, etc. Si no atendemos a las sutilezas previas y al contexto filolgico en el cual se realizan tales declaraciones seremos indefectiblemente absorbidos bien por el realismo o bien por el nominalismo, que actan aqu a modo de campos gravitacionales de los que resulta difcil escapar. La aproximacin a la sustancia se debera realizar de manera aportica y especulativa. Una vez comprendido esto ya cabe establecer un orden, en funcin de lo valioso que sea su objeto: 16 Por consiguiente habr tres saberes tericos, matemticas, fsica, teologa (pues a nadie se le oculta que si en algn lugar se encuentra lo divino se halla en tal naturaleza) y es preciso que la ms valiosa se ocupe del gnero ms valioso. As pues, las tericas son ms nobles que las otras ciencias y sta, <ms noble> que las <otras> tericas. Ahora bien: qu cabe entender en este contexto por valioso, (+lto,)?. Ante 17 todo se atiende una peculiaridad lgica pues Aristteles entiende que el Ser es aquello que posee mayor extensin de entre todo lo reductible a conceptos. Las ciencias 18 particulares apartan (oo+otvot) y circunscriben (tptypootvot) diferentes aspectos o partes definidas del Ser como objeto de su estudio; la filosofa, por el contrario, estudia el Ser en cuanto tal y sus atributos esenciales: 19 10 q v, oXXo tpo, o+ou +t oo+totvot tp +o+ou 0tcpouot +o ouptpgko,. Bonitz (1871: 278 a 21). 20 Arist., Metaphysica, , 2, 1005 a 13-18: o+t tv ov t, tto+(g, +o ov q 21 ov 0tcpjoot ko +o op_ov+o o+ q v, 6jXov, ko o+t o ovov +cv ootcv oXXo ko +cv op_ov+cv g o+g 0tcpg+tk(, +cv +t tlpgtvcv ko tp po+tpou ko o+tpou, ko ytvou, ko t6ou,, ko oXou ko tpou, ko +cv XXcv +cv +oto+cv. Hay una ciencia que contempla al Ser en cuanto que es y lo que le pertenece. Y esta ciencia no se identifica con ninguna de las que llamamos particulares pues ninguna de stas especula en general acerca del Ser en cuanto que es, sino que habiendo separado alguna parte de l, consideran los accidentes de aqulla. Hay que advertir que lo particular no son las sustancias primeras, sino los objetos acerca de los cuales especulan las ciencias particulares. Tambin conviene subrayar que el segundo verbo empleado es especular, indagar, revisar. Y el trmino 20 espaol viene muy al caso pues la filosofa es especulacin y no ciencia (en el sentido actual del trmino): pretende reflejar en algn sentido la realidad, pero no aspira a presentar una prueba demostrativa de la misma. No se desprende de ah que los objetos de los cuales trata sean individuos fsicamente existentes. Las propiedades a las que atiende son las ms generales de todas y, en consecuencia, las ms cercanas a las exigencias mnimas de nuestro conocimiento y, a la vez, las ms alejadas de las cosas, de lo existente. Tales atributos esenciales (esas propiedades que pertenecen al Ser por s mismo) tendrn una mnima realidad objetiva (en cuanto que, al ser comunes, se encontrarn mximamente alejadas de los individuos existentes) y, en cuanto tales, sirven de comodines para el resto de las ciencias. Entre ellas cabr encontrar Categoriae de lo uno y lo mltiple, lo igual y lo diferente, lo anterior y lo posterior, el gnero y la especie, el todo y la parte, etc: 21 As pues, es propio de una sola ciencia contemplar el Ser en cuanto que es, y los atributos que le corresponden en cuanto Ser, y tambin es manifiesto 11 Arist., Metaphysica, E, 1, 1025 b 07-13: oXXo oot o+ot tp v +t ko 22 ytvo, +t tptypootvot tp +o+ou poyo+tov+ot, oXX' o_ tp v+o, oXc, o6t q v, o6t +ou +l to+tv o0tvo Xoyov otouv+ot, oXX' tk +o+ou, ol tv olo0(ott ot(oooot o+o 6jXov ol 6' o0totv Xopouoot +o +l to+tv, o+c +o ko0' o+o op_ov+o + ytvtt tp o tlotv oo6ttkvouotv g ovoykoto+tpov g oXokc+tpov. Arist., Metaphysica, E, 1, 1025 b 15-18: 6totp ovtpov o+t ok to+tv 23 oo6ttt, oolo, o6t +ou +l to+tv tk +j, +oto+g, toycyj,, oXXo +t, XXo, +poo, +j, 6gXcotc,. oolc, 6t o6' tl to+tv g g to+t +o ytvo, tp o poyo+tov+ot o6tv Xtyouot, 6to +o +j, o+j, tlvot 6tovolo, +o +t +l to+t 6jXov ottv ko tl to+tv. que es la misma la ciencia que contempla no slo las sustancias sino tambin sus atributos, tanto los mencionados, como tambin acerca de lo anterior y lo posterior, del gnero y de la especie, del todo y de la parte, y de los dems semejantes a stos. Todas las dems ciencias asumen en la medida de sus necesidades tales Categoriae pero no especulan ni investigan realmente nada acerca de ellas; ni siquiera determinan la existencia del objeto que las constituye como ciencia de algo: 22 Pero todas estas ciencias, habiendo circunscrito algn ente y algn gnero tratan acerca de l, y no acerca del Ser en general ni en cuanto que es, ni se preocupan para nada del qu es, sino que, partiendo de sta, unas despus de ponerla de manifiesto para la sensacin y otras tomando el qu como hiptesis, demuestran as, con ms o menos rigor, las propiedades inherentes al gnero del cual se ocupan. Rememoremos este aspecto del conocimiento pues aqu aparece esbozado lo que Aristteles denomina como conocimiento simpliciter . La filosofa es primera puesto que resulta lgicamente anterior al resto de las investigaciones dado que analiza y parcela tanto el objeto de las ciencias particulares como los principios generales y demostrativos que las dems asumen como ciertos: 23 12 Arist., Metaphysica, , 2, 1004 b 15-17: o+c ko + v+t q ov to+t +tvo 24 6to, ko +ou+' to+ tp cv +ou tXoooou ttoktoo0ot +o oXg0t,. Por eso es evidente que no hay demostracin de la sustancia ni del qu a base de tal induccin, sino que es otro el modo de su manifestacin. De igual manera, tampoco dicen nada acerca de si existe o no existe el gnero del que tratan, por ser propio de la misma operacin del entendimiento mostrar el qu y su existencia. Es claro que el gnero que constituye el objeto de una ciencia particular no forma parte de la investigacin de la misma; viene analizado y delimitado previamente, sin que cada ciencia examine lo que es, sin que defina su esencia y sin que tampoco ponga en duda si realmente es (id est, sin que se establezca su existencia). nicamente a la filosofa corresponde establecer qu son y mostrar a la vez que existen: 24 As tambin el Ser en cuanto que es tiene ciertas afecciones propias y stas son aquellas acerca de las cuales es propio del filsofo investigar la verdad. La naturaleza del objeto de la filosofa es ms valiosa que la de cualquiera de las ciencias porque afecta a todas ellas. La filosofa primera ser anterior lgicamente a cualquier ciencia porque se ocupa de la investigacin sobre lo ontolgico y lo lgico en general. As pues, el concepto de valor corresponde aqu no a una cualidad material, sino a una condicin formal: la universalidad. Pero adems, aunque denominamos objeto de la filosofa a algo, este algo no se corresponde con una cosa existente sino con: (1). Aquellos instrumentos lingsticos y conceptuales a travs de los cuales cabe analizar el objeto de las ciencias particulares, es decir, con las categoras. (2). La investigacin a travs de la cual cabe especificar cul es el objeto de cada disciplina, determinando (como a continuacin veremos) los principios comunes a todas las ciencias y, adems, los especficos de cada una de ellas. 13 Arist., De Interpretatione, 1, 16 a 06-09: cv tv+ot +ou+o ogto pc+cv, 25 +o+o ot o0(o+o +j, u_j,, ko cv +ou+o ootco+o poyo+o g6g +o+o. tp tv ov +o+cv tpg+ot tv +o, tp u_j,, XXg, yop poyo+tlo,. Bonitz (1871: 70 a 40-b 13). 26 Arist., Metaphysica, , 3, 1005 a 21-23: ovtpov 6g o+t t, +t ko +j, +ou 27 tXoooou ko g tp +o+cv to+ oktt, ooot yop op_tt +o, ootv oXX' o ytvtt +tv _cp, l6lq +cv XXcv. (3). La especulacin acerca de en qu sentido el objeto de cada una de las ciencias particulares existe. Estas tres tareas se encuentran mutuamente implicadas. La categora principal, la de sustancia primera, es aquello de lo cual tenemos sensacin y sobre lo que los seres humanos poseemos consenso como especie (pues las afecciones en el alma son idnticas para todos los seres humanos). Pero aunque se trate de la categora 25 fundamental, no es nica. Por otro lado, aunque el mundo est compuesto de seres individuales, hay ciertas exigencias propias del conocimiento humano, el cual no puede retener lo singular (y, mucho menos, comunicarlo). Antropolgicamente conocemos en cuanto que simplificamos. Y, aun cuando ello encierre un contrasentido, si bien el conocimiento no puede prescindir de la sencillez (o reduccin de lo diverso a gneros y especies), tampoco cabe que renuncie a la verdad (formal y material). A la filosofa primera le corresponde no slo especular sobre lo ontolgico, sino tambin sobre lo lgico y, muy en particular, tratar acerca de los axiomas o primeros 26 principios, o verdades comunes a todas las ciencias, cuyo estudio no cae dentro del dominio de ninguna de las especialidades (tanto ms porque cada ciencia en particular los considerar bajo un aspecto especfico y dar una expresin parcial de ellos, proporcionada a la aplicacin que realice y en funcin de su objeto). Los axiomas son verdades aplicables a todos los objetos de las ciencias particulares cuyo conocimiento es necesario en todo sujeto; sin admitirlos, cualquier anlisis racional resultara imposible: 27 14 Arist., Analytica Posteriora, A, 2, 71 b 19-23: tl +olvuv to+ +o tlo+oo0ot 28 oov t0ttv, ovoykg ko +gv oo6ttk+tkgv tto+(gv t oXg0cv +' tlvot ko pc+cv ko otocv ko yvcptc+tpcv ko po+tpcv ko ol+lcv +ou outpooo+o, o+c yop toov+ot ko ol op_o olktot +ou 6ttkvutvou. Arist., Analytica Posteriora, A, 1, 71, a 01 02: oo 6t6ookoXlo ko oo 29 o0got, 6tovog+tkg tk pouop_oog, ylvt+ot yvcotc,. Arist., Metaphysica, , 3, 1005 a 23-27: ko _pcv+ot tv ov+t,, o+t +ou 30 v+o, to+v q v, tkoo+ov 6t +o ytvo, v t +ooou+ov 6t _pcv+ot t' ooov o+o, lkovov, +ou+o 6' to+tv ooov tt_tt +o ytvo, tp o tpouot +o, oo6tltt,. Pues bien, es claro que tambin la especulacin acerca de estas cosas es propia de una sola ciencia, y, por cierto, de la del filsofo; los axiomas, en efecto, se aplican a todos los seres, pero no a algn gnero en particular, separadamente de los dems. As pues, el anlisis filosfico es inherente incluso al desarrollo de las matemticas pues todo conocimiento demostrativo tiene su punto de partida en principios no demostrables y toda ciencia encuentra su origen en un conocimiento 28 previo, simple, simpliciter: 29 Toda enseanza y todo aprendizaje deliberativos se originan a partir de un conocimiento pre-existente. En las matemticas (que sirven como ejemplo a causa de su simplicidad) no se analizan tales axiomas (los cuales consisten en manifestaciones diversas de transitividad). Todas las ciencias se sirven de los axiomas en la medida en que cuanto se dice del Ser cabe ser dicho del objeto de su especialidad: 30 Y todos se sirven de los axiomas porque son propios del Ser en-cunto que es, y cada gnero es una entidad, pero se sirven de ellos en cuanto que les es suficiente, es decir, en la medida en que se extiende el gnero acerca del cual realizan sus demostraciones. 15 Arist., Metaphysica, , 3, 1005 a 27-28: +ou+o yop o+o, +o kotvov. 31 Arist., Analytica Posteriora, A, 2, 72 a 16-17: jv 6` ovoykg t_ttv +ov o+touv 32 o0gootvov, olco. Plat., Meno, 81 c 05-e 02. 33 Arist., Metaphysica, , 3, 1005 a 27: co+` tt 6jXov o+t q v+o op_tt 34 ot. Se aplican a todas las sustancias pues es lo que, para nosotros, muestran todas en comn. Por consiguiente, es necesario que los tenga presente quien desee 31 ensear o aprender. Aqu no cabe encontrar una dimensin mtico-religiosa al 32 conocimiento simpliciter, como ocurre con la teora de la reminiscencia de Platn (si 33 bien es preciso advertir que la nocin de conocimiento simpliciter es ms general pues no se restringe meramente al conocimiento de los primeros principios). El principio fundamental y no demostrable que analiza la filosofa es el principio de no contradiccin (y, evidentemente, su par: el principio de identidad). Todos los dems axiomas dependen de ste; el principio de no-contradiccin no slo prohbe expresamente un determinado tipo de transitividad sino que revela la necesidad de consistencia de todos los teoremas de la lgica. Se trata de la ley suprema del pensamiento; es la condicin formal de su ejercicio y de su aplicacin a toda clase de objetos, pero adems, constituye una expresin genrica del Ser: 34 De manera que es evidente que los axiomas se aplican a todas las cosas en cuanto entes. Luego ser preceptivo considerar el anlisis de un principio tan fundamental a travs de dos aproximaciones: lgica y ontolgica. Pero puesto que para la filosofa, entendida como especulacin, es inherente el empleo continuo del principio de no- contradiccin, la reflexin sobre este no podr ser demostrativa (o de lo contrario se cometera una peticin de principio). Cmo procederemos entonces?. Ese ser el objetivo del prximo captulo. 16 Expresamos lo hasta aqu comentado a travs de una tabla sinptica siguiente: mbitos de la especulacin (a los cuales se aplica el principio de no-contradiccin) Ontolgico Metaphysica indagacin sobre la relacin entre lo in re y lo post rem Lgico conocimiento simpliciter propio de cada ciencia nomenclatura y resultados conocidos actualmente en cada disciplina principios comunes principios de la lgica principio de no-contradiccin Tabla 1 17 18 19 Vase Arist., Metaphysica, , 3, 4; Topica, B, 7, 113 a 22-23: o6vo+ov yop +o 35 tvov+lo oo + o+ op_ttv; De Interpretatione, 14, 24 b 09: oo 6t ok tv6t_t+ot +o tvov+lo op_ttv + o+; De Sophisticis Elenchis, 25, 180 a 26-27: +o yop tvov+lo ko +o ov+tktltvo ko ootv ko ooootv oXc, tv o6vo+ov op_ttv + o+. Bsicamente caben tres definiciones en razn el contexto: 36 (1). Arist., Metaphysica, K, 5, 1061 b 36-1062 a 02: ok tv6t_t+ot +o o+o ko0` tvo ko +ov o+ov _povov tlvot ko g tlvot, ko +oXXo +o +ou+ov o+o, ov+tktltvo +ov +poov; Metaphysica, , 3, 1005 b 19-20: +ou+o Xtyctv. +o yop o+o oo op_ttv +t ko g op_ttv o6vo+ov + o+ ko ko+o +o o+o. Lukasiewicz denomina a esta formulacin como ontological formulation; vase Lukasiewicz (1970: 51): It is impossible that the same thing should both belong and not belong to the same thing at the same time and in the same respect. (2). Arist., Metaphysica, , 3, 1005 b 23-25: o6vo+ov yop ov+tvouv +o+ov oXopovttv tlvot ko g tlvot, ko0otp +tvt, oov+ot Xtyttv HpokXtt+ov. Lukasiewicz la llam psychological formulation; vaseLukasiewicz (1970: 51): No- one can believe that the same thing can <at the same time> be and not to be. Tambin contempla a logical formulation: The most certain of <all> the principles is that contradictory sentences are not true at the same time. Conste que la coincidencia entre el planteamiento de Aristteles y Lukasiewicz es puramente nominal. (3). Arist., Metaphysica, , 3, 1005 b 25-30: ok to+t yop ovoykoov, o +t, Xtytt, +ou+o ko oXopovttv tl 6t g tv6t_t+ot oo op_ttv + o+ +ovov+lo |...{, tvov+lo 6' to+ 6oo 6oq g +j, ov+tootc,, ovtpov o+t o6vo+ov oo oXopovttv +ov o+ov tlvot ko g tlvot +o o+o. 3.2. El Principio de No-Contradiccin. Este principio es inherente tanto al pensamiento como al lenguaje. Se trata de una pre-condicin del discurso y, a la vez, de su estructura. Dado que un a priori no puede ser demostrado, lo refutado son las consecuencias que se siguen en lo in re de la negacin de tal principio en lo post rem. A. Aproximacin Lgica. Son numerosas las oportunidades en que Aristteles lo presenta como principio bsico de la investigacin, al cual enuncia as: 35 36 20 Arist., Metaphysica, , 3, 1005 b 11-14: ptpoto+o+g 6' op_g oocv tp 37 jv 6totuo0jvot o6vo+ov yvcptc+o+gv +t yop ovoykoov tlvot +gv +oto+gv (tp yop o g yvcpl(ouotv oo+cv+ot ov+t,) ko ovuo0t+ov. Arist., Metaphysica, , 3, 1005 b 15-17: jv yop ovoykoov t_ttv +ov o+touv 38 uvttv+o +cv v+cv, +ou+o o_ o0tot, o 6t yvcpl(ttv ovoykoov + o+touv yvcpl(ov+t, ko jkttv t_ov+o ovoykoov. Arist., Metaphysica, , 3, 1005 b 17-18: o+t tv ov ptpoto+o+g g +oto+g 39 oocv op_(, 6jXov. Arist., Metaphysica, , 3, 1005 b 33-34: ott yop op_g ko +cv XXcv 40 otco+cv o+g ov+cv. Vase Arist., Metaphysica, K, 5, 1061 b 35: +ovov+lov 6t ovoykoov ot 41 ottv y , 3, 1005 b 25: ok to+t yop ovoykoov. En este ltimo caso la traduccin de Yebra (1982: 167) parece discutible. Traduce y si no es posible; desconocemos las razones que le han motivado a traducir ovoykoov como posible. No cabe que la misma cosa sea y no sea a la vez e igualmente en las dems afirmaciones que en s se oponen de este modo. Varias son las propiedades que deben caracterizarlo: (1). Ha de ser imposible engaarse acerca de l. (2). Debe ser siempre el mejor conocido. (3). No puede ser hipottico. 37 (4). Ser necesariamente admitido por quien pretenda investigar las cosas que son pues no se trata de una hiptesis sino de la base que necesariamente ha de ser presupuesta al indagar la naturaleza de cualquier cosa (pues su conocimiento resulta previo a todo saber); por lo tanto, formar parte de lo que hemos denominado 38 conocimiento simple o simpliciter. (5). Ha de ser evidentemente el ms consistente de cuantos sea capaz el alma humana. 39 (6). Por su naturaleza, servir tambin como fundamento de todos los axiomas restantes. 40 (7). Deber ser postulado por necesidad aun cuando sea indecidible, id est: 41 21 Arist., Metaphysica, K, 5, 1062 a 03-05: o yop to+tv tk to+o+tpo, op_j, 42 o+ou +o+ou ot(ooo0ot ouXXoytoov, 6t 6t y' ttp to+ot +o oXc, oo6t6t_0ot. Arist., Metaphysica, K, 5, 1062 a 02-03: ko tp +cv +oto+cv oXc, tv 43 ok to+tv oo6ttt,, po, +ov6t 6t to+tv. Arist., Metaphysica, K, 5, 1062 a 05-09: po, 6t +ov Xtyov+o +o, 44 ov+tktttvo, oott, + 6ttkvv+t 6to+t tu6o, Xg+tov +t +otou+ov o +o+o tv to+ot + g tv6t_to0ot +o+o tlvot ko g tlvot ko0' tvo ko +ov o+ov _povov, g 6ott 6' tlvot +o+ov. no es demostrable; toda prueba ha de ir desde los primeros principios a los teoremas o bien desde los teoremas ya demostrados a otros por demostrar; por lo tanto, no cabe que sea reductible a una instancia superior o que se trate de un mero resultado. (8). No cabe que sea objeto de las matemticas, de las ciencias experimentales ni de las aplicadas la demostracin de los principios en que se fundan; as pues, slo compete su discusin a la filosofa primera. Se ha de asumir la validez de los primeros principios de cada ciencia sin que puedan ser probados pues: (1). Su evidencia permite que el encadenamiento silogstico termine en conclusiones vlidas. (2). No ser posible demostrar un primer principio apelando a otro ms fidedigno todava, lo cual sera necesario si se pretendiera una simple prueba previa. 42 Si cupiera derivar un axioma de otros previos, ya no se tratara de un axioma sino de una derivacin o teorema (en s misma vlida pero no generadora). No hay demostracin de un principio y mucho menos de aquel que presuponen el resto de los axiomas, pero siempre cabr en este caso, realizar una refutacin ad hominem 43 (consistente en mostrar la falsedad de las afirmaciones de aqul que pretenda pensar o crea posible conducirse en la vida con independencia de lo que enuncia tal axioma). 44 Es decir, no hay prueba del mismo, pero s falsacin en lo in re contra quien lo 22 Arist., Metaphysica, K, 5, 1062 a 30-31: oo6ttt, tv ov o6tlo +o+cv 45 to+v oXc,, po, tv+ot +ov +ou+o +t0ttvov oo6ttt,. Arist., Metaphysica, , 4, 1008 a 30-31: oo 6t ovtpov o+t tp o0tvo, to+t 46 po, +ou+ov g oktt, o0tv yop Xtytt. Arist., Metaphysica, , 4, 1008 a 31-34: o+t yop o+c, o+` o_ o+c, 47 Xtytt, oXX` o+c, +t ko o_ o+c, ko oXtv yt +ou+o oogotv c, o+t o0' o+c, o+t o_ o+c, tl yop (, g6g v +t tg cptotvov. niegue. La serie de argumentaciones analticas que se proponen no tienen, por 45 consiguiente, valor demostrativo declarado (pues no existe una instancia anterior ni ms universal desde la cual justificar al primero de los principios). Su defensa no apela al orbe de lo analtico, sino a lo dialctico. La argumentacin procede a travs de refutaciones ad hominem en las cuales se considera lo que ocurre cuando se niega el principio. Las consecuencias son las siguientes: A.1. Si se niega el principio de no-contradiccin ser imposible designar a travs del sustantivo. Esta consecuencia afecta a la verdad formal, a la asignacin reflexiva de un trmino en s mismo. Cuando fundamos en la contradiccin el conocimiento, un nombre significar algo pero a la vez no tendr tal significado. No hay posibilidad de dialogar cuando un sustantivo no siempre se refiere a lo mismo en todas sus ocurrencias dentro de una proposicin. Fundar el razonamiento dialctico en la negacin del principio de no-contradiccin equivale a destruir toda posibilidad de razonamiento. No procede argumentar en tales condiciones pues no cabe plantear 46 nada: 47 En efecto no dice ni as ni no as sino as y no as y, por tanto. nuevamente niega ambas cosas diciendo que ni as ni no as, ya que si no, ya habra algo definido. 23 Arist., Metaphysica, , 4, 1008 b 10-12: tl 6t g0tv oXopovtt oXX` oolc, 48 ot+ot ko ok ot+ot, +l v 6totpov+c, t_ot +cv yt u+cv;. Arist., Metaphysica, K, 5, 1062 a 16-18: o 6g Xtycv tlvot +ou+o ko g tlvot, 49 +ou+o o gotv o gotv, co0' o ogolvtt +ovoo +ou+' o got ogolvttv +ou+o 6' o6vo+ov. Arist., Metaphysica, , 4, 1006 a 28-31: pc+ov tv ov 6jXov c, +ou+o y' 50 o+o oXg0t,, o+t ogolvtt +o voo +o tlvot g g tlvot +o6l, co+' ok v v o+c, ko o_ o+c, t_ot. Arist., Metaphysica, , 4, 1006 b 11-13: to+c 6(, cotp tXt_0g ko+' op_o,, 51 ogovov +t +o voo ko ogovov tv. Arist., Metaphysica, , 4, 1006 b 13-15: o 6g tv6t_t+ot +o ov0pc tlvot 52 ogolvttv otp ov0pc g tlvot, tl +o v0pco, ogolvtt g ovov ko0' tvo, oXXo ko tv. En tal situacin tanto da hablar como no decir nada pues quien en nada piensa sino que igualmente cree y no cree, en nada se diferencia de las plantas. 48 La ciencia procede gracias al conocimiento simpliciter, el cual se trata de: (1). El conocimiento previo del lenguaje. (2). La nomenclatura de la ciencia particular a la cual nos refiramos. (3). Loya ha demostrado como cierto en cada ciencia particular. Pero quien dice algo y niega cuanto es, niega tambin que el trmino que emplea signifique aquello a lo que se refiere: 49 Segn esto, quien dice algo determinado es y no es, niega lo que afirma, de manera que niega que la palabra signifique lo que significa: pero esto es imposible. Como concepto o en cuanto expresin, ser o no ser significa siempre algo determinado (al menos en un instante). El sustantivo ha de tener un significado 50 unvoco. Una vez fijada, no cabe que la esencia a la cual apunta un sustantivo sea 51 la de otra cosa diferente (pues si hombre denotara algo sobre cualquier otra cosa, tambin sera otra su esencia, lo cual convertira al lenguaje en algo impracticable). 52 24 Plat., Menn, 82 b 04: EXXgv tv to+t ko tXXgvl(tt,. 53 Arist., De Interpretatione, 2. 54 No es factible que el campo semntico de un mismo trmino ya declarado vare en s mismo. Es algo que contraviene al propio sentido de aquello en lo que consiste el definir. Esto ya lo asume sin entrar en pormenores Platn cuando Scrates interroga a su anfitrin antes de hacer entrar en juego al famoso esclavo, preguntndole: 53 Es griego y habla griego?. Por lo tanto, el conocimiento simpliciter no slo atiende al anlisis de los primeros principios y de Categoriae previas que cada ciencia particular asume en virtud de la filosofa primera: tambin se refiere al conocimiento del lenguaje en el cual nos expresamos. Podra parecer inconsistente el anlisis del lenguaje en cuanto que trminos referidos a esencias distintas pueden ocupar el mismo lugar como nombres; pero, en este caso, el objeto del anlisis no es la esencia entendida como 54 el correlato ontolgico del nombre sino como sustancia segunda pues a lo que atiende el anlisis lingstico es a la funcin que desempea un trmino en el contexto de una oracin. Este correlato no es ontolgico. Que nombres distintos puedan ocupar el locus del sujeto gramatical en una oracin no permite realizar afirmacin alguna acerca de su referencia ontolgica como esencias, sino slo sobre la funcin lingstica que juegan dentro de una proposicin. A.2. Si se niega el principio de no-contradiccin ser posible que el sustantivo que nomina a algo exprese otra cosa. El sustantivo se refiere a la esencia de algo, no a la de otra cosa. La referencia libre de lo post rem acerca de lo in re implica el colapso de los gneros y, por tanto, imposibilita la predicacin. Pero es un hecho que la predicacin es posible. Esta consecuencia afecta a la verdad material, a la necesidad de que un trmino implique unvocamente a algo en la realidad. Para que se d ciencia es necesario (1) 25 Arist., Metaphysica, K, 5, 1062 a 13-14: 6t +olvuv +cv ovoo+cv tkoo+ov 55 tlvot yvcptov ko 6gXouv +t, ko g oXXo, ovov 6t tv. Arist., Metaphysica, K, 5, 1062 a 15-16: v 6t Xtlovo ogolvq, ovtpov 56 ottv t' o tptt +ovoo +o+cv. Arist., Metaphysica, , 4, 1008 b 02-05: t+t opo o tv g t_ttv c, 57 oXopovcv g g t_ttv 6tttuo+ot, o 6t c oXg0ttt; tl yop oXg0ttt, +l v tg +o Xtyotvov o+t +oto+g +cv v+cv g ot,;. Arist., Metaphysica, , 4, 1008 b 05-07: tl 6t g oXg0ttt, oXXo XXov 58 oXg0ttt g o tktlvc, oXopovcv, g6g c, t_ot v +o v+o, ko +ou+' oXg0t, v tg, ko o_ oo ko ok oXg0t,. que cada una de las palabras empleadas en las argumentaciones sean ya conocidas; pero es tambin preciso (2) que signifiquen algo y (3) que no se refieran a varias cosas a la vez. 55 Aristteles se muestra exhaustivo y (1) niega la posibilidad de que una misma esencia sea correlato ontolgico de un trmino y de su negacin y (2) de que un mismo nombre pueda apuntar ad libitum a cualquier esencia. Si se admite la polisemia y se establece como regla que un trmino puede tener ms de un significado, entonces debera determinarse en cada ocurrencia a qu concepto en concreto alude el nombre empleado en cada instante. Son dos cosas enteramente distintas el creer que algo 56 es de cierto modo y el afirmar simultneamente cosas antitticas. En el primer caso, 57 a travs de aporas (mtodo vlido), uno trata de acercarse a la verdad. Cuando alguien no dice la verdad (intencionada, accidentalmente o por ignorancia), mediante este proceder dialctico y aportico (indagando en qu sentido se dice que algo tiene un significado o bien otro) es factible ir aproximando las proposiciones ms y ms a la realidad (ajustando cada vez ms la esencia a las sustancias primeras); pero eso significa aceptar que si bien las cosas que son de suyo son ignotas, siempre son de alguna manera y se admite, por lo tanto, que esto es verdadero: 58 Y si no dice verdad pero se aproxima ms a la verdad que el que piensa del primer modo, ya los entes sern de alguna manera y esto ser verdadero (y no simultneamente <falso>). 26 Arist., Metaphysica, , 4, 1006 b 05-07: tl 6t ( [+t0tlg], oXX' ttpo 59 ogolvttv olg, ovtpov o+t ok v tg Xoyo,. Arist., Metaphysica, , 4, 1006 b 07-10: +o yop g tv ogolvttv o0tv 60 ogolvttv to+lv, g ogotvov+cv 6t +cv ovoo+cv ovqpg+ot +o 6toXtyto0ot po, oXX(Xou,, ko+o 6t +gv oX(0ttov ko po, o+ov. Arist., De Sophisticis Elenchis, 1, 165 a 30-31: g yop +oto+g 6vot, ot(ott 61 olvto0ot ooov, o tug_ovouot +gv poolptotv t_ov+t,. Arist., De Sophisticis Elenchis, 1, 164 b 26-27: ol yop ttpot cotp v 62 ot_ov+t, oppc0tv 0tcpouotv. Arist., Metaphysica, , 4, 1007 a 14-15: ko yop o6vo+ov ttpo y` v+o 63 +o ouptpgko+o 6ttX0tv g ov oov+o 6ttX0t+c g g0tv. Arist., Metaphysica, , 4, 1007 a 20-23: oXc, 6` ovotpouotv ol +ou+o 64 Xtyov+t, oolov ko +o +l gv tlvot. ov+o yop ovoykg ouptpgktvot ookttv o+o,, ko +o otp ov0pc tlvot g ( tlvot g tlvot. Pero cuando se cree que un mismo nombre significa infinitas cosas, no cabe el razonamiento; no significar una cosa determinada es no significar nada y, si los 59 nombres carecen de significado, es imposible dialogar (e incluso el habla interna con uno mismo carecer de sentido). Ah radica el mero esteticismo de quienes, como los 60 sofistas, no buscan la verdad, sino el mejor de los argumentos: 61 Pues tal capacidad le har parecer a uno sabio, que es la intencin que vienen a tener aqullos. Ello no significa que no convenzan (en particular a los inexpertos, pues stos contemplan las cosas como desde lejos). Ahora bien, la ciencia versa sobre lo 62 universal pero las cosas son singulares y nicas. Si la definicin no designa en concreto a algo que cabe encontrar en una coleccin de individuos, entonces resulta imposible el conocimiento (pues no es factible enumerar todos los accidentes de cada cosa en s misma, dado que son infinitos; habra que enumerar o bien todos o bien ninguno). Esto imposibilita el conocimiento y la ciencia: 63 64 27 Arist., Metaphysica, , 4, 1007 a 25-27: tv yop gv o to(otvt, ko gv +ou+o 65 +tvo, oolo. +o 6' oolov ogolvttv to+v o+t ok XXo +t +o tlvot o+. Arist., Metaphysica, , 4, 1007 a 31-33: +o+ yop 6tcpto+ot oolo ko +o 66 ouptpgko,g +o yop Xtukov + ov0pc ouptpgktv o+t to+t tv Xtuko, oXX' o_ otp Xtukov. Arist., Metaphysica, , 4, 1007 a 33-b 05: tl 6t ov+o ko+o ouptpgko, 67 Xtyt+ot, o0tv to+ot pc+ov +o ko0' o, tl ot +o ouptpgko, ko0' oktttvou +tvo, ogolvtt +gv ko+gyoplov. ovoykg po tl, ttpov ltvot. oXX' o6vo+ov o6t yop Xtlc ouXtkt+ot 6uov +o yop ouptpgko, o ouptpgko+t ouptpgko,, tl g o+t c ouptpgkt +o+, Xtyc 6' oov +o Xtukov ouotkov ko +ou+o Xtukov o+t c + ov0pc ouptpgktv. Arist., Metaphysica, , 4, 1007 b 06-09: tt +olvuv +o tv o+c, +o 6' 68 tktlvc, Xtyt+ot ouptpgko+o, ooo o+c, Xtyt+ot c, +o Xtukov + 2ckpo+tt, Y, en suma, los que dicen esto destruyen la sustancia <segunda> y la esencia, pues necesariamente han de afirmar que todas las cosas son accidentes y que cuanto es precisamente la esencia del hombre o la esencia del animal no existe. Un nombre significa algo y este sustantivo es la sustancia (segunda) de ese correlato ontolgico comn (esencia) a una clase de cosas; el designar un objeto material a travs de un nombre significa caracterizarlo en funcin de una clase y equivale a afirmar que no pertenece a ninguna otra salvo a la que apunta su esencia. 65 Tampoco vale emplear un nombre para significar a la vez algo en sentido sustancial y accidental (por ejemplo, decir este hombre es blanco es accidental pues en este caso concreto es blanco, pero la definicin de hombre no es idntica a la definicin de lo blanco). No hay un modo de concebir un estado de cosas compuestas por 66 accidentes sin esencia alguna a la que remitirlos; en tal caso hipottico sera necesario proceder ad infinitum, pero ni los accidentes ni los adjetivos respectivamente se combinan entre s en ausencia de esencia y de sustantivo. Los accidentes se refieren en conjuncin a una sustancia y los predicados lo son siempre de un sujeto. Un proceder ad infinitum es imposible, pues el accidente, en efecto, no lo es de otro accidente (a no ser porque ambos sean accidentes de la misma cosa). No es posible 67 que exista una recurrencia ad infinitum de predicados o adjetivos, de suerte que no 68 28 ok tv6t_t+ot ttpo tlvot t +o vc. Arist., Metaphysica, , 4, 1007 b 14-18: ooo 6` o+c,, o ouptpgko+t 69 ouptpgkt ouptpgko,, oXX' ooo tktlvc,, co+' o ov+o ko+o ouptpgko, Xt_0(ot+ot. to+ot po +t ko c, oolov ogovov. tl 6t +ou+o, 6t6ttk+ot o+t o6vo+ov oo ko+gyopto0ot +o, ov+toott,. Arist., Metaphysica, K, 6, 1063 b 07-15: po, tv ov +ou, tk Xoyou +o, 70 tlpgtvo, ooplo, t_ov+o, o pq6tov 6toXuoot g +t0tv+cv +t ko +o+ou gkt+t Xoyov oot+ov+cv o+c yop , Xoyo, ko oo oo6ttt, ylyvt+ot g0tv yop +t0tv+t, ovotpouot +o 6toXtyto0ot ko oXc, Xoyov, co+t po, tv +ou, +oto+ou, ok to+t Xoyo,, po, 6t +ou, 6toopouv+o, tk +cv opo6t6otvcv ooptcv pq6tov oov+v ko 6toXttv +o otouv+o +gv ooplov tv o+o, 6jXov 6' tk +cv tlpgtvcv. todas las cosas se dirn accidentalmente. Al final habr algo que signifique a la esencia y, de ser as, a partir de sta, las contradicciones no podrn ser predicadas simultneamente. 69 Adems, lo que puede ser accidental en una disciplina puede ser objeto sustancial de otra ciencia; pero si no hay diferencia entre el conocimiento simpliciter de las diferentes ciencias, entonces todo lo accidental podr ser sustancial para cualquier ciencia y viceversa; en consecuencia, slo existir una ciencia (en lugar de distintas ciencias). Sin embargo, histricamente nos encontramos con disciplinas cientficas que se desarrollan independientemente y que cuentan con un conocimiento simpliciter en cierta medida comn (como ocurre con los primeros principios) pero, en parte, especfico (como es el caso de los resultados aceptados por cada ciencia como propios de su saber). A.3. Si se niega el principio de no-contradiccin ser factible derivar cualquier cosa: todo y nada. Si bien cabe traer a razones a quien duda (pues lo que pretende con ella es resolver aquello que desconoce) no ocurre lo mismo con quien niega el principio de no- contradiccin, pues no pretende avenirse a razonamientos. Para que haya posibilidad 70 de llegar a un intercambio de razones es siempre preceptivo que quienes disputen se 29 Arist., Metaphysica, K, 5, 1062 a 11-12: +ou, 6g tXXov+o, oXX(Xot, Xoyou 71 kotvcv(ottv 6t +t ouvttvot o+cv. Arist., Metaphysica, , 4, 1008 a 07-11: t+t g+ot tp oov+o o+c, t_tt [...] g of 72 oXXo tp tv +tvo,, tpl +tvo, 6' o. Arist., Metaphysica, , 4, 1008 a 11-12: ko tl tv g tp ooo,, o+ot v 73 tltv ooXoyotvot. Arist., Metaphysica, , 4, 1008 a 12-18: tl 6t tp ooo,, oXtv g+ot ko0` 74 oocv +o joot ko oojoot ko ko0' oocv oojoot ko joot, g ko+o tv cv joot ko oojoot, ko0' oocv 6t oojoot o ov+cv joot. ko tl tv o+c,, tg v +t oylc, ok v, ko o+g ptpolo 6oo, ko tl +o g tlvot ptpotov +t ko yvcptov, yvcptc+tpo v tg g oot, g ov+tktttvg. entiendan previamente en cierta medida, pues toda ciencia y todo conocimiento 71 parten de un conocimiento anterior, simpliciter. Cuando admitimos una contradiccin es siempre posible generar nuevas contradicciones (incluso aplicando el propio principio). O bien el principio es as acerca de todo o bien no, sino que es de este modo en cuanto a algunas cosas y en cuanto a otras no (lo cual contraviene su propia 72 negacin). Si slo rige localmente tal absurdo en lo referente a todas las afirmaciones y negaciones, stas habrn de ser admitidas unnimemente. 73 Lo que Aristteles muestra es cmo una vez aceptada una contradiccin cabe derivar cualquier cosa. Cuando se vulnera el principio: (1). O bien de aquello de lo que se puede afirmar se puede tambin negar, y de aquello de lo que se puede negar se puede tambin afirmar. (2). O bien de aquello de lo que se puede afirmar se puede negar, pero no todo aquello de lo que se puede negar, tambin se puede afirmar. Si algo es as ser de modo seguro lo que no es y sta es una opinin firme y si lo que no es es algo firme y cognoscible, ms lo ser la afirmacin contraria. 74 As, si es verdad que algo es hombre y no-hombre ser evidente tambin que no ser hombre ni no-hombre, pues a las dos afirmaciones corresponden dos negaciones y si aquella es una sola compuesta de ambas, tambin sta ser una sola, 30 Arist., Metaphysica, , 4, 1008 a 04-07: tl yop oXg0t, o+t v0pco, ko ok 75 v0pco,, 6jXov o+t ko o+' v0pco, o+' ok v 0pco, to+ot +ov yop 6uov 6o oooott,, tl 6t lo t oov tktlvg, ko o+g lo v tg ov+tktttvg. Arist., Metaphysica, , 4, 1008 a 34-b 01: t+t tl o+ov g oot, oXg0g, q, g 76 oooot, tu6(,, kv o+g oXg0g, q, g ko+ooot, tu6(,, ok v tg +o o+o oo ovot ko ooovot oXg0c,. Diels (1934: I, B, fr. 2, 231). 77 Arist., Metaphysica, , 4, 1008 b 07-10: tl 6t oolc, oov+t, ko t6ov+ot 78 ko oXg0j Xtyouotv, o+t 0tyoo0ot o+' tltv + +oto+ to+ot oo yop +ou+o +t ko o +ou+o Xtytt. opuesta a la primera. 75 A partir de si la afirmacin es verdadera entonces la negacin es falsa, y de si la negacin es verdadera entonces la afirmacin es falsa no ser posible afirmar y negar con verdad material simultneamente una misma cosa. Pero la admisin 76 previa de una contradiccin permite la libre derivacin de sin sentidos en cualquier momento. A.4. Si se niega el principio de no-contradiccin no habra nocin semntica de verdad. Sin el principio de no-contradiccin, la esencia de algo podra ser la esencia de otro. El ser lo que las cosas son equivaldra a: (1). Ser de otro modo. (2). No ser de ninguna manera. No habra nocin posible de verdad material pues esta consiste en decir que son tal y como son. Si lo esencial de la esencia es ser cualquier otra esencia, no cabr entender que el lenguaje es significativo, lo cual contradice el hecho de que lo empleamos para comunicarnos y entendernos. El ardid ya fue previamente anticipado por Parmnides a propsito de cul era la nica va posible. Pero quien sostenga que 77 si todos igualmente yerran y dicen la verdad, no producir un sonido ni decir nada, pues simultneamente se enuncian tales cosas y a la vez no. 78 31 Arist., Metaphysica, K, 5, 1062 a 18-19: co+` ttp ogolvtt +t +o tlvot +o6t, 79 +gv ov+lootv o6vo+ov oXg0tttv. Arist., Metaphysica, K, 5, 1062 a 22-23: +o, ov+tktttvo, po ok tv6t_t+ot 80 oott, ko oooott, oXg0tttv ko+o +ou o+ou. Arist., De Interpretatione, 9, 18 a 28-29: `E tv ov +cv v+cv ko 81 ytvotvcv ovoykg +gv ko+oootv g +gv ooootv oXg0j g tu6j tlvot. Arist., Metaphysica, K, 5, 1062 a 20-22: t+t 6` t +t ogolvtt +ovoo ko 82 +ou+' oXg0tt+ot, 6t +ou+' t ovoykg, tlvot +o 6' t ovoykg, ov ok tv6t_t+ol o+t g tlvot. Arist., Metaphysica, , 4, 1008 a 18-20: tl 6t oolc, ko ooo oojoot 83 ovot, ovoykg g+ot oXg0t, 6totpouv+o Xtyttv [...] g o. Sin el principio de no-contradiccin, (2) la esencia, como lo caracterstico de una clase, tambin podra ser definida en funcin de una propiedad diferente, de manera que cabra identificar dos esencias distintas y afirmar su identidad lgica (lo cual significara que objetos sin semejanzas entre s, entraran a formar parte dentro de la misma clase). Finalmente, sin el principio de no-contradiccin, (3) la esencia de algo existente podra ser identificada con la esencia de algo ficticio o imaginario. Cuando esto es significa algo no cabe que lo contrario sea a la vez materialmente verdadero. No es 79 posible que las afirmaciones y negaciones opuestas se adecuen conforme a la misma cosa. De todo lo que ha sido y es, o bien un enunciado o bien su negacin 80 necesariamente debe ser materialmente verdadera. Otro es el caso de los 81 acontecimientos singulares y futuros (pero no porque ambas afirmaciones puedan ser ciertas sino porque no cabe anticipar un valor de verdad para un estado de cosas que ni siquiera sabremos si suceder). La nocin de verdad implica necesidad (pues si la palabra significa algo y es verdadera entonces la relacin entre la proposicin y la realidad a la que apunta ha de ser as por necesidad). 82 Acerca de cuantas cosas se puedan afirmar, igualmente se podrn negar y necesariamente o bien ser verdad su enunciado por separado, o bien no. Pero si no 83 es verdad que una de las dos anttesis en liza sea verdadera por separado, no cabr decir nada y tampoco existir nada pues slo cabr decir de las cosas siquiera que 32 Arist., Metaphysica, , 4, 1008 a 20-27: ko tl tv g oXg0t, 6totpouv+o 84 Xtyttv, o Xtytt +t +ou+o ko ok to+tv o0tv, +o 6t g v+o c, v 0tyot+o g po6lotttv;, ko ov+o 6' v tg tv, cotp ko po+tpov tpg+ot, ko +o+ov to+ot ko v0pco, ko 0to, ko +pt(pg, ko ol ov+toott, o+cv, tl yop oolc, ko0' tkoo+ou, o6tv 6tolott t+tpov t+tpou tl yop 6tolott, +ou+' to+ot oXg0t, ko 6tov. Arist., Metaphysica, , 4, 1006 b 20-22: +o 6` oopotvov o +ou+o to+tv, 85 tl tv6t_t+ot +o o+o oo tlvot ko g tlvot v0pcov +o voo, oXXo +o pyo. Arist., Metaphysica, , 4, 1007 a 04-07: tl 6t ko +o Xtukov (ott +o o+o ko 86 tv ogolvttv, oXtv +o o+o tpoutv otp ko po+tpov tXt_0g, o+t tv ov+o to+ot ko o ovov +o ov+tktltvo. Bonitz (1871: 74 a 20). 87 Arist., Metaphysica, , 4, 1007 b 26-28: +o oopto+ov ov tolkoot Xtyttv, ko 88 olotvot +o ov Xtyttv tp +ou g v+o, Xtyouotv +o yop 6uvott ov ko g son. Ello nos enfrenta al problema de las acciones referidas a sujetos no existentes. Podramos referir los verbos al no-ser y Aristteles se pregunta entonces, cmo podra hablar o andar lo que no existe?. Una vez eliminada la nocin semntica de verdad, todas las cosas sern una sola siendo lo mismo un hombre, un dios y un trirreme y tambin sus contradicciones (pues si de igual modo se pueden afirmar de cada uno, en nada se diferenciar una cosa de otra ya que, si se diferenciase, esto sera verdadero y propio). 84 La dificultad no estriba en saber si es posible que una misma cosa sea y no sea simultneamente en cuanto a: (1). La definicin. (2). El concepto . (3). La realidad. 85 Cuando se afirma que un atributo significa y a la vez no significa lo mismo, en tal caso se pretende decir que todas las cosas sern una sola una misma (y no slo los pares de opuestos). Contravenir el principio de no-contradiccin no es convertir 86 en a priori lo indeterminado (ottpo,), pues lo indeterminado es lo que es en 87 potencia aunque ahora no sea, pero no es lo que es y lo que no es en acto. Lo 88 33 tv+tXt_tlq +o oopto+ov to+tv. Arist., Metaphysica, , 4, 1007 b 30-32: +oov yop tl tkoo+ g tv o+ou 89 oooot, optt, g 6' t+tpou o g op_tt o+ o_ optt. Arist., Metaphysica, K, 6, 1062 b 24-26: +o yop g6tv tk g v+o, 90 ylyvto0ot, v 6' t v+o,, o_t6ov oov+cv to+ kotvov 6oyo +cv tp otc,. propio de un nombre es que establezca una relacin unvoca con los objetos de una clase y que niegue aquellas propiedades que no sean propias de la esencia que las define; ser absurdo, en cambio, que en cada cosa pueda darse su propia negacin pero en cambio no la negacin de otra cosa que realmente no hay en ella. 89 A.5. Si se niega el principio de no-contradiccin ser imposible dar cuenta del cambio cintico. Quienes rechazan el principio de no-contradiccin no pueden explicar de manera consistente fenmenos tan habituales como el movimiento, el crecimiento o la generacin; de ah la revisin de la nocin de cambio en la tradicin presocrtica, escptica y sofstica. El cambio puede ser de varios tipos: (a). Sustancial. Podra parecer que el nacimiento y muerte expresan justo lo contrario, pero es opinin comn de cuantos estudian la naturaleza que de la nada no se genera nada (es decir, que las cosas se producen a partir de cuanto ya es). Esta opinin no objeta 90 el principio de no-contradiccin sino ms bien pregunta por las causas del cambio o transformacin (es decir, por el movimiento). Todo cuanto nace ha de morir; pero la vida y la muerte no se refieren de manera simultnea al mismo sujeto; el concepto de nacer no equivale al de perecer, lo mismo que tampoco el de lo anterior a lo posterior y as sucesivamente. La dificultad conceptual sobre el cambio no se resuelve negando el principio de no-contradiccin (creyendo que las cosas son a veces y a veces no) sino mediante una teora explicativa que resulte suficiente (en la cual jugarn un papel clave 34 Arist., Metaphysica, K, 6, 1062 b 30-32: o _oXtov 6t 6toXttv +gv ooplov 91 +o+gv tpg+ot yop tv +o, uotko, c, tk +ou g v+o, ylyvt+ot +o ytyvotvo ko c, t v+o,. Arist., Metaphysica, K, 6, 1063 b 15-19: co+t ovtpov tk +o+cv. o+t ok 92 tv6t_t+ot +o, ov+tktttvo, oott, tp +ou o+ou ko0' tvo _povov oXg0tttv,o6t +o tvov+lo, 6to +o Xtyto0ot ko+o o+tpgotv oov tvov+to+g+o 6jXov 6t +ou+' t' op_gv +ou, Xoyou, ovoXouot +ou, +cv tvov+lcv. Arist., Metaphysica, K, 6, 1063 b 19-20: oolc, 6` o6t +cv ovo toov o6tv 93 oov +t ko+gyopto0ot ko0' tvo, ko +ou o+ou. Arist., Metaphysica, K, 6, 1063 a 06-10: o6tv yop 6totptt +ou+' otouv g 94 +o otvotvo +o, o +gv tv opoXXouot +ov 6ok+uXov ko otouotv tk +ou tvo, olvto0ot 6o, 6o 6tv tlvot 6to +o olvto0ot +ooou+o, ko oXtv tv. Arist., De Interpretatione, 1, 16 a 06-09. 95 Arist., Ethica ad Nicomachum, Z, 6, 1140 b 31-32: `Et 6` g tto+(g tp 96 +cv ko0oXou to+v oXgt, ko +cv t ovoykg, v+cv. Categoriae de potencia y acto, las cuatro causas, la nocin de azar, etc) tal como queda formulada en la Fsica. Es claro que proposiciones contrarias no pueden ser 91 verdaderas a la vez (pues la contrariedad implica privacin, lo cual es evidente cuando se analiza el principio de no-contradiccin). Tampoco cabr predicar de una misma 92 cosa ninguno de conceptos intermedios que conduzcan a una contradiccin. 93 Quienes creen que las cosas son susceptibles de ser y no ser simultneamente se comportan como aquellos que presionan lateralmente un ojo e inducen en su visin una imagen doble de los objetos: no porque se produzca la disfuncin perceptiva deja de seguir existiendo una y la misma realidad. Lo que se altera intencionadamente es 94 la sensacin individual, no el Ser. Todos las personas poseemos la misma percepcin del mundo. En tal comunidad sensorial radica la forma lgica del lenguaje y la 95 posibilidad de establecer una ontologa como fundamento de las ciencias fsicas y biolgicas. Juzgar sobre la verdad a partir del cambio es absurdo, pues lo cambiante lo es por relacin a lo permanente (lo cual es universal y necesario). No hay ciencia a partir 96 35 Arist., Metaphysica, K, 6, 1063 a 10-13: oXc, 6t +oov tk +ou olvto0ot +o 97 6tupo t+opoXXov+o ko g6to+t 6totvov+o tv +o, o+o,, tk +o+ou tp +j, oXg0tlo, +gv kplotv otto0ot. Bunbury (1959: 395 y ss.); Sarton (1965: 647-648). 98 Arist., De Caelo, B, 14, 297 a 08: 2_jo 6` t_ttv ootpott6t, ovoykoov 99 o+(v. Arist., De Caelo, B, 14, 296 b 21-22 Oovtpov +olvuv o+t ovoykg t +ou 100 toou tlvot +gv yjv ko oklvg+ov. Arist., De Caelo, B, 14, 298 a 15-17 Ko +cv o0go+tkcv 6t ooot +o 101 tyt0o, ovoXoyl(to0ot ttpcv+ot +j, tpttptlo,, tl, +t++opokov+o Xtyouotv tlvot upto6o,. de la posibilidad (de cuanto puede cambiar o estar en potencia) sino de aquello que 97 es. Aqu hay que subrayar una consecuencia colateral de inters. El estatuto cientfico de la fsica y de la biologa se asienta, por tanto, de manera respectiva, en la forma mnima de los objetos fsicos (id est, la materia segunda, en aquello de lo que fsicamente se compone algo) y en la constancia de la especies biolgicas. No es posible que el nio termine, como anciano, con la forma de un elefante viejo. El cambio admite cambios limitados descriptibles. No todo vale en la historia natural. La forma tiene sentido como sustancia segunda (en contra de lo que opina el realismo), pero no es totalmente convencional (en contra de lo que cree el nominalismo). Pero no todo valdr como objeto de la ciencia pues sta no puede fundamentarse sobre lo cambiante y ste es el caso de la geografa. Tal es la razn de que frente a la 98 cantidad de pormenores y descripciones de Herdoto, en la geografa aristotlica slo haya unas pocas alusiones en un par de textos: Meteorolgicos y Acerca del Cielo. El objeto de la geografa suele ser singular y cambiante; la mayora de las referencias sobre las que cabra constituir la geografa como ciencia tienen que ver con lo permanente en lo relativo a: (1). La Tierra (su forma esfrica, su situacin central en el universo y su 99 100 magnitud). 101 (2). La distribucin humana (cree que el mundo habitable se encuentra entre la regin antrtica y los trpicos). 36 Stierlin (2001: 103). 102 Arist., Metaphysica, K, 6, 1063 a 17-18: t+t 6` tl klvgot, to+t, ko ktvotvov 103 +t, ktvt+ot 6t v tk +tvo, ko t, +t. Arist., Metaphysica, K, 6, 1063 a 19-21: 6t po +o ktvotvov tlvot tv 104 tktlv t o ktv(ot+ot ko ok tlvot tv o+, ko tl, +o6 ktvto0ot ko ylyvto0ot tv +o+, +o 6t ko+o +gv ov+lootv g ouvoXg0tto0ot ko+' o+o,. (3). La periodicidad de los fenmenos (como la erosin, la regularidad del cambio del tiempo, el fenmeno de la lluvia, etc). Pero hacia el siglo IV a. C. era manifiesto el impacto del ser humano en el cambio del entorno. Esto es apreciable ya en tiempos del Antiguo Egipto, por la desmantelacin de montes empleando la fuerza hidrulica (con objeto de obtener principalmente oro, plata, cobre, hierro, zinc y piedra) y en la creacin de montaas artificiales o pirmides. La inmensidad de las grandes obras de ingeniera diseminadas por toda la Jonia eran clebres desde los siglos VI y V a. C. (como la del tnel de Epaulino o el muelle artificial de 350 m. erigido en Samos, etc). De ah la parquedad 102 de Aristteles en lo referente a la geografa pues no cabe la ciencia ni sobre lo singular, ni sobre aquello que es meramente posible (y que, en cuanto a tal, se encuentra en cambio siendo y a la vez no siendo). (b). Local. Es cierto que todo cuanto se mueve es movido desde algo y hacia algo, pero 103 lo idntico ser el sujeto sobre el cual se produce el movimiento (y no el estado cintico inicial y final del sujeto). Que un individuo estuviera antes caminando y ahora 104 sentado no nos permite deducir la identidad de caminar y del sentarse, sino del individuo que realiza tales acciones. Esto se traduce a nivel gramatical en el campo de verbos que pueden corresponder a un sujeto; la pluralidad de predicados no implica la identidad de estos sino la del sujeto a la cual son referidos. Negar el principio de no contradiccin es confundir en el orden de lo in re al sujeto con la accin y, en el de lo post rem, tomar el sujeto por el verbo y viceversa. 37 Arist., Metaphysica, K, 6, 1063 a 24-27: olvov+ot yop o_ jkto+o +o ko+o 105 +o, ov+toott, +o+ou ko+gyoptv tk +ou +o ooov ttXgtvot g tvttv t +cv oco+cv, 6to ko tlvot +t+pog_u +o o+o ko ok tlvot. Arist., Ethica ad Nicomachum, A, 4, 1096 a 11-17. 106 Arist., Metaphysica, , 4, 1006 a 02-03: _pcv+ot 6t + Xoy +o+ 107 oXXo ko +cv tp otc,. Arist., Metaphysica, K, 5, 1062 a 34-35: vuv 6` o ouvtt, tou+ou +l o+t 108 Xtytt, +o+gv tXopt +gv 6oov. Fragmentos de la obra de Herclito que parecen rebatir tal lectura son: (1). Diels (1934: I, B, fr. 50, 161): ok tou, oXXo +ou Xoyou okooov+o, ooXoytv ooov to+tv tv ov+o tlvot. (c). Cuantitativo. El aumento o disminucin de cantidades discretas no refuta tampoco el principio de no-contradiccin; las sustancias segundas no fijan su significado debido al 105 aumento o disminucin de la masa de algo sino en razn de las propiedades definitorias a travs de las cuales identificamos la esencia de algo. Por el hecho de que una persona sea ms alta o ms baja, ms obesa o ms delgada, no deja de ser persona y lo mismo puede ser aplicado a la esencia de los dems seres animados e inanimados. A.6. Discrepancias con la tradicin. Las consecuencias derivadas de los testimonios en la tradicin doxogrfica parecen apuntar a que cabe negar el principio de no-contradiccin. Es una constante en el pensamiento de Aristteles la tendencia a sustituir el argumento de la autoridad por el de la verdad. No es relevante quin dice algo; lo que importa es que cuanto se diga, sea verdadero. Aristteles critica, por usar el lenguaje contraviniendo el 106 principio de no-contradiccin, a varios filsofos previos que investigaron acerca de la naturaleza y la sociedad. Las crtica ms relevantes se realizan contra: 107 (1). Herclito de feso, pues, sin comprender lo que haba dicho, adopt la opinin de que las cosas podan ser y no ser a la vez. Si cuanto dijo era verdadero 108 38 (2). Diels (1934: I, B, fr. 78, p. 168): g0o, yop ov0pcttov tv ok t_tt yvco,, 0tov 6t t_tt. (3). Diels (1934: I, B, fr. 54, p. 162): opovlg oovg, ovtpj, kptl++cv. (4). Diels (1934: I, B, fr. 123, p. 178): ot, 6t ko0` HpokXtt+ov kp+to0ot tXt; y tambin (fr. 51, p. 162): o uvtotv okc, 6totpotvov tcu+ct ooXoyttt oXlv+poo, opovlg okcotp +oou ko Xpg,. (5). Diels (1934: I, B, frs. 1 y 2, pp. 150-151). Fragmentos que la confirman: (1). Diels (1934: I, B, fr. 60, p. 164): o6o, vc ko+c lo ko cu+(. (2). Diels (1934: I, B, fr. 88, p. 170): +o+o +` tvt (cv ko +t0vgko, ko [+o] typgyopo, ko ko0tu6ov ko vtov ko ygpotov. (3). Diels (1934: I, B, fr. 111, p. 175): vouoo, yttlgv tolgotv g6u ko oyo0ov, Xto, kopov, koo+o, ovoouotv. Arist., De Mundo, E, 396 b 20-22: 2uXXott, oXo ko o_ oXo, 109 outpotvov 6totpotvov, ouvq6ov 6tq6ov tk ov+cv tv ko t tvo, ov+o; Metaphysica, K, 5, 1062 a 36-1062 b 02: oXc, 6` tl +o Xtyotvov ` o+ou to+v oXg0t,, o6` v o+o +ou+o tg oXg0t,, Xtyc 6t +o tv6t_to0ot +o o+o ko0' tvo ko +ov o+ov _povov tlvol +t ko g tlvot. Arist., Metaphysica, K, 5, 1062 b 02-07: ko +ov o+ov _povov tlvol +t ko 110 g tlvot ko0otp yop ko 6tqpgtvcv o+cv o6tv XXov g ko+ooot, g g oooot, oXg0tt+ot, +ov o+ov +poov ko +ou ouvoo+tpou ko +ou outXtytvou ko0otp t, +tvo, ko+oootc, oog, o0tv XXov <g> g oooot, [g] +o oXov c, tv ko+ooott +t0ttvov oXg0tot+ot. Arist., Metaphysica, K, 5, 1062 b 07-11: t+t 6` tl g0tv to+tv oXg0c, 111 ko+ojoot, kv o+o +ou+o tu6o, tg +o ovot g6tlov oXg0j ko+oootv entonces, aplicando su propia meloda, tambin sera falso pues no es posible que una cosa sea y no a la vez. 109 (2). Pirrn de Elis, a quien nunca cita expresamente, pero que parece ser el oponente ms adecuado a una refutacin expresa. El quid del pensamiento pirrnico consiste en argumentar que, dadas dos tesis opuestas, separadas la una de la otra, no ser ms verdad la afirmacin que la negacin; de manera que siendo el conjunto de ambas como una afirmacin, tampoco ser ms verdadera la negacin que el todo considerado como proposicin. Aristteles argumenta que esto significa que si no 110 cabe afirmar nada con verdad, tambin ser falso decir: no hay proposicin verdadera alguna. Lo cual resulta una auto-inconsistencia y termina con la liquidacin del dilogo. Este argumento contra la tesis fundamental de lo que se denomina 111 39 op_ttv. tl 6' to+t +t, Xot+' v +o Xtyotvov o +cv +o +otou+o tvto+otvcv ko ov+tXc, ovotpov+cv +o 6toXtyto0ot. Realmente el quid de la crtica de Aristteles estriba en una paradoja semntica pues si la afirmacin fuera cierta la afirmacin todo es falso, esta afirmacin tambin sera falsa. Arist., Metaphysica, K, 6, 1063 b 30-35: oolc, 6t o6t ooo, tu6t, o6` 112 oXg0t, +o, oott, 6uvo+ov tlvot, 6t' XXo +t oXXo +cv ouvo_0tv+cv v 6uo_tpcv 6to +o+gv +gv 0totv, ko 6to+t tu6cv tv oocv oocv o6' o+o +ou+o +t, ookcv oXg0tott, oXg0cv 6t tu6t, tlvot ooo, Xtycv o tot+ot. Arist., Metaphysica, K, 6, 1062 b 12-15: opoX(otov 6t +o, tlpgtvot, 113 to+ ko +o Xt_0tv o +ou pc+oyopou ko yop tktvo, tg ov+cv tlvot _pgo+cv t+pov v0pcov, o6tv t+tpov Xtycv g +o 6okouv tkoo+ +ou+o ko tlvot oylc,. Esta lectura de Protgoras se encuentra confirmada por Platn; vase Plat., Euthydemus, 286 b 08-c 04: o yop +ot oXXo +ou+ov yt +ov Xoyov oXXcv 6g ko oXXokt, okgkoc, ot 0ouo(c,ko yop ol o pc+oyopov oo6po t_pcv+o o+ ko ol t+t oXoto+tpot to 6t ot 0ouoo+o, +t, 6okt tlvot ko +o, +t XXou, ovo+ptcv ko o+o, o+ov; Theaetetus, 170 e 07-171 a 03: 2u. Jl 6t o+ pc+oyopq, op` o_ ovoykg, tl tv g6t o+o, t+o t+pov tlvot v0pcov g6t ol oXXol, cotp o6t oov+ot, g6tv 6g tlvot +o+gv +gv oX(0ttov jv tktvo, typotv; tl 6t o+o, tv t+o, +o 6t Xj0o, g ouvolt+ot, olo0' o+t pc+ov tv oo Xtlou, o, g 6okt g o, 6okt, +ooo+ XXov ok to+tv g to+tv; Teteto , 171 a 06-09: Ett+o yt +ou+` t_tt koo+o+ovg tktvo, tv tp +j, o+ou ol(otc, +gv +cv ov+t6oo(ov+cv ogotv, q tktvov gyouv+ot t6to0ot, ouy_cpt ou oXg0j tlvot ooXoycv +o v+o 6oo(ttv oov+o,. Y este es un escollo prcticamente insalvable. Tambin por Sexto Emprico; vase Sext., Adversus Mathematicus, VII, 389.275.03- 390.275.12: `/ko6glo,, t+t 6t +ou tpto+ou. o+t 6t oov oXg0j Xtk+tov tlvot o+t tu6j o+t +tvo tv oXg0j +tvo 6t tu6j, c, opoo+(ootv ok po kpt+(ptov tlvot pg+tov +gv ov+oolov. oov tv ov ov+oolov ok <v> tot +t, oXg0j 6to +gv tpt+po(v, ko0c, o +t Zgokpt+o, ko o Xo+cv ov+tXtyov+t, + pc+oyopq t6l6ookov tl yop oo ov+oolo to+v oXg0(,, ko +o g oov ov+oolov tlvot oXg0j, ko+o ov+oolov to+otvov, to+ot escepticismo pirrnico muestra una forma distinta al considerar el conjunto potencial de las proposiciones. Aristteles arguye que no es posible que todas las proposiciones sean a la vez falsas y verdaderas porque ello significa que quien afirma semejante cosa dice mentira y quien la niegue dir verdad, lo cual es absurdo. 112 (3). Protgoras de Abdera, pues manifiesta algo semejante al afirmar que el ser humano es la medida de todas las cosas. La tesis del homo mensura significa que lo que cada cual opina es la pura verdad, pero la opinin es mltiple mientras que la 113 40 oXg0t,, ko o+c +o oov ov+oolov tlvot oXg0j ytv(ot+ot tu6o,. Arist., Metaphysica, K, 6, 1062 b 15-19: +ou+o ko tlvot oylc,g +o+ou 6t 114 ytyvotvou +o o+o oupolvtt ko tlvot ko g tlvot, ko kokov ko oyo0ov tlvot, ko +oXXo +o ko+o +o, ov+tktttvo, Xtyotvo oott,, 6to +o oXXokt, +oto6 tv olvto0ot +o6t tlvot koXov +oto6 6t +ovov+lov, t+pov 6' tlvot +o otvotvov tkoo+. Diels (1871: II, B, fr. 6, 35): ko o+t 6t oot opol tlot +ou +t tyoXou ko 115 +ou otkpou Xj0o,, ko o+c, v tg tv ov+ ov+o o6t _cp, to+tv tlvot, oXXo ov+o ov+o, opov t+t_tt. Arist., Metaphysica, K, 6, 1063 b 24-30: o+t 6g ko0` HpokXtt+ov tv6t_t+ot 116 Xtyov+o, oXg0tttv, o+t ko+' `/vooyopov tl 6t (, oup(ot+ot +ovov+lo +ou o+ou ko+gyoptv o+ov yop tv ov+ q ov+o, tlvot opov, o6tv XXov tlvol got yXuku g tkpov g +cv Xotcv ootovouv tvov+tcotcv, ttp tv oov+t v op_tt g 6uvott ovov oXX' tvtpytlq ko ooktkpttvov. Arist., Metaphysica, K, 6, 1062 b 33-35: +o yt gv oolc, poot_ttv +o, 117 6oot, ko +o, ov+oolot, +cv po, o+ou, 6totopg+ov+cv tg0t, 6jXov yop o+t +ou, t+tpou, o+cv ovoykg 6tttuo0ot. Arist., Metaphysica, , 4, 1007 b 18-20: I u I u u u 118 f ff u, q u u . verdad slo puede ser una; al establecer el criterio de verdad en el parecer de cada cual, se niega la verdad y, en consecuencia, se sigue que la misma cosa es y no es, que es buena y mala, hermosa y fea, etc. dependiendo del criterio personal; todo se queda subordinado a la creencia del individuo, llegando a poder formular sobre lo mismo juicios contradictorios. 114 (4). Anaxgoras de Clazomenes, quien insisti en que de los contrarios se poda predicar la misma cosa. La leyenda en el todo hay parte de todo quiere decir que 115 todo es dulce y amargo simultneamente (y as por cuanto afecta a los dems pares de contrarios) y, adems, que no todo esta en potencia sino en acto, lo cual, a juicio de Aristteles, es imposible. En su filosofa se prescinde del principio de no- 116 contradiccin como consecuencia de su creencia en el infinito actual. Dadas dos proposiciones opuestas acerca de la realidad es necesario que al menos una de ellas equivoque. Si las contradicciones fueran todas simultneamente 117 verdaderas de un mismo sujeto, entonces todas las cosas seran lo mismo. De modo 118 41 Diels (1871: II, B, fr. 6, 35): ko o+t 6t oot opol tlot +ou +t tyoXou ko 119 +ou otkpou Xj0o,, ko o+c, v tg tv ov+ ov+o o6t _cp, to+tv tlvot, oXXo ov+o ov+o, opov t+t_tt; (1871: II, B, fr. 8, 36): o kt_cpto+ot oXX(Xcv +o tv +ct tv kooct o6t ooktko+ot tXtktt o+t +o 0tpov oo +ou u_pou o+t +o u_pov oo +ou 0tpou; (1871: II, B, fr. 11, 37): o+t tv ov+ ov+o, opo tvto+t Xgv vou, to+tv oot 6t ko vou, tvt. Arist., Metaphysica, , 4, 1007 b 24-26: co+t ko to+tv, ttp g ov+loot, 120 oXg0(,. ko ylyvt+ot 6g +o +ou `/vooyopou, oou ov+o _p(o+o co+t g0tv oXg0c, op_ttv. Arist., De Interpretatione, 1, 16 a 03-06: Eo+t tv ov +o tv +q cvq +cv tv 121 +q u_q o0go+cv opoXo, ko +o ypootvo +cv tv +q cvq. ko cotp o6t ypoo+o ot +o o+o, o6t cvo ol o+ol. Arist., De Interpretatione, 1, 16 a 06-09. Vase nota 25. 122 Arist., Metaphysica, K, 6, 1063 a 28-30: t+t 6to +l poo+o++ov+o, +ou 123 lo+pou +o6 +o ot+lov pootvtykoo0ot pootpov+ot; +l yop XXov +ou+o p+o, to+v g ok to+tv;. que lo sostenido por Anaxgoras (todas las cosas estn confundidas) significa que 119 nada existe verdaderamente. 120 A.7. Si se niega el principio de no-contradiccin sera imposible vivir. Aunque la naturaleza del lenguaje sea convencional (pues los smbolos lingsticos no son iguales para todos), en cambio las referencias de los signos y las 121 afecciones en el alma son idnticas en todos los hablantes (de manera que la naturaleza del lenguaje no es arbitraria). Este mnimo lo compartimos todos. 122 Cuando se niega el principio de no-contradiccin, se vulnera el sentido comn y, en consecuencia, el fundamento de todo nuestro conocimiento: las afecciones del alma, las cuales son idnticas para todas las personas, que dan sentido a la vida prctica. La actitud de quienes dicen creer que el principio de no-contradiccin no rige es falaz pues, en cambio, hacen cuanto pueden, al igual que sus semejantes, por conservar la vida observndolo: 123 42 Arist., Metaphysica, , 4, 1008 b 21-23: o yop t oou oov+o (g+t ko 124 oXopovtt, o+ov olg0t, ptX+tov tlvot +o ttv 6cp ko l6tv v0pcov tl+o (g+q o+o. Arist., Metaphysica, K, 6, 1063 a 35-37: t+t 6` tl tv oXXotot0o ot ko 125 g6to+t 6totvotv ol o+ol, +l ko 0ouoo+ov tl g6to0' gv +o+o olvt+ot ko0otp +o, kovouotv. Arist., Metaphysica, K, 6, 1063 b 06-07: tl 6t g t+opoXXotv oXX' ol 126 o+o 6to+tXoutv v+t,, tg v +t tvov. Arist., Metaphysica, , 4, 1008 b 15-17: o6` t0tc, tc0tv optt+ot tl, 127 ptop g tl, opoyyo, tov +_q, oXXo olvt+ot tXopotvo,, c, o_ oolc, olotvo, g oyo0ov tlvot +o ttotv ko oyo0ov;. Adems, por qu al prescribirles el mdico un alimento determinado lo toman?. Tampoco juzgan por igual todas las cosas cuando creyendo mejor beber agua o ver a alguien, enseguida los buscan. Su pragmatismo implica que slo niegan el 124 principio de manera erstica. Pero hay que advertir tambin que el estado del enfermo podra servir de contra-argumentacin pues cuando estamos indispuestos las cosas nos parecen otras; Aristteles est de acuerdo, pero no es menos cierto que: (1). La realidad sigue permaneciendo una y misma. 125 (2). nosotros continuamos siendo los mismos, luego a pesar del estado patolgico el sujeto permanece. 126 Y tampoco cabe rechazarlos en virtud de valor alguno. A pesar de no creer en el principio de no-contradiccin, los escpticos nunca avanzan hacia un pozo o hacia un precipicio si por azar los encuentran, sino que claramente los evitan igual que quienes no creen que igualmente el caer sea bueno y no bueno. 127 Este ltimo argumento puede originarse sobre: (1). La tcnica. (2). La aplicacin de la teora del trmino medio. (3). El platonismo pues cabra entender que existe un canon, criterio o sentido de bondad, es decir de la Idea de Bien (aplicada a la conservacin de la propia vida). 43 Arist., Metaphysica, , 4, 1008 b 24-27: oXX` otp tXt_0g, o0t, o, o 128 olvt+ot +o tv tXopotvo, +o 6' o co+t, c, totkt, ov+t, oXopovouotv t_ttv oXc,, tl g tp oov+o, oXXo tp +o ttvov ko _tpov. Arist., Metaphysica, , 4, 1008 b 31-33: t+t tl o+t oXto+o ov+o o+c, t_tt 129 ko o_ o+c,, oXXo +o yt XXov ko (++ov tvto+tv tv +q ott +cv v+cv. Arist., Ethica ad Nicomachum, B, 7. 130 Arist., Metaphysica, , 4, 1008 b 35-1009 a 05: tl ov g oolc,, 6jXov o+t 131 o+tpo, (++ov, co+t XXov oXg0ttt. tl ov +o XXov tyy+tpov, tg yt v +t oXg0t, o tyy+tpov +o XXov oXg0t,. kv tl g to+tv, oXX' g6g yt +t to+t ptpoto+tpov ko oXg0tvc+tpov, ko +ou Xoyou ogXXoytvot v tgtv +ou okpo+ou ko kcXov+o, +t +q 6tovolq oploot. Arist., Ethica ad Nicomachum, B, 9, 1109 b 20-23: o 6t t_pt +lvo, ko t 132 ooov tk+o, o pq6tov + Xoy ooploot o6t yop XXo o6tv +cv olo0g+cv +o 6t +otou+o tv +o, ko0' tkoo+o, ko tv +q olo0(ott g kplot,. En cualquiera de esos tres casos, la consecuencia perceptible es que no existe nadie que no evite manifiestamente unas cosas y, en cambio, otras no; de suerte que, segn parece, todos piensan que las cosas son absolutamente, si no acerca de todas, ciertamente alrededor de lo mejor y lo peor. 128 Adems, aunque todas las cosas fuesen en sumo grado as y no as, el ms y el menos es inherente a la naturaleza de los entes. Y cuando dos juicios se 129 equivocan, si se admite que no yerran igualmente, es evidente que uno de los dos errar menos, de suerte que ste se acercara ms a la verdad. Si lo que es ms 130 una cosa se encuentra ms prximo a tal objeto, habr al menos algo verdadero, de lo cual estar ms prximo lo que sea ms verdadero. Y, aunque no lo haya, habr ya al menos algo ms firme y ms verdadero: segn Aristteles estaremos as apartndonos de esa doctrina falta de moderacin, que impide a la mente definir cualquier cosa. Por desgracia no en todo lo relativo al mundo hay consenso, pues 131 una cosa es la percepcin y otra la valoracin: 132 Ahora, no es fcil determinar mediante la razn los lmites y en qu medida sea censurable <un bien>, porque no lo es para ningn objeto sensible. Tales cosas son individuales y el criterio reside en la percepcin <individual>. 44 Analizaremos posteriormente este argumento. La aparente contradiccin al explicar un fenmeno como el del cambio no se encuentra en el hecho, sino en que no se dispone de una descripcin adecuada al mismo. De ah la importancia tanto de Categoriae como de la dialctica puesto que si bien las cosas pueden decirse de un modo, no siempre debe entenderse en toda su amplitud y el filsofo deber de ir precisando la manera en que deber ser comprendido. De ah la necesidad de oponer una anttesis a la hiptesis inicial con objeto de ir afinando el significado de lo que se desea expresar. Resumimos brevemente, a travs de una tabla sinptica, lo ms destacado de este apartado. Consecuencias lgicas de negar el principio de no contradiccin. Hechos lingsticos y conceptuales el sustantivo no designa nada determinado el sustantivo designa algo determinado no es posible la predicacin la predicacin tiene sentido slo hay una ciencia y un nico conocimiento simpliciter cada ciencia posee un conocimiento simpliciter propio el lenguaje puede significar cualquier cosa el lenguaje sirve para comunicarse toda esencia es idntica a cualquier otra las esencias son distintas no hay diferencia entre las esencias de lo real y los contenidos de la imaginacin las esencias no son de lo imaginario no es posible analizar el cambio cabe analizar el cambio no hay diferencia entre sustantivo y verbo sustantivo y verbo son diferentes Tabla 2 B. Aproximacin Ontolgica. Pero una concepcin segn la cual la exigencia de no-contradiccin se verifica en el pensamiento y en el Ser, no se trata de eleatismo?. Aunque lo real sea singular y cambiante, no se reivindica aqu la posicin platnica y parmendea de que, ontolgicamente, el objeto de la filosofa primera debe ser el Ser idntico, lo que permanece, lo Uno, lo ante rem?. Cmo compaginar la identidad de los principios, 45 Diels (1934: I, B, fr 8, 235): t tt0tv pg0tv+o. ovo, 6` t+t u0o, o6oo / 133 Xtlt+ot c, to+tv +o+gt 6' t o(o+' toot / oXXo oX', c, oytvg+ov tov ko ovcXt0pov to+tv, / to+t yop oXotXt, +t ko o+ptt, g6' o+tXto+ov / o6t o+' gv o6' to+ot, tt vuv to+tv oou v, / tv, ouvt_t, +lvo yop ytvvov 6t((otot o+ou; . Para (1), vase Diels (1934, I, B, fr 2, 231): g tv oc, to+tv +t ko c, ok 134 to+t g tlvot, / tt0ou, to+t ktXtu0o, (`/Xg0tlgt yop og6t), / g 6' c, ok to+tv +t ko c, _ptcv to+t g tlvot, / +gv 6( +ot po(c ovotu0to ttv o+opov. Para (2), (1934: I, B, fr 7, 234): o yop (o+t +ou+o 6ojt tlvot g tov+o. Plat., Sophista, 241 d 03: l( t oov o+poXolov oXopq, ylyvto0ol 135 +tvo y 241 d 05-07: +ov +ou o+po, optvl6ou Xoyov ovoykoov gv ouvotvot, to+ot pooovl(ttv, ko pto(to0ot +o +t g ov c, to+t ko+o +t ko +o ov o oXtv c, ok to+t q. de lo post rem, con la diversidad en las cosas, de lo in re?. Cmo conjugar la unidad ontolgica del Ser con la multiplicidad de lo existente?. Cmo evitar contraponer el realismo lgico con el empirismo fsico?. La cosmovisin de Parmnides queda reflejada en su poema: 133 Un slo discurso como va queda: es; en este hay muchos signos de que el Ser es ingnito e imperecedero, pues est completo, es inmvil y no tiene trmino. No fue pasado ni lo ser, pues es ahora todo a la vez, uno, continuo. Vimos previamente que negar el principio de no-contradiccin puede conducir tanto: (1). A afirmar algo y negarlo (o viceversa). (2). A negar que exista cualquier cosa. Ambas posibilidades ya fueron contempladas como impracticables por Parmnides. A travs del personaje del extranjero, Platn, rebate moderadamente 134 la tesis fundamental eletica cometiendo una especie de parricidio, pues la teora de las Ideas es de inspiracin parmenidea. En cambio, Aristteles (1) rechaza 135 expresamente las paradojas eleticas, en las cuales ve la expresin de una suerte de 46 Arist., De Generatione el Corruptione, A, 8, 325 a 17-23: tt 6t t tv +cv 136 Xoycv 6okt +ou+o oupolvttv, t 6t +cv poyo+cv ovlq opoX(otov tlvot +o 6oo(ttv o+c, o6tvo yop +cv otvotvcv tto+ovot +ooou+ov co+t +o up tv tlvot 6oktv ko +ov kpo+oXXov, oXXo ovov +o koXo ko +o otvotvo 6to ouv(0ttov, +ou+' tvlot, 6to +gv ovlov o0tv 6okt 6totpttv. Arist., De Generatione el Corruptione, A, 8, 325 a 13-17: `Ek tv ov +o+cv 137 +cv Xoycv, tppov+t, +gv oo0gotv ko opt6ov+t, o+gv c, + Xoy 6tov okoXou0tv, tv ko oklvg+ov +o v tlvol oot ko ttpov tvtot +o yop tpo, tpolvttv v po, +o ktvov. Cl tv ov o+c, ko 6to +o+o, +o, ol+lo, ot(vov+o tp +j, oXg0tlo,. demencia: 136 Por lo dems, si bien segn los razonamientos las cosas parecen ser as, segn los hechos este tipo de opinin resulta poco menos que una locura, pues nadie entre los locos se encuentra hasta tal punto fuera de s como para considerar que el fuego y el hielo son una misma cosa; y, en todo caso, solamente entre lo que es bello y lo que parece serlo por obra de la costumbre algunos, a causa de su locura, creen no encontrar diferencia. Pero el presupuesto desde el cual (2) abjura de las intuiciones de Meliso y Parmnides consiste en su desprecio por los datos de la sensacin: 137 As sobre la base de estos razonamientos, sobrepasando y despreciando los datos de la sensacin, ya que estn constreidos a seguir slo la razn, afirman que el todo es uno e inmvil, y algunos tambin que es infinito, pues, de lo contrario el limite terminara en el vaco. La negacin de las sustancias primeras es un dislate cuando tanto en el orbe ontolgico (en cuanto entes) como en el lgico (en cuanto categoras) son lo primero y primario. La dialctica platnica del Sofista y la Metaphysica de Aristteles reaccionaron contra las consecuencias paradjicas del principio de identidad por cuanto afecta a la realidad. Cierto que el Ser de Parmnides es condicin necesaria de toda Metaphysica pues se ajusta a la exigencia de identidad (que es la ley del 47 Diels (1934: I, B, fr. 3, 231): +o yop o+o votv to+lv +t ko tlvot; (fr. 6, 138 232): _pg +o Xtyttv +t votv +` tov ttvot. Arist., De Generatione el Corruptione, A, 8, 325 a 12-13: t+t oolc, ovot 139 ovoykoov g tlvot klvgotv. Arist., Physica, Z, 9. 140 Plat., Parmenides, 128 c 06-d 06: to+t 6t +o yt oXg0t, po(0tto +t, +ou+o 141 [+o ypoo+o] + optvl6ou Xoy po, +ou, tt_ttpouv+o, o+ov kc6tv c, tl tv to+t, oXXo ko ytXoo oupolvtt oo_ttv + Xoy ko tvov+lo o+. ov+tXtytt 6g ov +ou+o +o ypoo po, +ou, +o oXXo Xtyov+o,, ko ov+oo6l6cot +o+o ko Xtlc, +ou+o pouXotvov 6gXouv, c, t+t ytXoto+tpo oo_ot v o+cv g o0tot,, tl oXXo to+tv, g g +ou tv tlvot, t +t, lkovc, ttlot. pensamiento); pero no constituye su condicin suficiente pues la eternidad (en el Ser y en el pensar) de lo uno e idntico a s mismo, excluye todo cambio y toda 138 alteridad: 139 Adems, incluso en este caso, opinan necesario negar la existencia del movimiento. Esta concepcin del Ser implica consecuencias inadmisibles: (1). En el orbe fsico: la imposibilidad del cambio que muestran incesantemente los sentidos (ilustrada por Zenn a travs de argumentos ad hominem); Platn 140 formula esta delicada postura as: 141 En verdad es una defensa de la argumentacin de Parmnides contra los que tratan de mofarse de l diciendo que si existe un Uno se siguen de su argumentacin consecuencias muy absurdas y contradictorias. El libro <de Zenn de Elea> es una rplica a su escrito contra los que afirman la pluralidad; les devuelve, en exceso, sus mismos ataques y aspira a poner al descubierto que, si se examina el asunto con atencin, de su hiptesis de la pluralidad se siguen unas consecuencias mucho ms absurdas que las derivadas de lo Uno. 48 Arist., Metaphysica, , 29, 1024 b 32-34: 6to `/v+to0tvg, t+o t(0c, g0tv 142 otcv Xtyto0ot Xgv + olktl Xoy, tv t' tvo, t cv ouvtpotvt g tlvot ov+tXtyttv, o_t6ov 6t g6t t6to0ot. As pues, los elatas eran plenamente conscientes de lo absurdo de su propia perspectiva y ms que proponer su hiptesis como una teorizacin cierta y perseverar en la investigacin de lo verdadero, se conformaron con un gnero de formulacin que no asuman como verdadera (pero que en su momento resultaba la mejor alternativa de entre las posibles). Para una filosofa que tena por nica a la va de la verdad, conformarse con lo verosmil no deja de ser una cuestin espinosa. (2). En el orden lgico: consiste en la imposibilidad de la predicacin, del juicio de atribucin y de la proposicin pues al excluir del Ser cualquier diversidad, la ciencia principia y finaliza en la celebrrima asercin tautolgica: el Ser es y el No-Ser no es, no dirs del Ser que no es ni del No-Ser que es. Suponiendo incluso que cupiera distinguir una pluralidad de sujetos, no se podra sin contradiccin afirmar de un sujeto otro atributo que no fuera l mismo (por ejemplo, habra que limitarse a decir: el hombre es hombre, lo blanco es blanco, etc); no cabra predicar algo tan simple como: el hombre es blanco; y tal fue la conclusin eletica defendida por Antstenes: 142 Por eso era una simpleza la opinin de Antstenes al pretender que nada se enunciaba a no ser con un enunciado propio, uno para cada cosa; de donde resultaba que no era posible contradecir, ni casi errar. Pero el lenguaje comn, habitualmente sirve para comunicarnos con xito y el eleatismo contradice un hecho pragmtico inmediatamente constatable: que hablando se entiende la gente. Las mismas hiptesis del eleatismo no se ajustan al principio de identidad en cuanto que en las proposiciones en las cuales se expresan, el predicado no es idntico al sujeto. Y puesto que, adems, el entendimiento entre los seres humanos es factible (a condicin de que compartan el mismo idioma) necesario es que exista una posibilidad para el discurso verdadero y falso dentro del lenguaje de uso 49 Arist., Metaphysica, , 29, 1024 b 34-36: to+t 6' tkoo+ov Xtyttv o ovov 143 + o+ou Xoy oXXo ko + t+tpou, tu6c, tv ko ov+tXc,, to+t 6' c, ko oXg0c,. Plat., Sofista, 248 d 04-249 d 04. 144 Plat., I, Sofista, 254 b 07-d 02. 145 Arist., Metaphysica, N, 2, 1088 b 35-1089 a 02: oXXo tv ov +o o+to +j, 146 t +o+o, +o, ol+lo, tk+poj,, oXto+o 6t +o oopjoot op_okc,. comn: 143 En realidad es posible enunciar cada cosa no slo con el enunciado de ella sino tambin con el de otra de manera falsa totalmente, pero, de algn modo, tambin con verdad. Platn trat de responder a ambas cuestiones en el Sofista. Por un lado, muestra que salvo si consideramos que es imposible el conocimiento, no cabe excluir del Ser el reposo ni el movimiento. En el Ser se encuentran simultneamente ambas realidades, de modo que una ontologa que no quiera ponerse en desacuerdo con las condiciones del conocimiento, no puede aniquilar la actividad del sujeto ni arruinar la consistencia del objeto (pues lo cierto es que el mundo fsico se encuentra en cambio continuo). Por otro lado, el cambio y el movimiento pueden asumirse 144 gnoseolgicamente a travs del mtodo de divisin y a raz de la comunicacin entre los gneros, lo cual explicara que, en cierto sentido, el No-Ser sea. Pero la falta de 145 una teora de la predicacin efectiva lastra en este punto el anlisis platnico. Es normal que Aristteles se sintiera poco satisfecho con esta solucin; de hecho reprocha a Platn que se entretuviera en aporas arcaicas: 146 As pues, muchos son los motivos de la desviacin hacia estas causas y el principal es haber aporetizado arcaicamente. El tercer captulo del libro primero de la Physica muestra uno de los anlisis ms brillantes de la historia de la filosofa en donde, a partir nicamente de la teora 50 Arist., Physica, A, 3, 186 a 24-25: oXc, Xopovtt +o ov Xtyto0ot, 147 Xtyotvou oXXo_c,. Arist., Physica, A, 3, 186 b 35-187 a 11: t o6totpt+cv po +o v, tvtot 6' 148 tvt6ooov +o, Xoyot, oo+tpot,, + tv o+t ov+o tv, tl +o ov tv ogolvtt, o+t to+t +o g v, + 6t tk +j, 6t_o+olo,, +oo ot(oov+t, tyt0g. ovtpov 6t ko o+t ok oXg0t, c,, tl tv ogolvtt +o ov ko g oov +t oo +gv ov+lootv, ok to+ot o0tv g v o0tv yop kcXtt, g oXc, tlvot, oXXo g v +t tlvot +o g v. +o 6t 6g ovot, op' o+o +o ov tl ( +t to+ot XXo, tv ov+o toto0ot, +oov. +l, yop ov0ovtt o+o +o ov tl g +o otp v +t tlvot; tl 6t +ou+o, o6tv oc, kcXtt oXXo tlvot +o v+o, cotp tpg+ot. o+t tv ov o+c, tv tlvot +o ov o6vo+ov, 6jXov. categorial, se refuta la tesis eletica fundamental (el Ser es uno) sostenida por Meliso y Parmnides. Todas las dificultades del eleatismo para poder dar razn de la realidad y de las posibilidades del lenguaje y del conocimiento proceden de suponer que el Ser ha de entenderse siempre en un sentido absoluto y nico, aunque en realidad quepa tomar al Ser en muchos sentidos. De manera que: 147 (1). En el orden ontolgico, la posibilidad de cambio podr ser contemplada a partir de Categoriae de sustancia primera, esencia, materia, forma, potencia y acto. (2). Paralelamente en el orden lgico, la posibilidad de formular proposiciones y la predicacin dependen de un hecho: que el Ser no tiene unidad per se de gnero; sus aspectos no son fundamentalmente idnticos, sino que varan: (a). En el lenguaje con relacin a diferentes sentidos (que dependen de las categoras). (b). En relacin con las ciencias particulares consideradas (pues su objeto no es siempre el mismo, sino una parcela del Ser delimitada o conjunto de esencias). (c). En razn del conocimiento previo del lenguaje (o conocimiento simpliciter). De manera que es preciso entender qu significa el Ser: 148 Algunos nos han trasmitido ambos argumentos: el que afirma que todas las cosas son una porque Ser significa una cosa, con lo cual supone que el No-Ser es, y el argumento de la dicotoma, que supone magnitudes indivisibles. Pero evidentemente no es verdad que, si Ser slo significa una cosa y no es posible al mismo tiempo la contradiccin, entonces el No-Ser no es. Porque 51 nada impide que haya, no el No-Ser absoluto, sino un cierto No-Ser. Por otra parte, es absurdo decir que Todo es Uno porque no puede haber nada fuera del Ser mismo. Pues qu se ha de entender por el Ser mismo sino lo que propiamente es?. Pero si esto es as, nada impide que las cosas sean mltiples. Es evidente, entonces, que el Ser no puede ser uno en ese sentido. Lo ante rem en Platn condena al Ser a consistir en una identidad lgica y ontolgica perpetua. Pero, en Aristteles, una vez liquidado lo ante rem, el Ser se encuentra compuesto por sustancias primeras, es decir, por cosas nicas e individuales, diferentes todas entre s, las cuales componen una totalidad perennemente diversa que los seres humanos reducimos en lo post rem a algo idntico a travs de la denominacin de Ser y de las categoras. Ese todo-lo-que-es ontolgicamente resulta tan diversa en cada momento como cada sustancia primera en s misma de las cuales se compone. Somos los seres humanos quienes nos vemos obligados a reducir tal diversidad a la unidad conceptual a travs del lenguaje definiendo incluso aquello que es lo ms individual y nico de una manera genrica como todo-lo-que-es. No cabe entender que el Ser sea un gnero salvo desde una perspectiva general e insuficiente que no contemple sus diferencias. Verdaderamente nada puede ser tan individual como aquello que en cada momento se compone de sustancias primeras, cada una de las cuales es diferente del resto de las otras. Sin embargo, el principio de no-contradiccin tiene su dominio en el mbito de lo post rem y, como consecuencia, ser preciso proponer tantas Categoriae como sea necesario para dar razn del cambio en lo in re y adecuar la teora para que sta no pueda violar el principio de no-contradiccin. Con tal objetivo se realiza el anlisis del verbo Ser. C. El verbo Ser Una de las asunciones bsicas de la lgica de primer orden de Frege, reproducida a travs de la notacin de Russell en los Principia, fue que el ser de la conjugacin (representado generalmente a travs de la tercera persona del singular, 52 Zrcher (1952: 3.3.2.4). 149 Haaparanta (1985: 13-14); Zrcher (1952: 3.3.2.4-5): Hintikka (1998: 13). 150 A travs de la predicacin se caracteriza un sujeto S mediante alguna propiedad P. 151 Actualmente se expresa as: P(S). Este sera el caso de las descripciones definidas, las cuales establecen una relacin 152 de identidad con un nombre: aRb. En nuestros das se expresa mediante el signo de igualdad: a = b. Segn la lgica-matemtica se expresa en la forma (x) (P(x) Y Q(x)). 153 Se emplean para ello en la actualidad dos notaciones no excluyentes por el 154 significado del cuantificador existencial y el smbolo: para la identidad; por ejemplo, Dios es; (x) (g = x). para la predicacin; por ejemplo, Hay seres humanos, es decir, hay al menos un ser humano que es; (x) H(x). es) resulta semnticamente ambiguo. En principio, por cuanto afecta al lenguaje 149 natural, no cabra distinguir entre los siguientes cuatro usos enteramente distintos de la partcula es: 150 (1). Predicativo. Sirve para destacar una caracterstica de la sustancia. Por ejemplo: Scrates es sabio. 151 (2). Atributivo. Su objeto consiste en identificar dos trminos con los cuales se conoce a una misma entidad. Por ejemplo: Aristocles de Atenas es Platn. 152 (3). Implicativo. Se emplea con objeto de incluir individuos en clases, stas en meta-clases y as sucesivamente. Por ejemplo: el ser humano es un mamfero. La inclusin o la implicacin genrica se usa para dar un orden, es decir, como modo de caracterizar la extensin de diferentes sustantivos. 153 (4). Existencial. A travs de este uso manifestamos que algo o alguien existe en la realidad, en el mundo exterior fsicamente real. Ella es. En este caso el verbo ser se emplea como idntico al verbo existir o como anlogo a las afirmaciones de existencia que se realizan a travs de la forma hay (en el caso anterior: hay una mujer aqu). Este tipo de proposiciones realizan una afirmacin sobre la realidad presente de una entidad fsica perceptible. 154 53 Zrcher (1952: 3.3.2.5). 155 Moravcsik (1967: 127). 156 Kirwan (1971: 100-101,141). 157 Weidemann (1980: 78). 158 Gmez-Lobo (1980: 79). 159 Le Blond (1970: 147-184). 160 Reale (1992: 48-49). 161 El hecho de que la notacin de Russell introduzca diferentes functores para cada uno de los casos aludidos se traduce, alter alia, en la crtica del empleo sintctico sin restricciones del verbo ser. De ello parece poder concluirse que quien utilice 155 el verbo ser sin discriminar los anteriores cuatro usos (e, incluso, sin determinar en cada momento a cul est haciendo alusin) se expresar ambigua y equvocamente. Los problemas de una teora incapaz de diferenciar entre tales usos se considerarn de mala construccin; los problemas que encuentre se tratar de pseudo-problemas. Es preciso re-introducir las anteriores cuatro clusulas sintcticas a travs de un simbolismo que obedezca a una gramtica lgica si se desea que el empleo semntico del lenguaje sea consistente y si se pretende que a travs de l quepa formular verdaderos problemas. Esto significa que sobre la metafsica tradicional pende una espada de Damocles (pues precisa un filtro). No han sido pocos los autores que de un modo u otro han aceptado la tesis de la ambigedad del verbo de Frege y Russell como elemento importante dentro de su marco de interpretacin. Pero su mbito tambin ha afectado a otros muchos autores no necesariamente iniciados en la orientacin analtica anglosajona (como, por ejemplo, Cornford, Ross, Guthrie, Cherniss, Viastos, Ryle y Heinrich Maier). Todava hoy es invocada por aristotlicos de pro hasta el punto de haberse convertido en cuasi un automatismo: ese ha sido el caso de Moravcsik, Kirwan, Weidemann y, muy 156 157 158 en particular, de autores tan alejados en el tiempo y en la orientacin como Gmez Lobo, Le Blond y Reale. 159 160 161 Paradjicamente se cree que Aristteles incurre en el error de no distinguir entre los usos de Ser cuando ese es el ncleo que su filosofa enfrenta al eleatismo. Los 54 Arist., Categoriae , 1 a 01-02. 162 Arist., Metaphysica, , 1, 1003 a 21-22. 163 problemas que dan pie al anlisis de Frege y Russell (los cuales inspiran la lectura alfa) no son aquellos que enfrenta Aristteles. Los dos primeros parten de la creencia racionalista en el progreso del conocimiento y de la fe en que el ideal de la ciencia es lo matematizable. Lo filosfico juega un papel muy limitado; nicamente debe aparecer como modo de clarificacin de las ciencias. En cambio, lo crucial en el planteamiento de Aristteles es que, adems de lgico, responde a una necesidad ontolgica, no a una mera creencia de cul debe ser el curso de las ciencias o la funcin de la filosofa. Su objeto es a priori ms amplio pues el tema de la unidad de la ciencia no parece que quepa ser resuelto a base de matemticas (de hecho, por ejemplo, tal creencia parece difcilmente matematizable). Aristteles no incurre en un uso ambiguo del verbo ser porque su oposicin al eleatismo radica en el modo de delimitar en qu sentido se dice que las cosas son. La crtica de la ambigedad del uso del trmino ser no parece aqu aplicable. Hay varios momentos en los cuales el empleo del dialcto tico en el que se expresa posee exactitud analtica: 1. En las Categoriae, desde la primera lnea declara qu significa realizar un uso homnimo de las palabras: 162 Se llaman homnimas las cosas cuyo nombre es lo nico que tienen en comn, mientras que el enunciado correspondiente de la entidad es distinto. Tendra algn sentido comenzar con tal definicin para acto seguido incurrir en aquello que cabe denunciar a travs de ella?. 2. Hemos visto que al inicio del libro de la Metaphysica, aparece formulada la conocida declaracin: 163 55 Arist., Metaphysica, , 1, 1003 a 22-26. En 22-23: o+g 6` to+v o6ttq +cv 164 tv tptt Xtyotvcv g o+(. Arist., Metaphysica, , 2, 1003 a 33-34: Jo 6t ov Xtyt+ot tv oXXo_c,, 165 oXXo po, tv ko lov +tvo otv ko o_ ocvc,. Arist., Metaphysica, , 2, 1003 b 06-10: +o tv yop o+t oolot, v+o 166 Xtyt+ot, +o 6' o+t o0g oolo,, +o 6' o+t o6o, tl, oolov g 0opo g o+tp(ott, g oto+g+t, g otg+tko g ytvvg+tko oolo, g +cv po, +gv oolov Xtyotvcv, g +o+cv +tvo, oooott, g oolo, 6to ko +o g ov tlvot g v otv. Hay una ciencia que estudia el Ser, en tanto que es, y los atributos que le pertenecen. Acto seguido subraya que tal ciencia no se corresponde con ninguna de las ciencias particulares (pues ninguna otra se ocupa de cuanto universalmente es sino tan slo de una parte). Cuando creemos que una ciencia lo es en funcin de su 164 grado de matematizacin, obviamente enfrentamos el pensamiento de Aristteles desde un enfoque racionalista que no contempla que la filosofa primera sea una ciencia anterior a las matemticas. Ello no significa per se una objecin sobre el buen uso que realiza del verbo ser. Por eso, en el segundo captulo aade: 165 Lo que es se dice en muchos sentidos, si bien en relacin con una sola cosa y a cierta naturaleza nica y no por mera homonimia. En consecuencia, toda reflexin acerca del lenguaje y sobre la realidad habr de partir necesariamente del reconocimiento de tal hecho incuestionable; es decir, de la manera como se dice en cada caso particular que las cosas son entes: 166 En efecto, unos se dicen entes porque son sustancias; otros, porque son afecciones de la sustancia; otros, porque son camino hacia la sustancia, o corrupciones o privaciones o cualidades de la sustancia, o porque producen o generan la sustancia o las cosas dichas en orden a la sustancia, o porque son negaciones de alguna de estas cosas o de la sustancia. Por eso tambin decimos que el No-Ser es No-Ser. 56 Arist., Metaphysica, , 2, 1003 a 33-34. 167 Arist., Metaphysica, , 2, 1003 b 05-06: o+c 6t ko +o ov Xtyt+ot 168 oXXo_c, tv oXX` oov po, lov op_(v. Acerca de la extensin ontolgica de Categoriae de fsicas de la potencia y el acto, 169 ver Arist., Metaphysica, , 1, 1046 a 01-02 Bonitz (1871: 714 a 20). 170 Arist., Metaphysica, , 7, 1017 a 07-10: Jo ov Xtyt+ot +o tv ko+o 171 ouptpgko, +o 6t ko0` o+o, ko+o ouptpgko, tv, oov +ov 6lkotov ouotkov tlvol otv ko +ov v0pcov ouotkov ko +ov ouotkov v0pcov; 1017 a 19- 23: +o tv ov ko+o ouptpgko, tlvot Xtyotvo o+c Xtyt+ot g 6to+t + o+ v+t c op_tt, g o+t v+t tktlv op_tt, g o+t o+o to+tv op_tt o o+o ko+gyopt+ot. El empleo de la forma Ser remite a cierta unidad, a una misma nocin o significado (el cual es universal en la medida en que siempre se encuentra supuesto en cualquier uso del verbo). De ah que se refiera a una nica naturaleza, ( ) subrayando una aseveracin: lo que es se dice en muchos sentidos pero 167 relativos a un nico principio. La unidad de la referencia posibilita el campo del 168 filsofo (es decir, que exista algo capaz de poder ser investigado en cuanto que es). Tal anlisis metafsico permite el uso indiscriminado del verbo ser segn convenga?. No parece que el anterior prrafo admita semejante lectura. 3. Las propias Categoriae enuncian usos de Ser, pues, a travs de ellas, se alude no slo al ser de lo que cada cosa es (sustancia primera) sino adems a sus determinaciones: cuntas son, cules, de qu tamao o proporcin, dnde, cundo, etc. 4. El captulo sptimo del Libro de la Metaphysica constituye el compendio ms cannico y completo del modo en que cabe emplear el verbo Ser. Aristteles 169 distingue cuatro usos lingsticos: (a). Accidental. 2uptpgko, alude a aquello que es de manera casual, sin 170 necesidad. Como por ejemplo del ser matemtico no se deriva el ser msico. 171 57 Arist., Metaphysica, , 7, 1017 a 23-27: ooo_c, yop Xtyt+ot, 172 +ooou+o_c, +o tlvot ogolvtt. tt ov +cv ko+gyopoutvcv +o tv +l to+t ogolvtt, +o 6t otov, +o 6t ooov, +o 6t po, +t, +o 6t ottv g oo_ttv, +o 6t o, +o 6t o+t, tkoo+ +o+cv +o tlvot +o+o ogolvtt. Arist., Metaphysica, , 7, 1017 a 31-33: o I o 173 u, o c q I f uc uu f. o c u. Bonitz (1871: 31 b 45 y 862 a 02). 174 Arist., Metaphysica, , 7, 1017 a 35-1017 b 02: t+t +o tlvot ogolvtt ko +o ov 175 +o tv 6uvott pg+ov +o 6' tv+tXt_tlq +cv tlpgtvcv +o+cv. Prrafos que contienen afirmaciones acerca de la existencia son: 176 (1). Sobre Homero en Arist., De Interpretatione, 11, 21 a 25-27: Cgpo, to+l +t, oov otg+(, op' ov ko to+tv, g o; ko+o ouptpgko, yop ko+gyopt+ot +o to+tv +ou C(pou. (2). Sobre Scrates en Arist., Categoriae , 10, 13, b 27-29: t 6t yt +j, ko+oootc, ko +j, ooootc, otl, tov +t q tov +t g q, +o tv t+tpov to+ot tu6o, +o 6t t+tpov oXg0t,. (b). Categorial. Se refiere a las distintas figuras de la predicacin, cada una 172 de las cuales emplea un uso del verbo ser. (c). Semntico, es decir, ser y no ser entendidos como verdadero y falso 173 respectivamente. Por ejemplo, a la pregunta de si Scrates es msico, la afirmacin 174 lo es indica que es cierta la interrogacin planteada. Implica no la declaracin de un hecho sino el que ese hecho es verdadero. (d). Dinmico, como estar en potencia y / o estar en acto. 175 5. El Libro Z de la Metaphysica contiene otras Categoriae que constituyen modos a travs de los cuales expresamos el Ser de las cosas: como forma, materia, el compuesto de ambos o aquello que subyace. Ha habido quien ha credo poder eliminar el uso existencial del verbo ser de los textos de Aristteles. Y ello a pesar de que hay varios pasajes en la obra del Estagirita donde tal uso es innegable. Una de las argumentaciones en contra de la 176 presencia de usos existenciales en la filosofa de Aristteles recibe la denominacin 58 Gmez-Lobo (1980: 79). 177 Arist., Metaphysica, 3, 1005 b 15-17: jv yop ovoykoov t_ttv +ov o+touv 178 uvttv+o +cv v+cv, +ou+o o_ o0tot, o 6t yvcpl(ttv ovoykoov + o+touv yvcpl(ov+t, ko jkttv t_ov+o ovoykoov. de teora de la elipsis. Gmez-Lobo adujo contra la presencia de la ambigedad 177 sealada por Russell la alegacin sorprendente de que el uso del verbo ser no poda ser equvoco en Aristteles por tener siempre valor predicativo. Cuando de manera evidente parece no ser as (por ejemplo, en los pasajes que lo aconsejan), debera considerarse elptico este uso (id est, siempre cabe encontrar un modo de reducir el aparente uso existencial al predicativo). Si bien hay un modo de realizar la transformacin a la cual alude Gmez Lobo, hay que puntualizar que: (1). Esta no parece derivarse del dialecto tico. (2). No cabe transformar de una manera trivial algunos otros ejemplos de usos inconfundiblemente existenciales que se suceden concretamente en el libro de la Physica y en el libro A de la Metaphysica. (3). El principio de identidad est justificado por su carcter incondicionado; es ms, el pensamiento no puede prescindir de l si desea comprender: 178 Y aquello que necesariamente <ya> ha de conocer el que conoce cualquier cosa es algo que uno, a su vez, debe conocer por necesidad cuando viene a conocerla..
En las ciencias, en la tecnologa y en la vida ordinaria se nos imponen evidencias de hechos, ratificadas por acuerdos unnimes, que no pueden ser contravenidos a travs del razonamiento. Hay una razn colectiva del gnero humano, fundada sobre la comunidad perceptual la cual rige para todos y contiene de algn modo ya la verdad expresada en la progresiva coincidencia de las opiniones; los juicios convergentes de la humanidad no pueden equivocarse sobre lo comnmente percibido y persistir en el error; si lo universal es el objeto de la ciencia, el sentido comn de las generaciones a travs de los tiempos ha de haberlo contemplado; debemos considerar 59 Arist., Topica, A, 3, 100 b 21-23. 179 como aberraciones aquellos puntos de vista individuales que contravengan el sentido comn, la tradicin y la experiencia de generaciones de seres humanos. Tales singularidades pueden servirnos para desarrollar nuestro pensamiento, pero toda aproximacin a la verdad se realiza a travs de lo plausible; para ello es preciso confiar en el sentido comn, en la tradicin, en la experiencia, en las opiniones de la mayora, en la autoridad de los ms prudentes, de los ms competentes, de los ancianos y de los sabios. 179 A pesar de Gmez Lobo, no slo es probable que Aristteles haga juicios de existencia cuando parece que los est realizando, sino que en el caso del resto de las fuentes griegas, a juicio del Estagirita debemos suponer lo mismo por consenso comn. Sobre esto realizaremos un anlisis mucho ms detallado en el siguiente captulo. 60 61 Arist., Ethica ad Nicomachum, K, 2, 1172 b 36-1173 a 01: o yop ot 6okt, 180 +ou+' tlvol otv. Arist., Analytica Posteriora, A, 1, 71 a 01-02: oo 6t6ookoXlo ko oo 181 o0got, 6tovog+tkg tk pouop_oog, ylvt+ot yvcotc,. 3.3. El conocimiento simpliciter. Lo mismo que Herdoto gusta de recoger toda suerte de detalles en su prosa, esa tendencia del espritu aristotlico se afirma en cierta frmula, la cual expresa que la Metaphysica y la ciencia no es sino un esfuerzo colectivo o empresa comn: 180 Porque el parecer de todos es expresin del Ser. No slo es frecuente en la mayora de sus tratados capitales que se aluda al modo como se dice algo, sino que existe un compendio en el que se recogen, a modo de cajn de sastre, varias interrogaciones (que hoy en da nos sorprenden por su falta de relevancia) para las cuales no se encontraba un conocimiento cientfico que las considerara su objeto: Problemas. El lector contemporneo apenas encuentra nada de inters en la obra; por un lado, porque los conocimientos a los cuales tiene acceso un bachiller seran contenidos geniales en el siglo IV a. C.; por otro, porque el propio texto recoge interrogantes comunes a modo de compilacin sin otra finalidad que el registro histrico de apuntes no relacionados con el quid de ciencia alguna. Todo ello conduce a examinar detalladamente qu es lo que Aristteles entiende por esa opinin comn, con la que concluamos nuestro apartado anterior. Preguntar por ese parecer mayoritario, por ese consenso colectivo, es interrogarse por lo que ya se sabe de cada tema, por el conocimiento simpliciter, por el saber que nos precede, 181 ( ). En qu consiste este saber?. Se trata del conocimiento de: (1). El lenguaje, en el cual se encuentran definidas las referencias ontolgicas, los correlatos lingsticos de los trminos o esencias. Conocemos las ideas 62 perfectamente si conocemos nuestro propio lenguaje. En el caso de Aristteles se alude al griego tico. (2). De las afecciones del alma, las cuales son idnticas a todos los seres humanos. Aunque el lenguaje sea convencional (pues no hablan del mismo modo ni de lo mismo los griegos que los brbaros), las impresiones de todos los seres humanos s son idnticas. (3). Los axiomas comunes a todas las ciencias. Tales axiomas podran ser reducidos al principio de no-contradiccin (expresado en la relacin reflexiva), los teoremas de reciprocidad (o simetra) y los silogismos (los cuales, manifiestan la relacin transitiva). (4). Los principios especficos a cada una de las ciencias consideradas y de sus Categoriae (siendo especialmente relevante las de la filosofa pues, a su travs, cabe entender la posicin del resto de los saberes y la situacin de la lgica respecto de la ontologa). (5). Lo ya asumido por la tradicin anterior y de todo aquello hacia lo cual convergen las opiniones de los seres humanos. En ello no slo habr de incluirse lo relativo a la nomenclatura sino tambin todos aquellos resultados previos ya conocidos y tomados por verdaderos que constituyen el punto de partida de la generacin siguiente de cientficos y tcnicos. Expresndolo para mayor comodidad del lector a travs de una tabla sinptica tendremos: conocimiento simpliciter lenguaje afecciones axiomas principios lo ya asumido lengua materna impresiones percibidas comunes a todas las ciencias especficos de cada ciencia nomenclatura y resultados previos Tabla 9 63 Todava no ha sido lo suficientemente estudiado el impacto de la prosa de Herdoto sobre la obra de Aristteles (a pesar de que, si bien el contenido de su Metaphysica es de una originalidad sin parangn, la estructura de algunas de sus obras suele ser arcaica). En absoluto aparece en ellas un corpus entendido como un sistema doctrinal cerrado (debido a lo cual las lecturas realista y nominalista pueden sostenerse sin problemas de incoherencia). Su estilo dialctico recuerda en ciertos momentos a la idea que mueve la narracin de Herdoto; tratando de explicar las causas de la guerra entre persas y griegos, las Historias realizan a menudo excursus geogrficos y etnogrficos a travs de una sucesin de relatos de variable inters y de la recopilacin de materiales, los cuales son fruto: (1). De investigaciones directas. (2). De la disponibilidad del historiador para tratar de comprender y encontrar una causa racional que explique cuanto se esconde en los relatos locales. La dimensin religiosa no se encuentra excluida de su obra (lo mismo que tampoco cierto relativismo acerca de las supersticiones regionales). De ah deriva el carcter abierto de la bsqueda: se aceptan hechos legendarios en la medida en que se rechaza la interpretacin mtica y su relato pasa a articularse a travs de una visin directa y crtica, ayudndose de una pasin investigadora laica y racional. Herdoto acepta la tradicin; otra cosa es que encuentre en la literalidad de los relatos que trasmite certeza; eso es algo que queda pendiente y que, a veces, se escruta con ahnco. Ahora bien, narra aquello en lo que ha existido una amplia conformidad con objeto de encontrar la causa racional que permita explicarlo. De modo anlogo Aristteles trasmite en numerosas oportunidades las opiniones de filsofos a cuya fsica es inherente una teologa; esto no lo convierte en un cientista ni en un telogo. No tienen idntico grado de certeza el discurso acerca de la sustancia primera y el de la esencia; tampoco se trata del mismo tipo de esencia el correlato ontolgico al cual se refiere un nombre y aquel otro que alude a la funcin lingstica de cualquier nombre dentro de la proposicin apofntica. No tiene el mismo sentido ni se refieren a la misma certeza el nombre referido a una sustancia primera a la que cabe apuntar con un demostrativo y aquel otro que alude a una sustancia tenida por divina. El relativismo 64 Diels (1934: I, B, fr. 16, 133): /l0lot, +t 0tou, ot+tpou,` otou, tXovo, 182 +t pjtkt, +t yXoukou, ko uppo, <oot tXto0ot>. Candel (1988: 81); Kneale (1962: 33). 183 Arist., Topica, , 14, 163 b 17-33: po, +t +o Xtto+okt, tl+ov+o +cv 184 popXgo+cv ttlo+oo0ot 6t Xoyou,, ko oXto+o tp +cv pc+cv 0totcv tv +o+ot, yop oo6uot+ouotv ol ookptvotvot oXXokt,. t+t +t opcv toptv 6t ko +cv tv6ocv +t ko +cv pc+cv t_ttv po_tlpou, 6to yop +o+cv ol ouXXoytoo ylvov+ot. ttpo+tov 6t ko tl, o Xtto+okt, tl+ouotv ol Xoyot ko+t_ttv. cotp yop tv ytct+plq po tpyou +o tp +o o+ot_to ytyuvoo0ot, ko tv opt0o, +o tp +ou, ktoXtoou, po_tlpc, t_ttv tyo 6totptt po, +o ko +ov XXov opt0ov ytvcokttv oXXoXoototvov, oolc, ko tv +o, Xoyot, +o po_ttpov tlvot tp +o, op_o,, ko +o, po+oott, oo o+oo+o, ttlo+oo0ot. ko0otp yop tv + vgovtk ovov ol +oot +t0tv+t, t0u, otouotv o+o vgovtttv, ko +ou+o ot(ott ouXXoyto+tkc+tpov 6to +o po, cptotvo, o+o, pXtttv ko+' opt0ov. po+oolv +t kotvgv XXov g Xoyov tl, v(gv 0t+tov op_j, yop ko o0totc, topjoot t+plc, _oXtov. no apunta aqu hacia el escepticismo o la teologa (como en el caso de Jenfanes) 182 sino a la diversidad inherente a las diferentes ciencias (en lo relativo a mtodo, objeto de estudio y finalidad). El mejor modo de comprender cmo los diversos elementos del conocimiento simpliciter interactan es atender a la ciencia ms sencilla de todas, las matemticas (de ah que se propongan en numerosas oportunidades como ejemplo). 1. Aristteles y Euclides. Es sabido que Topica constituye una obra insoslayable de Aristteles pues contiene el croquis de cuanto puede encontrarse en Analytica. En ella aparece una 183 ilustracin elemental del procedimiento necesario para el aprendizaje bsico de las matemticas. No obstante, hay cierto inconveniente a salvar pues el primer tratado 184 conservado son los Elementa y dado que la madurez de Aristteles y la de Euclides dista en medio siglo, podra ocurrir que: (1). Sus planteamientos fueran divergentes. (2). No existieran bastantes puntos de coincidencia ni evidencia suficiente como para poder ilustrar el pensamiento aristotlico a travs del celebrrimo tratado eucldeo 65 Boyer (1986: 145). 185 Proclus (1876: 66, 14-67.3 y 69.12-16); Lasserre (1987: 133, 293 y ss.); Thomas 186 (1957: I, 153). Puertas (1991: 48 y ss.) 187 Lasserre (1987: 397-422). 188 Arist., Metaphysica, K, 1, 1059 b 25-27. 189 (ni viceversa). Afortunadamente los Elementa no fueron una empresa individual del matemtico alejandrino; constituyeron el cenit de toda una tradicin de tratados hoy en da desaparecidos. Proclo seala que tres autores cobraron reputacin componiendo 185 volmenes de tal ndole: Hipcrates de Quos, Len y Teudio de Magnesia. 186 Aristteles tuvo la posibilidad de consultar el primero y los otros dos autores estuvieron directamente vinculados al mbito de la Academia; es posible que, exceptuando aquellas innovaciones terminolgicas y los teoremas propios de Euclides, los Elementa contengan resultados y un orden dispositivo ya conocidos en la Atenas del siglo IV a. C. y al alcance del Estagirita. Proclo vio en el prtico axiomtico una expresin de los Analytica Posteriora; 187 desde entonces se comparan los ejemplos que aparecen en ellos con los enunciados eucldeos. Pero Aristteles no deseaba proponer un tratado matemtico; 188 simplemente ilustra, a travs de ejemplos matemticos triviales, aquello que hoy denominaramos la forma lgica del lenguaje y de la expresin cientfica. Una vez comprendido lo que a travs de aqullos se pretende, deben ser evitados pues: (1). Parte del ejemplo no tiene nada que ver con el quid del cual se trata. (2). El ejemplo adolece de algo crucial en la ciencia: de la universalidad, pues todo enunciado y toda ciencia es de lo universal y no de los entes concretos. Si esto 189 fuera cierto, el ejemplo slo tendra valor pedaggico. Esta apreciacin es sensata y se admite comnmente. A pesar de ello, el ejemplo no fue siquiera en la Antigedad Clsica, el hermano pauprrimo de la ciencia; su funcin dentro de la toycy( constituye la nica va para el desarrollo de las ciencias empricas y la tecnologa. 66 Arist., Metaphysica, E, 4, 1027 b 25-28. 190 Arist., Metaphysica, , 10, 1051 b 06-09. 191 Arist., De Animalium Motu, 1, 698 a 11-14: 6t 6t +ou+o g ovov + Xoy 192 Xoptv, oXXo ko t +cv ko0' tkoo+o ko +cv olo0g+cv, 6t' otp ko +ou, 2. Verdad Material y Verdad Formal. Insistamos que en Aristteles cabe encontrar dos definiciones diferentes de lo verdadero: (1). La verdad formal se da en el pensamiento o en el lenguaje; no es algo que aparezca en el ser o en las cosas (que, no obstante, son lo nico que existe). 190 Tampoco hay verdad formal en las definiciones ni en los axiomas. La transitividad ha de establecerse siempre desde los axiomas y las definiciones hasta los teoremas o bien desde los teoremas ya demostrados a los que se pretende demostrar. El significado de tales definiciones y axiomas pertenece al conocimiento simpliciter. Pero no todas las ciencias son demostrativas. Las ciencias empricas y las aplicadas (a las cuales en la actualidad denominamos tecnologas) no dependen de la transitividad. Por ejemplo, la nica manera de determinar la resistencia o la conductividad de un material es probarlo. Cabr luego, a posteriori, cuantificarlo en una escala de resistencias o conductividades, pero ninguna anticipacin formal permitir derivar todas las proposiciones fsicas de un elemento material en cualquier circunstancia. La nocin de verdad formal resulta insuficiente por cuanto afecta a las ciencias experimentales y la tecnologa. (2). La verdad material existe pues, con independencia de su sintaxis, una proposicin podr ser verdadera tambin en la medida en que exprese algo que se ajuste a lo que sucede en el mundo exterior; aqu la medida de la verdad depende de las cosas reales, no de la transitividad inherente a los conceptos o proposiciones o su reduccin a primeros principios. De ah que las ciencias empricas y aplicadas 191 resulten para Aristteles mucho ms complejas que las formales pues implican, adems de transitividad, la adaptacin de los conceptos y del lenguaje a la experiencia. La verdad depender no slo de la demostrabilidad formal de una 192 67 ko0oXou (g+outv Xoyou,, ko t' cv topo++ttv olot0o 6tv o+o,. Kirk (1981: 79). 193 Boyer (1986: 102); Freeman (1946: 381-391). 194 Kirk (1981: 319-320). 195 Lyons (1984:185 y ss.) 196 Lyons (1984:193). 197 proposicin sino de la manera en que refleje a la experiencia o empeira. Cada ciencia implica un conocimiento simpliciter adecuado de modo especfico a las formas que considere y a los fines que persiga; existir una coincidencia en lo relativo a los primeros principios (pues los comparten todas las ciencias) pero tambin una discrepancia en lo relativo a la materialidad de los objetos de estudio y los resultados obtenidos en cada disciplina. 3. Extralimitaciones de la Ciencia. No todo lo que en un momento (o por unas personas) es considerado como conocimiento simpliciter lo es en realidad. Una investigacin es falaz cuando permite extrapolar consecuencias que no se derivan necesariamente de principios ni de resultados previos. Esto se reprochaba desde antiguo a los pitagricos pues orientaban la ciencia hacia fines tan bastardos como la poltica, la supersticin, la magia o la sofstica. La ciencia ha de ser pblica (por eso, disponen de resultados cientficos 193 tambin el sofista y el chamn) pero, adems, si no se encuentra vertebrada en 194 funcin de un orden riguroso, puede ser empleada de manera demaggica. As, en 195 tiempos de Aristteles, los iatromantes actuaban a la vez como mdicos y videntes; 196 cuando la ciencia no les alcanzaba cambiaban de registro y se travestan en adivinos. Hacia el siglo IV a. C. el iatromante ateniense todava rivalizaba con el objetivismo de las escuelas de Cos y de Cnido (debido a la simplicidad y escasez de tratamientos de stas ltimas). La propensin a la hechicera fue el ejemplo que la tradicin 197 doxogrfica ilustr a travs del caso renombrado del antecesor de cualquier 68 Kirk (1981: fr. 40, 308). 198 Slo en cinco oportunidades, tres posiblemente espurias: Plat., Repblica, 600 b 199 02; Arist., Metaphysica, A, 5, 986 a 30: ko yop |tytvt+o +gv gXtklov{ `/Xkolcv [t ytpov+t u0oyopq,] ot(vo+o [6t] opoXgolc, +o+ot,; Arist., Rhetorica, B, 23, 1398 b 15: ko `I+oXtc+ot u0oyopov; Kirk (1981: 308); Arist., III, frg. 24.22- 31, ad. 1086 a 18. Knorr (1975: 87-96). 200 Sus descubrimientos acerca de la teora generalizada de la proporcin aparecen en 201 los Libros V, VI y XII de Euclides; vase Euclides (1883: I, 73 y ss.) y Milln (2004: 94). 202 Sus innovaciones se presentan en el Libro X de Euclides; vase Euclides (1883: I, 88 y ss.), Kline (1992: 78) y Knorr (1975: 83-87). matemtico, Pitgoras (al cual los acadmicos apenas citan). De ah que en la prosa 198 de Aristteles, habitualmente moderada, se aprecien signos de rechazo cuando ha de referirse a la actitud de los pitagricos, pues en ellos se produjo la corrupcin mayor: la del hombre de ciencia metido a charlatn. 199 El enfoque del clculo de reas pitagrico ya fue superado por Hipcrates de Quos. Posteriormente, durante el siglo IV a. C., los gemetras griegos propendieron 200 a sistematizar los aportes conocidos desde una perspectiva nueva capaz de incorporar los descubrimientos de Eudoxo y Teteto de manera rigurosa y deductiva. As 201 202 pues, el conocimiento simpliciter de cada especialidad obedece en parte a un consenso comn (sobre el cual concurren la opinin de los cientficos de ese campo de especialidad), pero eso no significa que no existan unas ciertas condiciones formales comunes que deba de cumplir. El problema con la secta pitagrica afecta a la gnesis de las matemticas como fenmeno histrico, pero tambin al de todas las ciencias; las proposiciones verdaderas se suelen conocer antes de haber determinado su fundamentacin. Esto implica que caben dos presentaciones distintas de la verdad formal: en virtud de lo anterior por naturaleza y en funcin de lo anterior para nosotros. Una cosa es disponer de resultados cientficos y otra, que stos vengan dados en el orden expositivo correcto. Slo en este ltimo caso cabe hablar en trminos de necesidad (y, en consecuencia, de ciencia demostrativa) pues la verdad formal de una teora depende del orden de presentacin en la prueba. 69 Arist., Analytica Posteriora, B, 10, 93 b 38-39: E, tv 6g opo, to+v opou o 203 tlpgtvo,, XXo, 6` to+v opo, Xoyo, o 6gXcv 6to +l to+tv. Lo anterior por naturaleza es la ciencia ya axiomatizada. Se trata: (1). De un saber expuesto de manera ordenada. (2). De un conocimiento verdadero. El esquema formal demostrativo es una exigencia que se mantiene para cualquier teorema mientras que la validez material de cada uno vara en relacin a la especialidad y al resultado considerado. El teorema de Pitgoras es anterior y ms conocido para nosotros. Pero lo ms cercano, no es meramente lo anterior, ni lo ms universal, sino justo lo ms singular. Tal resultado, una vez conocido, debe disponerse y subordinarse en orden a principios universales. Es el matemtico quien invierte la relacin entre lo meramente anterior y lo anterior para nosotros revelando que los principios de la ciencia son realmente anteriores y universales, mientras que las demostraciones de cuantas cabe tener conocimiento pero no ciencia son posteriores y particulares. De este modo se clausura el campo al cual un teorema se refiere y se evita la extrapolacin. Anteriores por naturaleza son las definiciones, los axiomas y las nociones comunes. A travs de ellos para toda afirmacin cientfica se ha de encontrar un orden de derivacin y, por tanto, una predicacin justificativa. La ciencia demostrativa no consiste en una mera acumulacin de ideas verdaderas; no basta con demostrar que una proposicin sea cierta; es preciso adems probar el porqu lo es. 203 El teorema es anterior para nosotros, pero el axioma es anterior por naturaleza y el orden de un sistema formal debe ir: (1). Desde las definiciones y la base axiomtica considerada hasta los teoremas y demostraciones (2). O bien desde teoremas ya probados hasta otros por demostrar. La carga deductiva va decreciendo de lo uno a lo otro. Cuanta menor generalidad tenga un teorema, menos se emplear para la demostracin de otros teoremas y su existencia se revelar como ms inmediata; los corolarios aluden a consecuencias directas que pueden ser significativas pero triviales y que, salvo en raras oportunidades, ni siquiera se explican a no ser que su uso sea 70 Arist., Topica, Z, 4, 141 b 03-14. 204 Arist., Analytica Posteriora, A, 1, 71 a 05-06: oolc, 6t ko tp +ou, Xoyou, 205 o +t 6to ouXXoytocv ko ol 6t' toycyj,. Bonitz (1871: 651 a 23); Liddell (1996: 1133 b). 206 frecuente. Pero es claro que el contexto de cuanto se ha descubierto o de lo pedaggicamente aconsejable no equivale al mbito de aquello que resulta anterior en la fundamentacin. 204 Con la nocin de ciencia simpliciter se alude: (1). Al lenguaje cuyo conocimiento antecede al de cualquier ciencia sino tambin especficamente. (2). A los resultados ya mostrados y fundamentados deductivamente que forman parte de un legado tradicional, el cual nos precede y que no tiene porqu ser puesto en duda. El matemtico no precisa de revisar todo los resultados previos una vez que estos ya han sido derivados, del mismo modo que cada bilogo no ha de comprobar que la ballena es un cetceo y que un cirujano no precisa de consultar cul es la primera accin que se ha de intentar ante una apendicitis. Pero Aristteles va ms all y afirma que no slo se conoce previamente a travs de procedimientos demostrativos (silogsticos) sino tambin y, ante todo, mediante la induccin. 205 4. Prtasis Demostrativa y Prtasis Constructiva. 206 Todo el mundo conoce la validez del teorema de Pitgoras por tradicin; forma parte de nuestro conocimiento simpliciter; posiblemente adems se conozca ms de una formulacin; incluso, es factible recordar algn gnero de demostracin (la algebraica es en nuestros das tan corriente que ha hecho caer en el olvido a la interpretacin geomtrica original). Pero en Euclides no slo resulta importante lo demostrado sino tambin el orden demostrativo que permite, a partir de una base mnima de axiomas, generar todas las proposiciones vlidas de la geometra plana, la teora generalizada de la proporcin, la teora de la aritmtica o la geometra del espacio. Para ello es inexcusable el empleo iterativo de cierta regla de transitividad 71 Bonitz (1871: 711 b 49); Liddell (1996: 1673 a). 207 Bonitz (1871: 79 a 34); Liddell (1996: 195 b). 208 Bonitz (1871: 183 b 25); Liddell (1996: 401 a). 209 I.1, I.2, I.3, I.4, I.5, I.7 y I.8; I, 10, 12, 14, 16, 20, 24 y 26; I.11, I.13, I.14, I.15 y 210 I.16; I, 26, 32, 36, 38, 40 y 42; I.22, I.23, I.26, I.27 y I.29; I, 52, 54, 62, 66 y 70; I.34, I.35 y I.37;, I, 80, 84 y 88; I.41, I.46 y I.47;, I, 84, 88 y 96 en todos los casos citados, respectivamente en Euclides (1883). (esquema que Aristteles denomina silogismo o demostracin). Las dos vertientes del silogismo permiten el mismo gnero de transitividad; la diferencia estriba en que el 207 silogismo apodctico parte de axiomas mientras que el dialctico radica en lo 208 209 plausible. El lenguaje de la ciencia precisa de ambos; ahora bien, las conclusiones del primero sern universales y necesarias mientras que las del segundo sern slo probables. El esquema deductivo que prueba el teorema de Pitgoras, deber atender a un orden expresado por Euclides a travs de numerosas prtasis, el cual es bsicamente el siguiente: 210 47 Z 46, 41, 14, 4, nc2 46 Z 34, 31, 29 41 Z 37, 34 37 Z 35, 34, 31 35 Z 34, 29, 04, nc3, nc2, nc1 34 Z 29, 26, 04, nc2 29 Z 15, 13, p5, nc1, nc2 27 Z 16, df23 26 Z 04 23 Z 22, 08 22 Z 03 16 Z 15, 04, 03, nc5, p1, p2 15 Z 13, nc3, nc1, p4 14 Z 13, nc3, nc1, p4 13 Z 11, df10, nc1, nc2 72 Euclides (1883: I, 8). 211 11 Z 08, 03, 01, df10 08 Z 07 07 Z 05 05 Z 04, 03, p2, p1 04 Z nc4 03 Z 02, p3, nc1 02 Z 01, p1, p2, p3, nc1, nc3 01 Z p1, p3, df15, nc1 Las prtasis eucldeas no son enteramente uniformes; en concreto, hay dos tipos muy diferenciados: (1). Prtasis demostrativas, que coinciden con cuanto hoy se denominan teoremas. (2). Prtasis constructivas, las cuales ejemplifican el gnero de problemas que ahora se resuelven a travs del dibujo tcnico. Mientras que las primeras (en tanto que simpliciter) son deductivas, en las segundas se procede a presentar un caso singular (el cual ejemplifica de manera perfecta a toda una clase) y su resolucin por construccin (generalmente empleando regla y comps). El papel de estas ltimas en los tratados analticos viene expresado: (1). A travs de los numerosos ejemplos. (2). Mediante el uso de la analoga. Prtasis constructivas en el anterior esquema deductivo seran las siguientes: 1, 2, 3, 11 y 46; prtasis demostrativas seran las restantes. El lector accidental no es capaz de entender porqu Euclides, por ejemplo, presta tanta atencin al modo de construir un tringulo equiltero sobre un segmento, a la traslacin de un segmento cualquiera dado sobre un punto arbitrario o a la resta de dos rectas cualesquiera; pero son tales pequeas demostraciones de congruencia de tringulos lo que permite ir demostrando econmicamente teoremas de cierta complejidad. De hecho, la demostracin del teorema de Pitgoras se fundamenta en ltimo trmino en la construccin de un tringulo equiltero a partir de un lado dado 211 73 Arist., Metaphysica, , 1, 1046 a 01-02. 212 Ross (1957: 112-115); Moreau (1962: 113). 213 Bonitz (1871: 264 a 05). 214 Ross (1957: 61). 215 y este proceder opera de facto a travs de ejemplos. Ese mismo mtodo expositivo vena siendo elaborado por Aristteles en sus tratados a travs de categoras, pero su precisin y rigor resultan sensiblemente menores pues: (1). Al ser aplicadas de modo dialctico all donde todava no se dispone de nada cierto o incluso de ningn conocimiento, stas pueden aparecer ad hoc: as ocurre con Categoriae de potencia y acto, originadas en un principio en los estudios fsicos y aplicada al caso de la biologa y la ontologa de forma posterior; algo 212 parecido ocurre con la teora de las cuatro causas (a la cual termina aadiendo una quinta: el azar). 213 (2). Son instrumentos de investigacin del anlisis, es decir, no pertenecen al contexto de fundamentacin de lo que siglos ms tarde Alejandro de Afrodisia denominara lgica. 5. Silogismo e Induccin. El procedimiento demostrativo o silogismo es propio de los teoremas. La induccin o toycy(, en cambio, se relaciona con las construcciones, con el 214 procedimiento que emplea una magnitud, dimensin o forma arbitraria la cual, sin embargo, se usa como muestra de una clase a travs de la que cabe probar que un conjunto de elementos comparten una propiedad determinada. En este caso no hay adecuacin al esquema silogstico. 215 En las matemticas griegas no se declaran las nociones de conjunto y clase y, sin embargo, se opera con ellas. Pero adems, al tomar como eje explicativo el ejemplo se corre siempre el peligro de que la derivacin lgica no exista y la prueba sea intuitiva; en tales casos hay riesgo de implicar algo que no se haba declarado 74 Euclides (1883: I ,10). 216 Euclides (1883: I, 8). 217 Kline (1992: 99 y ss.). 218 Arist., Analytica Priora, A, 10, 76 b 39-77 a 03: o6` o ytct+pg, tu6j 219 o+l0t+ot, cotp +tvt, tooov, Xtyov+t, c, o 6t + t6tt _pjo0ot, +ov 6t ytct+pgv t6to0ot Xtyov+o o6tolov +gv o o6tolov g t0tov +gv ytypotvgv ok t0tov ooov. o 6t ytct+pg, o6tv outpolvt+ot + +(v6t tlvot ypogv jv o+o, t0tyk+ot, oXXo +o 6to +o+cv 6gXotvo. Vase tambin Fowler (1987: 108). Arist., Topica, A, 12, 105 a 13-14: toycyg 6t g oo +cv ko0' tkoo+o 220 t +o ko0oXou to6o,. previamente. Esto ocurre, por poner un ejemplo, en la primera proposicin de los Elementa. Euclides supone que dado un segmento AB, al trazar desde A y B dos 216 arcos de circunferencia de longitud AB, se cortarn en un punto C. Para justificarlo, invoca el primer postulado; por desgracia, la demostracin, aunque intuitivamente 217 correcta, resulta lgicamente ilegtima pues sobreentiende un postulado de continuidad no declarado; en ausencia del mismo los crculos no tendran porqu encontrarse. Euclides parece dejarse llevar a menudo en sus construcciones por la representacin diagramtica. Ah se desplaza el punto de partida desde axioma hacia el ejemplo y, en consecuencia, parece bascular de lo demostrativo hacia lo dialctico, de lo lgico a lo intuitivo. Esta impresin aparece en las definiciones previas que se asumen en cada libro del tratado eucldeo (de ah que haya cierta variedad interpretativa acerca del Libro II a la hora de expresar algebraicamente su contenido). Tal libertad se produce 218 porque tampoco hay un planteamiento general riguroso; ni siquiera existe la nocin de espacio eucldeo ni de magnitud. Se opera de inmediato con una serie de objetos que se introducen por definicin o que se van construyendo inductiva y arbitrariamente. 219 La induccin es un mtodo capaz de concluir en una regla general partiendo de casos particulares. Ejemplo procede de ejemplar, de un caso privilegiado en el 220 cual aparece representado de manera paradigmtica algo que se pretende mostrar. Psicolgicamente resulta importante, pues la captacin de lo universal no se realiza a 75 Arist., Topica, A, 12, 105 a 10-12: Ztcptotvcv 6t +o+cv _pg 6ttXto0ot 221 ooo +cv Xoycv t6g +cv 6toXtk+tkcv. to+t 6t +o tv toycy(, +o 6t ouXXoytoo,. Arist., Topica, A, 18, 108 b 09-11: po, tv ov +ou, tok+tkou, Xoyou,, 222 6to+t +q ko0' tkoo+o t +cv oolcv toycyq +o ko0oXou otoutv toyttv o yop pq6tov to+tv toyttv g tl6o+o, +o ooto. Este gnero de problemas han aparecido a menudo en las concepciones lgicas. No 223 siempre se admite la ley de tercero excluido, el mtodo de reduccin al absurdo, etc como procedimiento lgicos vlidos; a propsito de tales lecturas vase Quine (1984: 41 y ss.) Arist., Ethica ad Nicomachum, Z, 3, 1139 b 17-24. 224 Arist., Topica, , 1, 155 b 34-35: v 6t g +t0q, 6t` toycyj, Xg+tov 225 po+tlvov+o t +cv ko+o tpo, tvov+lcv. Arist., Topica, , 2, 157 a 34-35: C+ov 6` toyov+o, t oXXcv g 6t6 226 +o ko0oXou, +o+t 6lkotov oot+tv tvo+ootv. Arist., Topica, , 2, 157 b 01-02: 6t yop +ov tvto+otvov t` t+tpou +gv 227 tvo+ootv tpttv, g Xtyttv o+t +ou+o ovov +otou+o travs de la abstraccin; aunque la induccin sea un recurso dialctico no consiste 221 en una argumentacin ordinaria, pues permite concluir algo por necesidad partiendo 222 de la observacin. La induccin es un recurso tanto del cientfico como del filsofo y del tecnlogo. En las matemticas un interlocutor puede no aceptar una determinado axioma o definicin y resultara imposible argumentar a travs de silogismo. 223 Ahora bien, parece una ilusin creer que la opinin y el ejemplo son per se suficientes, pues propio de la ciencia es la necesidad, la cual en el dominio emprico, supone una observacin exhaustiva. Esto significa que ningn conocimiento emprico 224 puede llegar a constituir una ciencia completa. No parece que pueda haber ciencia cuando se toma por necesario aquello que slo es probable, lo cual significa asumir el caso particular como si fuera el universal al que slo parcialmente ejemplifica. Este es el caso de las ciencias experimentales y de la tecnologa: es imposible demostrar que una propiedad se verifica en cada caso a no ser que propongamos una regla general en base a lo ya observado. Aqu procede exigir que se formule de manera explcita 225 si se aducen objeciones, es decir, si hay hechos crticos que afecten a un caso nico 226 o bien ocurrencias capaces de falsar tambin la proposicin. Las proposiciones 227 76 Arist., Topica, , 2, 157 b 32-33: 6toXtk+tkg yop to+t po+oot, po, jv 228 o+c, t oXXcv t_ouoov g to+tv tvo+oot,. Arist., Analytica Priora, B, 23. 229 Arist., Analytica Priora, B, 23, 68 b 15-16: t toycyj, ouXXoytoo,. 230 Arist., Analytica Priora, B, 23, 68 b 13-14: oov+o yop to+totv g 6to 231 ouXXoytoou g t toycyj,. Kline (1992: 127). 232 Arist., Tpicos, A, 12, 105 a 16-19: to+t 6` g tv toycyg t0ovc+tpov ko 233 ooto+tpov ko ko+o +gv oo0gotv yvcptc+tpov ko +o, oXXo, kotvov, o 6t ouXXoytoo, ptoo+tkc+tpov ko po, +ou, ov+tXoytkou, tvtpyto+tpov; Tpicos, , 1, 156 a 03-09: Xoptv t+otov. +o, 6t opo +o+o, tlpgtvo, Xg+tov tv +o+cv _optv, tkoo+q 6' c6t _pgo+tov, toyov+o tv oo +cv ko0' dialcticas slo exigen aceptacin (id est, la ausencia de objeciones a su planteamiento) pero el procedimiento inductivo implica un plus: (1) en las ciencias 228 descriptivas y en la tecnologa debe existir cantidad de observacin y (2) en las ciencias formales, es preciso que se haya comprobado que el caso particular a travs del cual se demuestra algo represente a toda una clase de elementos. El tratado titulado Analticos Anteriores contiene un captulo enteramente dedicado a la induccin; muestra que implica tan solo conviccin (aunque pueda 229 fundarse sobre una clase de silogismo). Por lo tanto: 230 (1). Todo aquello de cuanto cabe tener certeza puede tratarse de lo demostrado por silogismo o por induccin. 231 (2). Sin embargo, el campo de esta ltima no es exclusivo de la competencia del dialctico, sino que tambin forma parte del utillaje del cientfico, del filsofo y del tecnlogo (aunque implique riesgos como la afirmacin de un teorema general en base a la prueba de un mero caso concreto o la creencia en una solucin prctica donde sera preferible otra estrategia alternativa). 232 No existe entre los griegos una formulacin estricta de cuanto se conoce en la actualidad como induccin matemtica o newtoniana; ellos llamaban toycy( a un recurso pragmtico (que cobra especial inters a la hora de persuadir a individuos jvenes y sin experiencia pues posee un enorme valor propedutico por cuanto 233 77 tkoo+ov t +o ko0oXou ko oo +cv yvcplcv t +o yvco+o yvcpto 6t XXov +o ko+o +gv oo0gotv, g oXc, g +o, oXXo,. kp+ov+o 6t poouXXoyl(to0ot 6t' cv o ouXXoytoo, +ou t op_j, tXXtt ylvto0ot, ko +ou+o c, Xto+o; Tpicos, , 2, 157 a 18-20: Xpgo+tov 6` tv + 6toXtyto0ot + tv ouXXoyto po, +ou, 6toXtk+tkou, XXov g po, +ou, oXXo,, +q 6' toycyq +ovov+lov po, +ou, oXXou, XXov; Tpicos, , 14, 164 a 12-13: Jgv 6t yuvoolov oo6o+tov +cv tv tok+tkcv po, vtov, +cv 6t ouXXoyto+tkcv po, tttpov. Vase Arist., Topica, A, 2, 101 a 36-b 03: t+t 6t po, +o pc+o +cv tp 234 tkoo+gv tto+(gv. tk tv yop +cv olktlcv +cv ko+o +gv po+t0toov tto+(gv op_cv o6vo+ov tltv +t tp o+cv, ttt6g pc+ot ol op_o oov+cv tlol, 6to 6t +cv tp tkoo+o tv6ocv ovoykg tp o+cv 6ttX0tv. +ou+o 6' 6tov g oXto+o olktov +j, 6toXtk+tkj, to+tv; Metaphysica, , 6, 1048 a 35-37: 6jXov 6` t +cv ko0` tkoo+o +q toycyq o pouXot0o Xtyttv, ko o 6t ov+o, opov (g+tv oXXo ko +o ovoXoyov ouvopv; De Anima, A, 1, 402 b 22-25: ttt6ov yop t_ctv oo6t6ovot ko+o +gv ov+oolov tp +cv ouptpgko+cv, g ov+cv g +cv Xtlo+cv, +o+t ko tp +j, oolo, totv Xtyttv koXXto+o: Ethica ad Nicomachum, A, 4, 1095 a 30-b 08: g Xov0ovt+c 6` g, o+t 6totpouotv ol oo +cv op_cv Xoyot ko ol t +o, op_o,. t yop ko o Xo+cv goptt +ou+o ko t((+tt, o+tpov oo +cv op_cv g t +o, op_o, to+tv g o6o,, cotp tv + o+o6l oo +cv o0Xo0t+cv t +o tpo, g ovooXtv. opk+tov tv yop oo +cv yvcplcv, +ou+o 6t 6t++c, +o tv yop gv +o 6' oXc,. oc, ov gv yt opk+tov oo +cv gv yvcplcv. 6to 6t +o, t0totv g_0ot koXc, +ov tp koXcv ko 6tkolcv ko oXc, +cv oXt+tkcv okouootvov lkovc,. op_g yop +o o+t, ko tl +ou+o olvot+o opkov+c,, o6tv poo6t(ott +ou 6to+t o 6t +otou+o, t_tt g Xopot v op_o, pq6lc,. Como veremos posteriormente,.induccin no equivale sin ms a abstraccin. En la 235 reproduccin es preciso para generar la forma de una especie, que concurra esa forma ya en acto (que es lo que aporta el varn); de manera anloga, en la induccin, la forma que se trasmite tiene que existir en la mente del maestro para que vaya cobrando forma en la mente del aprendiz a partir de ejemplos. Tanto (1) su posible reduccin a una forma de silogismo como (2) el hecho de que dependa de la observacin y del conocimiento simpliciter y (3) el que su evidencia no sea completa, apuntan a que la toycy( no proporciona un nuevo conocimiento sino la evidencia una relacin de generalidad que no se encontraba explcita en la mente del aprendiz. afecta a una ciencia demostrativa como medio de captar lo universal). Comparte con 234 el silogismo la cualidad de no proporcionar nuevo conocimiento; su desventaja 235 estriba en que incluso como forma de razonamiento dialctico dista de ser un procedimiento concluyente; pero su supremaca se funda en que se ajusta a las ciencias experimentales y la filosofa. Adems, ha sido hasta nuestros das el nico 78 Bonitz (1871: 278 b 57). 236 Bonitz (1871: 203 b 05). 237 Arist., Analytica Posteriora, A, 33, 88 b 30-33: Jo 6` tto+g+ov ko tto+(g 238 6totptt +ou 6ooo+ou ko 6og,, o+t g tv tto+(g ko0oXou ko 6t' ovoykolcv, +o 6' ovoykoov ok tv6t_t+ot XXc, t_ttv. to+t 6t +tvo oXg0j tv ko v+o, tv6t_otvo 6t ko XXc, t_ttv. camino para la labor del tecnlogo. 6. La Ciencia y la Opinin. No existe ciencia, sino ciencias y, por tanto, el conocimiento simpliciter no se ha de interpretar como algo comn a todas las ciencias (incluyendo como parte fundamental de stas a las empricas y las aplicadas). Estamos acostumbrados a entender las ciencias a travs de la ptica de Platn, Descartes y la Ilustracin. Creemos que el ideal de la ciencia son las matemticas y (en base a las realizaciones de Galileo, Newton y DAlembert) aceptamos como dogma que un conocimiento es ms o menos cientfico en funcin de su mayor o menor grado de matematizacin. En el mito de la caverna aparecen caracterizados dos mbitos radicalmente separados: el de la ciencia y el de la opinin. Aunque Platn nunca afirma que la 236 237 opinin sea falsa per se, su grado de veracidad radica en su capacidad para reflejar las verdades que contiene la ciencia. En su pensamiento, de entre todas las ciencias, las ms universales son los saberes matemticos y, dentro de stos, la Geometra. En cambio, Aristteles juzga que, aunque verdaderas, las matemticas son muy sencillas: (1). No precisan del mundo para su comprensin o desarrollo. (2). Todos los parmetros que contemplan son siempre explcitos. Se trata de un conocimiento demostrativo: universal y necesario; pero de ello no cabe deducir que sea expresin nica de lo verdadero; lo demostrativo no es el campo exclusivo del conocimiento: 238 Lo cognoscible cientficamente y la ciencia se diferencian de lo opinable y la opinin en que la ciencia es universal y <se tiene> a travs de 79 Por ejemplo, acerca del clculo aproximativo de en la arquitectura egipcia, vase 239 Boyer (1986: 39). Diels (1934: I, B, fg. 8, v. 50 y ss., 239 y ss.) 240 Diels (1934: I, B, fg. 1, 150). 241 <proposiciones> necesarias, y lo necesario no es admisible que se comporte de otro modo. En cambio, hay algunas cosas que existen y son verdaderas pero que cabe que se comporten tambin de otra manera. Est claro, pues, que sobre sas no hay ciencia <demostrativa>; en efecto, sera imposible que fuera de otra manera aquello que es posible que fuera de otra manera. Las matemticas no tienen porqu tratar acerca de lo esencial y el modelo de las ciencias demostrativas adolece de la complejidad inherente a las ciencias empricas y aplicadas. En el contexto matemtico-platnico la opinin es una sombra de la verdad; pero en el tecnolgico-aristotlico: (1). Ni el nombre ni el concepto existen antes que las cosas que nombran. (2). Resulta posible que el parecer sea verdadero (y que su certeza adems se funde sobre la eficacia de efectos insuficientemente observados); esto no encaja con 239 las pretensiones de quienes creen que todo conocimiento cientfico debe acomodarse a la estructura matemtica. Si por bueno entendemos lo universal, las matemticas son los candidatos idneos a erigirse en el patrn de las ciencias, pues su verdad ser la mejor de todas. Pero ni las descripciones del bilogo ni las realizaciones de la tecnologa son universales (en cuanto que es imaginable que las especies animales fueran de otro tamao o que la forma de las caras de pirmides fueran tringulos escalenos). Responden, respectivamente, a lo que circunstancialmente existe y a problemas que urge resolver. Sin embargo, el conocimiento del bilogo o del tecnlogo es universal pues tambin trabajan con formas y sus disciplinas son enseables. Por lo tanto, sus ciencias son complejas pero no reductibles a las formas que estudia el matemtico. Frente a la concepcin de Aristteles, la actitud de Platn es muy simple; asume la tradicin negativa expresada por Parmnides en la va de la opinin y la 240 caracterizacin crtica del propio Herclito. Pero Aristteles: 241 80 Arist., Metaphysica, B, 997 b 34-998 a 06: oXXo gv o6t +cv olo0g+cv v 242 tg tyt0cv o6t tp +ov opovov g oo+poXoylo +ov6t. o+t yop ol olo0g+o ypoo +otou+ol tlotv oo, Xtytt o ytct+pg, (o0tv yop t0u +cv olo0g+cv o+c, o6t o+poyyXov o+t+ot yop +ou kovovo, o ko+o o+tygv o kkXo, oXX' cotp pc+o-yopo, tXtytv tXty_cv +ou, ytct+po,), o0' ol ktv(ott, ko tXtkt, +ou opovou ootot tp cv g oo+poXoylo ott+ot +ou, Xoyou,, o+t +o ogto +o, o+pot, +gv o+gv t_tt otv. Arist., Metaphysica, A, 1, 981 b 05-10: c, o ko+o +o pok+tkou, tlvot 243 ooc+tpou, v+o, oXXo ko+o +o Xoyov t_ttv o+ou, ko +o, ol+lo, yvcpl(ttv.oXc, +t ogtov +ou tl6o+o, ko g tl6o+o, +o 6voo0ot 6t6ookttv to+lv, ko 6to +ou+o +gv +t_vgv +j, tttplo, gyot0o XXov tto+(gv tlvot 6vov+ot yop, ol 6t o 6vov+ot 6t6ookttv. t+t 6t +cv olo0(otcv o6tlov gyot0o tlvot oolov. Arist., Poetica, 4, 1448 b 05-06: +o +t yop tto0ot ou+ov +o, 244 ov0pcot, tk ol6cv to+. (1). No acepta la situacin de predominio de las matemticas como canon de la ciencia. 242 (2). Valora positivamente la opinin (si bien no la de cualquiera). 243 (3). Su paradigma terico entronca antes con la tecnologa que con las matemticas (al considerar que el ejemplo, la induccin y la opinin son recursos vlidos e imprescindibles para la ciencia). La solucin in situ de un problema en el que no todas las reglas aparecen explcitas y se desconocen la mayora de las variables no responde al tipo de problemas habituales de las matemticas; pero constituyen los retos habituales a los cuales los tecnlogos siempre se han tenido que enfrentar. Y sus soluciones se apartan de la universalidad de la ciencia demostrativa (pues en la manera como Cayo Julio Lacer salvaba un ro, aparte de la funcionalidad, siempre haba algo singular que revelaba su estilo personal) pero no de cualquier individualidad (pues el imitar es connatural a la naturaleza humana). 244 81 Arist., Poetica, 13, 1453 a 34-35: okoXou0ouot yop ol otg+o ko+` t_gv 245 otouv+t, +o, 0to+o,. Arist., Poetica, 6, 1450 a 33-35: po, 6t +o+ot, +o tyto+o o, u_oycyt 246 g +poy6lo +ou 0ou tpg to+lv, o +t tptt+ttot ko ovoyvcplott,. El recinto amurallado de Mesenia, el templo E en Selinonte y el santuario de 247 Atenea Pronaia en Delfos no responden a la misma funcin. El primer emplazamiento era una rplica a la necesidad de contencin del poder militar espartano en expansin (Stierlin, 2001: 174); el segundo se encontraba ligado a una funcionalidad religiosa, poltica y tnica; en el tercero, se expresaba simplemente una tendencia a la teatralidad y al derroche de la clase ociosa (Pollitt, 1989: 359 y ss.) As, la expresin del orden jnico o drico respondan a una prolongacin de la 248 guerra tnica (Onians, 1996: 108) y el arquitecto deba amoldarse a ello y reservar el orden corintio a interiores para expresar ideas religiosas (Onians, 1996: 109). Arist., Topica, A, 1, 100 a 27-29: oo6ttt, tv ov to+tv, o+ov t oXg0cv 249 ko pc+cv o ouXXoytoo, q, g tk +oto+cv o 6to +tvcv pc+cv ko oXg0cv +j, tp o+o yvcotc, +gv op_gv tXgtv, 6toXtk+tko, 6t ouXXoytoo, o t tv6ocv ouXXoyt(otvo,. Lo mismo que ocurre con el poeta o el dramaturgo, los proyectos de 245 246 arquitectos e ingenieros dependen de su funcin. Pero, en cada caso, la funcin se 247 ve implicada por otros condicionantes como el estilo del arquitecto o las posibilidades materiales de cada poca. El resultado, aparte de constituir una solucin, se convierte en una singularidad (y, por tanto, en materia de imitacin y de ejemplo sobre el cual construir una induccin con objeto de captar lo universal). En arquitectura e ingeniera no siempre prima la funcin; no slo se trata del rancio debate entre la eficacia prctica y la ostentacin ornamental. Ocurre que el tecnlogo ha de adecuarse a lo singular producindolo. Tales condicionantes previos 248 son similares a los que el dialctico debe asumir como tpicos para que pueda empezar el debate (pues sin que tales lugares de lo plausible existan, no cabe el razonamiento dialctico). 249 Las pre-condiciones iniciales, aun siendo accidentales, tienen preeminencia tanto en el desarrollo de la dialctica como en las ciencias aplicadas. Los edificios no se construyen en cualquier emplazamiento. El arquitecto tiene un poder de decisin parecido al de un interlocutor en un debate ya pautado. Por ejemplo, en la antigua Grecia el enclave de un templo se realizaba en aquellos bosques considerados como 82 Stierlin (2001: 44). De ah la petrificacin del rbol en columna y la conversin de 250 los extremos de las vigas en triglifos (Stierlin, 2001: 45 y 48). Tal fue el caso del encargo realizado a Reco y Teodoro para trazar el Hecatopedon 251 de Samos sobre un terreno pantanoso (Stierlin, 2001: 104). El templo fue erigido, pero termin derrumbndose. Difcilmente sus arquitectos pensaran que sus cimientos podran durar en ese firme. Las condiciones concretas de los materiales empleados tambin afectan a las obras. En Roma se tena al ladrillo por un material innoble y no deba de utilizarse en edificios pblicos (salvo como material en la base recubierto). Algo parecido les sucedi a Pitarco y Niquias al disear el templo de Persppolis (una edificacin cuya estructura ni materiales era adecuados para soportar el fuego). De modo anlogo, las condiciones bajo las que Sostrato de Cnido construy su clebre faro no se encontraba la de soportar sesmos. Lo mismo que el dialctico parte de condiciones previas a las cuales debe ajustarse (y al igual que el dramaturgo o el comedigrafo ha de respetar determinadas pautas) rara vez el tcnico tiene libertad para adecuar la funcin de su construccin al terreno. Este fue el caso de Cayo Julio Lacer, arquitecto del puente de Alcntara, quien levant la obra para que durase por siempre en los siglos del mundo; pero el margen de eleccin de un tcnico rara vez es tan considerable. Una cosa es la lnea recta matemtica y otra la arquitectnica; los arquitectos 252 griegos conocan la ilusin visual de hundimiento que generan en la perspectiva del espectador las grandes estructuras (en las que predominan las aristas y los ngulos rectos) y los corrigieron deformando proporcionalmente sus edificios (Kostoff, 1999: 225): arqueaban los estilbatos, aumentaban la seccin de las columnas centrales, variaban la proporcin entre la altura de la columna y su dimetro y los intercolumnios, etc.(Mller, 1989: 155). Las mismas columnas del estilo drico no eran cilndricas ni cnicas, sino que presentaban un ligero abombamiento en el tercio inferior (ntasis) con objeto de subrayar en la percepcin del observador su solidez y rectitud (Kostof, 1999: 221). lugares consagrados a los dioses. Lo mismo que el dialctico puede encontrar 250 graves dificultades dependiendo de las condiciones iniciales del debate (de si lo que le toca defender es cierto y del tiempo del cual dispone), el origen de mltiples problemas para los ingenieros y los arquitectos fue el construir lo que se les peda en circunstancias concretas y previas (a veces del todo imposibles). 251 Al igual que el dialctico ha de ajustar la verdad para que resulte convincente, el arquitecto tendr que adaptar la geometra a la percepcin humana. 252 La certeza se encuentra relacionada: (1). Con las limitaciones sensoriales e intelectuales de la especie humana. (2). Con su capacidad para producir efectos. Y esto es propio no slo de la arquitectura o de la ingeniera, sino de la tecnologa en general (la cual depende del ejemplo, de la induccin y de la opinin). 83 De ah la evolucin de edificios como el Herain de Samos, el cual hacia el 800 a. 253 C. consista en una sala larga de 6.5 m. por 32.86 m. edificada en madera y adobe y tras no menos de dos reconstrucciones, hacia el 570-560 a. C., meda 52.5 m. por 105 m., y la estructura era de piedra noble. Vase Stierlin (2001: 103-104). As, como paradigma de la tumba ha quedado en la memoria colectiva las 254 piramides de Gizeh y, como modelo de templo, el Partenn de Ictinos y Calicatres. Arist., Topica, A, 12, 105 a 13-14: toycyg 6t g oo +cv ko0` tkoo+o t 255 +o ko0oXou to6o,. Hasta nuestros das, cada obra sigue siendo planificada como la mejor solucin para una situacin concreta; el ejemplo que se construye debido a una exigencia que requiere una solucin tcnica tiende a transformarse en ejemplar o singularidad a partir de la cual la siguiente generacin de tecnlogos puede aprender. Esto es algo a considerar en la evolucin de la tcnica, del arte y de las ciencias. As, en lo relativo a la arquitectura ya durante la Antigedad Clsica cada templo no se diseaba como una construccin ms, sino como el patrn de templo adecuado a su tiempo. Puede que en las polis de la Hlade, tiranos de toda condicin trataran de competir para perpetuar sus nombres en obras ciclpeas; pero lo que s es cierto es que los arquitectos durante el siglo VI y V a. C. trataron de proponer en cada una de sus realizaciones una obra que se convirtiera en el arquetipo del templo. Esta tendencia 253 a la depuracin de aquello en lo que se expresa un concepto se aplica a todo arte (incluyendo al del anlisis). A veces, el tcnico consigui realizar una obra que en su singularidad se recuerda como el prototipo imperecedero de cierto tipo de construccin. En esas 254 ocasiones la singularidad de la obra no slo es expresin de un arquetipo, sino manifestacin de un talento genial. De ah la importancia del ejemplo en la induccin para captar lo abstracto pues es preciso que lo presentado pueda vehicular aquello que se trata de mostrar (porque slo a partir de lo singular cabe captar lo universal). La 255 voz latina ingenium designa al ingeniero, a la disposicin natural del espritu genial de aquella persona capaz de manifestar en la prctica una inteligencia inventiva. Dentro de una ptica en lnea con Aristteles, Vitruvio comenta a propsito de esos arquitectos que consiguieron compaginar las dos fuentes de las que se nutren las 84 Vitr. De Architectura, I, 2.28-20; 2.24-3.2, p. 22: Architecti est scientia pluribus 256 disciplinis et variis eruditionibus ornata, [cuius iudicio probantur omnia] quae ab ceteris artibus perficiuntur. Opera ea nascitur et fabrica et ratiocinatione [...] Itaque architecti, qui sine litteris contenderant, ut manibus essent exercitati, non potuerunt efficere, ut haberent pro laboribus auctoritatem; qui autem ratiocinationibus et litteris solis confisi fuerunt, umbram non rem persecuti videntur. tecnologas: 256 La arquitectura es una ciencia adornada con numerosas enseanzas tericas y con diversas instrucciones, que sirven de dictamen para juzgar todas las obras que alcanzan su perfeccin mediante las dems artes. Este conocimiento surge de la prctica y del razonamiento [...] Por tanto, aquellos arquitectos que han puesto todo su esfuerzo sin poseer una suficiente cultura literaria, aunque hubieran sido muy hbiles con sus manos, no han sido capaces de lograr su objetivo ni de adquirir prestigio por sus trabajos; por el contrario, los arquitectos que confiaron exclusivamente en sus propios razonamientos y en su cultura literaria, dan la impresin que persiguen ms una sombra que la realidad. No debemos olvidar que Aristteles: (1). no habla de la ciencia circunscribindola al permetro de lo matemtico, sino de ciencias (comprendiendo entre estas a las empricas y las aplicadas). (2). Hay oportunidades en las cuales con el trmino episteme se refiere en general a un conocimiento que procede por tradicin. Debemos entender que en esas oportunidades incluye a la filosofa. (3). En el caso de las ciencias, cada una de ellas posee un especfico conocimiento simpliciter; la nocin de verdad material es prioritaria para ste. (4). En lo intuitivo entran en juego dos nociones distintas: lo comprensible y lo notico (entendido como razn anticipativa). Las ciencias empricas y aplicadas suponen un ajuste continuo a la realidad, a 85 Arist., Metaphysica, A, 1, 981 b 05-10: c, o ko+o +o pok+tkou, tlvot 257 ooc+tpou, v+o, oXXo ko+o +o Xoyov t_ttv o+ou, ko +o, ol+lo, yvcpl(ttv.oXc, +t ogtov +ou tl6o+o, ko g tl6o+o, +o 6voo0ot 6t6ookttv to+lv, ko 6to +ou+o +gv +t_vgv +j, tttplo, gyot0o XXov tto+(gv tlvot 6vov+ot yop, ol 6t o 6vov+ot 6t6ookttv. la singularidad y a las circunstancias; las matemticas, en cambio no; aunque la aritmtica y la geometra sean ciencias, son excesivamente elementales; por el contrario, las tecnologas incluso dependen de la reiteracin de reglas prcticas; de ah que el arte pueda ser enseado y que sea diferente y ms cientfico que la mera experiencia: 257 As, pues, no consideramos a los jefes de obras ms sabios por su habilidad prctica, sino por su dominio de la teora y su conocimiento de las causas. En definitiva, lo que distingue al sabio del ignorante es el poder ensear, y por esto consideramos que el arte es ms cientfico que la experiencia, pues aqullos pueden y stos no pueden ensear. A qu dominio cabr aplicar la nocin de conocimiento simpliciter?. Al de toda las ciencias. Las matemticas, debido a su sencillez sirven para suministrar ejemplos a partir de los cuales cabe captar mediante la toycy( lo universal; eso no significa que constituyan el modelo de la ciencia. Ahora bien, puesto que el conocimiento simpliciter de una ciencia es fundamental para el desarrollo de la misma, ser preciso volver sobre nuestros pasos e interrogarnos acerca de cules han sido las opiniones de la tradicin Metaphysica previa en lo relativo a las dimensiones lgica y ontolgica de la categora fundamental de la sustancia. 86 87 Bibliografa. Los autores antiguos son citados mediante las abreviaturas que aparecen entre corchetes a mano derecha. En el caso de las traducciones a las lenguas modernas aparecen en el apartado de bibliografa contempornea por entender que inducen un sesgo debido a la interposicin del traductor y su lengua. Antigua. Aristteles (1960): Aristotelis Opera, Berln. [Arist.] Euclides (1883-1916): Euclidis Opera Omnia, Leipzig. [Eucl.] Platn (1905): Platonis Opera, Oxford. [Plat.] Proclus (1873): In Primun Euclidis Elementorum Comentarii, Leipzig. [Procl.] Sextus Empiricus (1961) Adversus Mathematicos, Leipzig. [Sext.] Vitruvii (1991): De Architectura Libri Decem, Darmstadt. [Vitr.] Contempornea. Ackrill, R. I (1963): Aristotles Categories and De Interpretatione, Oxford. Apostle, H. G. (1960): Aristotles Categories and Propositions, Grinell, (1980). Calvo, T. (1998): Aristteles: Metafsica, Madrid. Aubenque, P. (1962): Le problme de ltre chez Aristote, Paris. Le Blond, J. M. (1970): Logique et Mthode chez Aristote, Paris. Boyer, C. B. (1986): Historia de las Matemticas, Madrid. Bunbury, E. H. (1959): A History of Ancient Geography. Among the Greeks and Romans from the Earliest Ages till the Fall of the Roman Empire, New York. Cooke, H. P. (1938): Aristotle: The Categories, London. Fowler, D. H. (1987): The Mathematics of Platos Academy. A New Reconstruction, Oxford. Freeman, K. (1946): The Presocratic Philosophers, Oxford. Gilson, E. (1946): Note sur le vocabulaire d ltre, Mediaeval Studies, VII, 150-158. 88 Gmez-Lobo, A.(1980). The So-Called Question of Existence in Aristotles An. Post. 2.1.1", Review of Metaphysics H2,. Haaparanta, L. (1985): Frege's doctrine of Being Acta Philosophica Fennica, vol. 39, Helsinki. Hintikka, J. (1998): El Viaje Filosfico ms Largo. De Aristteles a Virginia Woolf, Barcelona. Jimnez, E. & Alonso, A. (2000): Aristteles: Partes de los animales ; Marcha de los animales ; Movimiento de los animales, Madrid. Kirk, G. S., & Raven, J. E. (1981): Los Filsofos Presocrticos, Madrid. Kirwan, C. (1971): Aristotles Metaphysics Books G, D, E, Oxford. Kline, M. (1992): El Pensamiento Matemtico de la Antigedad a nuestros das, I, Madrid,. Kneale, W., & Kneale, M.(1962): The Development of Logic, Oxford. Knorr, W. R. (1975): The Evolution of the Euclidian Elements, Dordrecht. Kostof, S. (1999): Historia de la Arquitectura. 1. Un lugar en la Tierra, Madrid. Lasserre, F. (1987): De Lodamas de Thasos Philippe dOponte, Napoli. Lukasiewicz, J. (1957): Aristotles Syllogistic from the stand point of modern formal logic, Oxford, (1957). en Barnes, Schofield, & Sorabji (1979): Articles on Aristotle, London. Lyons & Petrucelli (1984): Historia de la Medicina, Barcelona. Milln Gasca, A. (2004): Euclides, Tres Cantos. Moravcsik, J. M. E. (1967): Aristotle: A Collection of Critical Essays, Garden City. Moreau, J. (1962). Aristote et son cole, Paris. Mller & Vogel (1989): Atlas de Arquitectura. 1. Generalidades: De Mesopotamia a Bizancio, Madrid. Onians, J. (1996): Arte y Pensamiento en la poca Helenstica. La Visin Griega del Mundo (350 a. C. 50 a. C.), Madrid. Pollitt, J. J. (1989): El Arte Helenstico, Madrid. Puertas, M. L. (1991): Euclides: Elementos I, Madrid. Quine, W. Van O. (1984): Desde un Punto de Vista Lgico, Barcelona. Reale, G. (1992): Introduccin a Aristteles, Barcelona. 89 Ross, W. D. (1957): The Development of Aristotles Though, pp. 1-17 en Dring & Owen (eds.), Aristotle and Plato in the Mid-Fourth Century, Oxford,. Ross, W. D. (1977): Aristotle, London. Sarton, G. (1965): Historia de la Ciencia, Buenos Aires. Stierlin, H. (2001): Grecia. De Micenas al Partenn, Kln. Thomas, I. (1957): Selection Illustrating the History of Greek Mathematics, Massachussetts. Weidemann, H. (1980), In Defense of Aristotles Theory of Predication, Phronesis 25, 76-87. Zrcher, J. (1952): Aristoteles Werk und Geist, Paderborn. Yebra, V. (1982): Metaphysica de Aristteles, Madrid. Auxiliar. Bonitz, H. (1871): Index Aristotelicum, Berlin. Diels, H. (1934): Die Fragmente der Vorsokratiker, Berlin. Liddell & Scott (1996): Greek-English Lexicon, Oxford. Punica Fides (Spain) El trabajo que inspir esta serie de monografas fue realizado gracias a la concesin de una licencia por estudios remunerada de la Consejera de Educacin de la Junta de Castilla y Len (Espaa).