Você está na página 1de 20

1

SENTIDOS E MODOS DA EXISTNCIA EM FREGE*

Resumo
A tese de Frege sobre a Existncia apresenta ntidas afinidades com a de Kant. No
entanto, Frege no considera apenas a noo de existncia como um predicado de predicados,
mas reconhece um outro sentido que requerido pela prpria ontologia pressuposta na
semntica de Frege. A ideia de que no s so reais os objectos, mas tambm os conceitos,
funes e pensamentos, leva Frege a pensar numa esfera do objectivo, real, alm do mbito
daquilo que efectivamente. O primeiro sentido de existncia, como predicado de 2 nvel,
traduzido pelo quantificador existencial no suficiente para uma semntica da existncia que
abarque outros modos possveis de existir. E, apesar de Frege ter rejeitado as modalidades, por
no afectarem os contedos conceptuais dos juzos, a sua viso do mundo integra diferentes
modos de existir: os objectos singulares, os conceitos e funes, os pensamentos, o verdadeiro
e o falso. A estes diferentes modos de existir correspondem diferentes modos de os exprimir na
linguagem: a existncia, o ser, no so termos unvocos, mas to pouco equvocos ou
ambguos, a sua plurivocidade requer uma semntica que tenha em conta a considerao
analgica destes mesmos termos predicativos.
Palavras - chave: Frege, Existncia, Modalidades, Predicados, Nomes prprios.

Maria Lusa Couto Soares


Universidade Nova de Lisboa
smlpc@fcsh.unl.pt

Introduo
O conceito de existncia foi discutido com pormenor por Frege num escrito anterior a
1884, Dialog mit Pnjer ber Existenz, publicado postumamente. 1 Neste escrito, Frege
rejeita o sentido de frases como A existe ou A , porque o conceito de existncia ou o de ser
no so determinaes de um objecto, ou seja, nada dizem do objecto e por isso no permitem
distinguir entre qualquer um objecto e outro. Alm disso, A existe, pode traduzir-se
simplesmente por A tem uma referncia e um juzo negativo de existncia da forma A no
existe, no faz qualquer sentido: se A for um nome prprio, pressupe a referncia e
pronunciar um nome prprio para de seguida negar que tenha referncia o mesmo que riscar
esse nome da linguagem (da linguagem logicamente bem construda, na qual cada nome deve
ter um e s um referente).
Mas fundamentalmente nos Grl, que Frege desenvolve a noo de existe como um
predicado de 2 nvel, um predicado de predicados, e no um predicado de objectos. A
argumentao de Frege mostra claramente at que ponto as teses de Kant sobre a existncia e
sobre as modalidades influenciaram at certo ponto Frege. No entanto, no que diz respeito
existncia, Frege no se deixa condicionar pelas exigncias puramente lgicas, que s admitem
a traduo do predicado existe pelo quantificador existencial. Alm deste sentido do
predicado de existncia, Frege distingue um outro sentido da existncia que no pode
confundir-se com o primeiro.
A partir dos Grl, pode seguir-se o percurso das teses de Frege sobre a existncia: as
afinidades com as passagens da Crtica da Razo Pura so bem ntidas, mas tambm as
distncias. O que se pretende mostrar a ambivalncia no pensamento de Frege no modo de
tratar esta questo: ambivalncia que radica, por um lado no projecto lgico de Frege, por
outro, no reconhecimento da inefabilidade da semntica e nos pressupostos ontolgicos da sua
filosofia da linguagem.

1. Modalidades e Existncia
Na sua primeira obra de lgica, Begriffsschrift 2 , Frege exclui radicalmente do seu
programa as noes modais, por consider-las no de ordem lgica mas epistmica e poderem
ser traduzida, na simbologia lgica, pelos quantificadores.
A diferena entre um juzo apodctico e um juzo assertrico radica simplesmente no
facto de existir ou no um juzo universal a partir do qual a proposio inferida; ele existe no
juzo apodctico, e falta no juzo assertrico. Portanto, afirmando uma proposio como
necessria, estamos apenas a apresentar um sinal (Wink) relativo ao fundamento epistmico
desse juzo. Conclui Frege:
Uma vez que isso no afecta o contedo conceptual do juzo, a forma do juzo apodctico no tem
nenhum significado para ns .3
Se uma proposio apresentada como possvel, ou o locutor est a suspender o juzo, sugerindo que ele
desconhece qualquer lei a partir da qual a negao da proposio poderia ser inferida, ou diz que a generalizao
da negao falsa. Neste ltimo caso temos o que se costuma chamar um juzo particular afirmativo.. 4

3
Como exemplo do primeiro caso, Frege apresenta: possvel que a Terra venha,
alguma vez no tempo, a colidir com outro corpo celeste); como exemplo do segundo caso:
Uma gripe pode provocar a morte. Neste breve e nico texto em que refere as modalidades,
Frege d por concluda a sua lgica modal, enclausurando-a entre duas fronteiras:
a) a reduo do modal ao epistmico, com a afirmao de que o carcter de
necessidade e possibilidade no significa nada que diga respeito ao contedo conceptual dos
juzos; indica apenas o modo como o sujeito se relaciona com o objecto ou o contedo do
juzo: apreendendo-o como um caso assente numa proposio universal, no caso do apodctico,
ou captando-o como um caso particular para o qual se desconhece unia proposio universal
que o subsuma;
b) a reduo do modal ao extensional, uma vez que, do ponto de vista lgico, os
operadores modais podem reconverter-se em operadores quantificacionais. necessrio
que... tem um significado e um valor lgico equivalente a Sempre que..., ou Todas as
vezes que....
A primeira reduo no mais do que uma rplica (no sei se assumida ou meramente
tcita da parte de Frege) da tese de Kant sobre as modalidades tal como exposta no conhecido
texto da Kritik der reinen Vernunft. 5
As categorias da modalidade nada acrescentam como determinaes do objecto, afirma
Kant, tese que em Frege expressa pela afirmao de que no afectam o contedo conceptual
do juzo, sendo portanto externas a esse contedo; acrescentam apenas a maior ou menor fora
epistmica dessa proposio se, logicamente, constituir uma inferncia a partir de uma
proposio universal, ou no. , por conseguinte, a relao do objecto ao sujeito o que
exprimem as categorias modais, confirmando-se a sua inspirao kantiana. So, de facto,
categorias cognitivas que indicam apenas, relativamente ao conceito a ao da faculdade de
conhecimento que o origina. 6
Segundo esta concepo kantiana, a prpria existncia neutralizada ao ser considerada
uma modalidade do juzo que o determina como a posio absoluta do ser perante o
pensamento, contrariamente aos juzos de relao, nos quais a cpula ocorre apenas como
sinal de atribuio lgica e no implica de modo nenhum a existncia.4
Frege teria presente, como fonte e horizonte do seu prprio pensamento, esta
concepo kantiana das modalidades e da existncia e, por isso, ao apresentar, na Bs, o plano
de construo de uma linguagem lgica, no v necessidade de apresentar smbolos para os
operadores modais, nem mesmo smbolo lgico para o predicado existe: os juzos
afirmativos particulares no envolvem existncia . 7
Da a segunda reduo do modal ao extensional, que motivou a ausncia de uma lgica
modal na Bs. O extensionalismo de Frege, no entanto ser posteriormente repensado e
contrabalanado por perspectivas nitidamente intensionais, no mbito da lgica filosfica.
Do mesmo modo, h razes e provas suficientes para concluir que Frege, depois da Bs,
se afasta substancialmente da primeira reduo e apresenta das noes modais e da existncia
perspectivas irredutveis a esta primeira concepo epistmica, ou cognjtiva (segundo
expresso de Vuiliemin). nos Grl que Frege explicita o seu pensamento sobre a noo de
existncia: apresentando inicialmente uma concepo da existncia aparentemente concordante
com a de Kant, pode detectar-se tambm no texto uma profunda divergncia, latente, quer
desenvolver em textos posteriores (Grg, Ged, sobretudo).

2. Existncia como predicado


Tal como vem formulada no 53 dos Grl, a noo fregeana de existncia anloga de
Kant. A comparao dos textos dos dois autores faz ressaltar com nitidez essa afinidade. Diz
Kant:

4
No simples conceito de urna coisa no se pode encontrar nenhum carcter da sua existncia. Embora
esse conceito seja de tal modo completo, que nada lhe falte para pensar a coisa com todasas4etermi- naes
internas, a existncia nada tem a ver com tudo isso: trata-se apenas de saber se a coisa nos dada, de tal modo que
a sua percepo possa sempre preceder o conceito. 8

