Jos Maria Arruda *

RESUMO
Este artigo discute a concepo leibniziana da notio completa
individualis, segundo a qual todos os predicados atribudos a
um indivduo constituem sua natureza de forma essencial. O
Essencialismo leibniziano de carter estritamente lgico e
resulta em um universo completamente determinado; mesmo
assim Leibniz defende que ele compatvel com noes pranalticas de liberdade e responsabilidade moral.
PALAVRAS-CHAVE: Metafsica Modal. Essencialismo.
Compatibilismo. Leibniz.
ABSTRACT
This paper investigates the leibnizian conception of notio
completa individualis and his thesis that all attributes of an
individual substance are essential attributes. Leibniz
Essentialism has a logical basis and entails an image of the
universe as a completely determinate totality. He argues,
however, that essentialism is compatible with our prephilosophical ideas about freedom and moral responsibility.
The guiding interests isnt historical, but systematical, that is:
to discuss metaphysical questions surrounding essentialism.

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES

METAFSICAS

KEY-WORDS: Metaphysics of Modalities. Essentialism.

Compatibilism. Leibniz.
* Professor Adjunto da Universidade Federal do Cear - UFC.
89

No final da dcada de 50 e incio da dcada de 60, um

grupo de lgicos desenvolveu uma estratgia para dotar os
sistemas modais de uma semntica especfica. Essa estratgia
consistia em retomar a noo leibniziana do espao lgico
como domnio inclusivo em que todos os objetos possveis
esto distribudos em conjuntos maximais consistentes, os
infinitos mundos possveis. Os operadores modais
necessidade ( ) e possibilidade () deveriam atuar como
quantificadores sobre objetos em mundos possveis, de tal
forma que um objeto dito necessrio, se ele ocorre em
todos os mundos possveis; dito possvel, se ocorre em
pelo menos um desses mundos. O mais importante trabalho
desse perodo foi produzido por S. Kripke em 1963 1 e
consistiu na elaborao do sistema da lgica modal
quantificada (QML), que condensava elementos da lgica dos
predicados de primeira ordem e do aparato da semntica
modal de inspirao leibniziana. A QML atribui a cada
mundo um conjunto de objetos. A unio de todos os objetos
constitui o conjunto U, que o conjunto de todos os objetos
possveis distribudos nos diversos mundos possveis. Kripke
define a idia de um modelo quantificacional como uma
funo binria constituda de predicados e mundos possveis
relacionados a conjuntos de objetos. A introduo da
semntica dos mundos possveis na interpretao dos
sistemas modais permitiu uma uniformizao do campo
modal e Kripke conseguiu demonstrar a validade e
completude dos diversos sistemas modais existentes (sistema
M, sistema de Brouwer, e sistemas S4 e S5 de C. I. Lewis).
1

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

I. Introduo

Cf. S. KRIPKE (1963); LEWIS (1985); LOUX (1979).

91

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

O desenvolvimento da semntica dos mundos possveis

inaugurou uma nova era na histria da lgica modal. Ela fez
arrefecer o ceticismo empirista, que no via nenhum sentido na
linguagem modal, e abalou a crena dos que julgavam que lgica
deveria ser identificada pura e simplesmente com sistemas
extensionais. Mais importante ainda: a semntica dos mundos
possveis reabriu discusses metafsicas no interior da filosofia
analtica contempornea. Entre outras, a questo da identidade
e do essencialismo, ou seja, a tese metafsica de que as coisas tm
certas propriedades essencialmente e outras acidentalmente.
Embora no tenha elaborado um modelo quantificacional,
Leibniz , sem dvida, o grande inspirador da lgica modal
contempornea. Ele defendeu, por sua vez, uma forma de
essencialismo extremo: todos os atributos de uma coisa so
parte essencial de sua natureza. Neste artigo, pretendo
explicitar o essencialismo leibniziano a partir da idia de
conceito completo individual. Meu propsito no exegtico,
mas sistemtico, a saber: contribuir para o debate em torno
da Metafsica Modal e da Ontologia Analtica contempornea.
A Substncia Individual e sua Noo Completa
Para Leibniz, toda entidade que existe ou pode existir
um ser completo e uma substncia individual. Segundo ele,
cada substncia individual possui no espao lgico das
possibilidades o intelecto divino um conceito completo
(notio completa), que inclui tudo o que ocorrer a esta substncia
individual, caso ela seja atualizada 2. Assim, no conceito
2

GPh IV 433: la nature dune substance individuelle ou dun estre

complet, est davoir une notion si accomplie quelle soit suffisante
comprendre et en faire deduire tous les predicats du sujet qui cette
notion est attribue
92

A emendatio leibniziana em relao concepo

tradicional de substncia de origem aristotlica consiste em
fazer corresponder logicamente a cada substncia um conceito
completo, que explicita a substancialidade de cada coisa como
o fundamento intrnseco da seqncia de seus atributos 3. O
conceito completo de um indivduo (notio completa individualis)
torna clara a equivalncia entre substancialidade,
determinabilidade completa e individualidade, constituindose em marca distintiva da Metafsica de Leibniz. J em seu
escrito de juventude, De Principio Individui, Leibniz assume a
tese do individualismo ontolgico e acentua que um ente que
verdadeiramente pode existir precisa ser completamente
individuado: omne Individuum sua tota Entitate individuatur (GPh

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

completo de Alexandre, o Grande, esto contidas as noes

de discpulo de Aristteles e de primeiro grande Imperador
do Mundo. A notio completa contm tudo aquilo que pode
ser afirmado verdadeiramente do indivduo (Substantiae
singularis conceptus est terminus completus, omnia continens quae de
illa dici possunt, Grua 322), no importando se o que afirmado,
o de forma necessria ou contingente, ou se j ocorreu,
est ocorrendo ou ainda ocorrer na histria do mundo atual
(nam in perfecta notione cujusque substantiae individualis continentur
omnia ejus praedicata tam necessaria quam contingentia, praeterita,
praesentia et futura, GPh VII 311).

Si qua notio sit complexa, seu talis ut ex ea ratio reddi possit omnium
praedicatorum ejusdem subjecti cui tribui potest haec notio, erit notio
Substantiae individualis et contra. Nam substantia individualis est
subjectum quod alteri subjecto non inest, alia autem insunt ipsi, itaque
praedicata omnia ejusdem subjecti sunt omnia praedicati ejusdem
substantiae individualis, eaque sola [...]. Itaque notio quae hoc praestat
utique ipsius substantiae individualis notio est (C 403).
93

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

IV 18). Por isso, somente substncias individuais e seus

