Académique Documents
Professionnel Documents
Culture Documents
Resumo
Nesse artigo, investigaremos as razes e propsitos da distino fregiana entre sentido e referncia, analisando especificamente o caso dos termos singulares. Nosso
propsito estabelecer a(s) razo(es) pela(s) qual(is) Frege teria mudando de ideia
em relao a sua posio em 1879, no Begriffsschrift, e optado por introduzir essa
distino famosa na literatura filosfica analtica. Como um segundo objetivo,
subsidirio ao primeiro, nos propomos desse artigo a analisar cuidadosamente algumas passagens relevantes para a compreenso dessa distino feita por Frege nas
quais pensamos haver ainda alguma controvrsia. Defenderemos que, ao menos em
um trecho especfico, as tradues correntes, tanto em ingls quanto em portugus,
no fizeram jus a intuies importantes do matemtico e filsofo alemo.
Palavras-chave: Frege; paradoxo da anlise; contedo cognitivo; distino
sentido e referncia.
Abstract
In this article we will investigate the origins and purpose of the fregean distinction
between sense and reference, with special attention to the case of singular terms.
Our purpose is to establish the reason(s) that prompted Frege to change his mind
vis-a-vis his 1879s position, represented in his Begriffsschrift, and to finally draw
his famous distinction, so notorious within all analytic philosophical literature. As a
second goal, subsidiary to the first one, we propose to carefully examine in this article
some passages relevant to the proper construal of his distinction, about which we
believe there is still some remaining controversy. We will suggest that, at least in one
specific passage, the existing translations, both in English and in Portuguese, were
not fully adequate to the intuitions of the German philosopher and mathematician.
Key-words: Frege; paradox of analysis; cognitive content; sense and reference
distinction.
70
Araceli Velloso
A noo de sentido fregiana uma noo que s fica clara a partir da distino entre sentido e referncia, feita na fase intermediria de sua obra, no artigo
Funktion und Begriff de 1982. Seu objetivo ao introduzir a distino era o de
tornar mais claro e coerente o tratamento das sentenas de identidade em seu
pequeno livro Begriffsschrift einer der Arithmetischen Nachgebildete Denkens
(daqui em diante apenas Begriffsschrift). No entanto, ao introduzir a distino
mencionada, Frege acaba por duplicar a estrutura sinttica da linguagem que
estava propondo, gerando desse modo uma estrutura hierrquica paralela
linguagem e intermediria entre suas expresses e algo no lingustico uma
espcie de segunda estrutura semntica. Essa estrutura seria composta de
entidades abstratas que habitariam um reino o reino dos sentidos.
Um ponto conhecido por todos que essa duplicao implicada pela distino fregeana no simplesmente uma soluo para alguns problemas semnticos, como o chamado paradoxo de Frege, por exemplo. Ela gera, outrossim,
diversas dificuldades, tambm representadas por paradoxos os paradoxos
semnticos , e bastante criticada pelos filsofos da corrente analtica. As
crticas vo desde Carnap, que tenta acomod-la como uma distino exclusivamente funcional, at Quine, que prope a sua eliminao pura e simples.
Nosso objetivo nesse artigo no investigar as dificuldades geradas pela
concepo ontolgica da noo de sentido fregiana, que so bastante amplas e tema de outra investigao detalhada. Pretendemos to somente investigar a(s) razo(es) pela(s) qual(is) o filsofo sustenta de modo to enftico
uma distino que o compromete com esse complexo processo de duplicao, bem como com suas implicaes ontolgicas. Para explicar a insistncia
de Frege em sustentar essa distino, trabalharemos com a hiptese de que a
noo de sentido e as entidades inevitavelmente associadas a ela so imprescindveis para a fundamentao do prprio projeto logicista do filsofo. Seu
principal papel seria explicar a fertilidade da anlise conceitual, a despeito
da aprioricidade de tal procedimento. Com efeito, nos parece razovel afirmar que a concepo de matemtica de Frege no poderia ser mantida sem
a noo de sentido para nomes e para sentenas.
A distino entre sentido e referncia se aplica tanto s sentenas, quanto
a seus dois tipos de partes (as partes saturadas e as insaturadas). Nesse artigo,
nos concentraremos apenas nas sentenas de identidade e, mais especificamente, na distino entre sentido e referncia dos nomes prprios (no sentido
fregiano). A escolha dessas sentenas como o foco principal de nossa discusso se deve ao fato de serem elas o locus clssico da discusso sobre o carter
criativo, porm analtico, da matemtica discusso central na obra de Frege
e na justificativa para o aparecimento da noo de sentido. So elas tambm
O paradoxo da anlise
1 Veremos mais adiante que, no caso dos nomes, embora insipiente, podemos encontrar, j na Conceitografia, uma noo de sentido como modo de apresentao. Dessa noo, contudo, ainda
no se tem um estatuto ontolgico prprio. Essa tambm a interpretao de (Mendelsohn 2005,
p. 48) e (Rodrigues Filho 2007, p. 74).
2 Conferir Frege (1879, notas 6 e 8, p. 11) e a discusso feita por Ablio Rodrigues na sua tese de
doutoramento (2007, p.62).
O que nos faz pensar n28, dezembro de 2010
71
72
Araceli Velloso
sua distino, que consiste, segundo ele prprio, em dividir a sua antiga noo
de contedo em duas outras noes: uma de sentido e outra de referncia.
Na introduo ao Grundgesetze, o filsofo a descreve da seguinte maneira:
Eu havia distinguido dois componentes daquilo cuja forma externa
uma sentena declarativa: (1) o reconhecimento da verdade, (2) o
contedo que reconhecido como verdadeiro. O contedo, eu chamei de o contedo possvel de um juzo. Esse ltimo se dividiu
agora para mim no que eu chamei de pensamento e valor de verdade. Essa diviso foi uma consequncia da diviso entre sentido e
referncia de um signo. (Frege, 1966, Introduo p. X)
Dessa forma, assim como um nome, alm de ter referncia, expressa um
sentido, uma sentena, alm de expressar um pensamento, significa (bedeut)
tambm uma referncia. No contexto dessa distino, o caso das sentenas de
identidade fica sendo um caso limite no qual o pensamento expresso diz respeito apenas s referncias dos nomes ele afirmaria o fato de terem, ambos,
a mesma referncia.
Tomemos, pois, as sentenas de identidade como o incio de nossa investigao. A identidade em Frege, segundo Dummett, uma expresso relacional
formadora de sentenas atmicas e, alm disso, uma constante lgica. Constante, porque o seu significado primitivo, em vez de ser dado por uma definio. Formadora de sentenas atmicas porque, ao ser ladeada por nomes
de objetos, resulta em uma sentena completa.
As sentenas formadas pela composio de dois nomes de objetos atravs de um smbolo de identidade, no entanto, no so passveis de uma
anlise semntica to simples como a das outras. A razo para tantas dificuldades est no fato de que, ao contrrio do resto da linguagem, que para
Frege falaria sempre sobre o mundo, as sentenas de identidade parecem
se encontrar em uma situao peculiar, na qual duas funes distintas poderiam estar sendo exercidas: falar sobre as expresses da prpria linguagem
e falar diretamente sobre o mundo. A essas duas funes corresponderiam,
respectivamente, duas possveis interpretaes: elas poderiam ser a afirmao da existncia de uma relao entre nomes de objetos (entre sinais, portanto), ou entre os objetos eles prprios (nesse caso, seria uma relao do
objeto com ele prprio). No famoso incio do artigo ber Sinn und Bedeutung, Frege admite que optara pela primeira alternativa no Begriffsschrift.
A explicao efetivamente dada por Frege, anos depois, para a sua primeira escolha motivo de alguma controvrsia, na literatura. Um ponto, con-
tudo parece ser bastante claro: j no Begriffsschrift, Frege pensava ser mais
importante preservar o carter informativo das sentenas de identidade a ter
de abandonar esse pressuposto (Frege, 1892b, 40). Assim, uma primeira premissa, ou desideratum, bastante cara a Frege e considerada pelo filsofo como
uma espcie de trusmo, consistiria em que a = a e a = b difeririam quanto
ao seu valor cognitivo. Segundo o prprio Frege, a = a se mantm a priori
e no contm nenhuma informao nova, enquanto a = b contm valiosas
extenses do nosso conhecimento e nem sempre se mantm a priori. Muitas
vezes, a verdade de a = b pode depender de pesquisas e descobertas cientficas e envolver dois modos diferentes (pode-se conhecer um e no o outro) e
independentes de se estabelecer o mesmo resultado. (Frege, Letter to Jourdain
1980 [1914a], p. 80)
Conjugado ao desideratum acima, estaria tambm o desejo do filsofo
de evitar um paradoxo que ficou conhecido na literatura como o paradoxo
de Frege. Repassemos rapidamente essa dificuldade. O paradoxo decorreria
diretamente da aceitao de trs premissas: (1) o fato de que em a = b temos
dois modos diferentes e no redutveis um ao outro de estabelecer a mesma
referncia, (2) o princpio geral de considerar a identidade como uma relao
entre objetos, um princpio advindo de Leibniz, e (3) um princpio de substituio que preservasse a noo de contedo conceitual. Caso aceitemos
essas trs premissas, acabaremos por chegar concluso de que a = b no tem
valor cognitivo (Erkenntniswert), pois pode sempre ser reduzido sentena a
= a (i.e., caso a = b seja verdadeira), o que tornaria falsa a primeira premissa.3
Como se sabe, apesar dessa argumentao ter levado Frege no
Begriffsschrift, segundo ele prprio, a considerar a identidade como
uma relao entre nomes,4 podemos constatar uma mudana de posio
do filsofo no ber Sinn und Bedeutung. Neste ltimo artigo, o
filsofo justifica sua antiga opo, mas oferece novos argumentos para
adotar uma segunda anlise semntica para as sentenas de identidade.5
Sua segunda abordagem, apesar de evitar o paradoxo de modo mais elegante e inequvoco,6 cria algo novo para Frege: um intermedirio entre a lin3 O paradoxo de Frege, tambm conhecido por outros nomes (o paradoxo da identidade, ou o paradoxo da anlise) foi discutido no artigo Os paradoxos da identidade e seu papel como limitadores
de uma teoria funcional da linguagem (Velloso, A, 200..).
4 Essa tambm a interpretao de Mendelsohn (2005, p. 42).
5 Os detalhes desses argumentos sero analisados na seo A posio de Frege no Begriffsschrift.
6 Explicaremos esse ponto no incio da seo A posio de Frege no ber Sinn und Bedeutung.
O que nos faz pensar n28, dezembro de 2010
73
74
Araceli Velloso
guagem e aquilo sobre o que ela fala: o sentido. A mudana de posio de Frege em relao interpretao da noo de identidade deixa a pergunta: por
que o filsofo no teria mantido sua opo original, uma posio que resolvia o
paradoxo?.7 Em vez disso, Frege opta por introduzir entidades intermedirias
explicativas do contedo informativo das sentenas de identidade. Ou, dito
de outra maneira, nossa indagao : por que Frege escolhera inicialmente
considerar a identidade como uma relao entre nomes? Por que insistira em
manter uma nica noo de contedo, em vez de dividi-la em duas desde o
comeo? Teria essa opo simplesmente lhe escapado na poca? Seria a segunda
opo, mais tardia de Frege, realmente a melhor escolha? Enfim, o que pretendia Frege no Begriffsschrift? Para comear a responder a todas essas perguntas,
faremos inicialmente uma exposio pormenorizada da posio de Frege em
relao ao problema, como ela se encontrava na primeira parte de sua obra.
No 8 do Begriffsschrift, Frege simboliza a identidade de contedo (Inhaltgleichheit) com trs traos . Esse smbolo difere da identidade pura e
simples, que para Frege teria de significar coincide com ou idntico a
(Frege, 1966, p. IX). A escolha do smbolo , por si s, j indicaria uma
concluso bastante importante: nessa obra o filsofo estava pensando em tratar a identidade como uma equivalncia entre contedos. Mas, luz das observaes iniciais de Frege, devemos concluir que essa seria uma circunstncia especial, na qual estaramos atribuindo, inicialmente, a certo contedo,
duas expresses diferentes.
Apesar de usar apenas o smbolo em sua linguagem, Frege distingue
duas situaes diferentes para o seu emprego: na identidade de contedo sinttica, 8, e na identidade de contedo definicional, sempre analtica, 24,
26, 29 e 31. No 8, A noo de identidade de contedo introduzida
da seguinte maneira:
A identidade de contedo difere da condicionalidade e da negao,
pois diz respeito a nomes e no a contedos. Enquanto em outros
lugares os signos so meros representantes de seus contedos, de tal
forma que cada combinao na qual eles aparecem expresse apenas
7 Explicaremos na seo seguinte como a interpretao que considera a identidade como uma relao entre expresses da linguagem no incorre em paradoxo.
75
76
Araceli Velloso
8 Traduo do original: Thus with the introduction of a symbol for identity of content a bifurcation
in the meaning of every symbol is necessarily effected, the same symbols standing one moment
for their content, the next moment for themselves. This makes it appear at first as if it were here a
matter of what pertains to the expression alone, not to the thought, and as if there were no need at all
for different symbols for the same content and hence for a symbol for identity of content either.
Temos nessa figura duas retas diferentes. A reta secante BA, que corta o crculo em
dois pontos, e a reta que toca a circunferncia em apenas um ponto, o ponto A, tangenciando o crculo. Como a seta indica, se movermos a reta secante BA em sentido
horrio at que ela fique perpendicular em relao secante original e se identifique
com a tangente que corta o ponto A, acabaremos por fazer coincidir o ponto B com
o ponto A. Segundo o filsofo, a nossa justificativa para afirmar que, no caso da
tangente, o ponto A o mesmo que o ponto B depende da resposta seguinte pergunta: que ponto obtido quando a linha fica perpendicular ao dimetro? S aps
dar como resposta o ponto A, podemos afirmar que A e B tm, efetivamente, o
mesmo contedo. Ou seja, o valor de verdade do juzo o ponto A igual ao ponto
B depende de um processo de investigao no qual dois procedimentos diferentes
so usados para identificar o mesmo ponto: um processo de aproximao das retas
em questo at que o ponto B coincida com o A e outro processo, diferente,
onde o ponto A nomeado diretamente. Frege afirma logo adiante que o juzo
de identidade de contedo, no caso da geometria, um juzo sinttico no sentido
kantiano. O filsofo salienta ainda mais esse ponto ao observar que a afirmao da
identidade de contedo de dois signos no mera questo de formulao.
Segue-se disso que a existncia de nomes diferentes para o mesmo contedo nem sempre simplesmente uma questo trivial de formulao, mas,
muito pelo contrrio, diz respeito prpria essncia da coisa, quando o que
os une so diferentes modos de determinao. (Frege, 1971 [1879], 8)9
Para compreender melhor o que Frege quer dizer com essa passagem, gostaramos de analis-la contrastando-a com o que ele afirma no 24. L, Frege
afirma que existe outro tipo de identidade de contedo, a identidade de contedo analtica ou definicional, como passaremos a chamar daqui em diante.
Segundo Frege, no caso das identidades de contedo definicionais, estaramos
apenas introduzindo um novo smbolo que nunca havia sido usado antes.
9 Como essas citaes envolvem dificuldades de traduo que se refletem no ponto filosfico a
ser feito nesse artigo, seguem o original em alemo e a traduo para o ingls: Hieraus geht
hervor, dass die verschiedenen Namen fur denselben Inhalt nicht immer blos eine (gleichgultig)
gleichgiftige Formsache sind, sondern dass sie das Wesen der Sache selbst betreffen, wenn sie mit
verschiedenen Bestimmungsweisen zusammenhngen. In diesem Falle ist das Urtheil, welches die
Inhaltsgleichheit zum Gegenstande hat, im kantichen Sinne ein synthetisches.
It follows from this that different names for the same content are not always merely a trivial
matter of formulation, but touch the very heart of the matter if they are connected with different
modes of determination. In that case the judgment that has the identity of content as its object is
synthetic in the Kantian sense.
O que nos faz pensar n28, dezembro de 2010
77
78
Araceli Velloso
10 Verso em ingls: This proposition differs from the judgments considered up to now in that it
contains signs that have not been defined before; it itself gives the definition. It does not say The
right side of the equation has the same content as the left, but It is to have the same content.
Hence this proposition is not a judgment, and consequently not a synthetic judgment either, to
use the Kantian expression.
11 Cf. 24, proposio (69).
co, uma vez que ela apenas torna aparente novamente o que foi posto
nos novos sinais. [nfase minha] (Frege, 1971 [1879], 24)12
Assim, nada de novo estaria sendo acrescentado aos antigos sinais, estaramos
apenas explicitando o que j estava l contido e, portanto, no teramos um
juzo sinttico, mas analtico.
No 8, Frege afirma ainda que a definio seria um caso particular de identidade de contedo, quando essa fosse usada como forma de abreviar uma expresso
mais longa. Nos dois casos, portanto, tanto o da identidade de contedo sinttica,
quanto o da definio (que se transforma posteriormente em identidade de contedo analtica), estamos falando dos sinais. No primeiro caso, no entanto, algo mais a
respeito da prpria coisa estaria sendo afirmado: o fato de que existem dois modos
diferentes de apresentar o mesmo contedo. importante observar que a soluo
apresentada no Begriffsschrift tem uma vantagem: ela trata de maneira homognea
as definies e as identidades de contedos como versando, ambas, sobre smbolos. Esse tratamento difere consideravelmente da soluo posterior (a partir de
1892), quando as identidades do tipo a = b so sobre os modos de apresentao,
enquanto as definies permanecem sendo sobre os smbolos eles prprios.
Na carta Marty, de 1882, Frege introduz a tese da natureza insaturada
dos conceitos, derivada da sua distino entre funo e argumento. O filsofo
apresenta essa tese como o principal fator a contribuir para a novidade dos
juzos analticos. A tese da fertilidade da anlise conceitual, bem conhecida
na obra de Frege,13 permite que o filsofo distinga as suas sentenas analticas
dos exemplos apresentados por Kant. Frege chega a afirmar nessa mesma
carta que a principal dificuldade de Kant em perceber o carter criativo dos
juzos analticos fora a falta de complexidade de seus exemplos. (Frege, Letter
to Marty 1980 [1882], p. 79)
Apresentando de modo resumido, o ponto principal desse processo de
anlise criativo a precedncia dos juzos em relao aos conceitos. Assim,
Frege afirma que uma diferena importante entre a sua concepo e as outras
concepes filosficas que, na sua, os conceitos no precedem juzos, mas,
sim, o contrrio: a partir da decomposio dos juzos que obtemos novos
12 Although originally (69) is not a judgment, it is immediately transformed into one, for, once the
meaning of the new signs is specified, it must remain fixed, and therefore formula (69) also holds
as a judgment, but as an analytic one, since it only makes apparent again what was put into the
new signs.
13 Cf. (Ruffino 1991).
O que nos faz pensar n28, dezembro de 2010
79
80
Araceli Velloso
81
82
Araceli Velloso
83
84
Araceli Velloso
pelo modo como ela composta. O fato de que ele concorde com
o sentido do sinal simples j de longa data estabelecido no uma
questo de estipulao arbitrria, mas pode ser reconhecido apenas
por um insight imediato. No h dvidas de que falamos de uma
definio, tambm nesse caso. Ela pode ser chamada de definio
analtica para se distinguir do primeiro caso. [...] o que poderamos
chamar aqui de definio deve ser considerado, de modo mais apropriado, como um axioma. (Frege, 1971 [1914b], p. 103).
Numa definio construtiva, ou definio pura e simples, portanto, construmos um sentido atravs da composio de outras palavras que j tm sentido e introduzimos ento um novo sinal para elas. J no caso em que temos
um sinal simples com um uso estabelecido, acreditamos poder fornecer uma
anlise lgica do seu sentido apresentando uma expresso complexa que,
em nossa opinio, tenha o mesmo sentido. Segundo o filsofo, o fato de que
a nova expresso esteja de acordo com a antiga (em termos de sentido) no
uma mera estipulao arbitrria, mas o resultado de um insight imediato. Ele ento sugere que distingamos esse caso do caso em que temos uma
definio pura e simples chamando-o de definio analtica. Com efeito,
o filsofo deixa claro que antes preferiria empregar o termo axioma para
caracterizar esse ltimo tipo de identidades.
Finalmente, Frege distingue um terceiro caso, que, alm dos exemplos
antigos e conhecidos, inclui o caso dos enunciados da aritmtica. O primeiro
aspecto importante dos exemplos includos nesse terceiro caso que ele no
, nem arbitrrio, nem resultado de um insight imediato. A novidade que
encontramos nesses casos um intermedirio essencial para a justificao do
juzo, o sentido, que diferente de cada lado da identidade e que consiste
num modo independente de encontrar a referncia. Frege chega a sugerir
que usemos, em vez do famoso 2 + 2 = 4, um exemplo que envolva nmeros
maiores como: 137 + 469 = 606. De acordo com Frege, essa sentena diz muito mais do que a sentena 606 = 606. A pergunta fundamental, nesse caso,
a seguinte: seria possvel designar a mesma coisa com dois nomes ou sinais
diferentes sem saber que a mesma coisa que est sendo designada? Ou seja,
ser que afirmar a relao de identidade entre dois nomes prprios acrescenta
algo ao simples pronunciamento dos dois nomes, um aps o outro? E a resposta para Frege obviamente afirmativa! Assim, para Frege a sentena 5 = 2
+ 3 e a sentena 5 = 5 expressam pensamentos diferentes, da mesma forma
que as sentenas Coprnico Coprnico e Coprnico o autor da viso
heliocntrica do sistema planetrio.
Trabalhamos nesse artigo com a hiptese de que a noo de sentido, constituinte fundamental da estrutura semntica hierrquica paralela linguagem,
fora introduzida por Frege para explicar o carter informativo, porm analtico, das sentenas de identidade.
No percurso de nossa investigao pudemos constatar que Frege, ao contrrio do que se poderia concluir numa primeira leitura, mais apressada,
manteve suas intuies a respeito desse tipo de sentena no decorrer dos trs
momentos de sua obra aqui analisados. Ou seja, Frege mantm a ideia de
que a = b deva ser considerada uma sentena informativa, embora algumas
vezes independa da experincia. Ele tambm mantm a ideia de que deveria haver uma diferena no colapsvel entre a e b, que no se resumisse
simples diferena na forma grfica dos smbolos em questo. Por fim, ele
mantm a ideia de que, em alguns casos, esse tipo de sentena poderia ser
puramente normativa.
Algumas dessas teses j estavam presentes no Begriffsschrift, de modo
explcito, como, por exemplo, a tese de que muitas vezes a = b uma identidade informativa e de que essa informao era derivada de dois modos diferentes de se apresentar o mesmo contedo. Ou seja, o famoso conceito de
modo de apresentao j figurava naquela obra. Tambm j estava presente
a preocupao do filsofo em evitar que se tomasse a identidade de contedo
como uma mera afirmao terminolgica, embora nenhuma tese tivesse sido
assumida ainda com o propsito de evitar que se interpretasse as sentenas de
identidade desse modo. Essas teses, no entanto, assumiram um papel muito
mais central no perodo mdio da obra de Frege, quando o filsofo chega
a afirmar explicitamente que devemos optar pela distino entre sentido e
referncia, porque, sem ela, no se pode impedir algum de interpretar as
sentenas de identidade como afirmaes puramente terminolgicas. Em sua
fase madura, portanto, vemos um tratamento mais completo e sistemtico
dessas sentenas especiais, tratamento esse que continua no perodo final de
sua obra, como pudemos observar nos trechos citados do artigo Logik in der
Mathematik.
Nossa concluso final a de que a nica diferena importante entre os
dois momentos investigados a promoo de uma noo j latente de sentido a um novo estatuto ontolgico, esse que torna a estrutura semntica
relativamente independente de seus correlatos sintticos. Embora no parea,
esse um grande passo que compromete Frege com uma distino que, como
sabemos, se mostrar difcil de ser justificada, em vrios nveis.
85
86
Araceli Velloso
Referncias Bibliogrficas
87