A LOGICA MODERNORUM: LGICA E FILOSOFIA DA LINGUAGEM NA ESCOLSTICA DOS SCULOS XIII E XIV

CARLOS MORUJO Universidade Catlica Portuguesa

Der Zweck der Philosophie ist die logische Klrung der Gedanken. [...1 Das Resultat der Philosophie sind nicht "philosophische Stze", sondem das klarwerden von Stzen . ( Wittgenstein , Tractatus Logico-Philsophicus, 4.112)

Introduo
Como do conhecimento geral, divide-se habitualmente a histria da lgica na Idade Mdia em trs grandes perodos. Primeiro, o perodo da logica vetus, at aos finais do sculo XI, caracterizado, essencialmente, pelo comentrio s Categorias e ao De Interpretatione de Aristteles, e Isagoge de Porfrio, conhecidos pelas tradues latinas de Bocio. Em seguida, o perodo da logica nova, no sculo XII, resultante do conhecimento dos restantes livros do Organon (correspondentes doutrina do silogismo e doutrina do mtodo) e da totalidade dos escritos lgicos de Bocio, em particular os seus comentrios a Aristteles e Isagoge. O conhecimento das Refutaes Sofsticas, em particular, despertar um grande interesse entre os lgicos do sculo XII, multiplicando-se os tratados sobre os sophismata. Numa acepo muito prxima da de Bertrand Russell, os diversos sistemas de lgica desta poca tentaro mostrar a sua fora na capacidade em resolver paradoxos'. E, por fim, o perodo da logica

1 O papel de resolver paradoxos caber, justamente, j no sculo seguinte, teoria da suppositio, uma das mais interessantes e originais criaes da semntica medieval, que

302

Carlos Morujo

modernorum, a partir do sculo XIII, que se ocupa da anlise semntica da lgica de Aristteles (ou seja, das chamadas proprietates terminorum2), da definio do objecto da lgica e da relao entre a lgica e a ontologia. Esta ser a poca das Su nmae ou e sobre ela, fundamentalmente, que incidir o nosso estudo. Se mesmo na logica vetus e na logica nova j possvel detectar elementos de outras tradies lgicas que no a de Aristteles, nomeadamente da tradio rnegrico-estica (conhecida, provavelmente, atravs das obras de Bocio), podemos afirmar que nada, ou quase nada, na logica modernorum deriva das doutrinas lgicas do estagirita3. Isto particularmente verdadeiro da chamada doutrina da suppositio, de que nos ocuparemos na parte principal deste ensaio, e da doutrina das consequentiae. Alis, quanto a esta ltima, o prprio termo consequentia, embora utilizado por Bocio para traduzir o grego dKOXuO^6ts, recebe o sentido tcnico de uma relao entre proposies, que no possua em Aristteles. E, sendo, provavelmente, de descartar qualquer influncia directa da lgica estica sobre a lgica medieval, no , contudo, de excluir que alguns elementos da teoria das frases condicionais, nos esticos, presentes nas obras de Bocio, tenham influenciado o tratamento da questo pela logica modernorum. Foi em Bocio que os medievais puderam colher a distino entre as proposies condicionais vlidas para o momento presente e as que exprimem uma relao natural entre o antecedente e o consequente (validas, por conseguinte, para qualquer tempo), bem como uma discusso da natureza dos tpicos, da qual, como veremos na ltima seco deste ensaio, resultou directamente a doutrina das consequentiae, no incio do sculo XIV4. medida que os textos deste perodo vo sendo progressivamente conhecidos, alguns autores comeam a adquirir uma importncia para
desenvolveremos mais frente. Assim, por exemplo, no silogismo: o homem a mais digna das criaturas, Scrates homem, logo, Scrates a mais digna das criaturas, a falcia consiste em que homem, pretenso termo mdio deste silogismo, supe, na maior e na menor; por duas realidades distintas. Pela espcie, no primeiro caso (a chamada suppositio simplex) e por um indivduo da espcie, no segundo (a suppositio personalis). 2 Cf. a definio de proprietates terminorwn in L. M. de Rijk, Logica Modernorum, Assen, Van Gorcum & Comp., 1962-1967, 3 vols. vol. I111, p. 513: As the name implies, the theory of the properties of terms is intended to provide an account of the different roles that words can have when they appear as terms in propositions.
3 Cf. Vicente Munoz Delgado, Introduccin ai patrimonio escolstico de lgica, in Cuadernos Salmantinos de Filosofia, 11/1 (1975) 45-75, p. 49. 4 Sobre este assunto, cf. Norman Kretzmann, Anthony Kenny, Jan Pinborg, The Cambridge Historv of Later Medieval Philosophv, Cambridge / New York / New Rochelle / Melbourne / Sydney, Cambridge University Press, 1982, p. 303.

pp. 301-322

Revista Filosolira de Coimbra - n." 28 (20061

A Logica Modernorum

303

o desenvolvimento da lgica que at h algumas dezenas de anos atrs permanecia insuspeitada . E o caso , por exemplo , do dominicano ingls Richard Kilwardby, comentador dos Primeiros Analticos de Aristteles, de que falaremos mais adiante . Nele e em vrios outros encontramos uma sistematizao das teorias lgicas e uma aguda conscincia dos problemas estritamente lgicos ( mesmo admitindo um paralelismo lgico-gramatical que tem por base a estrutura sintctica da lngua latina ), efectuadas num plano de independncia em relao s teses ontolgicas fundamentais , nomeadamente , s que opunham , nos sculos XIII e XIV, os reales e os nominales. Na exposio seguinte , deixaremos intencionalmente de lado um importante captulo da lgica, que tambm mereceu alguma ateno por parte dos lgicos medievais , a saber, a lgica modal . A primeira razo para tal deve-se ao facto de ele no ser objecto de nenhum tratado que especialmente lhe fosse dedicado , embora no seja impossvel encontrar reflexes de certo interesse sobre o assunto em autores como Abelardo ou William of Sherwood . A segunda razo tem a ver com o facto de no ser no domnio da lgica modal que se situa o principal contributo da logica modernorum para a histria da lgica. (O prprio Abelardo, que acabmos de mencionar , figura to decisiva para o desenvolvimento da lgica na Idade Mdia, no pertence sequer a este perodo.) Mas uma terceira razo, de mbito mais geral , motivou tambm a nossa deciso. que em nenhum momento os lgicos medievais parecem ser sentido a necessidade da articular o uso dos operadores modais como, por exemplo , possvel ou necessrio - com os conceitos modais de acto e de potncia, herdados da filosofia de Aristteles5. Esta situao , que restringiu o alcance das suas investigaes puramente lgicas neste domnio, obrigar - nos-ia a um tipo de abordagem do problema que extravasaria , em muito, os limites que nos impe um ensaio da natureza deste que agora apresentamos.

A importncia da Isagoge. Nomes de primeira e de segunda imposio . A lgica como cincia das intenes segundas Na sua Isagoge - termo grego que, como se sabe, significa introduo -, Porfrio pretendera resolver o que considerava algumas dificuldades colocadas pelas Categorias de Aristteles. No incio do captulo 2. desta obra, Aristteles afirma que, entre as expresses, algumas
5 Cf. Hans Poser, Zur Theorie der Modalbegriffe bei G . W. Leibniz , Wiesbaden, Fanz Steiner Verlag , 1969, p. 6.

Revista Filosfica de Coimbra - n.'28 (2006)

pp. 301-322

304

Carlos Morujo

so ditas segundo a ligao6 que contm, ou seja, segundo a relao entre um sujeito e um predicado, e outras so ditas sem nenhuma ligao. Em seguida, afirma que necessrio distinguir entre dos tipos de seres, a saber, os que so ditos de outra coisa, e os que esto em outra coisa: ou seja, necessrio distinguir os predicados essenciais dos predicados acidentais. assim que, numa expresso como Scrates homem, a humanidade dita de Scrates, no sentido em que legtimo afirmar-se que convm a Scrates a prpria definio de humanidade; com efeito, nada se encontra na segunda que no esteja tambm no primeiro. Mas j em Scrates branco, a definio de brancura no dita de Scrates, na medida em que nesta ltima proposio nos limitamos a constatar a conjuno acidental7 entre um determinado indivduo e a brancura que lhe atribuda. Ou seja, Scrates poderia muito bem no ser branco. Por fim, Aristteles defende que existe, ainda, aquilo que tanto pode ser dito de uma coisa como estar em outra coisa; o caso do conhecido exemplo da cincia, que tanto pode ser dita da gramtica, como estar na alma daquele que sabe. Para Porfrio, a primeira distino a fazer entre predicados e predicveis. Por exemplo: na expresso todos os homens so mortais, mortais um predicado, mas atribudo a todos os homens de modo diferente do que o seria, por exemplo, o predicado bpedes sem penas. O predicvel ser, ento, o modo como um certo predicado atribudo a um sujeito. Aristteles tinha j estabelecido quatro distines, entre o gnero, o prprio, o acidente e a definio. Por sua vez, distinguira quatro tipos de definio. Primeiro, a definio que explica o nome (ou definio nominal), que desenvolve o que est contido na expresso precedente Em segundo lugar, a definio pela causa, como, por exemplo, o trovo a extino do fogo nas nuvens, em que o trovo a causa da extino. Em terceiro lugar, a definio de termos imediatos, que se aplica quelas coisas que no tm causa, como os axiomas da geometria, e servem de princpio demonstrao. Por fim, a definio da essncia: o que acontece quando definimos a espcie pelo gnero e pela diferena. Este ltimo , alis, um caso particular, mas por assim dizer
6 Aristteles, Categorias, 1 a 16: KaT auTrXOKly. Seguimos, quase sempre, o texto da traduo francesa de Jean Tricot, in Aristote, Catgories / De 17nterprtation, Paris, Vrin, 1994. Confrontmos esta traduo com o original grego in Aristotle, Categories / On Interpretation / Prior Anal vtics, Cambridge (Ma.) / London, Harvard University Press (Loeb Classical Library), 1996. 7 A expresso de Pierre Aubenque, in Le Problme de 1'tre chez Aristote, Paris, PUF, 1983, 5a ed., p. 139.

pp. 301-322

Revista Filosfica de Coimbra - n. 28 (2006)

A Logica Modernorum

305

paradigmtico, de definio, na medida em que faz coincidir o que em si mesmo anterior e mais universal com o que o epistemologicamente, ou seja, para ns. Porfrio distinguir cinco predicveis: o gnero, a espcie, a diferena, o prprio e o acidente. Mas enuncia uma precauo que ir tomar na sua exposio deste assunto: vai tratar das expresses que relacionam um sujeito e um predicado enquanto expresses significativas, quer dizer, s ir abordar a estrutura da realidade indirectamente, tal como ela transparece da anlise da estrutura da linguagem, por conseguinte, independentemente daquilo que, como metafsico, poderia ser obrigados a admitir. pergunta: de que que o universal depois do mltiplo sinal, respondia-se, de acordo com a teoria aristotlica dos sinais e das afeces da alma, no Peri Hermeneias8: sinal do universal antes do mltiplo. Ora, Bocio proceder a uma distino entre os sinais de primeira imposio, que designam (ou supem pelas) coisas, e os sinais de segunda imposio, que designam (ou supem por) os primeiros sinais'. Uma vez que, a partir do final do sculo XII, as tradues latinas de Avicena consagraro o termo intentio para designar a forma de um objecto na alma, resultar daqui ter-se generalizado o uso da expresso primeira inteno, em vez de primeira imposio, que remontava distino de Bocio a que fizemos referncia10. Contudo, o termo imposio - do latim impositio - designa com bastante mais clareza, em nosso entender, o tipo de operao mental que est aqui em causa. Ele remete para o acto com o qual o homem decide significar determinadas realidades atravs de um nome, ou seja, de um som vocal
8 Aristteles, Peri Hermeneias, 16 a 3 e segs.: Os sons emitidos pela voz so os sinais das afeces da alma e as palavras escritas so os sinais das palavras emitidas pela voz. E, tal como a escrita no a mesma em todos os homens, as palavras faladas tambm no so as mesmas, embora as afeces da alma de que essas expresses so os sinais imediatos sejam idnticas em todos, como so tambm idnticas as coisas de que essas afeces so as imagens.
9 Sobre a problemtica de rebus nomina imponere, em Bocio, cf. In Categorias Aristotelis libri quattuor, 1, in Migne, Patrstica Latina, vol. 64, 159 A-C. A doutrina ser desenvolvida, no sculo XII, por Abelardo e John of Salisbury. 10 Vicente Munoz Delgado, Introduccin ai patrimonio escolstico de lgica, Ibidem, p. 56. Do ponto de vista ontolgico e gnoseolgico, a traduo por intentio do ma'n de Avicena no deixar de comportar algumas ambiguidades, tanto mais que o termo tanto pode designar o conceito de uma coisa, como essa mesma coisa enquanto concebida, ou, ainda, os dois em simultneo. Sobre este assunto, veja-se Alain de Libera et Cyrille Michon, L'tre et I'Essence. Le Vocabulaire Mdival de l'Ontologie, Paris, Ed. du Seuil, 1996, pp. 250-251.

Revista Filosfica de Coimbra - n. 28 (2006)

pp. 301-322

306

Carlos Morujo

que, assim , se distingue dos sons emitidos pelos animais ou pelos objectos inanimadosil. Alguns exemplos simples permitiro compreender melhor as distines a que aludimos. Suponhamos a proposio : Scrates homem.. Scrates um termo de primeira imposio, pois refere o indivduo que identificado por aquele nome. Mas homem , igualmente, um termo de primeira imposio, pois refere - se a uni indivduo chamado Scrates e no a Scrates , nome de um indivduo . Suponhamos , agora, a proposio : o homem unia espcie. Homem uni termo de prinmeira imposio, ao passo que, agora , espcie uni terno de segunda imposio. O problema , aqui, no est no facto de espcie referir-se a homem, mas sim no facto de a inteno da mente ser diferente nos dois casos. Homem refere-se a cada homem , ou a todos os homens, enquanto espcie se refere totalidade dos homens , do ponto de vista da sua humanidade . Espcie , por esta razo, um sinal de segunda imposio. Na segunda metade do sculo XIII, a corrente chamada dos modistae ( Bocio de Dcia e Martinho de Dcia, Radulfo Brito, Toms de Erfurt , Simon of Feversham , comentador do Tractatus de Pedro Hispano, entre outros, ) diro que as intenes segundas so o objecto da lgica, mas esta tese remonta, na realidade , ao j mencionado comentrio de Bocio s Categorias de Aristteles , que qualifica os predicveis de nomes de nomes12. Mas a novidade dos modistae consiste em dividir a lgica de acordo com o que consideram as trs operaes da mente, ou modi intelligendi : as intenes primeiras, que se realizam na simples apreenso das quididades , ou da essncia (tal como se exprime nos termos simples - como o gnero ou a espcie - que Aristteles estuda nas suas Categorias, ou nos predicveis de Porfrio ), e as intenes segundas , que se realizam no juzo (que Aristteles estudou na sua teoria da predicao , no Peri Hermeneias) e no raciocnio ( objecto da doutrina aristotlica do silogismo, tal como foi estudada, em particular, nos Primeiros Analticos e no Livro II dos Segundos Analticos )' 3. Cincia das intenes segundas , ento, a lgica, para os modistae , uma scientia sermocinalis.
11 Cf. Paola Mller, Introduo a Guilherme de Ockham, Lgica dos Ternos, Porto Alegre, EDIPUCRS, 1999, p. 14.
12 Bocio, In Categorias Aristotelis libri quattuor, I, Ibideni, col. 159 C: Ergo prima positio nominis secundum significationem vocabuli facta est, secunda vero secundum figuram: et est prima positio, ut nomina rebus imponerentur, secunda vero ut aliis nominibus ipsa nomina designarentur.

3 Sobre este assunto, cf. Norman Kretzmann, Anthony Kenny, Jan Pinborg, op. cit., pp. 486-487.

pp. 301-322

Revista Filocri/aa de Coimbra - n."28 (2006)

A Logica Modernorum

307

As especulaes lgico-gramaticais dos modistae diferem, contudo, das dos lgicos terministas do sculo seguinte, em primeiro lugar pelo pouco relevo que nelas dado doutrina da suposio. A teoria dos modi significandi, como o prprio nome indica, uma teoria da significao e no da referncia, para a qual o sentido de um termo que determina o mbito da sua utilizao e, por conseguinte, desde que estejam em causa contextos proposicionais, a verdade e a falsidade das proposies em que se encontram14. Poderamos classificar as suas principais preocupaes como consistindo em fornecer aos modi significandi uma interpretao de carcter ontolgico, fazendo a cada um deles corresponder um distinto modus essendi.

A doutrina da suppositio nas summulae do sculo XIII

Em sintonia com a posio de Aristteles no Peri Hermeneias, nas summulae do sculo XIII a proposio considerada como a unidade lingustica primria. Os termos categoremticos e os elementos sincategoremticos que a compem so os dois elementos da linguagem, que remetem para algo que prvio prpria linguagem. Os primeiros supem, isto , esto na proposio em vez de uma certa realidade, de natureza fsica ou mental; os segundos reenviam para as operaes realizadas sobre os termos ou sobre as proposies (implicao, conjuno, disjuno, negao, etc.), ou para a quantidade - universal ou particular - das proposies em que os termos se encontram15. Regista-se a primeira ocorrncia da palavra sincategoremtico, bem como a sua definio - Alie [sc. voces] sunt que per se non significant sed in coniunctione ad alias, et tales dicuntur sincategoreumata -, num pequeno tratado do sculo XII, atribudo a um certo Mestre Nicolau, que se encontra na Bibliothque Nationale de Paris16. Voltaremos mais frente a este assunto.

'4 Idem, Ibidem, pp. 264-265. 15 Convm no esquecer o facto de que todas as investigaes dos medievais, no domnio da lgica, se fizeram tendo por base a estrutura da lngua latina. A ausncia, nesta lngua, dos artigos definido e indefinido limitou o mbito daquelas investigaes, impossibilitando mesmo o desenvolvimento de alguns domnios da lgica, como, por exemplo, a teoria das descries. 16 Os outros [sc. termos] so os que por si mesmos no significam, mas sim em conjuno com outros, e esses chamam-se sincategoremticos. Cf. L. M. de Rijk, Ibidem, p. 82. No sculo XIV, Joo Buridano chamar adjuntos dos sincategoremticos aos termos categoremticos Estes ltimos so dotados de significao (e, tambm, de suppositio), e graas a eles que os primeiros significam, quando com eles se fundem na proposio.
pp. 301-322

Revista Filosfica de Coimbra - n.'28 (2006)

308

Carlos Morujo

Quanto ao termo supponere, registe-se a sua utilizao, pela primeira vez, no sculo VI, pelo gramtico Prisciano, nos Institutionum Grammaticarum Libri, significando a relao que o sujeito gramatical mantm com o predicado numa frase declarativa: o sujeito subjaz ou est sob o predicado. A teoria da suppositio, bem como das demais proprietates terminorum, nasce, entre os comentadores medievais de Prisciano, da anlise lgico-gramatical das proposies]'. possvel detectar unia das suas mais significativas ocorrncias - antes de se fixar, no sculo XIII, o seu alcance propriamente semntico - nos comentrios de Pedro Helyas aos Intitutionum Grammaticarum, onde podemos encontrar o exemplo seguinte: Vir^iliu,s scripsit Bucolica. [...] Per hoc nomen "Virgilius" fit ibi prima rei suppositio. I8 Esta ltima frase significa, claramente, o acto de pr alguma coisa em posio de sujeito gramatical e no, ainda, o substrato ontolgico do termo sujeito. Porm, devido influncia das doutrinas filosficas, rapidamente o sujeito da frase, ou seja, id de quo fit sermo19, passa identificar-se com o substrato ontolgico da prpria frase. Nada mais natural, alis, se pensarmos que o latim suppositum traduz o grego TFOKE[iEVOV, que, em Aristteles significava o suporte ontolgico dos acidentes. De Rijk coloca o problema com a sua habitual clareza: do termo que denota alguma coisa, para a prpria coisa denotada pelo termo, a transio pde fazer-se sem grande dificuldade, tanto mais que, quer para o pensamento medieval, quer para o pensamento antigo, a tese da existncia de uma essencial conformidade entre a linguagem e a realidade constitua uma ideia centra120. Porm, como, com id de quo fit sermo, tanto se pode designar um objecto concreto como um universal, surgiu a necessidade de eliminar a ambivalncia semntica: assim, no sculo XII, a suppositio , ainda, normalmente restringida appelatio, quer dizer, ao uso significativo de um nomem appelativum, um nome que