diferentes estados podem ter, de fato, realidade.
Em Leibniz, o espao do possvel corresponde
completamente ao reino do logicamente pensvel; nele, os
conceitos possuem uma realidade inteligvel. Se o conceito x
logicamente possvel, ento as notas que compem sua
definio esto livres de contradio: Possibile est quod non
continet contradictorium seu A non A (C 364). Todo estado de
coisas pensvel, toda ligao consistente de conceitos simples
ou complexos constitui o espao lgico do possvel 4. O
intelecto divino, epistemologicamente no-limitado, capaz
de vislumbrar todas as possibilidades lgicas visio Dei infallibilis
e possui uma perfeita cognitio a priori de todas as coisas. Deus
possui de cada substncia passvel de ser atualizada uma
compreenso completa (notio completa individualis), de tal forma
que ele conhece tudo que pode ser predicado verdadeiramente
da coisa, caso ela seja criada. A possibilidade da coisa antecede
logicamente sua atualizao. A atualizao de um conceito
possvel a atualizao de sua essncia, isto de todas as
notas que compem o conceito, tal como este conceito se
encontra determinado no espao lgico das possibilidades/
no intelecto divino. A rigor, existncia no acrescenta nada
ao conceito lgico de um indivduo, a no ser a determinao
extenso no mundo atual.
O conceito de um indivduo x doravante Cx to
mais completo, quanto mais ele contiver os predicados que
podem ser afirmados verdadeiramente de x. O conceito de
uma substncia individual dito completo, quando ele contm
4

GPh VI 252: [...] les objets de lentendement ne sauroient aller au

del du possible, qui en un sens est seul intelligible [...].
94

i. Cada conceito completo expressa uma substncia individual

e toda substncia individual possui um conceito completo
(A-VE 182) 6.
A completude se explicita da seguinte forma:
ii. O conceito Cx de um indivduo x completo, quando,
dado o conjunto de todos os predicados possveis, pode-se
inferir de Cx quais destes predicados podem ser afirmados de
x e quais no. Dado um predicado P, e se Cx um conceito
completo de x, ento Cx ou contm P ou contm no-P 7.
Como critrio lgico de completude vale a seguinte regra:
um conceito C completo, quando a introduo de um
predicado P extra implica em duas situaes a) ou o predicado
suprfluo, isto , P j est contido em C; b) ou C se torna
inconsistente, isto , o novo predicado P incompatvel com
outros predicados contidos em C.
Do ponto de vista formal, o conceito completo de
uma substncia individual x a conjuno de todos os
predicados que podem ser afirmados de x. Segundo Leibniz,

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

todos os predicados da substncia e somente estes 5. Podemos

ento afirmar que:

RESCHER (1967, 14) caracteriza isto como o Programa de um

indivduo e chama ateno para o fato de ele ser completamente
determinado: The history of a substance is merely the continous
unfolding of its program with the same inexorable inevitability with
which a mathematical series is generated in the sucessive development
of its defining law. BROAD (1975: 11) prope a designao de Principle
of the Pre-determinate Individual History. Sobre o essencialismo
leibniziano veja LISKE (1993: 55ss).
6
Cf. BROAD (1975: 20ss); RESCHER (1979: 50); LENZEN (1990: 101).
7
C 237: In omni termino inest A vel non A. Si non inest A, inerit non
A, et contra, adeoque aequivalent non inesse A, et inesse non A.
95

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

no se trata aqui de uma mera composio de predicados

disparatados, mas sobretudo de uma unidade singularmente
ordenada. Os predicados so ligados uns aos outros p.
ex., se x um homem, ento x um animal. No conceito
completo, possvel reconhecer a regra segundo a qual se
d no indivduo a seqncia de seus predicados.
Para caracterizar uma coisa (ens sive possible), a notio
completa individualis tem que satisfazer condio lgica da
consistncia e tem que expressar a verdade lgica da
predicao como continncia analtica do termo predicado
no termo sujeito. A exigncia da ausncia de contradio
implica a necessidade da prova de consistncia interna do
conceito completo: todos os predicados que entram no
conceito completo de uma substncia individual devem
ser compatveis entre si quando afirmados do mesmo
sujeito. A notio completa , portanto, um conceito complexo
que pode ser analisado como uma conjuno de sentenas
do tipo S P. Um indivduo logicamente possvel,
quando seu conceito completo for possvel, isto , quando
a conjuno de todos os enunciados simples que o
constituem no contiver nenhuma contradio. Assim, o
conceito completo no nada mais do que a conjuno
de todos os conceitos compatveis 8. Se o conceito de x
no for contraditrio, ento x um conceptus realis aptus,
de quo constat eum esse possibilem, seu non implicar e
contradictionem (C 513). Leibniz afirma que o nmero de
predicados de um conceito completo infinito, isto , o
conceito de um indivduo envolve infinitos atributos, o
que implica uma anlise infinita. A condio lgica da
8

96

Cf. LENZEN (1990: 111); POSER (1969: 34ss).

iii. Para que uma substncia individual x seja possvel,

necessrio que seu conceito completo Cx seja um conceito
livre de contradio: (x) = (Cx).
Toda conjuno maximal de predicados compatveis
define um indivduo, por isso, no espao lgico, podem existir
tantos indivduos quantas combinaes de atributos
compatveis forem logicamente permitidas. Como definio
para compatibilidade de atributos vale:
iv. Atributos so compatveis entre si, quando eles podem ser
predicados do mesmo sujeito. Se dois atributos A e B so
compatveis, ento existe logicamente um indivduo x, do qual
se pode afirmar tanto A(x) como tambm B(x).
A compatibilidade dos diversos predicados somente faz
sentido, se assumirmos que no processo de alterao de seus
predicados, o sujeito permanece constante (constantia subjecti), o que
implica a identidade lgica do sujeito/indivduo. Em conformidade
com o Princpio de Razo Suficiente, o conceito completo de um
indivduo pode ser considerado como princpio de explicabilidade
de uma substncia. Como pontua Leibniz: omnes res singulares sunt
successivae seu successione obnoxiae [...]. Nec mihi aliud est in eis permanens
quam lex ipsa, quae involvit continuatam successionem (GPh II 263). Quem
conhece o conceito completo da substncia individual x, compreende
a substancialidade de x a essncia de x ou a x-idade como o
fundamento da seqncia dos infinitos predicados de x 9. A
continncia dos predicados no conceito completo de uma

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

possibilidade de conceitos completos a compatibilidade

de predicados no mesmo sujeito. Da segue que:

Grua 266: Substantia seu Ens completum mihi est illud quod solum
involvit omnia, seu ad cuius perfectam intelligentiam nullius alterius
opus est intellectione.
97

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