O texto de Frege introduz a noo de existncia a partir da distino entre propriedades


e notas de um conceito:
Quando me refiro s propriedades que se atribuem a um conceito, no quero dizer evidentemente as
notas que cornpem o conceito. Estas so propriedades das coisas que caem sob o conceito, no do prprio
conceito. Por exemplo rectngulo no uma propriedade do conceito tringulo rectngulo. Mas a proposio
que afirma no haver tringulo rectngulo rectilneo equiltero enuncia uma propriedade do conceito tringulo
rectngulo, rectilneo equiltero; atribui-lhe o nmero zero.
Neste aspecto a existncia anloga ao nmero. Afirmar a existncia, com efeito, no seno negar o
nmero zero. 9

Torna-se patente a semelhana das concepes kantiana e fregeana: as determinaes


internas (na terminologia de Kant) podem analogar-se s notas caractersticas (Merkmale)
do conceito (na terminologia de Frege); entre estas notas, que so as propriedades dos
objetos que o referido conceito subsume, no podemos encontrar a existncia (Nada tem a ver
com isso) que, segundo Frege, um predicado de segundo nvel, uma propriedade do conceito
que indica se ele subsume ou no algum objecto. Em Kant, de modo semelhante, a existncia
indica se a coisa nos dada de modo que a sua percepo possa preceder o conceito:
Se o conceito precede a percepo, isto significa a mera possibilidade da coisa; mas a percepo, que
fornece a matria para o conceito, o nico carcter de realidade. 10

A possibilidade identifica-se, para Kant, com a coisa meramente pensada, e ope-se


realidade, ao facto de ser real, ou seja, de se dar percepo. A existncia no um atributo
do possvel, mas alguns predicados do possvel podem atribuir-se correctamente ao existente,
quando este for objecto da percepo sensvel. Esta a tese j apresentada por Kant em Der
einzig mgliche Beweisgrund zu einer Demonstration des Daseins Gottes: de acordo com esta
noo, no devemos dizer que existem na natureza hexgonos regulares, mas que a algumas
coisas da natureza, tal como as colmeias, pertencem os predicados includos no conceito de
hexgono.11
A percepo, o nico carcter de realidade, simplesmente o conhecimento
emprico do facto (perfeitamente contingente para a caracterizao da coisa enquanto pensada)
de que essa coisa existe. Alm de pensada pelo entendimento, posta perante a sensibilidade
que a percepciona como existente. Por isso, a existncia nada acrescenta ou determina coisa
pensada que, enquanto possvel, inclui j por definio a totalidade dos seus predicados.
Frege diverge de Kant exactamente nesta fronteira to radicalmente estabelecida entre
possvel e real. Embora a sua afirmao de que a existncia um predicado de segundo nvel
possa coincidir no incio com a de Kant, segundo a qual a existncia no um predicado real,
tal coincidncia radica apenas na excluso do predicado da existncia do conjunto de
determinaes ou notas caractersticas de um conceito. Daqui Kant concluir que no um
predicado real; porm a concluso fregeana. de que no um predicado de primeiro nvel no
implica que no seja real: trata-se de um predicado de predicados, que, em Frege, como
veremos, tambm real. Outra afinidade inicial nas duas teses, que conduzir a teses
divergentes, o contra-exemp1o que ambos os autores apresentam para ilustrar a excluso da
existncia das determinaes de um conceito: o argumento ontolgico da existncia de Deus.
A distino de Frege entre propriedade e notas reinvocada: um conceito feito com as
suas notas caractersticas (Merkmale), no com as suas propriedades. No entanto, Frege
acrescentar de imediato que isto no quer dizer que seja completamente impossvel deduzir,

5
das notas caractersticas de um conceito, alguma das suas propriedades. Em certas condies,
isto possvel: por exemplo, podemos inferir quanto demora construir uma casa, conhecendo o
tipo de pedra usado. Portanto, seria ir demasiado longe afirmar que no podemos inferir das
caractersticas de um conceito a sua unicidade ou existncia; na verdade, isto no pode ser to
direto como a atribuio a um objecto que cai sob um conceito de um carcter componente
desse conceito, como uma propriedade desse objecto.12
Como est patente no texto de Frege, a evocao do mesmo argumento ontolgico
coincidente, mas no de modo to radical como em Kant. Frege admite ser possvel (sem
especificar) deduzir, a partir das notas caractersticas de um conceito, uma propriedade desse
conceito, distinguindo porm esta inferncia possvel da atribuio directa de uma nota do
conceito a um objecto por ele subsumido, como sendo sua propriedade.
Estas circunstncias particulares nas quais seria possvel deduzir uma propriedade a
partir das notas caractersticas de um conceito parecem ser as que se do no caso de uma
proposio ser analtica, considerada em si mesma, e portanto ontologicamente necessria,
embora esta necessidade no implique necessidade epistmica. Esta distino, entre
necessidade ontolgica/necessidade epistmica assimilada por Dummett13 distino tomista
de uma proposio per se nota e nota quoad nos. Segundo So Toms, a proposio Deus
existe exemplo de urna proposio per se nota mas no nota quoad nos ou, em terminologia
atual, analtica e ontologicamente necessria, mas no analtica para ns e, portanto, no
epistemicamente necessria.
Esta aproximao da argumentao tomista permitida pela distino que Frege
desenvolver posteriormente, em Ged. entre o verdadeiro e a captao de uma proposio
verdadeira, entre o carcter epistmico das noes de necessidade e verdade e uma
considerao no epistmica, e portanto a admisso, pelo menos tcita, de noes no
epistmicas de necessidade e de verdade.
As condies em que seria possvel deduzir das notas caractersticas de um conceito,
alguma das suas propriedades so tambm evocadas por Frege no pargrafo 49, em que, para
responder a Espinosa (que afirma ser impossvel dizer propriamente que Deus seja uno e nico,
porque no podemos, abstraindo, conceptualizar a sua essncia), defende que a abstrao a
partir de um nmero de objetos no de forma alguma o nico modo de adquirir conceitos;
podemos tambm alcanar um conceito, partindo das suas prprias notas caractersticas, sendo
nesse caso possvel que nada caia sob esse conceito. Esta possibilidade que permite, conclui
Frege, negar ou afirmar a existncia. Neste texto, portanto, Frege prev a possibilidade de,
mediante a apreenso de certos conceitos atravs das suas notas caractersticas, inferir a
existncia ou no existncia de algo que esse conceito possa subsumir.
A afinidade da noo de existncia em Kant com a da existncia como predicado de
segundo nvel em Frege , pois, uma afinidade parcial, ou iniciai; ambas as teses seguiro
itinerrios muito diferentes. A divergncia procede fundamentalmente do contexto terico em
que esto integradas: a de Kant num contexto terico epistmico, a de Frege na elaborao de
uma teoria lgica da predicao.
O objectivo principal de Frege o de estabelecer uma teoria da predicao que garanta
a distino radical entre conceito e objeto e seus correspondentes nveis de linguagem;
condio essencial para essa distino a garantia de que os predicados de objetos no se
prediquem dos conceitos, e que os de conceitos no se atribuam aos objetos. A existncia um
predicado de um conceito que por isso no se pode predicar, com sentido, de um objecto. Por
isso, a afirmao H Jlio Csar no verdadeira nem falsa, mas simplesmente sem sentido,
enquanto H um homem cujo nome Jlio Csar tem sentido . 14
Os predicados de segundo nvel (entre os quais a existncia) so radicalmente
diferentes dos de primeiro nvel, e tal diferena manifesta-se na distino sempre sublinhada
por Frege entre a relao de um objecto com um conceito de primeiro nvel sob o qual ele
cai e a relao de um conceito de primeiro nvel com um conceito de segundo nvel. Frege

