argumento ontolgico de Gdel

69
Um contemporneo de Anselmo de Aosta, o
monge Gaunilo de Marmoutiers, elaborou uma
refutao do argumento de Anselmo por meio
de uma REDUCTIO AD ABSURDUM do mesmo. A
reductio de Gaunilo tem o seguinte aspecto:

1. Perdida a ilha paradisaca mais perfeita e agra-
dvel que qualquer outra.
2. A ideia de ilha paradisaca mais perfeita e agra-
dvel que qualquer outra existe na nossa cons-
cincia.
3. Se a ilha real a que esta ideia corresponde no
existisse, teria de faltar um predicado ideia, a
saber, o predicado da existncia, pelo que ento
essa ideia j no seria a ideia da ilha paradisaca
mais perfeita e agradvel que qualquer outra, uma
vez que seria possvel pensar-se noutra ilha que
tivesse exactamente as mesmas propriedades de
Perdida e ainda a propriedade da existncia.
4. Logo, se a ideia de ilha paradisaca mais perfeita
e agradvel que qualquer outra existe, ento o
objecto que lhe corresponde tem tambm que
existir pois, caso contrrio, a ideia em causa dei-
xa de ser a ideia que , o que constitui uma con-
tradio.

A reformulao do argumento de Anselmo
por Gaunilo mostra-nos as concluses inacei-
tveis que se podem extrair de tal estrutura
argumentativa mas no diagnostica o vcio sub-
jacente ao mesmo. Um primeiro diagnstico da
natureza deste vcio foi efectuado por Hume e
tornado clebre por Kant. Consiste na conside-
rao de que o termo existir no adequa-
damente utilizado no argumento, uma vez que
ele aqui tratado como se referisse um predi-
cado quando a existncia no um predicado.
No sendo a existncia um predicado, a atri-
buio de existncia ideia ou representao
de um objecto ou ser no lhe acrescenta qual-
quer predicado, pelo que a ideia ou representa-
o de um dado objecto, ou ser concebido
como existente, no pode ser considerada
como maior ou mais perfeita, no sentido referi-
do de algo que rene maior nmero de predi-
cados, do que a mesma ideia ou representao
concebida de um objecto ou ser inexistente.
Da que a ideia de Deus concebida como reali-
zada num ser particular em nada possa diferir
da mesma ideia de Deus concebida como no
realizada por qualquer ser.
Mais tarde, Frege refinou a anlise do con-
ceito de existncia, defendendo a tese de que a
existncia seria um predicado de segunda
ordem, isto , um predicado que apenas pode-
ria ser atribudo a conceitos e no a objectos ou
seres. (Porm, h autores modernos que defen-
dem novas verses da tese tradicional; ver
EXISTNCIA.) Deste modo, o que a proposio
expressa pela frase Deus existe faria seria
atribuir ao conceito de Deus a propriedade de
no ser vazio. Pressupondo a no contradito-
riedade do conceito de Deus, uma deciso
acerca da verdade de tal proposio s poderia
ser alcanada por intermdio da descoberta de
um processo por meio do qual fosse possvel
determinar empiricamente se algum ser satisfa-
ria efectivamente todos os predicados de pri-
meira ordem por meio da conjuno dos quais
o conceito de Deus seria definido. Como a
existncia, enquanto predicado de segunda
ordem, no poderia ser um desses predicados,
o contraste entre as duas ideias introduzidas no
argumento de Anselmo no poderia, portanto,
estabelecer-se e o argumento seria improceden-
te. Assim, a nova definio de existncia intro-
duzida por Frege no traz qualquer modifica-
o rejeio do argumento determinada por
Hume e Kant. Ver ARGUMENTO ONTOLGICO DE
GDEL. AZ

Frege, G. 1884. Os Fundamentos da Aritmtica.
Trad. A. Zilho. Lisboa: Imprensa Nacional Casa
da Moeda, 1992.
Gaunilo de Marmoutiers. Liber pro Insipiente.
Hume, D. 1740. Tratado da Natureza Humana. Trad.
P. Galvo et al. Lisboa: Gulbenkian, 2002.
Kant, I. 1787. Crtica da Razo Pura. Trad. M. P. dos
Santos et al. Lisboa: Gulbenkian, 1985.
Santo Anselmo. Proslogion. Trad. C. Macedo. Porto:
Porto Editora, 1996.