substncia individual expressa logicamente a inerncia ontolgica

dos atributos na substncia referida pelo conceito: les accidens
sont considers [...] dans le sujet, sunt in subjecto, inhaerent subjecto (NE
III, i, 5, GPh V 257). Na notio completa manifesta-se, ento, sub
ratione possibilitatis, a essncia, a natureza e a lei interna da
sucesso de determinaes que caracteriza a substncia 10.
Para Leibniz, se C o conceito completo de um
indivduo qualquer, ento no possvel que dois indivduos
diferentes (x, y) possuam C. Se Cx o conceito completo de
x e Cx tambm o conceito completo de y, ento x e y so o
mesmo indivduo. Portanto, cada indivduo tem um e somente
um conceito completo, e cada conceito completo
corresponde a um e somente um indivduo. Disso segue que:
v. No possvel atribuir ao indivduo x o conceito completo
Cx e do mesmo modo atribuir ao indivduo y o mesmo conceito
Cx, sem que x e y sejam o mesmo indivduo; em outros termos,
no possvel que dois indivduos diferentes tenham o mesmo
conceito completo. Esta uma formulao clara do conhecido
princpio leibniziano da identidade dos indiscernveis (principium
identitatis indiscernibilium), segundo o qual non dari posse in natura
duas res singulares solo numero differentes (C 519) 11.
10

GPh II 264: Legem quandam esse persistentem, (id) quae

involvat futuros ejus quod ut idem concipimus status, id ipsum
est quod substantiam eandem constituere dico. JANKE (1963:
73) foi preciso ao afirmar que a notio completa caracteriza a
substancia como um sistema de propriedades que tem seu
fundamento (Grund) em si mesmo. Sobre este ponto ver tb.
GURWITSCH (1973: 317ss).
11
Sobre a importncia deste princpio na metafsica leibniziana cf.
KAUPPI (1960: 93); RESCHER (1978: 50s.); SLEIGH (1990: 56) e
tambm as consideraes crticas de PARKINSON (1965: 135ss.).
98

vi. Dois sujeitos somente so idnticos se tudo o que puder

ser afirmado de um sujeito, puder tambm ser afirmado do
outro sujeito, ou seja, quando eles possurem exatamente o
mesmo conceito completo, sem alterao de nenhum
predicado ou da seqncia de sua ocorrncia. Do fato de que
dois sujeitos tenham alguns predicados em comum, no se
pode inferir sua identidade, a menos que todos os predicados
afirmados e somente estes possam ser tambm afirmados
de outro 12. Esta uma forma de explicitar o princpio da
indiscernibilidade dos idnticos. Como Leibniz afirma: Dans
la rigueur mathematique la moindre difference qui fait que deux choses
ne sont point semblables en tout, fait quelles different dEspece (NE
III, vi; GPh V 287).
Neste sentido, o conceito completo designa um nico
objeto possvel. A correspondncia entre substncia individual
e conceito completo pode ser expressa de maneira extensional:

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

Ademais vale: Se Cx for o conceito completo de x e

P um predicado contido em Cx, ento possvel afirmar
que, se P no est contido no conceito completo de y, ento
y diferente de x. Mesmo que o indivduo y tivesse muitos
predicados de C, y no seria idntico a x, pois outros
predicados faltariam. Da segue que:

vii. O mbito dos objetos referidos pelo conceito completo

constitudo pelo conjunto no-vazio com o menor nmero
possvel de elementos, isto , o conjunto com somente um
12

GPh II 20: Pour peut quon pense aussi ce que je dis, on trouvera
quil est manifeste ex terminis. Car par la notion individuelle dAdam
jentends certes une parfaite representation dun tel Adam qui a de telles
conditions individuelles et qui est distingu par l dune infinit dautres
personnes possibles fort semblables, mais pourtant differentes de Luy .
99

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

100

nico elemento, que Leibniz, em referncia a Toms de

Aquino, chama de species nfima 13.
Condio indispensvel para que o conceito seja
satisfeito sua completude, de tal forma que nenhum
predicado que puder ser afirmado de uma substncia
individual deve estar fora de seu conceito completo14. A
minimalidade da extenso do conceito pressupe o grau
mximo de sua determinao. Da singularidade do conceito
completo resulta que:
viii. Os quantificadores lgicos no tm funo alguma no
tratamento dos conceitos completos: alguns Ades, todos os

13

GPh II 42: Quand on considere en Adam une partie de

ses predicats, par exemple, quil est le premier homme, mis
das un jardin de plaisir, de la coste du quel Dieu tire une
femme, et choses semblables conues sub ratione generalitatis
(cest dire san nommer Eve, le paradis et autres circonstances
q u i a ch e ve n t l i n d iv i d u a l i t ) , e t q u o n ap p e l l e A d a m l a
personne qui ces predicats sont attibus, tout cela ne suffit
point deter miner lindividu, car il y peut avoir une infinit
d A d a m s, c e s t d i r e d e p e r s o n n e s p o s s i bl e s q u i c e l a
convient, differentes entres elles. [...] la nature dun individu
doit estre complete et deter min. Je suis mme tres persuad
d e c e q u e S. T h o m a s a vo i t d e j e n s e i g n l g a rd d e s
intelligences, et que je tiens estre general, scavoir quil nest
pas possibles quil y ait deux individus entierement semblebles,
ou differens solo numero.
14
GPh VII 211: Difficultates quaedam Logicae solutu dignae
occurrerunt: qui fit quod in singularibus procedit oppositio:
Petrus Apostulus est miles, et Petrus Apostolus non est miles,
c u m t a m e n o p p o n a t u r a l i a s u n iv e r s a l i s a f f i r m a t i v a e t
p a r t i c u l a r i s n e g at iva? A n d i c e mu s, s i n g u l a re a e q u iv a l e re
particulari et universali? Recte.

Leibniz sugere que a referncia a outros apstolos

Pedro ou outros Ades se deve, sobretudo, nossa vaguidade
no emprego dos conceitos: ao invs da notio completa
empregamos, no mais das vezes, um conceito incompleto,
que no suficiente para identificar um indivduo como
entidade singular determinada, mas somente um indivduo
sub ratione generalitatis 16. A diferena entre conceitos completos
e incompletos funciona como fio condutor para a distino
entre indivduos, de um lado, e atributos, propriedades,
acidentes, gnero, espcie, enfim termos abstratos, de outro.
15

GPh II 54: en parlant de plusiers Adams, je ne prenois pas Adam