6
apresenta um exemplo em que se v claramente que ser um conceito de segundo nvel no
significa de modo nenhum no ser real ou ser meramente um ens rationis: podemos dizer que
2 um nmero positivo, inteiro e menor que 10 (estamos a atribuir as propriedades a um
objecto, o nmero 2); mas podemos tambm considerar essas propriedades do objecto 2 como
notas do conceito nmero inteiro positivo menor que dez: Por sua vez, este conceito no nem
positivo nem um nmero inteiro, nem menor que dez. Est subordinado ao conceito nmero
inteiro, mas no cai sob ele .15
Esta diferena radical da relao estar subordinado a e cair sob (relao entre conceitos
e relao entre um indivduo e a respectiva classe a que pertence) est em causa na anlise do
predicado de existncia no referido pargrafo 53 dos Grl. Por ser um predicado de segundo
nvel, Frege quer sublinhar bem que nenhum objecto pode cair sob esse predicado, mas alguns
conceitos esto-lhe subordinados, por exemplo, a no-vacuidade, que propriedade de alguns
conceitos.
O conceito de todos os conceitos sob os quais cai um s abjecto tem como nota
caracterstica a unidade. Sob esse conceito cairia, por exemplo, o conceito Lua da Terra, mas
no este planeta em si. Portanto, podemos fazer cair um conceito sob outro conceito mais
elevado, mas esta relao de subordinao muito diferente da relao de um objecto
subsumido por um conceito. Assim, existncia seria um conceito de nvel mais elevado.,, ao
qual pertenceriam todos os conceitos no vazios. Mas este predicado de existncia no se pode
atribuir diretamente aos objetos que caem sob esses conceitos.
Frege considera portanto a existncia como um predicado de predicados, um conceito
de conceitos; evita assim identificar a existncia com um conceito simplesmente geral, uma
espcie de summum genus de todos os objetos existentes. Um conceito de extenso to vasta
rejeitado por Frege: ao referir-se unidade como sendo hipoteticamente um conceito, Frege
afirma:
Seria incompreensvel porque que havamos de atribuir expressamente (a unidade) a alguma coisa.
s em virtude de a possibilidade de alguma coisa no ser sbia que faz sentido dizer Slon sbio.
O contedo de um conceito diminui na medida em que aumenta a sua extenso; se a sua extenso
omniabarcante, o seu contedo deve desaparecer imediatamente. 16

Esta concepo resolver alguns problemas da semntica da existncia, mas suscita


duas questes fundamentais:
1)como podemos conhecer e referir-nos existncia de objetos singulares, dos objetos
subsumidos pelos conceitos do primeiro nvel?
2) como conhecemos a existncia? Sempre via conceito? Haver outro modo de
conhecer a existncia?
Kant, ao excluir a existncia do conjunto das determinaes do possvel, do conceito da
coisa, remete o conhecimento da existncia para a percepo sensvel. Mas, justamente, Frege
no situa a fronteira do real entre o possvel e o existente, donde no tem necessidade de
remeter o conhecimento da existncia para a mera constatao emprica do facto de algo
existir. Pelo contrrio: a existncia, tal como a temos vindo a considerar, apreende-se a um
segundo nvel de predicao. Porm, este modo de apreenso da existncia no parece to
pouco abarcar todos os casos de juzos de existncia.
Para encontrar uma resposta primeira questo, algumas anlises dos Grl fornecem
elementos valiosos permitindo antever um outro sentido de existncia, que Frege explorar
mais tarde nos Grundgesetze: de atualidade (Wirklichkeit).17
A segunda questo implica a elucidao da noo de possvel e suas relaes com o
existente e o real, de que tratamos adiante (p. 62).

3. Existncia e actualidade (Wirklichkeit)


A
principal
contribuio
da
anlise
da
noo
de
existncia
nos Grundlagen talvez a aproximao da noo de nmero, com a qual Frege faz ver a
semelhana entre a afirmao da existncia e a negao do nmero. A existncia assim
identificada com a no vacuidade de um conceito.
Ao analisar a noo de nmero (algo que se diz de um conceito tambm), Frege
encontra uma dificuldade para definir a unidade 18, que nas definies dadas por Euclides surge
umas vezes como um objecto para ser contado, outras vezes como uma propriedade desse
objecto, e outras ainda corno o nmero um. Para resolver esta aparente ambiguidade, Frege
distingue entre o termo unidade e o nmero um 19: o artigo definido indica aqui claramente
que se trata de um objecto. No h diferentes nmeros um, mas um s um. Um no tem plural,
pois trata-se de um nome prprio, tal como Frederico o Grande ou o elemento qumico
ouro. Pelo contrrio, o termo unidade designa um conceito. Assim, Frege apresenta um
primeiro critrio de distino entre a unidade sinnimo de um e a unidade como conceito.
Uma dificuldade persiste porm: a palavra unidade como conceito subsume os diversos
objetos a enumerar e, por isso, no poderemos definir o nmero como um conjunto de
unidades. Se unidade, pelo contrrio, subsumisse apenas o nmero um, seria igualmente
impossvel definir o nmero. O problema a resolver o de conciliar a identidade das unidades
com a sua discernibilidade. Sem identidade no obteremos nunca o conceito de nmero, mas
apenas uma mera diversidade impossvel de subsumir sob um mesmo conceito; sem
discernibilidade no haveria multiplicidade nem possibilidade de enumerar. Para enumerar
absolutamente necessrio distinguir um a um os elementos que se contam.
Depois de ensaiar vrias solues 20 , Frege considera que a questo se resolve
exatamente a partir da concepo de nmero como algo que se atribui a um conceito; mais
especificamente, o nmero a determinao da extenso do conceito, daqueles conceitos que
permitem isolar determinadamente o que subsumem, ou os objetos que sob eles caem. Neste
caso os conceitos podem ter a propriedade de ser vazios (no existe nenhum objecto subsumido
por esse conceito), de no ser vazios (existe pelo menos um objecto subsumido pelo conceito);
neste ltimo caso podem ainda subsumir um s objecto (unicidade), ou vrios (multiplicidade),
ou seja, existe um s objecto, que, no entanto, no deve ser confundido com o prprio
conceito, ou existem vrios objetos. Assim se esclarece a afinidade entre existncia e nmero.
A compatibilidade entre a identidade e a discernibilidade das unidades resolve-se com a
distino de dois diferentes sentidos do termo unidade:
A palavra unidade utilizada num duplo sentido. Por um lado, as unidades so
idnticas no sentido explicado (...) (enquanto subsumidas por um mesmo conceito). Na
proposio Jpiter tem quatro luas, a unidade lua de Jpiter. Sob este conceito caem os
satlites 1, II, III, IV. Pode dizer-se: a unidade qual se refere 1 idntica quela a que se
refere II, etc. A temos identidade. Mas, por outro lado, quando se fala da distino das
unidades, entender-se- .a capacidade de distino das coisas contadas . 21
O primeiro sentido de unidade (a unidade das coisas que caem sob um mesmo conceito
e, portanto, so idnticas) anlogo noo de existncia enquanto predicado de segundo
nvel. Trata-se de enunciar a propriedade de um conceito, a de que subsume pelo menos um
objecto, no este ou aquele objecto determinado, mas um apenas, que s um caso do conceito
em questo. Mas, como assinala Frege, a prpria ao de contar remete para outro sentido de
unidade que no envolve unicamente o sentido de unidades iguais, de objetos pertencentes a
um mesmo conceito, mas que permite consider-las como discernveis entre si.
Enquanto o primeiro sentido de unidade apresenta uma ntida analogia com a
existncia como quantificador existencial (existncia no sentido estritamente lgico), este
segundo sentido remete para um outro sentido de existncia: aquele que se predica, no dos

