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 conheci-
mento 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 trata-
dos 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 ontolo-
gia. Esta ser a poca das Su nmae ou e sobre ela, funda-
mentalmente, 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, nomea-
damente 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 particular-
mente verdadeiro da chamada doutrina da suppositio, de que nos ocupa-
remos 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 senti-
do tcnico de uma relao entre proposies, que no possua em Aris-
tteles. 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 Arist-
teles, de que falaremos mais adiante . Nele e em vrios outros encontra-
mos 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 desenvolvi-
mento 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 pro-
blema 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 intro-

duo -, Porfrio pretendera resolver o que considerava algumas difi-
culdades colocadas pelas Categorias de Aristteles. No incio do cap-
tulo 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 afir-
mar-se que convm a Scrates a prpria definio de humanidade; com
efeito, nada se encontra na segunda que no esteja tambm no pri-
meiro. 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 mor-
tais, 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 pre-
dicado 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 extin-
o. 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 epistemologi-
camente, 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 obri-
gados a admitir.
pergunta: de que que o universal depois do mltiplo sinal, res-
pondia-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 remon-
tava 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 deter-
minadas 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 distin-
es 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 pri-
nmeira 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 pri-
ma 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 sig-
nificao 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 falsi-
dade 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 sinca-
tegoremticos 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 reali-
dade, de natureza fsica ou mental; os segundos reenviam para as
operaes realizadas sobre os termos ou sobre as proposies (impli-
cao, conjuno, disjuno, negao, etc.), ou para a quantidade - uni-
versal 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 dom-
nio 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 con-
juno 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.

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

308 Carlos Morujo

Quanto ao termo supponere, registe-se a sua utilizao, pela pri-

meira vez, no sculo VI, pelo gramtico Prisciano, nos Institutionum
Grammaticarum Libri, significando a relao que o sujeito gramati-
cal 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 pensa-
mento medieval, quer para o pensamento antigo, a tese da existncia
de uma essencial conformidade entre a linguagem e a realidade cons-
titua 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 pro-
cesso 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 solu-
o ainda algo ambgua desta questo:

A significao de um termo , segundo a qual este estabelecido, a repre-

sentao da coisa pela palavra , segundo o agrado. Por esta razo, como todas
as coisas , ou so universais , ou so particulares , necessrio que as pala-
vras 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 , levan-

tada 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 exem-
plo, 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-nos-
emos a esta obra apenas pela abreviatura Tractatus e remeteremos sempre para a pagina-
o da edio de L. M . de Rijk . Cf. Amndio Coxito, Lgica , Semntica e Conhecimento
na Escolstica Peninsular Pr-Renascentista . Coimbra, Biblioteca Geral da Universida-
de, 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 distribui-
o. 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 uni-

versais 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 habi-
tual distinguir o universal , fosse gnero ou espcie , y TOt^ rroXXois
(existente no mltiplo ), Tr ToT TroXXui ( existente depois do ml-
tiplo) e Trx Twl' TrOXXWov ( existente antes do mltiplo ). Em conse-
quncia , as doutrinas de Plato e de Aristteles passaram a identifi-
car-se, na tradio do realismo dos universais , para fornecer um
modelo explicativo da passagem do universal independente das coi-
sas, 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 pro-
priamente 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 diver-
gentes 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 apela-
o. 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. Recor-
demos 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 dira-
mos: o sentido - ou, por outras palavras, a significatio -, que garante
a possibilidade da referncia - ou seja, da suppositio -, e no a refe-
rncia 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 sujei-
tos so tal como os predicados o tenham permitido27.
Mas aquela noo de objecto muito lata. Tanto pode querer refe-
rir-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-se-
ia 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 (independen-
temente 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 signi-
ficativo (a chamada suppositio materialis 29), como, ainda, a objectos ine-
xistentes, na medida em que, neste caso, o termo suporia por uma des-
crio. 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-pla-
tnicos do sculo XII, a significatio utilizada para designar a proprie-
dade 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 essenci-
al. 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, so-

bre 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 su-
posio 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, determina-
da 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 aci-

dental, chama William of Sherwood appelatio. Os pronomes demons-
trativos, por exemplo, que designam substncias individuais, no
podem servir de predicados, por isso no tm appelatio.
Para a lgica medieval, todas as proposies universais afirmati-
vas tm suppositio. (A que William of Sherwood chamar suppositio
personalis confusa e Pedro Hispano suppositio communis .) Por exem-
plo, 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 pro-

blema da suposio se encontra facilmente resolvido. Uma proposi-
o 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 lingua-
gem de Pedro Hispano, de uma suppositio personalis confusa.

(3x) (Hx A Mx)

Todas estas formas de suposio, em Pedro Hispano, correspon-

dem ao que William of Sherwood chama suposio formal, ou seja,
como dissemos, a presena de uma forma no intelecto. S que o fil-
sofo 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 exem-

33 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 contempor-
nea, indica apenas que uma determinada relao subsiste , independentemente da existn-
cia, 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 essn-
cia de algo efectivamente existente.

Revista Filosfica de Coimbra - n. 28 (2006) pp. 301-322

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) deter-
mina. 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 supo-
sio do termo sujeito34. A suposio acidental acontece sempre em con-
texto 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 sig-
nificado. 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 - represen-
tada 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, con-
cluam 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 cha-
mada 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 subdi-