pour un individu determin, mais pour quelque personne conue sub
ratione generalitatis sous des circonstances qui nous paroissent determiner
Adam un individu, mais qui veritablement ne le determinent pas assez,
comme lorsquon entend par Adam le premier homme que Dieu met
dans un jardin de plaisir dont il sort par le pech, et de la coste de qui
Dieu tire une femme. Mais tout cela ne determine pas assez, y il auroit
ainsi plusiers Adams disjunctivement possibles ou plusiers individus
qui tout cela conviendroit. Cela est vray, quelque nombre fini de predicats
incapables de determiner tout le reste quon prenne, mais ce qui determine
un certain Adam doit enfermer absolument tous ses predicats, et cest
cette notion complete qui determine rationem generalitatis ad
individuum. Leibniz recusa a idia de uma identidade transmundana.
16
C 437: Abstracta sunt Entia, quae discriminant diversa praedicata
ejusdem Entis. Etsi contingat, ut idem homo sit doctus et pius, aliud
tamen est doctrina et pietas, quae dicuntur entia abstracta et inhaerere
homini tanquam subjecto [...]. Concretum est cui Entia inhaerent, et quod
non rursus inhaeret.

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

Ades e Ado so logicamente equivalentes 15. Conceitos

completos so sempre conceitos singulares, por isso h
coincidncia completa entre p. ex. um certo apstolo Pedro e
todos os apstolos Pedros (quidam Petrus Apostulus et omnis Petrus
Apostolus conicidunt, quia terminus est singularis, GPh VII 210).

101

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

102

Um conceito completo designa um e somente um objeto;

um conceito incompleto designa muitos objetos. Enquanto
o conceito completo de x no pode ser predicado de nenhuma
outra substncia individual alm de x, os conceitos
incompletos (sub ratione generalitatis seu essentiae seu notiones
specificae sive incompletae) se referem a atributos, propriedades,
gneros e espcies que podem ser afirmados de uma
pluralidade de indivduos; em outras palavras, eles no so
suficientes para individualizar objetos. Conceitos incompletos
designam, pois, abstrakta 17 e no substncias individuais (non
esse Entia completa, Grua 266).
Diferentemente dos conceitos abstratos, o conceito
completo de uma substncia individual se refere sempre a
uma coisa possvel e s suas circunstncias contingentes
tempo/espao, leis da natureza 18. O conceito completo do
apstolo Pedro se refere substncia individual Pedro sub
ratione possibilitatis e somente Deus v claramente tanto os
predicados essenciais de Pedro (homem, racional, falante,
etc.), quanto aqueles predicados que ocorrero acidentalmente
17

GPh II 49: [...] les notions des substances individuelles, qui sont
completes et capables de distinguer entierement leur sujet, et qui
enveloppent par consequent les verits contingentes ou de fait, et les
circonstances individuelles du temps, du lieu, et autres, doivent aussi
envelopper dans leur notion, prise comme possible, les decrets libres de
Dieu, pris aussi comme possibles, parceque ces decrets libres sont les
principales sources des existences ou faits. Grua 540: Singulare ex
cuius intellectu judicari potest utrum et quando et ubi, et an solum existat
an cum aliis, breviter de tota rerum universitate. Hinc patet cur difficile
sit tractare singularia, quia multa involvunt. Ver HACKING (1982).
18
GPh II 12: Que chaque substance singuliere exprime tout lunivers
sa maniere, et que dans sa notion tous ses evenements sont compris avec
leurs circomstances et toute la suite des choses exterieures.

Todo conceito completo que pode ser espaotemporalmente realizado entra em um e somente um
conjunto possvel de indivduos. Essa tese pode ser expressa
da seguinte forma:
ix. Para qualquer sentena S, em que o indivduo x aparece
como sujeito, j est determinado se S verdadeira ou falsa.
Com base no axioma da maximalidade do conceito
completo de x possvel inferir tambm o conjunto mximo
de indivduos compossveis com x. Neste sentido, pode-se
dizer que cada indivduo expressa/representa/espelha todo o seu
universo 19. Uma vez que se refere a circunstncias espaotemporais especficas, o conceito completo individual
infinitamente complexo e a resoluo de seus termos envolve
a compreenso do universo inteiro em que o indivduo est
inserido 20.
Para utilizar o prprio exemplo de Leibniz: se C
(Ado) o conceito completo de Ado, ento C (Ado)
envolve j, sub ratione possibilitatis, no somente tudo o que vai
ocorrer com Ado, mas contm tambm informaes sobre
o transcurso inteiro do universo em que Ado habita. Quem
conhece C (Ado), sabe a priori se Ado ter filhos e se seus
filhos tero filhos e se os filhos de seus filhos tero tambm
filhos, etc. A partir da anlise completa de C (Ado) possvel

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

a Pedro, caso o mundo em que Pedro habita seja criado. Aqui

possvel destacar a relao necessria entre o conceito
completo de x, (Cx), e o mundo possvel de x, (Mi).

19

Grua 540: Hinc patet omne subjectum ultimatum esse ens completum
et involvere totam rerum naturam [...]. Individuum autem est cuius
intelligentia involvit intelligentiam existentiae rerum.
20
(1967: 17).
103

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

104

obter informaes precisas sobre sua descendncia inteira.

Trata-se aqui de um referncia recproca de termos uns aos
outros ad infinitum e isto tem a ver com a infinita complexidade
de um mundo possvel, com suas relaes internas e com a
recproca dependncia e mtua determinabilidade de tudo com
tudo no mesmo universo.
O que Leibniz tem em mente aqui somente se deixa
explicitar com base no conceito de mundos possveis. Leibniz
define um mundo possvel como uma coleo de indivduos,
livre de contradies: Quo series rerum fingi possunt non implicantes
contradictionem, tot mundi possibiles sunt (Grua 390). Da mesma
forma que o nmero de indivduos no espao lgico infinito,
o nmero de mundos possveis tambm infinito (des
combinaisons infiniment infinies; infinit dinfinies, cest dire une infinit
de suites possibles de lunivers, dont chacune contient une infinit de cratures,
Thod. 225, GPh VI 252). Esta conjuno de indivduos no
arbitrria, mas ela prpria est limitada por dois critrios
lgicos: a) a compossibilidade lgica dos indivduos entre si,
que mensura a possibilidade de eles ocuparem a mesma poro
do espao lgico e b) sua maximalidade (capacitas mundi).
Por compossibilidade devemos entender o seguinte:
x. Dois indivduos so compossveis, quando eles podem
coexistir em um mesmo mundo, portanto quando a atualizao
de ambos no implica contradio. Por conta disso, para
qualquer indivduo x e para qualquer indivduo y, com x y,
vale o seguinte: se x no compossvel com y, ento eles no
pertencem ao mesmo mundo. Inversamente, se x e y pertence
ao mesmo mundo, ento eles so compossveis. Leibniz define
compossibilidade assim: Compossibile est quod cum alio non implicat
contradictionem (Grua 325).