8
conceitos, mas dos prprios objetos reais que sob eles caem, a existncia de cada coisa, no
considerada como um caso de uma generalidade, mas como coisa em si mesma nica e
irrepetvel.
Nos Grundlagen, Frege distingue apenas dois sentidos do termo unidade e no
estabelece qualquer analogia com os sentidos do predicado de existncia. No entanto, a
distino entre os dois sentidos da existncia, que correspondem aos da unidade,
expressamente indicada nos Grundgesetze (Introduo p. 25), onde Frege distingue o sentido
de existncia expresso em h... do sentido de existncia como actualidade.
O sentido a que se refere Frege, expresso usualmente nos juzos da forma h...
corresponde ao sentido lgico da existncia traduzido pelos quantificadores e, como foi j dito,
indica que existem objectos pertencentes extenso do referido conceito. Neste caso, o
predicado existe atribui-se a objectos concretos, mas indeterminadamente, isto , sem referir
nenhum em particular, sem isolar ou discriminar um objecto determinado. Frege exprime-o ao
dizer que, quando se afirma h razes quadradas de 4, no estamos a nomear expressamente
nem 2 nem 2. Este o sentido da existncia como predicado de segundo nvel, noo que se
aproxima da tese de Kant, segundo a qual a existncia no um predicado real.
O outro sentido a que se refere Frege neste texto o da existncia quando atribuda
tambm aos objectos, no enquanto casos que indeterminadamente preenchem a extenso de
um conceito ou enquanto membros de uma classe, mas sim na sua individualidade concreta,
enquanto existentes realmente actuais. A actualidade (Wirklichkeit) constituda pelo universo
dos seres realmente existentes na sua individualidade concreta, imersos num processo
temporal, submetidos aco de outros existentes actuais e podendo tambm exercer uma
aco determinada sobre eles (cfr. Der Gedanke, onde Frege desenvolve esta noo de
actualidade em contraposio ao domnio do pensamento, que real, mas no actual).
Confundir a existncia do actual (wirklich) com a mera, existncia lgica, para a qual
Frege introduzir um neologismo (Esgibtexistenz), considerado um erro grosseiro
originado pelo desconhecimento dos diferentes nveis de predicao.
Outra confuso enganadora, que Frege denuncia na Introduo aos Grundgesetze, a
de actualidade e objectividade. A tarefa que se prope prosseguir neste texto a de esclarecer e
defender esse domnio do objectivo no actual constitudo pelos objectos lgicos como os
nmeros, as classes, os valores de verdade, os conceitos, as funes e as relaes. O principal
resultado dos Grl foi precisamente o de ter mostrado que os nmeros, no sendo objectos
concretos, fsicos, nem propriedades ou atributos desses objectos, so no entanto objectos
lgicos que no podem ser captados pelos sentidos, mas so apreendidos pela mente; no se
confundem nem se identificam to-pouco com os signos sensveis com os quais lhes fazemos
referncia, os. numerais. A dificuldade est em entender que nem s o que pode ser percebido
pelos sentidos que existe propriamente.
Frege pretende garantir a atribuio de existncia tambm a este domnio do objectivo
no actual, no captvel pelos sentidos, insistindo no facto de a perceptibilidade, e portanto a
ostensibilidade, no serem critrios exclusivos da existncia. 22 atribuvel o predicado da
existncia tambm a um domnio do que objectivo mas no actual (objektiv, nicht wirklich),
que no se pode reduzir ao domnio do subjectivo, do mental, da representao ou
conceptualizao individual (como pensam os lgicos psicologistas que so o objecto da crtica
de Frege ao longo desta Introduo). Neste caso, o predicado existe ter um outro sentido,
diferente dos anteriormente referidos, que se aplicam a objectos.
Este novo sentido da noo de existncia vem reforar a ideia de que o universo de
Frege no apenas constitudo por objectos concretos, individuais, nem to-pouco por
conjuntos de qualidades, de predicados agrupados de modo mais ou menos arbitrrio:
alm do actual, existe tambm como constitutivo desse universo o objectivo no actual, que
inclui, alm dos objectos lgicos os conceitos, os sentidos, o pensamento (cfr. Ged.). Este

9
domnio to real como o primeiro, o que prova que a fronteira entre real e no real, segundo
Frege, no separa radicalmente o actual do objectivo, a Wirklichkeit da Objektivitt.
Urna tal hierarquia do prprio universo real tem evidentes reflexos na linguagem: a
existncia no pode ser atribuda univocamente ao que actual e ao que pertence ao objectivo
no actual.
A admissibilidade da predicao analgica da existncia parece estar pois plenamente
justificada nestes textos de Frege.

4. Ambiguidades da noo de possvel


Partamos de novo de uma referncia retrospectiva da filosofia de Frege de Kant, desta
vez para uma elucidao da noo de possibilidade. Para compreender bem o pensamento de
Kant quanto s modalidades, de grande utilidade o enquadramento das noes de
possibilidade, necessidade e realidade na tese radical de Kant sobre o Ser como posio,
cujas consequncias e implicaes Heidegger revela magistralmente: possibilidade, realidade e
necessidade so as posies dos diferentes modos da relao pura da objectividade dos
objectos subjectividade d conhecimento humano.23
Na Kritik, Kant define o possvel como o que est de acordo com as condies formais
da experincia (quanto intuio e aos conceitos) ou seja, o que est apenas no eu
entendimento em ligao com as condies formais da experincia. 24
Assim, a distino entre as coisas possveis e as coisas reais uma distino que tem
apenas um valor meramente subjectivo para o entendimento humano, pois que podemos
sempre pensar alguma coisa, mesmo que no exista, ou. representar alguma coisa como dada,
se bem que no tenhamos ainda nenhum conceito.
Ao fazer radicar a distino das modalidades nas suas relaes com as prprias
faculdades do conhecimento, Kant reafirma, de modo claro e explcito, a sua tese do Ser
como posio: o possvel significa somente a posio (Position) da representao de uma
coisa relativamente ao nosso conceito e em geral faculdade de pensar, enquanto o real
significa o acto de posio (die Setzung) da coisa em si mesma (fora deste conceito).
A referncia ao interno/externo do conceito como ponto de partida para a definio do
possvel e do real ocorre tambm no Apndice Kritik der reinen Verrzunft com o ttulo Von
der Amphibolie der Reftexionsbegriffe. Partindo sempre da perspectiva do Ser como posio,
a elucidao do ser possvel manifesta a sua relao com as condies formais da experincia,
enquanto o real manifesta a relao com as condies materiais da experincia; e,
analogamente, o possvel relaciona-se com o interno, as determinaes internas de uma coisa
que procedem do entendimento, enquanto o real se relaciona com o externo, as determinaes
externas que surgem no espao e no tempo como as relaes externas das coisas entre si,
enquanto fenmenos.
No final deste Apndice, Kant apresenta uma transposio da gradao do possvel ao
impossvel para a gradao de algo a nada:
O conceito mais elevado, pelo qual uso iniciar uma filosofia transcendental, , vulgarmente, o da diviso
em possvel e impossvel. Como porm, toda a diviso pressupe um conceito dividido, dever indicar-se outro,
ainda superior, e esse o conceito de um objecto em geral (considerando em sentido problemtico, sem decidir se
alguma coisa ou nada). (Kritik, B 347, A 290).

Com base. na polarizao algo/nada, Kant distingue quatro divises:

10