argumento ontolgico de Gdel Kurt Gdel
conhecido por resultados notveis nos dom-
argumento ontolgico de Gdel
70
nios dos fundamentos da matemtica, da lgi-
ca, da cincia da computao e da fsica: o
TEOREMA DA COMPLETUDE da lgica elementar
clssica (1929), os TEOREMAS DA INCOMPLETU-
DE da aritmtica elementar clssica (1930), o
teorema de equiconsistncia das aritmticas
clssica e intuicionista (1933), a definio de
FUNO RECURSIVA geral (1934), o teorema da
consistncia da hiptese generalizada do CON-
TNUO (1937), um modelo cosmolgico para as
equaes de campo de Einstein (1949) etc. No
entanto, interessou-se tambm por questes
clssicas da metafsica. Gdel oferece o seu
ponto de vista sobre as trs ideias que Kant
afirma serem constitutivas da metafsica: Deus,
liberdade e imortalidade. Gdel no trata direc-
tamente da questo da imortalidade, mas
somente da questo associada sobre a vida
depois da morte. Num manuscrito intitulado
O Meu Ponto de Vista Filosfico afirma que
o mundo no qual vivemos no o nico em
que viveremos ou em que tenhamos vivido
(Wang 1996: 316).
Em correspondncias datadas do incio da
dcada de 1960, Gdel utiliza um anlogo do
princpio da razo suficiente de G. L. Leibniz,
segundo o qual o mundo e tudo o que nele h
tm sentido (Sinn) e razo (Vernunft) (Wang
1996: 108), para concluir que h vida depois da
morte (p. 105). Segundo Gdel, caso no hou-
vesse vida depois da morte, o mundo no teria
sido racionalmente construdo e no teria sen-
tido (pp. 105106):

Que sentido haveria em criar um ser (o
homem), que tem uma ampla gama de possibili-
dades para desenvolver e para relacionamentos
com os outros, e no permitir que realize sequer
um milsimo dessas possibilidades?.

Mas o mundo foi racionalmente construdo
porque tudo permeado pela mxima regula-
ridade e ordem e a ordem uma forma de
racionalidade (p. 106).
Quanto questo da liberdade, Gdel suge-
re ser possvel adaptar os seus teoremas da
incompletude da aritmtica elementar clssica
para demonstrar o seguinte:

Uma sociedade completamente isenta de
liberdade (isto , uma sociedade procedendo em
tudo segundo regras estritas de conformidade)
ser, no seu comportamento, ou inconsistente ou
incompleta, isto , incapaz de resolver determi-
nados problemas, talvez de importncia vital.
Ambos podem, naturalmente, pr em perigo a sua
sobrevivncia numa situao difcil. Uma obser-
vao similar aplicar-se-ia tambm a seres huma-
nos considerados na sua individualidade (p. 4).

O ataque de Gdel questo sobre a nature-
za e existncia de Deus elaborado a partir de
uma adaptao do ARGUMENTO ONTOLGICO de
Leibniz. Esse argumento est inserido num
projecto mais amplo, apenas esboado por
Gdel, para fundar a metafsica como uma
cincia exacta, preferencialmente sob forma de
uma monadologia na qual Deus a mnada
central (Gierer 1997: 207217). Gierer trans-
creve e comenta um dilogo ocorrido em 13 de
Novembro de 1940 entre Gdel e Carnap, no
qual Gdel sustenta a exequibilidade de tal
projecto.
H, entre os esplios de Gdel, esboos do
argumento ontolgico datando aproximada-
mente de 1941, mas a verso definitiva data-
da de 10 de Fevereiro de 1970. Gdel conhe-
cido pela sua relutncia em publicar resultados
que no considerasse definitivos. Basta lembrar
que a sua obra publicada em vida no perfaz
mais de trezentas pginas. Isso talvez explique
por que razo o seu argumento ontolgico
ficou indito at 1987, quando Jordan Howard
Sobel o publicou (Sobel 1987: 241261).
Em Fevereiro de 1970, Gdel discutiu o seu
argumento ontolgico com Dana Scott. Disso
resultou uma verso do argumento ontolgico
de Gdel, produzida por Scott, cujo tratamento
formal mais simples do que o da verso ori-
ginal de Gdel. Por manter intactas as noes
fundamentais e os passos principais da verso
original de Gdel, costuma-se utilizar essa ver-
so de Scott na discusso do argumento onto-
lgico de Gdel. Adoptamos, aqui, essa prtica.
argumento ontolgico de Gdel
71
Contudo, para compreender o argumento
proposto por Gdel preciso analisar previa-
mente o argumento ontolgico de Leibniz. Este
argumento parte de uma crtica mais geral
epistemologia cartesiana. Leibniz, contra Ren
Descartes, salienta o valor do conhecimento
simblico, e a crtica ao argumento ontolgico
de Descartes constitui um exemplo dessa dife-
rena entre Leibniz e Descartes.
Leibniz esquematiza o argumento da Quinta
Meditao cartesiana do seguinte modo (trata-
se de um excerto de carta, provavelmente ende-
reada condessa Elisabete, provavelmente
escrita em 1678):