O mundo possvel de uma substncia x, nada mais

do que o conjunto de todas as substncias individuais que
so compossveis com x. Para usar uma expresso de N.
Rescher 21, todo mundo possvel consiste de uma famlia
daquelas substncias que possuem compatibilidade lgica
entre si e que so dispostas de tal forma que qualquer alterao
de predicado em uma vem acompanhada necessariamente
de uma alterao de predicado em todas as outras. Por causa
disso, dado o conceito completo de x na medida em que Cx
contm informaes sobre espao, tempo e sobre as leis do
universo em que x habita est dado tambm o conjunto de
conceitos completos de todos os indivduos que so
compossveis com x, ou seja, a totalidade de indivduos que
podem existir no mesmo mundo de x. Como formula Leibniz,
o universo inteiro, ao qual x pertence, j est contido de modo
resumido sob um ponto de vista determinado em Cx22. Com
base no pertencimento de uma substncia individual a um
nico mundo, Leibniz acentua que cada substncia individual
representa/exprime/reflete seu universo e a totalidade das
outras substncias individuais que so compossveis com ela.
A relao de correspondncia pode ser enunciada assim:

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

Todos os indivduos de um mundo possvel devem

ser compossveis entre si dois a dois (pares ordenados). Aqui
se v claramente que a relao de compossibilidade (K) no
somente reflexiva [(xKx) = x compossvel consigo mesmo]
e simtrica (xKyyKx), mas tambm transitiva, pois se x e y
so compossveis e se y compossvel com z, ento x tambm
precisa ser compossvel com z: xyz[(xKy)(yKz)(xKz)].

21

C 521: Omnia substantia singularis perfecta notione sua involvit

totum universum.
22
Cf. MATES (1986, 77s.); LENZEN (1990: 191).
105

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

xi. Qualquer alterao em uma substncia x vem acompanhada

de alteraes em todas as outras substncias que pertencem
ao mundo de x, sem que x seja a causa dessas alteraes.
Uma substncia x expressa uma substncia y, quando existe
uma relao ordenada e constante entre suas ocorrncias,
mesmo que elas no estejam em relao causal.
Descrever um mundo determinado sobretudo
descrever todas as substncias compossveis e todas as
conexes que se fundamentam na relao de correspondncia
entre elas. Um mundo no somente uma soma de
substncias, mas tambm a totalidade de relaes que estas
substncias mantm entre si. Dois indivduos podem formar
uma relao, quando eles puderem ser pensados juntos, isto
, pertencerem ao mesmo mundo: Relatio est duorum
concogitabilitas (A VI ii 489). Leibniz acredita que, dadas duas
substncias em um mesmo mundo, sempre possvel formar
uma relao qualquer entre elas, com a condio porm, de
que estas relaes tenham um fundamentum in re, ou seja,
tenham seu fundamento nos atributos intrnsecos dos
referidos indivduos.
A segunda condio lgica de possibilidade de um
mundo sua maximalidade 23. Um mundo Mi dito maximal,
se qualquer tentativa de aumentar a populao de Mi atravs
da introduo de um novo indivduo torna Mi inconsistente.
Somente quando esta condio de maximalidade for satisfeita
pode-se falar de Mi como uma unidade fechada, isto , como
o conjunto de todas as sentenas vlidas em Mi. Dado um
23

C 530: Principium autem meum est, quicquid existere potest, et aliis

compatibile est, id existere. Quia ratio existendi prae omnibus possibilibus
non alia ratione limitari debet, quam quod non omnia compatibilia
106

O axioma de maximalidade implica, de um lado, que

um mundo possvel Mi totalmente determinado, de tal forma
que dada uma sentena S, j desde o comeo do mundo est
estabelecido se S verdadeira ou falsa em Mi. Qualquer mundo
tem, portanto, uma world-story, que como um livro
contendo todas as sentenas verdadeiras naquele mundo 25. De
outro lado, segue do axioma de maximalidade que, para Leibniz,
a escolha divina fundamentalmente uma escolha entre
conjuntos disjuntivo-maximais de indivduos compossveis. Esta
mundi-referencialidade do conceito completo de um indivduo
pode ser expressa da seguinte forma:
xii Se C(x) o conceito completo de x, ento existe um e
somente um mundo Mi, que preenche as condies para a
realizao de x; ou seja, existe um e somente um mundo, no
qual x pode existir.
De forma correspondente:
xiii. C(x) o conceito completo de um indivduo possvel x
qualquer, se e somente se existir um mundo Mi no qual C(x)
se encontra instanciado. Se I(Mi) representa o conjunto de

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

mundo Mi, ento todos os indivduos possveis em Mi 24 sero

membros de Mi.

24

Sobre isto ver ADAMS (1974).

GPh II 41: Or chaque substance individuelle de cet univers exprime
dans sa notion lunivers, dans lequel il entre. Et non seulement la
supposition que Dieu ait resolu de crer cet Adam, mais encor celle de
quelque autre substance individuelle que ce soit enferme des resolutions
pour tout le reste, parce que cest la nature dune substance individuelle
davoir une telle notion complete, do se peut deduire tout ce quon luy
peut attribuer et mme tout lunivers cause de la connexion des choses.
Sobre isto cf. RESCHER 1979, 50.
25

107

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

108

indivduos do Mundoi e I(Mj) o conjunto de indivduos do

Mundoj, ento se pode afirmar que: I(Mi) I(Mj) =
(conjunto vazio) para qualquer M i M j.
A conseqncia disso que qualquer alterao no conceito
completo de x corresponde a um alterao em seu mundo o
que Leibniz procurou fixar atravs da idia da constncia da relao
de expresso entre um indivduo e seu mundo. Disto decorre a
tese leibniziana de que a escolha divina no recai sobre um indivduo
especfico, mas muito mais sobre um universo inteiro, uma ordem
das coisas de acordo com sua pr-ordenao das regras de coexistncia das substncias e conforme seu plano geral para o
mundo26 . Um mundo possvel mais do que o mero
aglomerado ou a mera soma de indivduos, ele uma unidade
ordenada, na qual tudo est em relao com tudo conforme
as leis gerais desse mundo 27. Em diversos mundos, os possibilia
so repartidos e ordenados conforme princpios de natureza
lgica (compossibilidade, maximalidade), mas tambm segundo
princpios de natureza extra-lgica (unidade e simplicidade das
relaes de ordem, harmonia, etc.), de tal forma que se pode
falar de um mundo como sistema de substncias.
26