1. conceito vazio sem objecto (ens rationis): no so possibilidades, ser considerados como
impossibilidades;
2. objecto vazio de um conceito (nihil privativum);
3. intuio vazia sem objecto (ens imaginarium);
4. objecto vazio sem contedo (nihil negativum).
O primeiro, o ser de razo, considerado por Kant como apenas fico, embora no
contraditria, e excludo do mundo dos possveis, sem lhe ser no entanto oposto; o ltimo
ope-se possibilidade, pois uma contradio. Ambos so conceitos vazios. O nihil
privativum e o ens imaginarium so dados vazios para conceitos.
algo e no nada o que se pode apresentar como objecto, o que tem a
objectualidade ou a caracterstica de poder ser dado como objecto. Para que algo seja uma
realidade objectiva, necessria a coisidade posta como objecto, que nos acessvel como
objecto da experincia. Possibilidade e realidade so pois dois modos de posio do ser pelo
pensamento que se contra- pem: o possvel no real, o real no o possvel. Em Kant no se
poder falar de uma possibilidade real ou de uma real possibilidade.
Desta tese diverge profundamente o pensamento de Frege sobre a possibilidade.
Nos Gla 25 afirma que, pelo facto de no existirem objectos que caiam sob um
determinado conceito, esse mesmo conceito, embora vazio, no deixa de existir. Existe no
apenas no entendimento, como condio formal do conhecimento possvel, e no exige a
condio da percepo precedente do abjecto. Alm do conceito vazio, o prprio conceito
contraditrio existe tambm, embora isso indique imediatamente que no subsume nenhum
objecto. Para Frege, portanto, como comprovam estes dois pargrafos dos Grl, pode atribuir-se
um certo sentido de existncia a um conceito, mesmo na ausncia de qualquer dado da
percepo anterior ao prprio conceito Existem os conceitos vazios e os contraditrios.
Esta ltima acepo do predicado da existncia implica, sem dvida, uma nova
formulao da noo de possibilidade. Assim como clara em Frege a atribuio de um
sentido de existncia como predicado de conceitos, mas que incide sobre os objectos por ele
subsumidos, e de um outro sentido para os conceitos em si mesmos considerados (o que
permite afirmar que o conceito conceito vazio, tem a propriedade de existir, ou existe o
conceito conceito vazio), assim tambm dever haver uma correspondente modulao na
noo de possibilidade. Com efeito, Frege parece distinguir claramente entre possibilidade
lgica (ou possibilidade de ser um conceito) e possibilidade real (ou possibilidade de ser um
objecto), distino que se segue da radical separao entre conceitos e objectos.
Tomando posio contra os matemticos, formalistas, Frege nega a tese clssica
segundo a qual a possibilidade lgica significa no contradio: s impossvel, para o
matemtico, o que logicamente impossvel, isto , o que envolve contradio. Para tanto,
apresenta como contraexemplo o conceito de objecto diferente de si mesmo, que serve para a
definio de conjunto vazio. absurdo querer fundar a existncia sobre a ausncia de
contradio, como se a ausncia de contradio fosse j a existncia da coisa.
O argumento que Frege apresenta para a pensabilidade da contradio o de que, se
no fosse pensvel, corno se poderia provar que um conceito no contm contradio? A
ausncia de contradio nem sempre bvia, mas exige uma prova. Antes da prova, pensa-se a
contradio. A prova indeclinvel de que um conceito est livre de contradio a existncia
de algo, algum objecto que caia sob esse conceito. Esta afirmao parece problemtica, pois
exige-se o recurso existncia como prova de no contradio de um conceito, o que parece
indicar que seria impossvel uma prova estritamente lgica. No entanto, na argumentao de
Frege, uma vez mais se torna patente a sua atribuio analgica da existncia (aqui predicada

11
de objectos lgicos) e a sua noo peculiar de objecto. Para mostrar que um conceito no
contraditrio, basta provar a existncia de algum objecto, mesmo de um objecto lgico como
os nmeros ou as classes.
O que no fica claro em toda esta argumentao o critrio fregeano de distino entre
vazio e contraditrio: se a existncia de algo o que prova, em ltima anlise, tanto a no
vacuidade como a no contradio de um conceito, parece no haver uma possibilidade de
distinguir, logicamente, se um conceito no subsume nenhum objecto por ser vazio, ou por ser
contraditrio. Os limites do pensvel parecem esfumar-se na linha do horizonte, onde uma
nvoa encobre a demarcao ntida entre o possvel (pensvel) e o impossvel (impensvel).
A noo de possvel em Frege , pois, uma noo alargada, que no se ope
simetricamente a impossvel. O que o impossvel? O que no nem ser nunca? O que no
nem ser nunca, se no entanto pode ser pensvel, tambm possvel. O que contraditrio
consigo mesmo tambm pode ser pensado (ainda que provisoriamente), portanto tambm no
ser completamente impossvel.
Tambm no se ope simetricamente a existente, pois o possvel existe tambm,
embora se trate de um modo de existir diferente do da actualidade.
Possvel ope-se a actual (wirklich noo que Frege desenvolve no escrito Der
Gedanke): possvel tudo o que mas no actual, o modo de ser actual envolvendo uma
referncia ao processo temporal. O possvel identifica-se, portanto, com esse terceiro reino dos
pensamentos atemporais, invariantes.
A caracterizao e o estatuto deste domnio do objectivo no actual, do possvel,
levanta no entanto muitas questes, que Frege no ignorou, mas s quais no se props
responder, talvez por considerar que ultrapassavam as fronteiras do seu prprio campo de
trabalho: no deixa porm de as referir de passagem ( O que seria para mim um pensamento,
se ele nunca fosse apreendido por mim? ) 26. O pensamento, com efeito, possvel enquanto
apreensvel, captvel. Qual o estatuto de um pensamento no pensado? Existe qua pensamento
qua possvel, mesmo que nunca venha a ser captado? Mas se esse pensamento no nem ser
nunca, pertence categoria do impossvel, e no do possvel. Alm de que um pensamento
jamais pensado a prpria impensabilidade. Se, pelo contrrio, todo o pensamento possvel
ou ser pensado, no haver nenhum possvel pensamento que no seja ou venha a ser pensado,
e neste caso necessariamente pensado.
difcil justificar porque que um pensamento, ao ser captado, passa a pertencer ao
mundo da actualidade. A relao do possvel ao existente, do objectivo ao actual,
problemtica quando vista a partir da prpria possibilidade: o mundo actual parece, com efeito,
emergir de um mundo de objectividades, um mundo ambguo de possveis necessrios.

5. Para uma semntica da existncia


Vamos destacar alguns pontos da filosofia da linguagem de Frege que fornecem
alicerces seguros para uma semntica da existncia, resolvendo com sagacidade alguns dos
paradoxos referenciais do predicado existe.
So sobretudo duas as teses da semntica de Frege que se relacionam directamente
com a questo da existncia: a teoria dos nveis da linguagem, e a semntica dos nomes
prprios.

12

5.1. Teoria dos nveis da linguagem


Na Bs (p. 17), Frege refere j uma certa ordem (Rang) entre os conceitos, mas nos Grl
que, a par da teoria do nmero, desenvolve e explora a sua distino, entre conceitos de
primeira e segunda ordem, como foi referido. 27 Como vimos, devido ao princpio de absoluta
separao entre objectos e conceitos, Frege no pode considerar que a relao entre um
predicado de primeiro nvel e os objectos (argumentos) seja anloga relao entre um
predicado de segundo nvel e predicados de primeiro nvel; estes ltimos so a expresso de
um conceito e por isso no podem nem lgica nem gramaticalmente ser tomados como
abjectos. No seu ensaio ber Begriff und Gegenstand, em resposta s crticas de Kerry,
Frege desenvolve esta distino entre a relao de um objecto com um conceito sob o qual cai
e a relao de subordinao de um conceito a outro conceito. Essas duas relaes, que a
linguagem natural por vezes exprime de modo semelhante, so nitidamente diferenciadas por
Frege: assim, na frase todos os mamferos so terrestres, o sujeito gramatical todos os
mamferos no traduz adequadamente o sujeito lgico ao qual se atribui o predicado so
terrestres: a negao desta proposio no todos os mamferos no so terrestres, mas sim
nem todos os mamferos so terrestres. Todos pertence pois logicamente ao predicado.
Assim se v com clareza que a proposio logicamente exprime que o conceito mamfero est
subordinado ao conceito terrestre, que se nega dizendo o conceito mamfero no est
subordinado ao conceito terrestre, ou, em linguagem corrente, nem todos os mamferos so
terrestres.
Esta relao de subordinao de um conceito a outro conceito esteve na raiz da
principal tese dos Grl sobre a existncia como propriedade de um conceito. Frege utiliza a a
expresso conceito de segunda ordem, enquanto nos escritos posteriores empregar
conceito de segundo nvel. A distino de nveis leva afirmao fundamental da semntica
fregeana:
o que aqui se predica de um conceito nunca pode ser predicado de um objecto, pois um nome
prprio nunca pode ser uma expresso predicativa, embora possa ser parte dela. 28
E Frege sublinha que predicar de um objecto um conceito de segundo nvel, um
conceito de conceitos, no propriamente uma proposio verdadeira nem falsa, mas
meramente sem sentido:
A sentena H Jlio Csar no verdadeira nem falsa, mas em sentido, embora a
sentena H um homem cujo nome Jlio Csar tenha sentido; mas aqui temos novamente
um conceito, como o mostra o artigo definido (ibid.).
De modo semelhante, o que ocorre na proposio H apenas uma Viena: neste caso,
Viena um termo conceptual, e no o nome prprio de uma cidade nica. Trata-se de
considerar o conceito cidade imperial, ao qual pertence apenas um s objecto, a cidade
chamada Viena.
Embora a noo dos nveis da linguagem tenha sido desenvolvida por Frege neste
ensaio para resolver os problemas da insaturao, 29 esta estratificao da linguagem em
diferentes nveis permite uma traduo lgica adequada da noo de existncia, atravs dos
quantificadores. Na hierarquia fregeana, as expresses completas so os nomes prprios
(termos singulares ou expresses complexas designando um objecto determinado) e as
proposies, e constituem a base de toda a hierarquia de nveis, juntamente com algumas
expresses incompletas, como os operadores de um ou dois argumentos, predicados com um
lugar para um argumento ou predicados de primeiro nvel, e ainda a categoria das expresses
relacionais para dois argumentos. O passo seguinte consiste em introduzir as expresses de
segundo nvel: os predicados de segundo nvel so aqueles que tm um lugar para um
argumento que deve ser preenchido com um predicado de primeiro nvel: o exemplo deste tipo
de expresses precisamente o quantificador, que a verso lgica mais trabalhada da