Deus um ser que tem todas as perfeies e,
consequentemente, tem existncia, que uma
perfeio. Portanto, existe. (Leibniz 1989: 237)

Segundo Leibniz, o argumento no uma
falcia, mas est incompleto. O que lhe falta
a demonstrao da consistncia da noo de
Deus, ou seja, falta a demonstrao da COM-
POSSIBILIDADE das perfeies. O que Leibniz
solicita que seja demonstrado que a noo de
Deus adequada e no apenas distinta; que
possvel fornecer uma definio real e no
apenas nominal de Deus (Leibniz 1982: 271
278; trata-se do texto Meditaes sobre o
Conhecimento, a Verdade e as Ideias, de
1684, no qual Leibniz distingue entre noes
claras e obscuras, distintas e confusas, adequa-
das e inadequadas, intuitivas e simblicas, e
esboa uma teoria da definio a partir dessas
dicotomias).
No texto Que o Ser Perfeitssimo Existe
(Leibniz 1982: 148150), de 1676, Leibniz
demonstra a compossibilidade das perfeies a
partir da sua caracterizao como qualidades
simples, positivas e absolutas. Dessas, apenas a
positividade se mantm como nota das perfei-
es no perodo maduro da filosofia de Leibniz.
No argumento ontolgico de Gdel, as pro-
priedades positivas realizam o papel das perfei-
es, constituem as notas da noo de Deus. O
argumento ontolgico de Gdel nada mais do
que uma axiomatizao da noo de propriedade
positiva, uma definio implcita daquilo que se
entende por propriedade positiva.
Dividimos o argumento de Gdel em quatro
blocos: definies, axiomas, resultados e meta-
teoria.

Definies

1. Um indivduo tem a propriedade de ser seme-
lhante a Deus (Gotthnlich) se, e s se, tem todas
as propriedades positivas.

Gdel tambm lhe chama propriedade de
ser divino (Gttlich).

2. Uma propriedade a essncia de um indivduo
se, e s se, o indivduo tem essa propriedade e
essa propriedade est necessariamente subordina-
da a todas as propriedades do indivduo.

Gdel utiliza indiferentemente as expresses
Essenz e Wesen para a essncia de um indivduo.
Entende-se que uma propriedade subordinada
a outra quando a extenso da primeira um sub-
conjunto da extenso da segunda. Esta noo de
essncia corresponde noo de Leibniz de
conceito completo de um indivduo.

3. Um indivduo tem a propriedade da existncia
necessria (Notwendige Existenz) se, e s se,
todas as essncias do indivduo so necessa-
riamente exemplificadas.

Gdel tem o cuidado de no fazer da existn-
cia um predicado no trivial de primeira ordem.
Gdel faz eco da proposta de Norman Malcolm
(1960), para quem a existncia necessria, ou
seja, a impossibilidade lgica da inexistncia,
um predicado no trivial de primeira ordem,
embora a existncia simpliciter no o seja.

Axiomas

1. Qualquer propriedade de indivduos positiva ou
sua negao positiva.

Entende-se que a negao de uma proprie-
argumento ontolgico de Gdel
72
dade de indivduos aquela propriedade de
indivduos cuja extenso o complemento,
relativo ao domnio de indivduos, da extenso
da propriedade de indivduos.