GPh II 51: (...) je conois quil y avoit une infinit de manieres

possibles de crer le Monde selon les differens desseins que Dieu pouvoit
former, et que chaque monde possible depend de quelques desseins
principaux ou fins de Dieu, qui luy sont propres, cest dire de quelques
decrets libres primitifs (conues sub ratione possibilitatis) ou Loix de
lordre general de cet Univers possible, auquel elles conviennent, et dont
elles determinent la notion, aussi bien que les notions de toutes les
substances individuelles qui doivent entrer dans ce mme univers.
27
GPh VII 311: Itaque quod Hypocrates de corpore humano dixit, de
ipso universo verum est, omnia conspirantia et sympathetica esse, seu
nihil in una creatura fieri, cujus non effectus aliquis exacte respondens
ad caeteras omnes perveniat.

II. Essencialismo, Determinismo e Compatibilismo

A introduo da notio completa individualis como
equivalente lgico de substncias individuais certamente um
dos constructos conceituais mais fascinantes da fase madura
da filosofia de Leibniz, em linhas gerais esboada nos Discours
de Metaphysique. Apesar disso, ele no se aventurou a publicar
suas idias sem antes se certificar sobre sua suposta recepo.
Desse perodo, data sua correspondncia com o grande lgico
e telogo Antoine Arnauld, um dos elaboradores da Logique
de Port-Royal. O mal-estar na concepo dos Discours reside
no essencialismo extremo e no suposto determinismo lgico
de Leibniz. O essencialismo extremo contido no conceito

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

Em suma, a noo leibniziana de conceito completo

individual significa a tentativa de apreender logicamente o
existente, na medida em que Leibniz conceitua completamente
os indivduos e os compreende como unidades conceituais.
Aqui devemos observar que, enquanto o conceito completo
de um indivduo somente pode pertencer a um e somente
um mundo, aqueles predicados que descrevem unicamente
atributos essenciais e propriedades sem referncia a tempo e
espao (p.ex.: racional, ser vivo, falante, etc.) podem entrar
no conceito de diversos indivduos em diversos mundos
possveis. Por esta razo, as proposies da matemtica, que
no contm nenhuma afirmao de existncia, so vlidas
em todos os mundos possveis. O mbito das coisas realmente
existentes caracterizado, por sua vez, por uma infinita
complexidade, de onde segue que a anlise lgica do conceito
de um indivduo existente vai at o infinito, j que ela implica
a anlise do todo do universo em que este indivduo est
situado.

109

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

completo aparece na tese de que todos os atributos de uma

substncia constituem uma parte essencial de sua natureza.
Como vimos, para a identificao e descrio de um indivduo,
todos os predicados so igualmente importantes, nenhum
atributo pode faltar. Se o predicado P pertence ao conceito
completo de x, ento no possvel que x no possua o
predicado P: ((x) & P(x)). Se no conceito completo de
Judas est embutida a caracterstica de que, em um
determinado momento t de seu mundo, Judas vai cometer
uma traio, ento seguramente falso que Judas em t no
trair. pergunta se Judas permaneceria o mesmo indivduo
caso ele no tivesse cometido o ato de traio, Leibniz
responderia de forma negativa: no se trataria de Judas, mas
de um outro indivduo muito parecido com ele. Se Judas no
tivesse cometido o ato de traio, ele no seria Judas; portanto
uma vez que faz parte da noo de Judas que ele cometa
traio, ento no possvel que Judas no cometa traio.
Diante desta conseqncia, no mnimo desconcertante,
e para muitos moralmente inaceitvel, do essencialismo
metafsico da teoria dos conceitos completos perfeitamente
compreensvel a indignao de Arnauld 28. Parece que o
Determinismo atinge com a tese da determinao completa
do indivduo seu pice, na forma de um determinismo lgico
radical. No entanto, Leibniz reivindica uma posio
compatibilista, ele acha que a teoria da notio completa
compatvel com nossas intuies acerca dos atos livres dos
indivduos. Contra as objees de Arnauld, Leibniz arrola
diversos argumentos apontando para a diferena entre
necessidade absoluta e necessidade hipottica, esclarecendo
28

110

Ver a interpretao de SLEIGH (1990) e KAEHLER (1989: 322ss).

Primeiramente, possvel fazer uma diferena entre

atributos essenciais e atributos acidentais, mesmo que ambos
integrem o conceito completo de um indivduo e mesmo
que, para efeito de identificao completa do indivduo, o
conjunto dos predicados acidentais tenha um papel decisivo.
Quais so os critrios lgicos da distino entre predicados
essenciais e predicados contingentes? Como distinguir no
conceito completo de um indivduo os dois tipos de atributos?
Neste contexto, as consideraes de Leibniz sobre o conceito
de Ado sub ratione generalitatis (vage Adam) e sobre o conceito
individual do nosso Adose mostram extremamente
profcuas e elucidativas. Sob a determinao geral do
primeiro homem que viveu no paraso, ns podemos nos
representar diversos Ades: um Ado* que teve um filho;
um Ado** que teve uma filha; ou at mesmo um Ado***
que no teve prole alguma. Mas, ns no podemos, porm,
nos imaginar que nenhum desses Ades possveis no era
um ser vivo, pois se Ado um homem, ento ele
necessariamente deve ser um ser vivo. Ns podemos formar
a classe K de todos os Ades vagos, reunindo todos aqueles
indivduos que possuem propriedades essenciais de Ado.
Enquanto as K-propriedades so propriedades de Ado sub
ratione generalitatis, ento no incorreto falar de muitos Ades

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

as implicaes da noo lgica de identidade e mostrando o

absurdo da tese de uma trans-world-identity, segundo a qual
os mesmos indivduos com alterao de alguns predicados
poderiam pertencer simultaneamente a mundos possveis
distintos. A defesa de Leibniz tem como objetivo explicitar
em que medida sua teoria se afasta do necessitarismo e como
ela pode acolher o postulado da liberdade humana e da
responsabilidade moral dos agentes.

111

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

112

possveis. A condio para isto que o nmero de K-predicados