13
existncia como predicado de segundo nvel . 30 Neste sentido, pode-se predicar existe de um
predicado de primeiro nvel, cuja extenso se possa determinar quantitativamente, isto , um
predicado de contornos ntidos, que isole definidamente o que pertence ou no pertence sua
extenso, definindo um mbito bem delimitado de quantificao.
S estes termos nos proporcionam, portanto, um critrio de identidade para os objectos
que caem sob o conceito que significam. Esta condio traduzida por Geach 31 na sua tese da
identidade relativa, segundo a qual a identidade sempre relativa a um critrio deste tipo; s se
pode identificar por relao a uma espcie de coisa, assim como s se pode contar alguma
espcie de coisa. Esta noo de identidade est intimamente relacionada com a de existncia,
como Geach o traduz, dizendo que no h entidade sem identidade (no entity without
identity).
Frege considera, no entanto, a possibilidade de captar um conceito, no s pela via da
abstraco, a partir dos objectos, mas tambm apreendendo as suas notas caractersticas,
directamente, sendo possvel que no caia nenhum objecto sob esse conceito. A admisso desta
outra via para a apreenso dos conceitos mesmo considerada por Frege como uma condio
de possibilidade da afirmao e negao da existncia. Com efeito, como poderamos negar a
existncia de algo se no tivssemos apreendido j antes o conceito (isto , as notas
caractersticas) de esse algo, sem ser pela via dos objectos que subsume, uma vez que vazio?
Frege admite portanto um modo de afirmar ou negar a existncia daquelas entidades
que no so subsumveis por um gnero, ou que no formam parte de uma extenso
quantitativamente determinada de um dado conceito. H outros modos de existir para alm do
de ser um valor para uma varivel, ou de ser um objecto subsumido por um conceito. Para
estes casos, evidente que o predicado de segundo nvel no resolve a questo da traduo
semntica do predicado de existncia, nem o quantificador se pode apresentar como a
formalizao lgica adequada para todos os juzos de existncia.
A teoria dos nveis da linguagem permite assim to-s a traduo lgico-semntica de
um sentido de existncia, atravs dos quantificadores. A prpria restrio da aplicao do
quantificador existencial no , no entanto, identificada por Frege com a reduo da noo da
existncia a este nico sentido.
No pargrafo 1, vimos que Frege capta um outro sentido de existncia, o da existncia
prpria dos objectos concretos, individuais, atravs da soluo do problema da conciliao no
conceito de unidade, do igual e do diverso. Ao sentido de existncia relativo unidade
enquanto conjunto de iguais corresponde o sentido de existncia traduzido pelo quantificador
existencial, como predicado de segundo nvel. Qual a formulao semntica que permitir uma
traduo adequada desse outro sentido de existncia que se predica das coisas individuais,
nicas e irrepetveis?

5.2. Semntica dos nomes prprios


Frege distingue entre sentido e referncia dos nomes prprios: o sentido o modo de
dar-se do objecto, o aspecto sempre parcial segundo o qual designo o objecto. A mesma
referncia pode ser designada segundo vrios sentidos: o discpulo de Plato, o mestre de
Alexandre, o filsofo de Estagira so nomes prprios que designam o mesmo indivduo,
Aristteles.
A atribuio de sentido aos nomes prprios a principal inovao da semntica
fregeana dos nomes prprios. Russell considera a distino fregeana entre sentido e referncia
como urna confuso inextricvel (an inextricable tangle)32, e defende que o significado de

14
um nome prprio o seu referente; por isso, o acto de nomear implica um conhecimento
directo (acquaintance) da sua denotao. Assim, corno nenhum de ns tem um conhecimento
directo de Rmulo, evidente que, para Russell, Rmulo no logicamente um nome
prprio. Um nome prprio, em sentido estrito, apresenta a sua denotao atravs do
conhecimento directo (acquaintance) do seu referente. Para Frege, o nome apresenta-nos a sua
referncia atravs de um sentido que exprime um aspecto, sempre parcial, do objecto
designado. No h nenhum problema referencial no caso de um nome prprio (signo ou
expresso designatria) no ter referncia; por esse facto no deixa de ter significado. Em
ber Sinn und Bedeutung, Frege apresenta alguns exemplos de nomes prprios sem
qualquer referncia: o corpo celeste mais afastado da Terra, a srie que converge menos
rapidamente. Como o seu significado no consiste na sua referncia, a falta desta no implica
um sem sentido.
Pelo contrrio, para Russell, a ausncia de referncia envolve um sem sentido. A
ausncia de referncia no pode ser substituda por um sentido porque, segundo Russell, uma
frase no fala sobre o sentido das palavras que contm, mas sobre as suas referncias. Frege
concordaria com esta afirmao, mas considera que, em certos casos, as palavras referem, no
a sua referncia habitual, mas o seu sentido: o caso das palavras em discurso indirecto, citado
por Frege em ber Sinn und Bedeutung. E seria o caso dos juzos negativos de existncia
sobre singulares.
A ocorrncia, num determinado contexto, de um nome prprio sem referncia envolve,
segundo Russell, a falta de sentido dessa frase, como o caso dos juzos existenciais negativos
sobre um ser individual. A no existe (A = nome prprio), de acordo com as teses de
Russell, ou falso ou sem sentido: no caso de A ser realmente um nome prprio, A tem
necessariamente um referente e, portanto, falso afirmar a sua no existncia; se no
efectivamente um nome prprio, a frase torna-se sem sentido. Para resolver o paradoxo
referencial, Russell apresenta duas solues . 33
1) A primeira a sua distino entre existence e being. Being um atributo que
pertence a qualquer possvel objecto de pensamento, tudo o que possa ocorrer numa
proposio, verdadeiro ou falso. Portanto, being um atributo geral de tudo, e mencionar seja o
que for mostrar que isso (being). Por isso, A no sempre falso ou sem sentido. Mas
existence no deve ser confundido com being e, portanto, A no existe pode ser verdadeiro,
pois A pode ser (being), mas no existir. A distino russelliana tem os seus antecedentes em
Brentano e Meinong, que propunham objectos que no existem, objectos inexistentes, para
explicar a intencionalidade dos actos mentais. Como ficou dito, Frege resolve a questo atravs
da noo de sentido, evitando assim o recurso a esses estranhos objectos inexistentes; alm
disso, a sua gradao dos modos de existir, desde os vrios sentidos do possvel at ao
existente actual, apresenta uma distino mais aguda e mais precisa dos vrios sentidos da
existncia, evitando a soluo referida de Russell, no fundo uma rplica da dicotomia de tudo o
que existe em possvel (being) e real (existence).
2) A outra soluo apresentada por Russell a assimilao dos nomes prprios a
descries definidas: o nome substitudo por uma definio em uso de uma descrio,
sendo uma descrio um smbolo incompleto que no designa nada em si mesmo, mas cujo uso
definido no contexto de uma frase completa. No h, portanto, referncia a indivduos, mas
sempre a predicados ou feixes de predicados, e por conseguinte, no h nomes para
indivduos inexistentes, o que resolve o problema da negao da existncia: O actual rei de
Frana no existe substitudo por No h nenhum x para o qual verdade que: x
actualmente rei de Frana, e qualquer y que seja actualmente rei da Frana idntico a x . 34
A teoria das descries definidas de Russell encontra-se na sequncia lgica da referida
tese de Kant sobre a existncia. A considerao da existncia como predicado no real limita as
proposies existenciais a afirmaes (ou negaes) sobre predicados reais. A noo das
descries definidas uma extenso desta mesma acepo de existncia (como predicado no

15
real) s prprias proposies sobre singulares, assimilando os nomes prprios a uma
construo feita de predicados gerais e quantificadores. (Scrates existe significa que h um
indivduo que satisfaz uma srie de predicados, predicados que se encontram abreviados e
representados pelo nome Scrates que, em ltima anlise, no um nome prprio.) O
resultado da tese de Russell ser pois uma linguagem construda por quantificadores e termos
puramente predicativos gerais, da qual se eliminam os nomes prprios.
radicalmente diferente a unicidade expressa na formalizao das descries definidas
(existe um x e s um, tal que X F), que remete para um s indivduo que satisfaz esta
predicao. A indicao da unicidade atravs do quantificador faz-se mediante uma regra geral,
para a qual h um s caso que a preenche. Com os nomes prprios (em sentido estrito), estes
referem imediatamente um indivduo particular e determinado que precisamente este o
prprio Scrates e no qualquer outro, insubstituvel e irrepetvel na sua individualidade.
Para salientar a heterogeneidade das descries definidas em relao aos nomes
prprios, Kripke considera que estes so autnticas denominaes essenciais, designadores
rgidos que se referem necessariamente a esse mesmo indivduo em qualquer mim- do
possvel, isto , em qualquer situao fctica ou contrafctica. Poderia dizer-se talvez que as
descries definidas so designaes de dicto, enquanto os nomes prprios so designaes de
re.35
Qual a posio da semntica de Frege relativa aos nomes prprios? Ter partilhado a
tese de Russell, identificando os nomes com descries definidas abreviadas, ou considerar-se mais prximo da noo de Kripke de designador rgido?
Por um lado, ao tentar explicar o sentido de um nome prprio, Frege levado
naturalmente a citar essas descries definidas: o sentido de Afla corresponde ao sentido
expresso numa descrio da forma A montanha vista pelo viajante A em tal data, a sul, na
linha do horizonte. Mas, como nota Dummett, isto no quer dizer que se identifique sempre o
nome com uma descrio definida; apenas deve haver um meio de reconhecer um objecto
como sendo o mesmo referente de dois nomes diferentes .36
mais. plausvel, portanto, que Frege tenha considerado a descrio definida apenas
como um dos modos de dar o sentido do nome, fornecendo um critrio de identidade do
referente. Por outro lado, Frege no limita a categorizao de nome prprio aos nomes
logicamente simples, o nome no sentido corrente, uma palavra simples que designa
imediatamente o seu objecto. Segundo a caracterizao aristotlica, um nome no pode ser
decomposto em partes que signifiquem separadamente . 37 Pelo contrrio, para Frege, so
nomes prprios tambm as expresses complexas; ou seja, as descries definidas, so
tambm nomes prprios, por designarem ou referirem um objecto determinado, e no, como
pensa Russell, um predicado ou conjunto de predicados. Na semntica de Frege, os predicados,
os atributos, as propriedades so traduzidas por expresses incompletas pertencentes a uma
categoria diferente e tm por isso um modo de referir diferente tambm.
Na verdade, a teoria das descries definidas conduziria a situaes paradoxais dentro
do prprio pensamento de Frege: se uma descrio definida um modo de introduzir um nome,
dando-lhe o seu sentido e fornecendo-lhe um critrio de identificao do referente, a descrio
assimilaria e dissolveria em si mesma as duas noes semnticas que Frege cuidadosamente
tenta distinguir. A descrio definida , ela mesma, uma expresso referencial, um nome
prprio, no sentido fregeano. No pode um nome prprio, constituir o sentido de outro nome
prprio, pois cairamos numa cadeia infinita de nomes, dando-se indefinidamente os sentidos
uns aos outros. No condiz esta formulao com a noo fregeana de nome prprio: palavra,
sinal ou expresso que designa um objecto. A expresso do sentido de um nome atravs, de
uma descrio definida considerada por Frege como uma justificao epistmica permitindo
dar conta do que saber o significado de um nome ou, simplesmente, dar uma via para o
conhecimento do seu significado.