2. Quaisquer que sejam as propriedades P e Q, se P
positiva e necessariamente sempre que um
indivduo tem a propriedade P tambm tem a
propriedade Q, ento Q positiva.
3. A propriedade da semelhana a Deus positiva.
4. Qualquer que seja a propriedade de indivduos, se
ela positiva ento necessariamente positiva.
5. A propriedade da existncia necessria positiva.

Os axiomas 1, 2 e 4 relacionam-se com uma
estrutura algbrica denominada ultrafiltro (filtro
primo). Na verso original de Gdel isso ainda
mais evidente. O primeiro axioma da verso ori-
ginal de Gdel afirma que a conjuno de uma
quantidade arbitrria de propriedades positivas
uma propriedade positiva; este axioma uma
generalizao da clusula imposta aos ultrafil-
tros, segundo a qual os conjuntos de um ultrafil-
tro so fechados por intercepes finitas. O
segundo axioma da verso original de Gdel
corresponde ao primeiro axioma da verso de
Scott; estes axiomas correspondem clusula de
maximalidade imposta aos ultrafiltros. O quarto
axioma da verso original de Gdel corresponde
ao segundo axioma da verso de Scott; estes
axiomas correspondem clusula de fecho por
superconjuntos imposta aos ultrafiltros. Final-
mente, os axiomas segundo os quais as proprie-
dades de semelhana a Deus e de existncia
necessria so propriedades positivas corres-
pondem clusula de no vacuidade imposta
aos ultrafiltros. Esta caracterizao algbrica das
propriedades positivas reveladora das intuies
e intenes de Gdel: usual interpretar um
ultrafiltro como uma famlia de conjuntos muito
grandes. Se esta interpretao estiver correcta,
Gdel est a afirmar que as propriedades divinas
so exemplificadas por uma quantidade muito
grande de indivduos, o que estaria em confor-
midade com as teses de Leibniz acerca da cria-
o e constituio do mundo actual como o
melhor dos mundos possveis (Sautter 2000).
Gdel tambm oferece uma caracterizao
puramente sintctica das propriedades positi-
vas. No Caderno de Notas Filosficas
(Adams 1995: 436) afirma que as proprieda-
des positivas so precisamente aquelas que
podem ser formadas a partir das propriedades
elementares por intermdio das operaes &,
, ; em nota de rodap sua verso do
argumento, Gdel afirma que as propriedades
positivas so aquelas cuja forma normal dis-
juntiva em termos de propriedades elementares
contm um membro sem negao (Adams
1995: 404). Aqui, admite que algumas proprie-
dades positivas so simples (as propriedades
elementares) e, portanto, no contm negao,
e que todas as demais propriedades positivas
so obtidas das propriedades elementares por
intermdio de operaes booleanas nas quais
no precisa intervir a negao. Esta possibili-
dade de caracterizao decorre dos seguintes
resultados acerca da lgica proposicional cls-
sica (LPC), cuja demonstrao envolve a apli-
cao de induo matemtica:

1. Teorema: Para toda proposio P da LPC, existe
uma proposio Q da LPC tal que Q tautologi-
camente equivalente a P e os conectivos de Q per-
tencem a {&, , } ou Q a negao de uma pro-
posio cujos conectivos pertencem a {&, , }.
2. Corolrio: Para toda proposio P da LPC tal que
a forma normal disjuntiva de P contm pelo
menos um disjuntivo sem negao, existe uma
proposio Q da LPC tal que Q tautologicamen-
te equivalente a P e os conectivos proposicionais
de Q pertencem a {&, , }.
3. Teorema: Se P uma proposio da LPC tal que
os conectivos de P pertencem a {&, , }, a for-
ma normal disjuntiva de P contm pelo menos um
disjuntivo sem negao.

H duas objeces principais noo de
propriedade positiva: na primeira, alega-se que
a distino entre positivo e no positivo no
absoluta, como pretende Gdel, mas sempre
relativa escolha de um sistema de conceitos;
na segunda, alega-se que a noo de proprieda-
de positiva no tem relevncia teolgica.
argumento ontolgico de Gdel
73
A primeira objeco formulada por Andr
Fuhrmann do seguinte modo:

As propriedades no so, em si, positivas ou
negativas, mas sempre e somente em funo de
outras propriedades. Deste modo, poder-se-ia, por
exemplo, considerar duro como uma propriedade
simples e analisar mole como no duro; o inverso
, naturalmente, igualmente possvel. Por conse-
guinte, isto indica que pode haver mais de uma
anlise, no fim das quais figuram classes de pro-
priedades simples distintas e incompatveis
(Fuhrmann 1999).

Fuhrmann compara a situao da distino
entre positivo e negativo (no positivo) com a
situao da distino entre simples e complexo
(no simples). Embora a controvrsia no se
restrinja aos seus aspectos formais, Otto Muck
(1992: 6566) forneceu um critrio natural de
prioridade ontolgica com o qual, pelo menos
formalmente, possvel mostrar que uma pro-
priedade positiva tem prioridade ontolgica
sobre sua negao.
A segunda objeco ainda mais contun-
dente: em que medida as propriedades tradi-
cionalmente atribudas a Deus (omnipotncia,
omniscincia, omnibenevolncia, etc.) so
positivas segundo a caracterizao oferecida
por Gdel? Aqui, novamente, Muck (p. 61)
encontra uma resposta: a caracterizao de
propriedade positiva tem grande similaridade
com a caracterizao de perfectio pura da tra-
dio da teologia filosfica. Por oposio s
perfectione mixtae, as perfectione purae so os
atributos divinos nessa tradio.

Resultados

1. Teorema: Se uma propriedade positiva, possi-
velmente exemplificada.

Este passo da demonstrao realizado uti-
lizando somente os Axiomas 1 e 2.

2. Corolrio: A propriedade de ser semelhante a
Deus possivelmente exemplificada.

Este passo da demonstrao corresponde ao
passo que Leibniz alega faltar no argumento
ontolgico cartesiano: a demonstrao de com-
possibilidade dos atributos divinos; este passo
da demonstrao realizado utilizando o teo-
rema 1 e o axioma 3.

3. Teorema: Se um indivduo tem a propriedade de
ser semelhante a Deus, essa propriedade a
essncia desse indivduo.

Este passo da demonstrao realizado uti-
lizando somente o axioma 1.

4. Nota: Duas essncias de um indivduo so neces-
sariamente idnticas.
5. Nota: A essncia de um indivduo necessariamen-
te no a propriedade de outro indivduo.

Este resultado, juntamente com o teorema 1,
demonstra a unicidade divina, quer dizer, exis-
te no mximo um ser com a propriedade de ser
semelhante a Deus.

6. Teorema: Necessariamente, existe um indivduo
com a propriedade de ser semelhante a Deus.

Este passo da demonstrao realizado uti-
lizando o corolrio 2 do teorema 1 e o seguinte
resultado auxiliar: se a propriedade de ser
semelhante a Deus possivelmente exemplifi-
cada, ento possvel que seja necessariamente
exemplificada. Este ltimo resultado , por sua
vez, demonstrado com auxlio do axioma 4 e
da proposio baptizada por Charles Hartshor-
ne como princpio de Anselmo. Este princ-
pio afirma que se existe um ente com a pro-
priedade ser semelhante a Deus, ento necessa-
riamente existe um ente com a propriedade de
ser semelhante a Deus. Esta denominao,
princpio de Anselmo, parece estar relacio-
nada com o facto de Anselmo da Canturia
demonstrar, por reduo ao absurdo, no ape-
nas a existncia de um ser maior do que o qual
nada se pode pensar (Deus), mas tambm que
necessariamente existe tal ser (Macedo 1996).
argumento per analogiam
74
A demonstrao, por reduo ao absurdo, no
Cap. 2 de Proslogion, conclui que o ser maior
do que o qual nada se pode pensar existe; a
demonstrao, tambm por reduo ao absur-
do, no Cap. 3, conclui, utilizando a mesma
definio de Deus, que necessariamente existe;
finalmente, no Cap. 15, Anselmo conclui que
Deus nem sequer pode ser pensado, quer dizer,
incognoscvel.
Metateoria Sobel sugeriu que o argumento
ontolgico de Gdel sofre de um grave pro-
blema formal, a saber, o colapso das modalida-
des, ou seja, tudo aquilo que verdadeiro tam-
bm necessrio. Desde ento, foram propos-
tas diversas modificaes das noes e axio-
mas originais de Gdel para ultrapassar esta
dificuldade (o manuscrito Summum Bonum de
Nelson Gomes, a ser publicado pela Editora
Loyola na colectnea intitulada Ns e o Abso-
luto, alm de conter uma exposio pormenori-
zada do argumento ontolgico de Gdel, tanto
nos seus aspectos histrico-filosficos como
em seus aspectos formais, contm uma exposi-
o das principais propostas de alterao do
mesmo). Contudo, Petr Hjek mostrou que,
adoptando uma interpretao no standard do
universo das propriedades de indivduos,
segundo a qual as propriedades so fechadas
por operaes booleanas (a formao arbitrria
de propriedades (interpretao standard) uma
das causas do colapso das modalidades no
argumento ontolgico de Gdel), e adoptando
o sistema de lgica modal S5 como lgica sub-
jacente, possvel demonstrar a consistncia
do argumento ontolgico de Gdel, a indepen-
dncia mtua dos seus axiomas, e o no colap-
so das suas modalidades (esses resultados so
pormenorizadamente apresentados em Sautter
2000, Cap. 3). Ver ARGUMENTOS A FAVOR DA
EXISTNCIA DE DEUS. FTS