seja finito e que os K-predicados tomados em conjunto no
sejam suficientes para determinar um indivduo completo.
Ns poderamos construir a classe de todos os
indivduos, aos quais o predicado ser homem compete. Este
predicado atrai j necessariamente uma srie de outros
predicados, que constituem o conceito de ser homem sub
ratione generalitatis, como ser vivo, bpede, racional,
risonho, etc. Nenhum indivduo pode ser um homem e ao
mesmo tempo no possuir os predicados ligados noo de
ser humano. As outras determinaes que devem ser
adicionadas para constituir o conceito completo de um ser
humano determinado, devem ser consideradas como
contingentes em relao a essa determinao bsica. A rigor,
por conta da maximalidade do conceito completo vale que
para qualquer predicado contingente P, ou bem este predicado
se aplica ao indivduo ou bem no se aplica a ele. Na medida
em que estes predicados de modo algum se referem a
propriedades essenciais de um ser humano, ocorre que
existiro alguns homens que tero alguns destes predicados
em seu conceito completo; e existiro outros homens que
no os tero. Tomemos o exemplo do indivduo Judas.
Cometer um ato de traio seguramente no pertence s
propriedades essenciais dos seres humanos, e isto pode ser
demonstrado a posteriori, pois existem homens que no
cometem traio. Propriedades contingentes no pertencem
portanto a conceitos essenciais ou genricos, mas somente a
conceitos individuais: De rei essentia sunt quae ei necessario ac
perpetuo competunt, de rei vero singularis notione sunt etiam quae ei
contingenter seu per accidens competunt [...] (Grua 383).

29

Este importante conceito da atual discusso sobre a semntica dos

mundos possveis foi formulado por D. LEWIS no artigo Counterpart
Theory and Quantified Modal Logic, In: Journal of Philosophy 65 (1968),
113-126. Ali Lewis escreve: The counterpart relation is our substitute
for identity between things in different worlds. Where some would say
that you are in several worlds, in which you have somewhat different
properties and somewhat different things happen to you, I prefer to say
that you are in the actual world and no other, but you have counterparts
in several other worlds. Your counterparts resemble you closely in content
and context in important respects. They resemble you more closely than
do the other things in their worlds. But they are not really you. For each
of them is in his own world, and only you are here in the actual world.
Indeed we might say, speaking casually, that your couterparts are you in
other worlds, that they and you are the same; but this sameness is no
more a literal identity than the sameness between you today and you
tomorroy. It would be better to say that your counterparts are men you
have been, had the world been otherwise.

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

A possibilidade de ter o predicado contrrio o

critrio decisivo de fixao do predicado como contingente
ou essencial. Mesmo que Judas, por conta de seu conceito
completo, no tivesse podido deixar de trair, no
contraditrio pensar que outros indivduos em situao
semelhante no teriam feito o que Judas fez. Ser traidor
sem dvida um predicado intrnseco a Judas, pois se Judas
no possusse este predicado, ele no seria Judas, mas um
outro indivduo qualquer, muito semelhante a Judas, mas no
o mesmo indivduo; ele seria uma espcie de ssia
(counterpart) 29 de Judas em um outro mundo possvel. A palavra
ssia pode dar margens a confuso, pois ela parece sugerir
que Judas pudesse ter existido em um outro mundo possvel
diferente do mundo atual. Leibniz rejeita veementemente a
tese de uma transworld-identity: o mesmo indivduo no
pode pertencer logicamente a diversos mundos possveis, pois

113

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

como vimos acima, indivduo e Mundo so completamente

individuados e determinados. Assim, no a presena dos
mesmos indivduos com alterao de algumas propriedades
que faz com que os mundos sejam diferentes; antes, cada
mundo tem seu prprio conjunto de indivduos (worldbound
individuals) 30. Portanto, mesmo que ser traidor seja um
atributo intrnseco a Judas, de forma alguma ser traidor
um predicado essencial aos homens sub ratione generalitatis, pois
a no ocorrncia deste atributo em ssias de Judas (vage Judas)
perfeitamente admissvel. Isto bastaria, segundo Leibniz,
para imputar a Judas responsabilidade moral por suas aes.
Neste contexto, convm citar a proposta de Mates
de demarcao de atributos essenciais e contingentes. Mates
(1986: 89ss.) chama a ateno para o fato de que o conceito
completo de um indivduo deve conter tudo o que vai ocorrer
a este indivduo. Portanto, o conceito completo Cx de uma
substncia individual x sub ratione possibilitatis contm todos
os estados de x no intervalo t0 - tn (com n = infinito), no
qual x existiria. Segundo Mates, Cx o registro das alteraes
de x no intervalo t0 - tn atravs de predicados que so
indexicados temporalmente, ou seja, que contm indicaes
temporais. Com base na indexao temporal, Mates estabelece
o seguinte critrio para distino entre atributos essenciais e
contingentes: Um atributo A dito essencial com relao
substncia individual x, se em cada momento do intervalo t0
- tn x possui o atributo A, de tal forma que a sentena x A
em tx para qualquer ponto tx entre t0 e tn verdadeira. Um
30

O conceito Worldbound Individuals foi formulado por A.

PLANTINGA (1979). Sobre o problema da identidade transmundana
nas discusses modais contemporneas cf. R. M. CHISHOLM (1979) e
A. PLANTINGA/ L. LINSKI (1977).
114

Por fim, preciso afirmar com Leibniz que em um

sentido metafsico todas as sentenas atributivas que se
referem a indivduos so no fundo hipotticas, pois elas
dependem da atualizao do mundo em que o indivduo existe.
Uma vez dado o indivduo, ento necessariamente ocorrero
todos os atributos contidos em seu conceito completo.
Evidentemente o Deus leibniziano conhece todos os fatos
que constituem o mundo criado. O saber a priori de Deus de
que o indivduo x no tempo t praticar a ao A no implica
logicamente que x no tempo t no praticou A livremente,
pois para o indivduo x no tempo t logicamente possvel
praticar ou deixar de praticar A. Se o indivduo decidiu praticar

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

atributo dito contingente ou acidental, por outro lado, se a

sentena x A em tx for verdadeira em algum momento t,
mas no em todo t do intervalo t0 e tn. Alexandre, o Grande,
um homem em t vale para qualquer t no interior do intervalo
de tempo que marca a existncia de Alexandre, o Grande.
Porm, a sentena Alexandre, o Grande, rei em t no
verdadeira para qualquer t. Atributos essenciais so, portanto,
constantes no tempo; atributos contingentes, ao contrrio, so
alterveis, pois seu valor de verdade depende do indicador
temporal. Para evitar incompreenso, preciso observar que a
sentena Alexandre rei em 336 a.C., embora faa referncia
a um indicador temporal, , enquanto proposio, obviamente
atemporal, pois ela expressa um estado de coisas possvel no
mbito do espao lgico das possibilidades. Sentenas sobre
eventos temporais pertencem enquanto proposies
esfera da Lgica e envolvem uma anlise mais refinada. Apesar
disso, em minha opinio, a proposta de Mates no para ser
descartada, pois ela oferece um critrio operativo claro de
distino entre os dois tipos de propriedades.