16
Porm, falta semntica dos nomes prprios de Frege o fundamento de uma lgica
analgica permitindo urna ordenao ou hierarquizao dos predicados capaz de evitar o
igualitarismo ou nivelao dos possveis sentidos, que vai pr em causa a noo de objecto ou
de indivduo. Os diferentes sentidos, como modos de dar-se de um objecto, so sempre partes
do mesmo objeto; no fornecendo um critrio para a captao de um sentido primeiro
(equivalente atribuio da essncia ou da predicao da substncia segunda substncia
primeira), Frege deixa desprotegida a noo de indivduo. A nenhum sentido atribuda a
funo de fixar a referncia. Assim, a referncia identifica-se remotamente com o objecto, mas
este no determina decididamente o sentido. A referncia-objecto no se apresenta nunca de
um modo totalmente fechado, como opacidade perante a mente, mas como foco irradiador de
sentidos. Frege garante assim que todos os nomes tm um sentido (o aspecto parcial que
exprimem do objecto denominado), ao preo de enfraquecer a potencialidade referencial de
todos os nomes. Neste ponto, Frege aproxima-se um pouco de Russell, na medida em que
nenhum nome realmente, logicamente, prprio, mas sempre uma descrio definida, parcial,
no completamente referencial, ou frouxamente referencial. D-se um relaxamento na
linguagem, que admitido e consentido pelo prprio Frege, na flutuao dos diversos sentidos
captados e expressos por diferentes pessoas, em diferentes situaes, em relao a um mesmo
referente. No se referem nunca propriamente os indivduos em direto, mas sempre
obliquamente; a unicidade do indivduo, na sua existncia actual, perde-se de vista numa
floresta de predicados sem razes.
Em concluso, a semntica de Frege proporciona, com a teoria dos nveis de
linguagem, uma formulao adequada para a expresso do sentido lgico da existncia
existncia enquanto predicado de segundo nvel, ou predicado de predicados. Esta teoria a
transposio semntica da, noo de quantificador; que constitui a melhor formalizao lgica
do predicado da existncia.
O modelo estratificado da linguagem, que aqui se apresenta, mostra bem a restrio
deste sentido de existncia como predicado atribuvel apenas a outros predicados de primeiro
nvel, mas nunca, em via direta, a nomes de objetos. Esta restrio da formulao lgicosemntica da existncia est presente rio esprito de Frege e no lhe serviu de base para reduzir
a noo da existncia a este sentido, apesar de ser o nico logicamente formalizvel.
Podemos considerar que as margens da noo de existncia (no sentido de es gibt
h...) assim expressa so: a) a existncia do atual, Individual, concreto, nico e irrepetvel,
que pertence ao mbito da atualidade (Wirklichhkeit). Para designar os existentes atuais, a
linguagem possui a categoria dos nomes prprios; b) o domnio do objectivo no atual, do
possvel em sentido lato, que tem uma forma de existir encaixado no atual, constituindo o
universo real. A noo de insaturao aplicada s expresses incompletas e o
desenvolvimento de um modelo referencial adequado a esta categoria lingustica constituem as
bases de uma formulao adequada para uma semntica do possvel.
Estabelecer uma semntica dos nomes prprios, defender a noo de nome prprio
como expresso forte, real e diretamente referencial, implica reformular uma ontologia que d
a primazia ao ser individual, concreto, mediante um regresso ou um sucedneo noo de
substncia. Assim, a lgica do nome prprio reintroduz a noo de existncia como predicado
prprio do que actual, que conhecido, captado e, portanto, atribudo, no pela via do
conceito, mas de alguma forma imediata na percepo sensvel, ou mesmo na apreenso
intuitiva intelectual possibilidade remota que Frege deixa no entanto entrever.
A teoria dos nomes prprios de Frege oscila entre esta ltima perspectiva, que seria a
base de uma formulao da semntica da actualidade, e uma perspectiva mais flutuante, na
qual os nomes se multiplicam indefinidamente e o prprio se esfuma entre a pluralidade de
possveis nomes So duas teses antinmicas, em tenso no pensamento de Frege, que revelam
bem a dificuldade de conhecer e de dizer o indivduo.

17

Este texto est publicado em Posthumoeus Writings, pp. 53-57. Haaparanta, L. Em Frege on
Existence in Frege Synthesized discute Frege, tendo como ponto de partida a tese da ambiguidade do
verso ser, que tanto pode significar existncia, identidade, ou servir de cpula na predicao. A
ambiguidade foi detectada por Russell, partilhada por Frege, Wittgenstein e originou uma vasta
bibliografia sobre o assunto. Embora Frege, em vrios escritos, se tenha ocupado das distines entre
predicao e identidade, predicao e existncia, no vou tratar aqui destas questes. Foram objeto de
anlise em Couto Soares, Maria Lusa, Teoria Analgica da Identidade, Lisboa, Imprensa NacionalCasa da Moeda, 2001, sobretudo I Parte Identidade e Predicao.
2

Begriffsschrifft, eine der aritmetischen nachgebildete Formelsprache des reinen Denken (Halle) (182), 1879. Trad. ing. Stefen Bauer-Mengelborg, in Heijenoort, J. van, From Frege to Gdel. A source
book in mathematical logic (1879-1931), Harvard University Press, Cambridge Massachussetts,
London, 1967 (Bs).
Indicamos a seguir as tradues inglesas das obras de Frege utilizadas para este trabalho, com as
respectivas abreviaturas: The Foundations of Arithmetic (trad. J. Austin) Oxford, Basil Blackwell, 1980
(Grl); The Basic Laws of Arithmetic (trad. Montgomery Furth) Berkeley, University of California Press,
1967 (Grg); Transiations from the Philosophical Writings of Gottlob Frege (trads. P Geach e M. Black)
Oxford, Basil Blackwell, 1980 (3 ed.). Contm tradues dos escritos: Funktion und Begriff (FuB),
Begriff und Gegenstand (BG), ber Sinu und Bedeutung (SuB). Logical Investigations (trads. P.
Geach e R. H. Stoothoft),Yale University Press, 1977 Contm trad. de Der Gedanke (Ged.), Die
Verneinung e Gedankengefge. Posthumus Writings Edited by Hernes, H., Kambartel, F., Kaulbach,
F., Oxford, Basil Blackwell, 1979.
3
4

Bs 4
Bs 12