vide, 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 natu-
ral 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 mor-
tais, 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 uni-
versal 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 con-

junto 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 indi-
vduo 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 num-
rica - 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 natu-
reza 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 indi-
vduo de uma substncia se no destrusse os demais indivduos, porque, se
aniquilasse algum indivduo, destruiria tudo o que da essncia do indiv-
duo 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 exten-

sional 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 dinamis-
mo 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 proposi-
o 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 proposi-
o 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 verda-
deira. Tal poder, alis, significar, ou que o sujeito supe por qualquer
coisa e que o predicado dito do objecto que o sujeito significa ( ou, even-
tualmente , 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 lingua-

39 Cf. Summa Totius Logicae, I, Lgica dos Termos, 15, trad. cit. p. 162. Comen-
trio 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 consequn-
cias 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 desig-
nar o significado convencional de um termo resultante de um acto men-
tal que abstraiu das caractersticas particulares de todos os indivduos
pelos quais supe. Por isso, do ponto de vista de Ockham, o signifi-
cado de uma proposio que contenha termos universais dever poder
ser explicado por meio de outras proposies que contenham ape-
nas termos singulares42. assim que a proposio o homem um animal
verdadeira se, por exemplo, apontando para Scrates, se puder afir-
mar 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 uni-
versal, 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 sincate-

goremticos podem transformar as proposies categricas em propo-
sies hipotticas ou condicionais. Enquanto nas primeiras o assen-
timento recai sobre os termos e sobre a relao que estabelecida
entre elas, nas segundas o assentimento recai sobre os elementos sinca-
legoremticos.
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 acon-
tecimentos 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 prop-
sito neste ensaio, uma vez que mostra com clareza que a doutrina
das consequentiae o desenvolvimento das discusses sobre a natu-
reza dos tpicos ou lugares, tal como a vemos ser abordada em diver-
sos tratados medievais de lgica45, por exemplo, nas Sumulae Logi-
cales de Pedro Hispano. Contudo, at ao incio do sculo XIV no
encontramos nos tratados de lgica nenhum captulo ou seco dedi-
cados, 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 prova-
velmente 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 neces-
srio 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 pro-

cesso 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 par-
ticular, 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 desen-
volvimento da teoria das consequncias48 . Num estado mais refinado
da teoria , perguntar - se-ia, a partir do exemplo anterior, o que acon-
tece 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 liga-
dos 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.

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

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 consequn-
cias. 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 silogis-
mo 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 silogis-
mo, 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 medie-
vais uma completa distino entre a proposio analisada nos seus
termos (aquela que serve de base ao silogismo aristotlico) e a pro-
posio 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 pudes-
se 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 liga-
das 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 pode-
mos formular do seguinte modo, na linguagem do clculo proposicional:

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

Regra geral, os medievais admitem que s so vlidas as conse-

quncias 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 tempo-
ral 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, verifica-
mos que no possvel saber-se qual a influncia real que ter exer-
cido, na Idade Mdia, a doutrina megrico-estica das frases condi-
cionais, 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 proposi-
o 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 defen-
didas, no sculo seguinte, por Walter Burley, no Tractatus Brevior54.
O que certo que a doutrina das consequentiae se desenvolveu

52 Sobre este assunto , cf. Joseph P. Mullally, The Summulae Logicales of Peter of
Spain, Indiana , The University of Notre Dame Press, 1945, pp . XXV-XXVIII.
53 Cf. Sexto Emprico , Adversus Mathematicus , 1, 309.
54 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 defi-

nio 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 silo-
gismo, 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 conse-
quncia56.

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)