11 Vicente Munoz Delgado , Introduccin al patrimonio escolstico de lgica, Ibidem, p. 54. A Logica Ingredientibus de Abelardo desempenhou um papel importante neste processo de transio para as Summulae do sculo XIII . Ao explicar que a espcie mais parecida com a substncia do que o gnero , Abelardo afirma : [... 1 per hans scilicet maiorem similitudinem quam habent cum primis substantiis quam genera , quod cum primae substantiae maxime sunt suppositae quam genera , magis sunt in suppositione similes primis substantiis quam genera . Cf. L. M. de Rijk, Ibidem, p. 519. 18 Citado in L. M. de Rijk , Ibidem, p. 518. 19 Cf., nomeadamente , Pedro Helyas , Ad Priscianum Inst. Gramm ., VIII, 1, cit. in L. M. de Rijk , Ibidem, p. 517. - Cf. L. M. de Rijk , Ibidem, p. 521.

pp. 301-322

Rerism Fitos(fca de Coimbra - e. 28 (2000

A Logica Modernorum

309

se refere a coisas que possuem uma existncia real21. S que, nesta ordem de ideias, no teriam suppositio, nem os termos universais, que, na linguagem dos gramticos, referiam a forma ou a qualidade das substncias individuais, nem os termos que designam outros termos. A resoluo deste problema ser uma tarefa das sumullae do sculo XIII. No Tractatus de Pedro Hispano, cuja redaco se dever situar por volta de 1230 - mais precisamente , no Tratado VI, De Suppositionibus, na seco dedicada ao estudo da significao - encontramos uma soluo ainda algo ambgua desta questo:
A significao de um termo , segundo a qual este estabelecido, a representao da coisa pela palavra , segundo o agrado. Por esta razo, como todas as coisas , ou so universais , ou so particulares , necessrio que as palavras que no significam universalmente ou particularmente no signifiquem qualquer coisa . E, assim, elas no sero termos segundo os quais este "termo" estabelecido ; como o so os sinais das coisas universais e particulares.22

O problema dos universais ( partindo da questo , j referida , levantada por Porfrio e Bocio: de que que sinal um termo universal?) far a sua entrada no horizonte da teoria da suppositio em resultado de uma reflexo sobre o paradoxo de encontrarmos no mundo apenas indivduos , mas de sermos obrigados a utilizar termos gerais para poder pens- los. Por outras palavras: em resultado de uma reflexo sobre o facto de a validade do nosso conhecimento dos indivduos parecer resultar, em boa parte, da validade dos termos gerais que utilizamos . Que que justificaria chamarmos homem a dois indivduos diferentes , por exemplo, Plato e Aristteles, se no houvesse qualquer coisa que legiti-

21 Vicente Munoz Delgado , La lgica en Ias condenaciones de 1277, in Cuadernos Salmatinos de Filosofia, IV (1977) 17-39, p. 20.
22 Pedro Hispano , Tractatus called afterwards Summulae Logicales (ed. L. M. de Rijk ), Assen , Van Gorcum , 1982, p. 79, linhas 11-16. De agora em diante , referir-nosemos a esta obra apenas pela abreviatura Tractatus e remeteremos sempre para a paginao da edio de L. M . de Rijk . Cf. Amndio Coxito, Lgica , Semntica e Conhecimento na Escolstica Peninsular Pr-Renascentista . Coimbra, Biblioteca Geral da Universidade, 1981 , p. 51. (Em algumas edies , os seis tratados da obra de Pedro Hispano que abordam os temas especificamente medievais de lgica - ou seja , todos aqueles que no se encontram nos escritos lgicos de Aristteles - foram agrupados sob o ttulo comum de De Terminorum Proprietatibus ou de Parva Logicalia . Tais tratados , alm do problema da suppositio , tratam dos relativos, da ampliao , da apelao , da restrio e da distribuio. Sobre a questo do estatuto da appelatio em Pedro Hispano falaremos ainda mais adiante.)

Revista Filosfica de Coimbra - n.'28 (2006)

pp. 301-322

310

Carlos Morujo

masse o emprego de um termo comum ? O que liga o problema dos universais questo da suppositio , ento, a pergunta : que h de comum entre os termos universais e as coisas individuais que subjazem nossa experincia do mundo? J entre os comentadores neo-platnicos de Porfrio se tornara habitual distinguir o universal , fosse gnero ou espcie , y TOt^ rroXXois (existente no mltiplo ), Tr ToT TroXXui ( existente depois do mltiplo) e Trx Twl' TrOXXWov ( existente antes do mltiplo ). Em consequncia , as doutrinas de Plato e de Aristteles passaram a identificar-se, na tradio do realismo dos universais , para fornecer um modelo explicativo da passagem do universal independente das coisas, ou seja, em si mesmo, para o universal enquanto conceito situado na mente. Mas foi graas s investigaes dos gramticos , desde os tempos de Prisciano at ao final do sculo X1123, que a distino entre a funo apelativa dos nomes - ou seja, a sua capacidade em referir uma substncia individual - e a funo dita conotativa , ou seja, a de referir uma natureza universal , vir a originar , no sculo XIII , a doutrina propriamente lgica da suppositio. O que caracterizar os debates lgico-filosficos , do perodo da logica modernorum , em torno do problema da suppositio (bem como em tomo do problema das consequentiae , como mostraremos mais frente) a sua relativa independncia relativamente s teses metafsicas divergentes defendidas, quer por reales, quer por nominales . Ser a William of Sherwood que ficaremos a dever a primeira enumerao exaustiva das proprietates terminorum: So quatro as propriedades dos termos que, agora , pretendemos distinguir. Na verdade , o conhecimento delas valer para o conhecimento dos termos e, da mesma forma, para o conhecimento dos enunciados e das proposies. E estas propriedades so a significao , a suposio , a copulao e a apelao. A significao , , por conseguinte, a apresentao de alguma forma no
23 Um dos textos mais importantes deste perodo o manuscrito intitulado por L. M. de Rijk Ars Meliduna, redigido antes de 1 180 por um autor francs desconhecido. Recordemos que a escola de Melun foi fundada por Abelardo, aps a sua sada de Paris em resultado da ruptura com o seu mestre Guillaume de Champeaux. A influncia de Abelardo pode detectar-se, inclusivamente, na utilizao, pelo autor da Ars Meliduna, do termo status, para designar a maneira de ser que prpria de uma coisa e que, sendo comum a vrias, permite que delas se predique um termo universal. Sobre o estado do manuscrito e os problemas relativos sua provenincia e datao, cf. L. M. de Rijk, Ibidem, pp. 264 e segs. Sobre o pensamento de Abelardo, cf. tienne Gilson, La Philosophie au Maven Age, Paris, Payot, 1976, 2 vols., vol. 1, pp. 278-296.

pp. 301-322

Revista Filosfica de ('oimhra - n." 28 (2006)

A Logica Modernorum

311

intelecto. A suposio, porm, a ordenao de algum intelecto sob outra coisa. E a copulao a ordenao de algum intelecto sobre alguma coisa. E deve-se notar que a suposio e a copulao so ditas de duas maneiras, tal como muitos nomes desta espcie, ou segundo o acto, ou segundo o hbito.24 Para William of Sherwood, um termo tem de ter significatio para poder ter suppositio. A significatio, podemos vemo-lo na nossa citao, significa a presena de uma certa forma no intelecto25; ora, quando um termo, j dotado de significatio, aceite para designar um objecto (uma res), dizemos que tem suppositio. Em linguagem moderna diramos: o sentido - ou, por outras palavras, a significatio -, que garante a possibilidade da referncia - ou seja, da suppositio -, e no a referncia que garante a possibilidade do sentido26. Seria, contudo, errado, a nosso ver, querer reduzir a suppositio, simplesmente, referncia; mais do que a referncia, a suppositio de um termo o modo como ele refere numa proposio. No seno este o sentido do adgio: os sujeitos so tal como os predicados o tenham permitido27. Mas aquela noo de objecto muito lata. Tanto pode querer referir-se a uma forma universal e, neste caso, na terminologia de William

24 William of Sherwood, Introductiones in Logicam, Parte V, cit. in William Kneale e Martha Kneale, O Desenvolvimento da Lgica, Lisboa, Fundao Calouste Gulbenkian, 1972, p. 251. Este compndio foi publicado pela primeira vez em 1937, por M. Grabmann, que lhe deu o ttulo pelo qual hoje conhecido. 25 Como notam William e Martha Kneale, op. cit., p. 252, esta definio remete-nos, provavelmente, para um estdio inicial da teoria, em que a definio se aplicaria apenas aos termos gerais, como honro, no sentido de humanitas. Posteriormente, a teoria ter-seia generalizado para os termos singulares, como Socrates ou ille, que s tm lugar na teoria da significatio pela sua relao com uma das subdivises da suppositio, a saber, a suppositio personalis, de que falaremos mais abaixo. 26 Cf. Gottlob Frege, ber Sinn und Bedeutung, in Funktion, Begriff, Bedeutung (hrsg. von Gnther Patzig), Gttingen, Vandenhoeck und Ruprecht, 1994, pp. 40-65. Talvez a principal diferena da distino entre significado e suppositio relativamente distino de Frege entre sentido e referncia consista no facto de, para os medievais (independentemente das teorias nem sempre coincidentes sobre a suppositio), existirem diversos tipos de suppositio para uma mesma significatio, ao passo que, em Frege, podem existir vrios sentidos para uma mesma referncia. (Entendendo-se por sentido, neste contexto e como parece ser pacfico, os diversos modos de se chegar a uma referncia.) 27 Talia subjecta qualia predicata permiserint. Sobre este assunto, cf. L. M. de Rijk, Ibidem, p. 561, em particular sobre o problema da origem do adgio e sobre a sua errada atribuio a Bocio, j discutida por William of Sherwood.

Revista Filosfica de Coimbra - n.'28 (2006)

pp. 301-322

312

Carlos Morujo

os Sherwood, estaremos diante de uma suppositio formalis simplex28 a que Pedro Hispano, como veremos, chama suppositio naturalis -, quanto referir-se aos indivduos em funo da forma que recebem (a suppositio personalis), como aos prprios termos quando o seu uso no significativo (a chamada suppositio materialis 29), como, ainda, a objectos inexistentes, na medida em que, neste caso, o termo suporia por uma descrio. Quanto distino entre suppositio simples e personalis no ser exagerado v-Ia como uma tentativa dos lgicos do sculo XIII para clarificar unia ambiguidade da doutrina da significatio da logica nova, do sculo anterior30. De facto, em Abelardo e, em geral, nos anti-platnicos do sculo XII, a significatio utilizada para designar a propriedade de um termo que refere um objecto individual. Mas, na maioria dos casos, a significatio possua um sentido restrito e um sentido lato; no primeiro caso, (em que era igualmente chamada appelatio ou nominatio), equivalia, como em Abelardo, referncia de um objecto individual, mas, no segundo, podia designar a propriedade de um termo que refere uma natureza universal. Um exemplo poder clarificar a natureza daquela ambiguidade que mencionmos: numa proposio como Scrates homem, homem tanto pode significar aquela coisa - a saber, o indivduo Scrates - que (quod est) homem, como aquilo pelo que (id quo est) essa mesma coisa homem, ou seja, a humanidade de Scrates31. A suppositio pode ser definida, ento, como a sub-ordenao de um termo a outro termo, o que acontece sempre que a predicao essencial. No caso de haver sobre-ordenao, temos uma predicao acidental e a significatio chamar-se-, agora, copulatio. (Esta, diz William of Sherwood, prpria dos adjectivos32, dos particpios e dos verbos.) capacidade actual de um termo para ser predicado de outro, atravs

21 Veremos, na prxima seco, uma ideia diferente, em Guilherme de Ockham, sobre a natureza da suppositio simplex.

229 William of Sherwood foi o primeiro a definir claramente a suppositio materialis: Chama-se material quando a prpria palavra supe, ou a sua elocuo, ou a ela prpria, composta de elocuo e de significao, como se dissssemos "homem um monosslabo" ou "homem um substantivo". (Introductiones in Logicam, trad. Kretzmann, p. 107) ao Sobre o que se segue, cf. L. M. de Rijk, Ibidem, p. 559. 31 Cf. Amndio Coxito, op. cit., pp. 26-27. 32 Alis, William of Sherwood foi um dos primeiros a discutir exaustivamente a suposio do termo predicado, afirmando que ela implicava uma copulatio habitualis, ou seja que o que pensado nele esteja ordenado ao que pensado sob o termo sujeito. Defendia ainda que havia sempre uma referncia temporal do termo predicado, determinada pelo tempo verbal.

pp. 301 - 322

Revista Filosfica de Coimbra - n . 2X (2(X16)

A Logica Modernorum

313

da cpula , quer no caso da predicao essencial , quer no da acidental, chama William of Sherwood appelatio. Os pronomes demonstrativos, por exemplo, que designam substncias individuais, no podem servir de predicados, por isso no tm appelatio. Para a lgica medieval, todas as proposies universais afirmativas tm suppositio. (A que William of Sherwood chamar suppositio personalis confusa e Pedro Hispano suppositio communis .) Por exemplo, em todos os homens so mortais admite -se que todos supe por cada um dos homens efectivamente existentes . Na linguagem do clculo de predicados, poderamos exprimir esta situao do modo seguinte33: (Vx) (Hx -> Mx) _ (Vx) [( Hx1 A Mx1 ) A (Hx2 A Mx2 ) A...x] J para as proposies particulares, afirmativas ou negativas, o problema da suposio se encontra facilmente resolvido. Uma proposio como alguns homens so mortais verdadeira se pelo menos algum homem existente o for. (Ou, tratando-se de uma proposio particular negativa, se pelo menos um no o for.) Trata-se, na linguagem de Pedro Hispano, de uma suppositio personalis confusa. (3x) (Hx A Mx) Todas estas formas de suposio, em Pedro Hispano, correspondem ao que William of Sherwood chama suposio formal, ou seja, como dissemos, a presena de uma forma no intelecto. S que o filsofo portugus, no considerando a suppositio materialis, subdivide-se a suposio, de imediato, em universal (communis), quando o termo sujeito supe por todos os indivduos que subsume (quando, por exem33 Para o leitor menos familiarizado, explicamos, de seguida, o significado dos sinais que utilizaremos de agora em diante. V - quantificador universal (todo); 3 - quantificador existencial (h pelo menos um); -> - se...ento...; A - sinal de conjuno (e); = - sinal equivalncia; - - sinal de negao. Convm salientar que nem sempre o facto de parecer podermos utilizar um operador lgico em lugar de uma qualquer expresso latina nos garante que respeitamos as regras contemporaneamente prescritas para o seu emprego. Isto particularmente verdadeiro do quantificador universal, que, na lgica contempornea, indica apenas que uma determinada relao subsiste , independentemente da existncia, ou no, do objecto que sinalizamos pela varivel x. O mesmo no acontece na lgica medieval, que, semelhana da lgica de Aristteles, considerava as proposies que comeam por todo - ou seja, as universais afirmativas - como aptas a exprimir a essncia de algo efectivamente existente.
pp. 301-322

Revista Filosfica de Coimbra - n. 28 (2006)

314

Carlos Morujo

plo, homem est por cada homem) e em singular (discreta), a saber, a que possuem os termos singulares ou os pronomes que os substituam. A suposio universal subdivide-se ainda, para o filsofo portugus, em natural, quando se atribui um termo universal a todas as coisas que podem ser predicadas por ele por natureza (assim, na proposio todos os homens so mortais, homem tem suposio natural, pois pode ser predicado de cada homem, sem restrio de tempo); e em acidental, quando uni termo universal aceite pelos indivduos que o seu adjunto (ou seja, o verbo e o tempo em que se encontra) determina. Qualquer proposio do tipo o homem ... valer, neste caso, somente pelos homens actualmente existentes. Pedro Hispano parte do princpio que os tempos verbais restringem, mais do que ampliam, a suposio do termo sujeito34. A suposio acidental acontece sempre em contexto proposicional, o que no acontece com a natural. Aqui, convir proceder a uma clarificao de ordem terminolgica. Quando a suppositio restringida a um objecto actualmente existente, por efeito do tempo presente do verbo, Pedro Hispano falar de appelatio35. J encontrmos anteriormente este conceito, embora com um outro significado. Necessitamos, por isso, de fazer aqui uma referncia ao seu emprego pelo filsofo portugus, tanto mais que ele ocorre no contexto de uma divergncia sobre a natureza da suppositio que dividiu as correntes de Paris e de Oxford, a que aludimos na nossa nota n. 34. Ao passo que esta ltima corrente defendia que a suppositio se aplica, quer ao termo sujeito, quer ao termo predicado, a primeira - representada pela j mencionada escola de Melun e pela escola do Petit-Pont - defendia que a suppositio se aplica apenas ao termo sujeito. (Note-se, porm, que os mais antigos textos ingleses sobre as proprietates terminorum, como, por exemplo, a chamada Logica 'Cum sit nostra', se encontram na mesma linha da lgica do Petit-Pont.36) Mas, daqui, concluam os autores franceses que o tempo verbal, no passado ou no futuro, ampliava a referncia, ao passo que o tempo presente a restringia. Ora, justamente como restrictio que Pedro Hispano apresenta a appelatio.

34 William e Martha Kneale, op. cit., p. 269 . Trata-se de uma posio prpria da chamada corrente parisiense da lgica do sculo XIII, por oposio corrente de Oxford, representada por William of Sherwood. 35 Cf. Peter of Spain , Tractatus ed. cit., p. 197: Differt autem appelatio a suppositione et a significatione , quia appelatio est tantum de re existente , sed significatio et suppositio iam de re existente quam non existente. 3e Sobre este assunto, cf . Norman Kretzmann , Anthony Kenny, Jan Pinborg, , op. cir., p. 175.

pp. 301-322

Revista Filosfica de Coimbra - n. 28 (2006)

A Logica Modernorum

315

A suposio acidental, a que fizemos referncia, tambm se subdivide, segundo Pedro Hispano. Primeiro, em simples, quando se aceita um termo universal pela natureza universal (res) significada por ele. Por exemplo: homem est por essncia de homem em o homem uma espcie. A suposio simples distingue-se da suposio natural na medida em que no possvel dizer-se que cada homem tomado individualmente uma espcie, ao passo que, de acordo com o nosso exemplo de suposio natural, se todos os homens so mortais, possvel dizer-se, tambm, que cada um o . A incluso da suposio simples na acidental deve-se ao facto de estarmos em contexto proposicional, em que o predicado um dos universais. Depois, em suposio pessoal, quando significa aceitao de um termo universal pelos indivduos significados por ele. Por exemplo: quando digo "o homem corre", quero dizer "todos os homens so capazes de correr e h pelo menos um que corre." O acidente "correr" aplica-se a um indivduo num tempo determinado. A suposio pessoal, por ltimo, subdivide-se em determinada, quando verdadeira num caso, e em confusa, quando verdadeira para vrios indivduos. A suppositio em William of Ockham A doutrina da suppositio, em William of Ockham, parte de um conjunto de pressupostos lingusticos, epistemolgicos e ontolgicos, em reaco ao realismo das essncias necessrias e imutveis, quer no pensamento moderado de Toms de Aquino, quer no mais radical de Duns Escoto37. Em primeiro lugar, Ockham considera que a realidade composta por indivduos, que so captados por intuio sensvel. O indivduo o objecto primeiro do intelecto quanto origem; quer dizer, nada o pode preceder na ordem das coisas conhecidas. Afirmar que os entes singulares so a realidade ltima e irredutvel , para Ockham, uma tese inderivvel, ou seja, uma tese que no pode ser demonstrada nem deduzida. A singularidade - ou, noutros termos, a distino numrica - constitui o nico modo de ser dos entes; tudo o mais que seja possvel dizer deles constitui, apenas, modos de significao38. Estamos diante do que poderamos chamar uma ontologia da coisa (muito prxima, alis, da posio de Abelardo na sua discusso da natureza dos nomes universais), a que se associa uma doutrina da potentia Dei absoluta. No pode haver, para Ockham, nenhuma natura communis
37 Vicente Munoz Delgado, La lgica en Ias condenaciones de 1277, loc. cit., p. 35. 38 Cf. Pierre Alfieri, Guillaume d'Ockham. Le Singulier, Paris, Ed. de Minuit, 1989, pp. 29-30.
Revista Filosfica de Coimbra - n.' 28 (2006) pp. 301-322

316

Carlos Morujo

maneira de Duns Escoto, pois, neste caso, no s ela seria destruda medida que cada indivduo fosse destrudo, como no chegaria sequer a haver uma verdadeira criao, pois cada indivduo no receberia o seu ser do nada, mas sim de um universal que lhe pr-existiria:
1...1 se essa opinio fosse verdadeira, nenhum indivduo poderia ser criado, mas alguma coisa pr-existiria ao indivduo, que no receberia o seu ser do nada, se o universal que nele, primeiro, fosse em um outro. Em razo do mesmo, tambm se seguiria que Deus no poderia aniquilar um nico indivduo de uma substncia se no destrusse os demais indivduos, porque, se aniquilasse algum indivduo, destruiria tudo o que da essncia do indivduo e, em consequncia, destruiria o universal que existe nele e nos outros e, em consequncia, os outros no remanesceriam [...]. 39

Desta ontologia, poderia somente resultar uma concepo extensional da linguagem e da lgica. A proposio composta por termos, que se ligam atravs de elementos sincategoremticos e outras partes no significativas ; mas o termo, defende Ockham, o elemento ao qual se chega analisando uma proposio40 , antecipando , assim , aquela que ser, na viragem do sculo XIX para o sculo XX, uma das teses principais de Frege. Podemos reconhecer a existncia de uma tendncia natural dos termos a unirem - se, porm , ela no independente de um dinamismo mental ( de uma intentio animae, a que Ockham chama tambm uma vis fictiva) que procura afinidades e relaes entre as coisas41. - Isto torna-se particularmente evidente na doutrina ockhamista da proposio e da relao entre o predicado e o sujeito numa proposio. Uma vez que a cpula apenas o verbo que liga um dos extremos da proposio ao outro extremo, dizer- se que, numa proposio , o predicado est no sujeito , ou inerente ao sujeito , significa , no uma inerncia real, mas sim, apenas, que nos encontramos diante de uma predicao verdadeira. Tal poder, alis, significar, ou que o sujeito supe por qualquer coisa e que o predicado dito do objecto que o sujeito significa ( ou, eventualmente , no chamado caso oblquo, do pronome demonstrativo que indica esse objecto ); ou, ento, no caso de a suposio recair sobre o termo predicado , que o termo sujeito que funciona como o sujeito em relao a esse objecto , ou ao demonstrativo que o indica. Os alvos da doutrina de Ockham so o paralelismo entre a lingua39 Cf. Summa Totius Logicae, I, Lgica dos Termos, 15, trad. cit. p. 162. Comentrio em William Kneale e Martha Kneale, O Desenvolvimento da Lgica, ed. cit., p. 271. 90 Paola Mller, Ibidem, p. 34.
41 Cf. Summa Totius Logicae, I, 31-32, trad. cit., pp. 206-207.

pp. 301 -322

Revista Filosfica de Coimbra - n. 28 (2006)

A Logica Modernorum

317

gem e o mundo real (entre o modus significandi e o modus essendi, na linguagem dos modistae), bem como a tese do carcter representativo dos sinais mentais, defendida, em particular, pelo realismo tomista, a que ir opor uma defesa do carcter meramente referencial dos sinais (conceitos e nomes), no interior da estrutura da proposio. Numa proposio existem, sem dvida, termos com valor universal, mas, relativamente a eles, apenas legtimo dizer-se que realiter conveniunt, e no que in alio reali conveniunt. (A diferena bem marcada pelo uso, num caso, do advrbio, no outro, do substantivo.) Esta diferena, relativamente posio realista, quanto significatio de um termo universal - que significa, apenas, a totalidade dos indivduos realmente existentes que se podem subsumir nele - tem profundas consequncias em relao doutrina ockhamista da suppositio. A suppositio simplex, no sentido de William of Sherwood - que significava, recordamo-lo, a presena, na mente, de uma forma universal -, passa agora a designar o significado convencional de um termo resultante de um acto mental que abstraiu das caractersticas particulares de todos os indivduos pelos quais supe. Por isso, do ponto de vista de Ockham, o significado de uma proposio que contenha termos universais dever poder ser explicado por meio de outras proposies que contenham apenas termos singulares42. assim que a proposio o homem um animal verdadeira se, por exemplo, apontando para Scrates, se puder afirmar a proposio verdadeira isto um animal43. A proposio torna-se, ento, num programa trabalho para descobrir semelhanas, no sendo o resultado desse trabalho. Assim, por exemplo, uma proposio do gnero Petrus est homo como que um convite a descobrir a mesma coisa pela qual supem tanto Petrus como homo, e j no a expresso da inerncia da forma humanitas ao sujeito Petrus. (Ou da subsuno do sujeito no conceito do predicado.) E a proposio que confere suppositio aos termos, dando-lhes o valor de signos. O universal, portanto, um signo, sendo absurdo supor-se que represente qualquer coisa que existe em muitos indivduos aos quais aplicamos um nome comum44. Os signos, porm, tendo recebido tal valor na proposio, podem continuar a mant-lo fora dela.

42 Amndio Coxito , op. cit., pp. 215-216.

43 Summa Totius Logica, 1, 63, trad ., p. 314. 44 Ibidem, 14, trad . p. 160.

Revista Filosfica de Coimbra - n.'28 (2006)

pp. 301-322

318

Carlos Morujo

A doutrina das consequentiae J vimos, na terceira seco deste ensaio, que os elementos sincategoremticos podem transformar as proposies categricas em proposies hipotticas ou condicionais. Enquanto nas primeiras o assentimento recai sobre os termos e sobre a relao que estabelecida entre elas, nas segundas o assentimento recai sobre os elementos sincalegoremticos. Em todos os homens so mortais, o assentimento recai sobre homem e mortal e sobre a relao entre eles. Em se chover, ento fico em casa, o assentimento recai sobre a relao entre dois acontecimentos expressa pelo sincategorema se...ento.... O mesmo acontece no seguinte exemplo de Robert Kilwardby; Se todo o homem corre, ento um homem corre; se um termo tem suppositio communis, ento ter suppositio personalis confusa. Este exemplo particularmente interessante para o nosso propsito neste ensaio, uma vez que mostra com clareza que a doutrina das consequentiae o desenvolvimento das discusses sobre a natureza dos tpicos ou lugares, tal como a vemos ser abordada em diversos tratados medievais de lgica45, por exemplo, nas Sumulae Logicales de Pedro Hispano. Contudo, at ao incio do sculo XIV no encontramos nos tratados de lgica nenhum captulo ou seco dedicados, expressamente, ao tema das consequentiae. o que acontece nas obras dos trs autores mais representativos deste perodo: Pedro Hispano, Lambert de Auxerre (cujo tratado de lgica, escrito provavelmente entre 1253 e 1257, ficou conhecido por Summa Lamberti) e William of Sherwood46. Sero, precisamente, os tratados de lgica

45 Sobre este assunto, cf. Norman Kretzmann, Anthony Kenny, Jan Pinborg, op. cit., pp. 273 e segs. As discusses medievais sobre o problema dos tpicos, contudo, s indirectamente se ligam obra de Aristteles com o mesmo nome (conhecida, alis, por intermdio da traduo de Bocio); para um estudo aprofundado da questo seria necessrio ter em conta, no apenas a tradio lgica, gramatical e retrica do perodo alexandrino, mas, em particular, os Topica de Ccero e o seu comentrio por Bocio, bem como a obra deste ltimo intitulada De Topicis Differentiis 46 Contudo, a Sumina Lamberti conhece o sentido tcnico de consequentia como se pode ver pela passagem seguinte: Duplex est consequentia: una scilicet in qua, posito antecedente, de necessitate ponitur consequens, et hec potest dici naturalis vel necessaria; alia vero est consequentia in qua, posito antecedente, non propter hoc de necessitate ponitur consequens, sed ut frequentius concomitatur antecedens consequens et hoc potest dici consequentia probabilis vel consequentia ut in pluribus. (Cit. in Norman Kretzmann, Anthony Kenny, Jan Pinborg, op. cit., p. 307, nota 25.) J, todavia, na Summule Logicales
pp. 301-322

Revista Filosfica de Coimbra - n. 28 (2006)

A Logica Modernorum

319

do sculo XIV que, ao estudar as consequentiae, levaro a cabo o processo de aproximao entre estas e o silogismo ( categrico ou no), pela simples razo de considerarem que, quer as primeiras , quer o segundo, se encontram topicamente dependentes , ou seja, dependentes de um conjunto regras de inferncia que se aplicam tanto num caso como no outro. o que acontece com Joo Buridano e Marslio de Inghen. Em particular, o segundo destes dois autores, nas suas Parva Logicalia47 , divide o que chama consequentia formalis em syllogistica e non - syllogistica. No 15 do Livro V das Sumulae Logicales, de Pedro Hispano, podemos encontrar o seguinte exemplo: todo o homem corre; logo, Scrates corre. A suppositio personalis no aqui confusa, como no anterior exemplo de Kilwardby, mas sim determinata ( ou seja, falamos de Scrates e no de um homem qualquer), porm , tal no relevante para o nosso problema. Pedro Hispano nota que, quando um universal subsumido universalmente ( como ocaso , no exemplo citado, em todo o homem), legtimo concluir-se em relao a uma das suas partes, pela aplicao da mxima : tudo o que predicado do todo em quantidade tambm predicado de qualquer uma das suas partes. O tpico a toto in quantitate deu um poderoso impulso ao desenvolvimento da teoria das consequncias48 . Num estado mais refinado da teoria , perguntar - se-ia, a partir do exemplo anterior, o que acontece no caso de Scrates ter j morrido; a suspeita de que algumas consequentiae valem apenas ut nunc ( ou seja, no momento em que so ditas ), ao passo que outras valem para qualquer momento - algo de semelhante ao que vimos suceder na doutrina da suppositio - levar a reconhecer que esta consequncia j no pode ser considerada vlida49. Chegamos , assim , seguinte definio de consequentia : proposio hipottica , composta por um antecedente e por um consequente ligados por uma conjuno condicional , de tal modo que, se forem postos

de Pedro Hispano, toda a seco intitulada De falacia secundum consequens , do Tratado VII, De Falaciis, explorara este tema , numa linha semelhante que ser , um pouco mais tarde, quer a de Lambert de Auxerre, quer a de Roger Bacon. 47 Esta obra , tanto quanto sabemos , no foi ainda publicada . Informaes sobre a data da sua composio ( entre 1359 e 1379, provavelmente), o modo como chegou at ns e, fundamentalmente , sobre o seu contedo, podem encontrar- se em E. P. Bos, John Buridan and Marsilius of Inghen on consequences , in Jan Pinborg (ed.), The Logic of John Buridan (Acts of the 3. rd European Symposium on Medieval Logic and Semantics, Copenhagen , 16.-21. November 1975), Copenhagen, Museum Tusculanum , 1976, pp. 61- 69. 48 Cf. Peter of Spain , Tractatus, p. 64. 49 Marslio de Inghen insistir fortemente nesta questo . Cf. E. P. Bos, art. cit., pp. 64-65.
pp. 301-322

Revista Filosfica de Coimbra - n.'28 (2006)

320

Carlos Morujo

simultaneamente, impossvel que o primeiro seja verdadeiro e o segundo falso50. Na simbologia do clculo proposicional:

[(P -* q) = -(p ^ -q)1

Desta definio, podemos facilmente concluir que a consequncia uma inferncia, mas que nem todas as inferncias so consequncias. Ii o caso do silogismo, cujo estudo, no entanto, a partir dos finais do sculo XIII, tender, progressivamente, a ser englobado no mbito mais vasto das inferncias. E claro que possvel enunciar uni silogismo em Barbara do seguinte modo: "se todo B A e todo C B, ento todo C A", mas, neste caso, a implicao est baseada na necessidade de uma consecuo. Era o que j dizia Abelardo: no caso do silogismo, a conjuno condicional si equivale conjuno causal quia, quer dizer, estamos perante uma relao necessria, em que o antecedente a causa do consequente51. No mesmo sentido, dir mais tarde Walter Burley, j no sculo XIV, no seu De Puritate Artis Logicae Tractatus Longior, que, numa consequentia correcta - ao invs do que acontece no caso do silogismo -, do oposto do antecedente no se segue o oposto do consequente. Mas bvio que nem sempre encontramos nos medievais uma completa distino entre a proposio analisada nos seus termos (aquela que serve de base ao silogismo aristotlico) e a proposio por analisar (que se encontra na base do moderno clculo proposicional, mas fora j utilizada pelos megricos e pelos esticos, na sua doutrina das frases condicionais), para que esta questo pudesse ser resolvida com clareza. Pedro Hispano foi, provavelmente, um dos autores deste perodo que mais claramente percebeu a natureza das proposies por analisar, aquelas, justamente, que servem de base ao moderno clculo proposicional. No tratado I, De Introductionibus, do seu Tractatus, ao investigar as proposies hipotticas e as suas subdivises, distingue com nitidez entre aquelas que so ligadas pela conjuno et, as que so ligadas pela conjuno vel e as que so ligadas pela conjuno si. Tal distino corresponde ao que, hoje em dia,

511 Cf. 1. M. Bochenski, Histria de Ia Lgica Formal, trad. de Milln Bravo Lozano, Madrid, Ed. Gredos S. A., 1966, p. 203.
51 Alis, Abelardo mais no faz do que retomar a definio cannica de silogismo como conhecimento pela causa. Cf. Aristteles, Analticos Posteriores, 71 b 20: [...] tambm necessrio que a cincia demonstrativa parta de premissas que sejam verdadeiras, primeiras, imediatas, mais conhecidas que a concluso, anteriores a ela, e relativamente qual elas sejam a causa.

pp. 301-3222

Revista Filosfica de Coimbra - n. 28 (2006)

A Logica Modernorum

321

chamaramos, respectivamente, uma conjuno, uma disjuno e uma implicao52. De um modo geral, podemos formular as duas regras seguintes para a formao de consequncias vlidas: 1) de algo verdadeiro nunca se segue algo de falso; de proposies falsas pode seguir-se uma proposio verdadeira. 2) Se o consequente falso, o antecedente tambm falso. E o que nos diz o modus tollendo tollens do silogismo condicional, o que podemos formular do seguinte modo, na linguagem do clculo proposicional:

[(p---> q)^-,q] -*-,p

Regra geral, os medievais admitem que s so vlidas as consequncias do tipo das que foram defendidas na antiguidade por Diodoro de Crono: se se p, ento q verdade num certo tempo, deve s-lo em qualquer tempo. Mas tambm admitem a chamada consequentia per accidens, ou seja, a existncia, no de uma relao natural entre o que expresso em duas proposies, mas sim de uma coincidncia temporal entre o que expresso numa e noutra. (Algo que poderamos talvez aproximar da implicao material no sentido de Flon de Mgara, que, segundo o testemunho de Sexto Emprico, defendia que uma frase declarativa condicional perfeita simplesmente aquela que no comea com uma verdade e termina com uma falsidade53.) Se nos debruarmos, agora, sobre a origem do problema, verificamos que no possvel saber-se qual a influncia real que ter exercido, na Idade Mdia, a doutrina megrico-estica das frases condicionais, embora houvesse referncias a ela nas obras de Ccero e de Bocio. Mas a discusso deve ter tido origem na interpretao de uma passagem de Aristteles, Primeiros Analticos, II, 4, em que se diz que uma concluso no se pode seguir simultaneamente de uma proposio e da sua negao. Kilwardby, por exemplo, afirmava que do ser e do no-ser pode seguir-se o mesmo: por exemplo, Deus existe, quer eu esteja de p, quer esteja sentado. Defendia, tambm, que do necessrio segue-se a qualquer outra coisa, tal como do impossvel se segue qualquer coisa. (Consequentia accidentalis.) Estas duas ltimas teses sero tambm defendidas, no sculo seguinte, por Walter Burley, no Tractatus Brevior54.

O que certo que a doutrina das consequentiae se desenvolveu

52 Spain, 53 54 Sobre este assunto , cf. Joseph P. Mullally, The Summulae Logicales of Peter of Indiana , The University of Notre Dame Press, 1945, pp . XXV-XXVIII. Cf. Sexto Emprico , Adversus Mathematicus , 1, 309. Cf. Norman Kretzmann , Anthony Kenny, Jan Pinborg , op. cit., p. 294.

Revista Filosfica de Coimbra - n.' 28 (2006 )

pp. 301-322

322

Carlos Morujo

a partir da discusso dos tpicos, entendidos, de acordo com uma definio j apresentada por Ccero nos Topica e por Bocio no Livro 1 de De Topicis Differentiis, como a sede de um argumento. Dito de outro modo: um tpico garante a validade de uma inferncia, apresentando a regra geral sob a qual ela foi feitaSS. Ora, segundo uma tendncia que culminar em William of Ockham, os silogismos categricos da primeira figura em Barbara e Celarent, nos quais todos os restantes silogismos so redutveis por converso, constituem inferncias vlidas pela aplicao do tpico chamado dictum de onini et nullo. O silogismo, em geral, torna-se vlido, no s pela disposio dos seus trs termos na maior e na menor, mas tambm (e sobretudo) em virtude de meios extrnsecos ao prprio silogismo, a saber, regras de consequncia56.

Abstract : This essay approaches two of the main contributions of mediaeval logic to the history of logic and the philosophy of language: the doctrine of suppositio and that of consequentiae. The aim here is to demonstrate that although mediaeval logic depended on the syntactical structure of Latin , authors managed to reach a high level of understanding regarding strictly logical problems, not only anticipating some theories from modern semantics , but also predicate calculus and sentential calculus. This research, especially after the 13th century , developed in complete isolation from Aristotelian logic, particularly its doctrines of syllogism and declarative sentence. It also revealed enormous originality and creativity regardless of the contribution ( which was in any case reduced) that stoic logic known from the works of Cicero and Boethius may have had.

55 Cf. a definio de tpico (topos) em Aristteles, Retrica, 1, 2, 1358 a 10 e segs.: Os silogismos dialcticos e retricos tratam daquelas coisas s quais nos referimos como sendo os tpicos . Estes so comuns aos problemas que tratam do comportamento correcto, aos problemas fsicos e polticos e a muitos outros que diferem em gnero entre si, como, por exemplo , o tpico do mais e do menos. 5,1 Norman Kretzmann, Anthony Kenny, Jan Pinborg, op. cit., pp. 294-297.

pp. 301 - 322

Revista Filosfica de Coimbra - n." 28 (2006)