Adams, R. M. 1995. Appendix B: Texts Relating to
the Ontological Argument. In Feferman, Solomon
et al., orgs., Kurt Gdel, Collected Works, Vol. III.
Oxford: Oxford University Press.
Adams, R. M. 1995. Introductory Note to *1970. In
Feferman, Solomon et al., orgs., Kurt Gdel, Col-
lected Works, Vol. III. Oxford: Oxford University
Press.
Fuhrmann, A. 1999. Gdels ontologischer Gottes-
beweis. http://www.ifcs.ufrj.br/cfmm/col2.htm.
Gierer, A. 1997. Gdel Meets Carnap: A Prototypical
Discourse on Science and Religion. Zygon v. 32,
n. 2: pp. 207217.
Hjek, P. s/d. Der Mathematiker und die Frage der
Existenz Gottes (betreffend Gdels ontologischen
Beweis). Prague. Trabalho acadmico. Institute of
Computer Science, Czech Academy of Sciences.
Kant, I. 1781. Crtica da Razo Pura. Trad. M. P. dos
Santos e A. F. Morujo. Lisboa: Gulbenkian, 1994.
Leibniz, G. W. 1982. Escritos Filosficos. Ed. e trad.
E. Olaso. Buenos Aires: Charcas.
Leibniz, G. W. 1989. Philosophical Essays. Ed. e
trad. R. Ariew e D. Garber. Indianpolis: Hackett.
Malcolm, N. 1960. Anselms Ontological Arguments.
The Philosophical Review 69: 4162.
Muck, O. 1992. Eigenschaften Gottes im Licht des
Gdelschen Arguments. Theologie und Philoso-
phie 67: 6566.
Santo Anselmo. Proslogion. Trad. C. Macedo. Porto:
Porto Editora, 1996.
Sautter, F. T. 2000. O Argumento Ontolgico Gde-
liano. Tese de Doutorado. Campinas: UNICAMP.
Sobel, J. H. 1987. Gdels Ontological Proof. In J. J.
Thomson, org., On Being and Saying. Cambridge:
The MIT Press.
Wang, H. 1996. A Logical Journey. Cambridge: The
MIT Press.

argumento per analogiam Ver ARGUMENTO
POR ANALOGIA.

argumento por analogia Um argumento que
infere a satisfao de uma propriedade por um
objecto B, na base da analogia que se verifica
existir entre o objecto B e um dado objecto A,
que sabemos previamente satisfazer a proprie-
dade . A analogia existente entre os objectos A
e B deixa-se, por sua vez, esclarecer em termos
do facto de existir um certo grupo de proprieda-
des satisfeito tanto por A como por B.
A hipottica validade ou invalidade de um
tal argumento no pode ser estabelecida A
PRIORI. Com efeito, a validade de um argumen-