UNIVERSIDADE DE SO PAULO

FACULDADE DE FILOSOFIA, LETRAS E CINCIAS HUMANAS

DEPARTAMENTO DE

FILOSOFIA

ALLAN JONATAN LERMA

O ARGUMENTO ONTOLGICO DE ANSELMO E O

PRINCPIO DE CARACTERIZAO

So Paulo
2015

ALLAN JONATAN LERMA

O ARGUMENTO ONTOLGICO DE ANSELMO E O

PRINCPIO DE CARACTERIZAO

Dissertao
apresentada
ao
Departamento de Filosofia da Faculdade
de Filosofia, Letras e Cincias Humanas
da Universidade de So Paulo para
aprovao na disciplina Lgica I.
Professor: Edlcio Gonalves de Souza

So Paulo
2015

O ARGUMENTO ONTOLGICO DE ANSELMO E O PRINCPIO DE

CARACTERIZAO

O presente trabalho tem por objetivo analisar o argumento ontolgico do

Proslgio de Anselmo luz do Princpio de Caracterizao. Ser utilizado o
instrumental lgico apresentado por Graham Priest em seu livro Logic - A Very
Short Introduction (PRIEST, 2006), principalmente o introduzido nos captulos 3
e 4. A anlise aqui empreendida foi feita com a cincia de sua limitao, em
virtude da natureza das ferramentas lgicas utilizadas. Alm do mais, o
predicado aqui utilizado foi escrito na forma de uma negao e, da forma como
foi colocado, o nome descrito consta do objeto da sentena, no so seu sujeito,
o que pode ser considerado uma extrapolao do instrumental abordado no
livro. Mas deve cumprir o objetivo de exemplificar a utilizao de parte do
arcabouo apresentado em aula.
Comecemos com um excerto do texto do Proslgio (ANSELMO, 1973):
Cremos, pois, com firmeza, que tu s um ser do qual no
possvel pensar nada maior. (...) Mas o ser do qual no
possvel pensar nada maior no pode existir somente na
inteligncia. Se, pois, existisse apenas na inteligncia, poderse-ia pensar que h outro ser existente tambm na realidade; e
que seria maior. Se, portanto, o ser do qual no se pode
pensar nada maior existisse somente na inteligncia, este
mesmo ser, do qual no se pode pensar nada maior, tornar-seia o ser do qual possvel, ao contrrio, pensar algo maior: o
que, certamente, absurdo.

Escreveremos o predicado no possvel pensar nada maior do que

na forma Ey yMx, ou no existe y que se possa pensar maior do que x.
Portanto, a descrio de Deus como ser do qual no possvel pensar nada

maior ser escrita na forma Ix(Ey yMx), a qual designaremos pela letra grega
.
Cabem aqui trs observaes sobre a escolha da simbologia utilizada:
1. No foi usado o operador matemtico > a fim de nos limitarmos
simbologia introduzida no captulo 3 para propriedades e porque, para
ser o mais fiel possvel ao argumento de Anselmo, a propriedade M no
significa somente maior que, mas no se pode pensar que maior
que.
2. O predicado foi escrito na forma Ey yMx, em detrimento de y (yMx).
Em ambos os casos h o problema de se trabalhar com uma negao.
Mas o primeiro parece mais prximo da escolha de palavras feita por
Anselmo (embora frequentemente a linguagem no corresponda aos
termos utlizados em lgica) e, ao desenvolver o predicado yMnx (como
ser visto mais adiante) E parece uma escolha mais apropriada que .
3. Para fim de simplificao, no se utilizaram operadores modais alticos;
a noo de possibilidade foi incluida nos prprios predicados.
Admitindo que algo pode ser maior do que outra coisa de maneiras
diversas (extenso, peso, conhecimento, potncia etc.), representaremos a
totalidade de tais maneiras como yM1x, yM2x, yM3x etc. Portanto, tambm
pode ser descrito na forma Ix(Ey yM1x & Ey yM2x & ...& Ey yMnx), ou ainda
Ix((Ey

yM1x V Ey yM2x V V Ey yMnx)).

Conforme o argumento prossegue, supor que x exista somente na

inteligncia permite pensar em outro ser que exista tambm na realidade, o que
maior (pois existir na inteligncia e na realidade maior que existir somente
na inteligncia). Representando possvel pensar que n exista na inteligncia

e possvel pensar que n exista na realidade, respectivamente, como nI e

nR, utilizaremos yM1x com o significado de (Ey yI & yR) & Ex xR.
A concluso do argumento que se x existir somente na inteligncia,
pode-se pensar um y que exista tambm na realidade e seja, portanto, maior
do que x, o que absurdo, pois contradiz a prpria definio de x. Ou,
utilizando a notao j introduzida:

Ix(Ey

yM1x & Ey yM2x & ...& Ey yMnx)

Ey yM1x

Ou seja, visto que Ey yM1x uma das propriedades de x, o predicado

Ey yM1x, sua negao, contraditrio com a sua descrio. E, conforme a
definio dada anteriormente, Ey yM1x pode ser desdobrado em:
((Ey yI & yR) & Ex xR);
ou ainda:
(Ey yI & yR) V Ex xR.
Dado que existem seres dos quais pode-se pensar existirem tanto na
realidade quanto na inteligncia, pode-se concluir:
(Ey yI & yR) V Ex xR
Ey yI & yR
Ex xR
Ou seja, conclui-se que Deus existe na realidade.
Entretanto, o Princpio de Caracterizao (que determinada coisa possui
as propriedades pelas quais caracterizada) s aplicvel se existir de fato
um objeto, nico, caracterizado pelas propriedades que o descrevem. Portanto,
s se pode concluir Ey yM1x de Ix(Ey yM1x) se houver um objeto x, nico,

que satisfaa Ey yM1x. E como Ex xR se deduziu a partir de um

desdobramento de Ey yM1x, tambm s se pode concluir que x (Deus) existe
na realidade se houver um objeto x que satisfaa as caractersticas dadas, o
que incorre numa petio de princpio.
Da anlise feita, mostra-se que a invalidade do argumento ontolgico de
Anselmo, decorrente da inaplicabilidade do Princpio de Caracterizao, que
exigiria a constatao prvia da existncia de Deus na realidade para
demonstr-la.

REFERNCIAS BIBLIOGRFICAS
PRIEST, Graham. Logic: a very short introduction. New York, Oxford
University Press, 2006.
ANSELMO DE CANTURIA, Proslgio in Os Pensadores, VII: Santo
Anselmo de Canturia, Pedro Abelardo. Trad. A. Ricci. So Paulo, Abril, 1973