115

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

A, ento sua deciso livre, mesmo que Deus conhecesse esta

deciso e Ele tenha decidido realizar o mundo em que x decide
praticar A. Na medida em que realizar A no uma necessidade
lgica, x tem opes. Mesmo que Deus saiba que x em t vai
realizar A e mesmo que desde sempre a sentena x realiza A
fosse verdadeira, isto no significa para Leibniz que esta
sentena necessariamente verdadeira. Ela contingentemente
verdadeira, pois o seu contrrio logicamente possvel, mesmo
que no seja o caso. Toda verdade contingente permanece no
seu estatuto modal contingente, mesmo que ela seja certa e
seu valor de verdade determinado. Para Leibniz, Deus no pode
evitar que Judas seja um traidor, ele pode somente decidir ser
vai realizar ou no o mundo em que Judas por sua prpria
essncia cometer traio.
Os indivduos so para Leibniz autmatos espirituais,
que possuem um princpio interno de auto-movimento, o
que os diferencia de mquinas e os torna atores livres. Para
Leibniz, so trs as condies que devem ser preenchidas
para que uma pessoa x seja caracterizada como um ator livre:
a. x age espontaneamente
b. x tem logicamente possibilidade de escolha
c. x age de forma intensional ou teleolgica segundo a
representao do Bem.
Para Leibniz, mesmo em um universo determinista
as trs condies acima podem ser satisfeitas. Por isso, a
noo metafsica de essencialismo inteiramente compatvel
com a tese de que h aes livres no universo, q.e.d.

116

A-VE - Akademieausgabe-Vorausedition zur Reihe VI (Philosophischen

Schriften). Hrsg. von der Leibniz-Forschungsstelle der Universitt
Mnster. 1982ss.
C - Opuscules et fragments indits de Leibniz. Extraits des manuscrits
de la Bibliothque Royale de Hanovre par Louis Couturat. Paris,
1903 (Neudruck: Hildesheim 1961).
FC - Nouvelles Lettres et opuscules indits de Leibniz, publi par
Foucher de Careil, Paris 1854.
GPh - Die Philosophischen Schriften von G.W.Leibniz. Bd. I-VII,
hrsg. von. C.J.Gerhardt, Berlin 1875-90. Nachdruck:
Hildesheim 1965s. Citado conforme volume e pgina.
Grua - Textes indits daprs les manuscrits de la Bibliothque
provinciale de Hanovre, publis et annots par Gaston Grua,
Paris 1948 (2 Bde.).

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

REFERNCIAS BIBLIOGRFICAS:
Textos de G. W. Leibniz
A - Gottfried Wilhelm Leibniz. Smtliche Schriften und Briefe. Hrsg.
v. d.Preu (spter Deutschen) Akademie der Wissenschaften
zu Berlin. Reihe I-VI. Bd. i ff. Darmstadt (spter Leipzig,
zuletzt Berlin) 1923 ss. Citado segundo srie, volume e pgina.

LH - Die Leibniz-Handschriften, hrsg. von Eduard Bodemann

(Nachdruck der Ausgabe von 1895), Hildesheim, 1966.
Literatura Secundria
ADAMS, R. M.(1994): Leibniz. Determinist, Theist, Idealist, Oxford.
BLUMENFELD, D. (1982): Superessentialism, Counterparts
and Freedom, In: HOOKER (ed.)(1982), 102-33.
BROAD. C. D. (1975).: Leibniz. An Introduction, Cambridge.
117

ARRUDA, JOS MARIA. O ESSENCIALISMO DE LEIBNIZ E SUAS IMPLICAES METAFSICAS.

BURKHARDT, H. (1980): Logik und Semiotik in der Philosophie

von Leibniz, Mnchen.
CHISHOLM, R.M.(1979): Identity trough Possible Worlds:
Some Question, In: LOUX (ed.) (1979), 80-88.
GURWITSCH, A. (1974): Leibniz. Philosophie des Panlogismus.
Berlin/New York.
HACKING, I. (1982):. A Leibnizian Theory of Truth, In:
HOOKER (1982), 185-95.
HOOKER, M. (ed.) (1982): Leibniz: Critical and Interpreetative
Essays, Minneapolis.
JANKE, W. (1963): Leibniz. Die Emendation der Metaphysik,
Frankfurt am Main.
JOLLEY, N. (ed.) (1994): The Cambridge Companion to Leibniz,
Cambridge.
KAEHLER, K. E. (1989): Leibniz Position der Rationalitt,
Freiburg/Mnchen.
KAUPPI, R. (1960): ber die Leibnizsche Logik, Helsinki:
Societas Philosophica.
KRIPKE, S. (1963): Semantical Considerations on Modal Logic,
In: Acta Philosophica Fennica, Proceedings of a Colloquium in Modal and
Many Valued Logics), p. 83-94; cf. D..; cf. tambm M. J.
LENZEN, W. (1990): Das System der Leibnizschen Logik, Berlin.
LEWIS, D.(1985): On the Plurality of Worlds. Oxford: Blackwell.
LISKE, M-T. (1993): Leibniz Freiheitslehre, Hamburg.
LOUX, M. J. (ed.) (1979): The Possible and The Actual. Readings
in the Metaphysics of Modality. Ithaca: Cornell University Press.

118

PARKINSON, G.H.R. (1965): Logic and Reality in Leibnizs

Metaphysics, Oxford.
PLANTINGA, A. (1979): Transworld Identity or Worldbound
Individuals?, In: LOUX (ed.) (1979), 146-165.
A. PLANTINGA/L. LINSKI, Reference, Essensialism and
Modality, In: dos prprios (ed.), Reference and Modality, Oxford
1977.
POSER. H. (1969): Zur Theorie der Modalbegriffe bei G.W.Leibniz,
Studia Leibnitiana Suplementa, Bd. 6.
RESCHER, N. (1967): The Philosophy of Leibniz. Engelwood
Cliffs, N.J.: Prentice-Hall.
RESCHER, N. (1979): Leibniz. An Introduction to his Philosophy,
Oxford.
SLEIGH, R. C. (1990): Leibniz and Arnauld: An Commentary
on Their Correspondence, New Haven.

Kalagatos - REVISTA DE FILOSOFIA DO MESTRADO ACADMICO EM FILOSOFIA DA UECE

FORTALEZA, V.2 N.3, INVERNO 2005, P. 89-119.

MATES, B. (1986): The Philosophy of Leibniz: Metaphysics and

Language, New York.

119