KANT, I. 1981 Kritik der reinen Vernunft, Suhrkamp, Frankfurt, B 266, A 219 (Os textos da Kritik
foram confrontados com a traduo portuguesa da edio da Gulbenkian, 2001). Cfr. HEIDEGGER,
1963 Kants These ber das Sein, V. Klostermann, Francfurt-sur-le-Main. Traduo francesa: Questions
II, Gallimard, 1968, pp. 71-116. Heidegger aponta como fio condutor, para a elucidao da questo do
ser, a sua definio, bem como a das suas modalidades, a partir da sua relao com o entendimento:
(...) ltre et ses modalits sont definir partir de leur rapport lentendement.
6
7
8
9
10

Cf. B 286-287 A 234.


Cf Bs 12; Grl, 47.
Cf B273 A225.
Cf Grl 53.
B 173 A 225

11

Cf. KANT, Der einzig mgliche Beweisgrund zu einer Demonstration des Dasein Gottes, 1 abt. 1
Betr., 1, p. 191.
12

Cf Grl, 53.

13

DUMMETT, M. 1981 Frege, Philosophy of Language, London, Duckworth, (2. ed.), p. 117. (FPL)

14

Cf BG, p. 50
Cf BG, p. 52
16
Cf. Grl 29.
15

18

17

De acordo com o alemo, a traduo do termo Wirklkhkeit seria efectividade, que respeitaria as
relaes de famlia com as palavras wirken (efectuar) e Wirkung (efeito).
No entanto, muitos dos tradutores ingleses (P. Geach, M. Furth, Stoothoft) preferiram traduzi-lo por
actualidade, que tem um sentido mais lato do que efectividade: esta palavra designa o modo ou estado
do ente que consiste em ser em acto ou ser de facto, sem referncia ao fundamento de ser de facto. O
efectivo o facto de existir que se situa na articulao do dado numa intuio emprica e o pensado
segundo a forma de uma predicao modal (existencial) que, como sabemos, no , em Kant, uma
determinao real. Este carcter extraconceptual remete para o facto de o objecto ser dado
sensivelmente. O actual no designa na entidade o simples facto de existir, mas abarca o prprio
fundamento do facto de existir. No so dimenses. contrapostas, mas constituem nveis diferentes de
entidade que se relacionam entre si como o fundamento e o fundado.
Tendo em conta todo o pensamento de Frege sobre existncia, parece mais congruente a
traduo de Wirklichkeit por actualidade, noo que Frege no apresenta como o simples facto de
existir, mas como um modo intensivo de existir dos seres individuais, do que acontece verdadeiramente
em virtude de se fundar num determinado pensamento. Note-se o que Frege afirma do facto: um facto
um pensamento que verdadeiro(cf. Ged. p 25).
18

Cf. Grl 29.


Cf Grl 38.
20
Cf. 40-49.
21
Cf. 54
19

22

Cf. QUINE, 1980 From a Logical Point of View, Harvard Universlty Press, Cambridge (Mass.), pp.
1-19 e 65-79; Quine considera Frege, a par de Russell, Whitehead, Church e Carnap, como logicista, e o
logicismo no seno, no seu entender, um ressurgimento do realismo (no que respeita ao problema dos
universais), assim como o inituicionismo o ressurgimento do conceptualismo; e o formalismo, do
nominalismo: Logicism, represented by Frege, Russell, Whitehead, Church and Carnap condones the
use of bound variables to refer to abstract entities known and unknown, specifiable and unspeccifiable,
indiscriminalely (ibid., p. 14).
23
Cf. HEIDEGGER, ob. cit. p.
24

Ibidem B 255 A 218 , B 256, A234.


Cf. 94-95.
26
Ged, p. 28.
27
Cf. Grl, 55.
28
BG, p. 50.
25

29

O sentido mais claro de insaturao o que se aplica a algumas expresses lingusticas. Um signo
insaturado quando contm pelo meios um lugar vazio no qual se pode introduzir outro signo que produz
o efeito de completar expresso inicial. Assim, um predicado insaturado, tal como urna expresso
funcional, pois evidente o lugar vazio que pode ser preenchido com o nome de um objecto ou com um
argumento. Toda a expresso saturada, completa, pertence , na semnt1ca de Frege, categoria dos
nomes prprios, ou nomes de objectos. Uma proposio, que tem como referente o V ou o F, tambm
um nome, neste caso um dos possveis nomes do V ou do F.
Note-se que so estes lugares vazios, visveis na prpria linguagem e simbologia de Frege [(a
capital de...), 2 (...)2] que tornam possvel a prpria actividade predicativa. No poderamos predicar,
julgar, pensar se todos os signos fossem nomes. Sem esses vazios, estaramos, como um jogador de
xadrez diante de um tabuleiro cujos lugares estivessem totalmente preenchidos pelas peas,
impossibilitado de realizar qualquer momento. Regressaramos completa imobilidade e inefabilidade
parmenidiana
A noo da insaturao permite pois desenvolver o que poderamos considerar a semntica do
possvel, complemento da semntica do existente actual.
30

Cf. Dummett, ( 1981) FPL, caps 2 e 3.

19

31

Cf. GEACH, Ontological Relativity and Relative Identity, in Munitz, M. (1973), Logic and
Ontology, New York, New York University Press, p. 291. A tese de Geach foi discutida, entre outros,
por D. WIGGINS, (1980 )Sameness and Substance, Oxford, Basil Blackwell.
32
Cf. RUSSELL, B. On denoting, (1977) Logic and Knowledge, Edited by R. C Marsh, George
Allen & Unwin, , p. 50.
33
Cf. Russell, B. (1973) The Principies of Mathematics, New York: Norton and Co., (2 ed.), p. 494.
34

Cf. On denoting, p. 53

35

Cf. Russell, The Principles of Mathematics, p.217-218 e KRIPKE, S. 1980, Naming and Necessity,
Cambridge (Mass.) Harvard University Press, pp. 48-58.
36
Cf. Dummett, FPL, p. 58.
37
Cf. De Interpretatione, 16a20-21.

REFERNCIAS
ANGELLELLI, I. (1967) Studies on Gottlob Frege and Traditional Philosopy, D. Reidel
Publishing Company.
BARTLETT, J.M. (1961) Funktion und Gegenstand, eine Untersuchung in die Logik von
Gottlob Frege Dissertation, Mnchen.
BELL, D. (1979) Freges Theory of Judgment, Oxford University Press, Oxford.
DUMMETT, M. (1981) Frege, Philosophy of Language, Duckworth, London.
(1991) Frege and other Philosophers, Oxford University Press, Oxford.
FREGE, G. (1879) Begriffsschrift, a formula language, modeled upon that of arithmetic for
pure thought in Heijenoort, J. (1981) From Frege to Gdel. A source book in
mathematical logic, Harvard University Press, Cambridge Massachussetts, London (4
ed.)
(1980) The Foundations of Arithmetic (traduoo J. L. Austin), Basil Blackwell, Oxford.
(1967) The Basic Laws of Arithmetic (Traduo de Montgomery Furth), University of
California Press, Berkeley.
(1980) Transladions from the Philosophical Writings of Gottlob Frege (traduo de P.
Geach e Max Black), Basil Blackwell, Oxford.
(1979) Posthumous Writings ( traduoo de Peter Long e Roger White), Basil
Blackwell, Oxford.
GEACH, P. (1951) Freges Grundlagen in The Philosophical Review, LX, pp. 535-544.
HAAPARANTA, L. (1985) Freges Doctrine of Being, Acta Philosophica Fennica, 39.
( 1986) Frege on Existence in Frege Synthesized, Haaparanta e Hintikka (1986)

20

HAAPARANTA, L. E HINTIKKA, J. (1986) Frege Synthesized, D. Reidel Publishing


Company, Dordrecht, Holland.
HEIDEGGER, M. (1963 ) Kants These ber das Sein, V. Klostermann, Francfurt-sur-le-Main.

Traduo francesa: Questions II, Gallimard, 1968, pp. 71-116.


KANT, E. (2001) Crtica da Razo Pura, Fundao Calouste Gulbenkian, Lisboa.
KRIPKE, S. (1972) Naming and Necessity, Harvard University Press, Cambridge
Massachusetts.
QUINE, W.V.O. (1961) From a Logical Point of View, Harvard University Press, Cambridge
Massachusetts.
(1979) Word and Object MIT, Cambridge Massachusetts (11 ed)
RUSSELL, B. (1903) The Principles of Mathematics, Alen and Unwin, London.
(1973) The Principies of Mathematics, New York: Norton and Co., (2 ed.),
(1905) On Denoting, Mind 14, pp. 479-493.
(1977) On Denoting, in Logic and Knowledge, Edited by R. C Marsh, George Allen
& Unwin, London.