FREGE E A FILOSOFIA DA LINGUAGEM1

FREGE AND THE PHILOSOPHY OF LANGUAGE

Ablio Rodrigues Filho*
Resumo
certo que Frege contribuiu imensamente para a filosofia da linguagem. Entretanto, isso no
o bastante para torn-lo um filsofo da linguagem. Com o objetivo de mostrar por que
Frege no foi um genuno filsofo da linguagem, este artigo apresenta a distino fregiana
entre o sentido e a referncia, enfatizando a origem da tese segundo a qual a referncia de
uma sentena seu valor de verdade. Isso feito de um ponto de vista histrico, de modo a
mostrar o desenvolvimento das doutrinas de Frege da Conceitografia, de 1879, at o artigo
Sobre o sentido e a referncia, de 1892. Ao colocar a distino sentido/referncia em uma
perspectiva histrica, fica claro que ela no foi designada como uma teoria semntica em
geral, mas, antes, pretendia resolver problemas tcnicos da linguagem formal que Frege criou
para levar a cabo seu projeto logicista.
Palavras-chave: Frege, Sentido, Referncia, Linguagem.
Abstract
Frege made important contributions to the philosophy of language. However, this does not
make him a genuine philosopher of language. In order to depict this idea, this paper presents
Frege's doctrine of sense and reference emphasizing the origins of the thesis according to
which the reference of a sentence is its truth-value. It is done from the historical point of view,
in order to show the development of Frege's doctrines from 1879 Conceptual Notation to
1982's "On sense and reference". That same path shows that Frege's distinction between
sense and reference was not primarily a general semantic theory, but rather was designed to
solve technical problems of the formal language to be used in the logistic project.
Key words: Frege, Sense, Reference, Language.

1 Introduo
No resta dvida de que Frege contribuiu imensamente para a filosofia da linguagem,
tal como ela foi feita no sculo XX e ainda hoje. Isso, entretanto, no torna Frege um
filsofo da linguagem no sentido de algum preocupado em resolver problemas
relativos estrutura e ao funcionamento da linguagem em geral. Para Frege ser
considerado um filsofo da linguagem, necessrio que os problemas que ocuparam e
ocupam aqueles que fazem o que chamamos de filosofia da linguagem sejam os
mesmos problemas que ocuparam Frege.
A filosofia da linguagem agrupa um tipo de investigao filosfica que vai desde
investigaes acerca da linguagem propriamente dita at investigaes filosficas em
geral que utilizam a anlise da linguagem como ferramenta. Mas o ponto a ser
enfatizado aqui que o problema do significado sempre central para a filosofia da
linguagem. E esse problema ou inclui a linguagem natural como um todo, ou procura
delimitar e formalizar um fragmento da linguagem natural com o objetivo de eliminar
problemas como vagueza e ambiguidade. Em ambas as alternativas est em questo de
que modo a linguagem que usamos para falar do mundo se conecta com o mundo. E
precisamente esse o ponto que estava fora dos interesses de Frege.
A distino de Frege entre o sentido e a referncia, tema do artigo Sobre o sentido e
a referncia (SSR), de 1892, considerada uma importante contribuio para uma
teoria do significado em sentido amplo, que inclui a linguagem natural. certo que um
sem-nmero de importantes investigaes acerca do funcionamento da linguagem
foram motivadas pela distino sentido/referncia. Mas ser que essa era a inteno de
Frege? Vou argumentar aqui que a resposta a essa pergunta negativa. Pretendo
mostrar que os interesses de Frege eram muito diferentes daqueles que motivaram as
investigaes sobre a linguagem realizadas, sobretudo no decorrer do sculo XX. Mais
especificamente, Frege no estava interessado no funcionamento da linguagem natural
e no modo pelo qual as expresses lingusticas se conectam com o mundo. Em outras
palavras, Frege no tinha o menor interesse em construir uma teoria semntica
aplicvel linguagem natural. Por essa razo, Frege no foi um filsofo da linguagem.2

Mas se isso verdade, por que h quem considere Frege um filsofo da linguagem? SSR
contm de fato importantes anlises da linguagem natural. Mas se lermos SSR tendo
em perspectiva o seu lugar na obra de Frege como um todo, percebemos que as
anlises ali apresentadas, antes de terem a estrutura e o funcionamento da linguagem
como foco, tm antes o objetivo de justificar modificaes na linguagem formal de
Frege a ser utilizada na realizao do projeto ao qual Frege dedicou praticamente toda
a sua carreira acadmica, a saber, provar que a aritmtica um ramo da lgica. Mais
especificamente, em SSR, Frege tinha dois problemas a resolver: o funcionamento do
signo de identidade de contedo e o valor semntico de sentenas. Tanto o problema
da identidade que abre SSR como tambm a tese de que a referncia de uma sentena
o seu valor de verdade tm origem em problemas tcnicos da linguagem formal que
Frege apresentou na obra Conceitografia (CG), de 1879.
Meu objetivo aqui mostrar como os problemas do signo da identidade de contedo e
da noo de contedo conceitual, tais como foram apresentados em CG, determinaram
as alteraes na linguagem formal de Frege, motivando a introduo da distino entre
o sentido e a referncia, o abandono do signo de identidade de contedo, da noo de
contedo conceitual e, sobretudo, a tese segundo a qual a referncia de uma sentena
o seu valor de verdade. Esse objetivo ser alcanado por meio de uma anlise do
caminho que comea em 1879 na CG e termina na distino sentido/referncia, tendo
como pano de fundo o projeto de Frege como um todo. Veremos como os problemas
que Frege trata em SSR tm origem em 1879.
Este texto se divide em trs partes principais. Na seo 2, apresentarei brevemente o
projeto de Frege e as suas principais obras, relacionadas realizao desse projeto. Na
seo 3, veremos os problemas da noo de contedo conceitual, que na CG cumpria
o papel do valor semntico de sentenas, e do signo de identidade de contedo. Na
seo 4, dedicada ao artigo SSR, veremos como esses problemas determinaram uma
nova leitura do signo da identidade e tambm a tese de que a referncia de uma
sentena o seu valor de verdade.
2 O Projeto de Frege

Frege foi um matemtico que dedicou praticamente toda a sua obra realizao de um
projeto: provar que a aritmtica um ramo da lgica, isto , provar que os axiomas da
aritmtica podem ser obtidos a partir de um conjunto de axiomas, definies e regras
de inferncia de carter estritamente lgico. Estava em questo, portanto, a justificativa
das proposies da aritmtica. O projeto de Frege tinha um carter epistemolgico e
pode ser compreendido como uma tentativa de aperfeioar as teses kantianas acerca
da justificao do conhecimento matemtico.
Para Kant, verdades matemticas, tanto da aritmtica quanto da geometria, eram a
priori, posto que so universais e necessrias, mas eram tambm sintticas, pois,
contrariamente s proposies da lgica, dependeriam de um recurso intuio. Frege
concordava com Kant no que diz respeito geometria, que esta depende do recurso
intuio do espao, mas discordava em relao aritmtica. Para Frege, a aritmtica
constituda por proposies analticas no sentido anteriormente exposto de
proposies que podem ser obtidas por meios estritamente lgicos e sem nenhum
recurso a qualquer tipo de intuio. Provar essa tese, denominada logicismo, foi o
objetivo principal de Frege at meados de 1906. Frege fracassou. Em 1902, quando o
segundo volume da obra Leis bsicas da aritmtica (LBA), em que Frege apresentava o
que seria a prova da tese logicista estava para ser impresso, Frege recebeu uma carta
de Russell mostrando que um de seus axiomas dava origem a uma contradio, o
chamado paradoxo de Russell. Grosso modo, o sistema de Frege permitia que se
definisse um conjunto a partir da propriedade ser um conjunto que no pertence a si
mesmo, isto , um conjunto R = {x : x x}. fcil perceber que R R se, e somente
se, R R. O sistema de Frege, portanto, era inconsistente, e nele poder-se-ia provar
qualquer coisa, como por exemplo 0 = 1 ou 2 + 2 = 5. Frege publicou em 1903 o
segundo volume de LBA com um adendo em que tentava (sem sucesso) evitar a
contradio. Por volta de 1906, Frege abandonou de vez a tese logicista.
As principais obras de Frege de 1879 a 1903 foram todas designadas com o objetivo de
provar a tese logicista. Para a execuo de seu projeto, Frege precisava de uma
linguagem formal capaz de explicitar todos os passos realizados nas provas com
preciso e sem ambiguidade. Frege apresentou sua linguagem formal em um pequeno

livro de 1879, j mencionado aqui, denominado Conceitografia (CG)3. Ao criar tal

linguagem, ele criou nada menos do que a lgica moderna. Na CG, considerada por
muitos a mais importante obra de lgica desde Aristteles, encontramos um sistema
completo de lgica proposicional e de predicados, essencialmente o mesmo que
encontramos nos livros modernos de lgica. Apesar disso, a obra CG foi praticamente
ignorada pelos contemporneos de Frege.
Em 1884, Frege lanou Fundamentos da aritmtica (FA) (1980), em que so apresentados
de maneira informal, os argumentos em defesa da tese logicista. Ao contrrio de CG,
FA no um livro predominantemente tcnico, mas, sim, de carter explicitamente
filosfico. Entretanto, embora em FA encontremos indicaes metodolgicas que vo
ao encontro do modo de se fazer filosofia caracterstico da filosofia da linguagem
contempornea, FA trata de um problema que pertence filosofia da matemtica.
Entre 1891 e 1892, Frege lanou trs artigos: Funo e conceito (FC), Sobre o
sentido e a referncia (SSR) e Sobre o conceito e o objeto (SCO)4. Esses textos
no so predominantemente tcnicos. Pelo contrrio, so considerados, junto com FA,
os textos de Frege de carter mais filosfico. Neles, encontramos importantes
reflexes sobre a linguagem. Mas o ponto que precisa ser enfatizado aqui que a
funo principal desses textos no projeto de Frege, especialmente FC e SSR,
consertar a linguagem formal de Frege, evitando os problemas da CG j mencionados, e
tambm apresentar de modo informal, na forma de elucidaes, noes centrais
necessrias para a realizao do seu projeto. Tais elucidaes no pertencem teoria
propriamente dita, mas tm carter propedutico. Nelas, Frege frequentemente faz
uso de exemplos da linguagem natural, como na apresentao da distino
sentido/referncia. Entretanto, o ponto de tais explicaes informais no uma anlise
da linguagem natural, mas, sim, explicar, de fora do sistema, noes tcnicas do sistema
de Frege.
Em 1893, logo aps a publicao desses artigos mencionados, Frege lanou o primeiro
volume das Leis bsicas da aritmtica (LBA) (1964), obra que deveria ser o ponto
culminante de toda uma carreira acadmica. Mais uma vez, o livro no foi muito bem
recebido pelos contemporneos de Frege, o que atrasou a publicao do segundo

volume, lanado dez anos depois, em 1903. Mas, como j foi mencionado, o sistema de
LBA era inconsistente e o projeto de Frege fracassou.
importante aqui observar que o projeto de Frege era, sem dvida, um projeto
filosfico no apenas por ter um carter epistemolgico, mas tambm por se colocar
em uma postura crtica e em relao aos fundamentos da aritmtica. Entretanto, tratase claramente de uma investigao restrita filosofia da matemtica.
3 Identidade e Contedo Conceitual na Conceitografia
Nesta seo, veremos as tenses entre as duas caracterizaes da noo de contedo
conceitual que Frege apresenta na CG e tambm os problemas do signo de identidade
de contedo . Mas, antes de iniciarmos a anlise do texto de Frege, importante
esclarecer dois pontos fundamentais para a discusso que ser realizada aqui: a noo
de valor semntico e o princpio de composicionalidade.
A linguagem formalizada que Frege apresentou na CG tinha como objetivo ser uma
ferramenta para que Frege provasse a tese logicista. Os signos da linguagem formal de
Frege no podiam ser signos vazios, isto , tinham que ter significado. Em outras
palavras, as expresses da linguagem que Frege estava construindo precisavam ter o
que hoje chamamos de valor semntico. O valor semntico de uma expresso um
item no-lingustico, que chamarei aqui de v, que ser associado a . A expresses de
tipos diferentes correspondem itens no-lingusticos diferentes. Por exemplo,
considere-se a sentena
(1) Aristteles grego.
O valor semntico do nome prprio Aristteles um indivduo, o filsofo grego
Aristteles, e do predicado x grego pode ser considerado um conceito, o conceito
ser grego, ou ento, como feito nos atuais livros de lgica, o conjunto de todos os
gregos. Em outras palavras, o valor semntico de um nome prprio um indivduo que
pertence ao universo de discurso e o valor semntico de um predicado um
subconjunto do universo de discurso. Portanto, a uma expresso lingustica de um

determinado tipo, associamos um item no-lingustico tambm de um determinado

tipo.
Segundo o princpio de composicionalidade, o valor semntico de uma expresso
composta depende do valor semntico de suas partes constitutivas. Sendo v o valor
semntico de uma expresso f, se f parte de uma expresso maior (f), v ter um
papel na determinao do valor semntico de (f). Alm disso, se (f) for uma
sentena, v ter um papel na determinao do valor de verdade de (f), mesmo que
o valor semntico de sentenas no sejam valores de verdade.
Na CG, Frege no tinha ainda estabelecido explicitamente a distino entre objeto e
conceito, que s vai aparecer claramente nos textos do incio da dcada de 1890. Mas
se tomarmos emprestada essa terminologia posterior e a utilizarmos na leitura da CG,
veremos que o problema do valor semntico de nomes prprios e predicados j estava
resolvido. O valor semntico de um nome prprio um objeto e o de um predicado
um conceito. Resta o problema do valor semntico de sentenas. Na CG, a noo de
contedo conceitual que cumpre esse papel.
Na seo 3 de CG, Frege introduz a noo de contedo conceitual de sentenas, que
caracterizada em termos inferenciais: duas sentenas A e B tm o mesmo contedo
conceitual quando so intersubstituveis, preservando correo de inferncias. Isso
significa, em outras palavras, que tudo o que podemos obter de uma sentena
podemos tambm obter da outra. Exemplo de sentenas com mesmo contedo
conceitual seriam
(2) Aristteles foi discpulo de Plato
e
(3) Plato foi mestre de Aristteles.
Notem que todas as concluses que podemos obter de (2) podemos tambm obter de
(3), e vice-versa. Frege no esclarece devidamente o que ele entende por correo de

inferncias, mas certamente a noo fregiana de inferncia correta no corresponde

exatamente nossa noo de consequncia lgica. Entretanto, certo que nossa
noo de conseqncia lgica condio necessria para identidade de contedo
conceitual, isto , sentenas que no so logicamente equivalentes no tm o mesmo
contedo conceitual.
Os problemas graves surgem na seo 8, na qual Frege introduz o smbolo de
identidade de contedo . Estranhamente, a identidade de contedo se comporta de
maneira diferente dos outros smbolos da linguagem formal. Quando formamos uma
sentena a partir de outras duas e dizemos
(4) A B
os signos A e B esto no lugar dos seus contedos conceituais, isto , no sobre
os signos A e B que estamos falando, mas, sim, dos contedos conceituais
representados por A e B. J no caso de
(5) A B,
diferentemente, no estamos falando dos contedos de A e B, mas, sim, dos
prprios signos. O que (5) quer dizer que os smbolos A e B tm o mesmo
contedo conceitual e que em qualquer lugar em que um ocorre podemos colocar o
outro, e vice-versa. O que causa estranheza aqui que, caracterizado dessa forma,
no um signo da linguagem objeto, mas da metalinguagem. Isso produz uma
ambiguidade, por exemplo, em
(6) A B (f(A) f(B)),
que diz que, tendo A e B o mesmo contedo conceitual, podemos substituir A por B
em um contexto, representado por f(). Em (6), as ocorrncias de A e B em A
B representam os prprios signos A e B, ao passo que, em (f(A) f(B)), A e
B representam seus contedos conceituais. Por essa razo, (6) ambgua.

Mas os problemas no param por aqui. A caracterizao do contedo conceitual de

nomes prprios ir criar tenses com os contedos conceituais de sentenas. Frege
usa um exemplo da geometria e fala em diferentes formas de determinar um ponto, e
a cada uma dessas formas corresponde um nome. Se pensarmos em termos de
descries definidas, isto , expresses da forma o tal e tal que (pretendem) designar
um nico objeto e se tomarmos emprestada a terminologia posterior, Frege est
dizendo na seo 8 da CG que duas descries que designam um mesmo objeto, por
exemplo,
(7) O autor de tica a Nicmaco
e
(8) O tutor de Alexandre da Macednia
tm o mesmo contedo conceitual. A intersubstitutividade de expresses com o
mesmo contedo conceitual se aplica tanto a sentenas quanto a nomes prprios. Se
(7) e (8) tm o mesmo contedo conceitual, portanto, deveriam ser intersubstituveis,
preservando correo de inferncias. Mas isso claramente no o caso. Consideremse as sentenas
(9) Plato foi mestre do tutor de Alexandre da Macednia
e
(10) Plato foi mestre do autor de tica a Nicmaco.
fcil perceber que, ao contrrio de (2) e (3), ns no podemos tirar as mesmas
concluses de (9) e (10). De (10), por exemplo, podemos somente concluir que existe
uma obra chamada tica a Nicmaco, mas no podemos faz-lo apenas com (9). (9) e
(10) no so logicamente equivalentes, o que condio necessria para identidade de
contedo conceitual.

H ainda na CG um terceiro problema: o colapso dos contedos conceituais de

sentenas de identidade. As sentenas
(11) 16 22
e
(12) 651 647 68 17,
segundo a caracterizao do signo de identidade de contedo, so verdadeiras porque,
em cada uma, as expresses esquerda e direita do signo tm o mesmo
contedo conceitual, o nmero 4. Mas fcil perceber que, alm disso, (11) e (12)
enquanto sentenas, tm o mesmo contedo conceitual que
(13) 4 4!
O ponto que todas as sentenas de identidade da aritmtica acabam tendo um
mesmo tipo de contedo conceitual: a afirmao de que um nmero igual a si
mesmo.
Na CG, alm dos problemas relativos ao signo de identidade de contedo, que um
smbolo da metalinguagem usado como se fosse da linguagem objeto, h pelo menos
dois problemas decorrentes da noo de contedo conceitual: (i) as tenses entre a
caracterizao do contedo conceitual de sentenas em termos do papel inferencial e
de nomes prprios como o objeto designado, e (ii) todas as sentenas de identidade da
aritmtica acabam por ter o mesmo tipo de contedo conceitual, o que no
plausvel. A noo de contedo conceitual, portanto, no poderia cumprir o papel de
valor semntico de sentenas. Esses problemas sero corrigidos por Frege nos artigos
de 1891/1892, especialmente em SSR.
4 Identidade e Valor Semntico de Sentenas em Sobre o Sentido e a
Referncia

Frege comea o artigo SSR com o famoso problema da identidade. A pergunta de

Frege a seguinte: a identidade uma relao entre objetos ou entre nomes de
objetos? A seguir, examinada cada uma dessas alternativas. Considerem-se as
sentenas
(15) A Estrela da Manh a Estrela da Manh,
(16) A Estrela da Manh a Estrela da Tarde.
Note que os contedos cognitivos de (15) e (16) so diferentes. Em (15), temos uma
mera tautologia, pois afirmamos apenas que um determinado objeto idntico a si
mesmo. Por outro lado, a verdade de (16) o resultado de uma descoberta
astronmica, a saber, que a ltima estrela vista pela manh e a primeira estrela vista ao
entardecer so um nico e mesmo corpo celeste, o planeta Vnus. (16) no afirma
uma trivialidade como (15).
Suponha que a identidade seja uma relao entre objetos. Nesse caso, o contedo
cognitivo de (15) e (16) seria o mesmo: que o planeta Vnus igual ao planeta Vnus.
Em outras palavras, se a identidade for apenas uma relao entre objetos, todas as
sentenas de identidade seriam equivalentes a sentenas do tipo a = a, o que no pode
ser o caso, pois isso no explica o contedo cognitivo de sentenas como a (16).
Descartada a hiptese de a identidade ser apenas uma relao entre objetos, Frege
examina se a identidade pode ser uma relao entre nomes de objetos. Essa hiptese
tambm rejeitada, pela seguinte razo: podemos atribuir arbitrariamente nomes a
objetos e construir sentenas de identidade. Temos que
(17) 4 = IV.
Mas o fato dos signos 4 e IV designarem um mesmo nmero apenas uma
conveno. Nada nos impede de arbitrariamente criar uma linguagem em que o
smbolo nomeie o nmero 4 e afirmar que

(18) 4 = .
Na medida em que a atribuio dos smbolos 4, IV e ao nmero 4 arbitrria,
as sentenas (17) e (18) no tm um contedo cognitivo relevante, isto , no
constituem um acrscimo de conhecimento como a sentena (16). Mas isso o que
esperamos em muitas ocasies em que usamos a identidade, por exemplo, na
aritmtica. importante ressaltar aqui que a preocupao de Frege com sentenas de
identidade certamente tem origem na sua prtica como matemtico. Sentenas como
(19) 4 = 16
no so triviais como a = a nem arbitrrias como (18). (19) tem um contedo
cognitivo relevante, algo que precisa ser provado, que no foi estabelecido
arbitrariamente.
A concluso de Frege que, alm do smbolo e daquilo que nomeado pelo smbolo,
que agora denominado referncia, precisamos de mais um elemento, que o
sentido. Frege caracteriza o sentido, no caso de nomes prprios, como o modo de
apresentao do objeto designado. A identidade no mais, como na CG, uma relao
entre nomes, mas tambm no uma relao apenas entre objetos. A identidade
uma relao entre objetos, mas mediada pelo sentido. Note-se a semelhana entre a
introduo da noo de sentido e a caracterizao do signo de identidade na CG.
L, Frege fala em diferentes formas de determinar um mesmo ponto, e aqui, em SSR,
trata-se de diferentes modos de apresentar um mesmo objeto.
Alm disso, importante perceber que o problema do valor cognitivo de sentenas de
identidade que Frege aponta em SSR intimamente relacionado com o problema
discutido na seo 2, o colapso dos contedos conceituais de sentenas de identidade
em coisas do tipo a = a. O problema que Frege se prope resolver em SSR tem
origem em 1879. A identidade agora no mais um smbolo da metalinguagem e foi
eliminada a ambiguidade de sentenas como (6).

Agora, de SSR em diante, a noo referncia que cumpre o papel de valor semntico
das expresses da linguagem formal de Frege. Aps estabelecer a distino entre o
sentido e a referncia de nomes prprios, Frege pergunta se tal distino tambm deve
ser estendida a sentenas. Frege ir concluir que a referncia (i.e. o valor semntico)
de uma sentena o seu valor de verdade. O argumento em que Frege defende a tese
de que a referncia de uma sentena o seu valor de verdade se divide em trs
passos: (i) Frege descarta o pensamento como referncia de sentenas; (ii) Frege
conclui que sentenas tm referncia; e (iii) Frege conclui que a referncia de uma
sentena o seu valor de verdade.
Frege parte do pressuposto de que uma sentena expressa um pensamento e pergunta
se o pensamento pode ser a referncia da sentena. Frege considera tambm um
princpio de composicionalidade da referncia segundo o qual a referncia de uma
expresso composta depende das referncias das suas partes constitutivas:
(PCR) se a e b tm a mesma referncia, ento (a) e (b) tm a mesma
referncia.
Frege j mostrou que os nomes prprios
(16) Estrela da Manh
e
(17) Estrela da Tarde
tm diferentes sentidos, mas mesma referncia. Se o pensamento fosse a referncia, e
baseado em PCR, as sentenas
(18) A Estrela da Manh um corpo iluminado pelo Sol
e

(19) A Estrela da Tarde um corpo iluminado pelo Sol

deveriam expressar o mesmo pensamento, mas isso no o caso. Logo, o pensamento
no pode ser a referncia, mas deve ser o sentido da sentena.
Descartada a hiptese de a referncia ser o pensamento, Frege pergunta se, afinal,
sentenas tm referncia. A resposta positiva, e o argumento o seguinte.
possvel que partes de uma sentena no tenham referncia, mas nesse caso no
podemos perguntar pelo valor de verdade da sentena. Uma sentena somente tem
valor de verdade se todas as suas partes constitutivas tm referncia. Se uma parte de
uma sentena no tem referncia, por exemplo, um nome prprio que nada designa,
no h como determinar o valor de verdade da sentena. Frege d o seguinte exemplo:
(20) Ulisses foi desembarcado profundamente adormecido em taca.
Do ponto de vista de uma investigao cientfica, a sentena (20) no tem valor de
verdade, porque Ulisses um personagem fictcio. No existe o indivduo acerca do
qual podemos ou no aplicar o predicado x desembarcou adormecido em taca. A
sentena (20) expressa um pensamento (i.e. tem um sentido), mas no tem referncia.
uma sentena da fico, e, nesse caso, nos interessa apenas o sentido. Mas quando se
trata de uma investigao cientfica, as sentenas tm algo a mais: todas as suas partes
tm referncia e a sentena completa tem um valor de verdade. A concluso de Frege
que sentenas tm referncia. Note-se que at aqui valores de verdade podem ser
considerados apenas candidatos ao papel de referncia. Se as partes de uma sentena
tm referncia, a sentena completa tem referncia e, alm disso, tem valor de
verdade. Mas da forma como o argumento apresentado, nada impede que a
referncia de uma sentena no seja o seu valor de verdade.
No terceiro e ltimo passo do argumento apresentado em SSR, Frege simplesmente
conclui que a referncia de uma sentena o seu valor de verdade, e testa essa
concluso com PCR. Sendo os conectivos lgicos funes de verdade, como o caso
da linguagem formal de Frege, a substituio de sentenas com o mesmo valor de

verdade em sentenas com a negao ou com o condicional de fato preserva o valor

de verdade da sentena composta.5
Em outros lugares em que Frege apresenta o argumento em defesa dos valores de
verdade como referncias de sentenas (uma carta a Russell e um texto publicado
postumamente), o princpio PCR aparece como uma premissa. Posto que valores de
verdade satisfazem PCR, Frege conclui que a referncia de uma sentena o seu valor
de verdade. Mas fica a seguinte questo: satisfazer PCR condio necessria, mas no
suficiente para que um determinado item seja a referncia de sentenas. Em princpio,
nada impede que algo diferente de valores de verdade fosse a referncia de sentenas,
algo que estivesse em um meio-termo entre a intencionalidade dos pensamentos e o
carter puramente extensional dos valores de verdade.
aqui que precisamos trazer de volta discusso os contedos conceituais da CG. A
terceira alternativa entre pensamentos e valores de verdade seriam justamente os
contedos conceituais da CG. Mas vimos que contedos conceituais no poderiam
cumprir o papel de valor semntico de sentenas. Descartados os contedos
conceituais da CG, Frege tinha apenas duas opes: o pensamento ou o valor de
verdade. E de fato, nesse caso, apenas o valor de verdade satisfaz PCR.
O que se conclui da reconstruo do argumento de Frege apresentada que,
considerando seus pressupostos, especialmente a sua anlise das descries definidas
em termos do objeto designado, Frege no tinha alternativa alm dos valores de
verdade para o papel de referncia (i.e. valor semntico) das sentenas da sua
linguagem formal.
H duas observaes a fazer aqui acerca da tese de Frege de que a referncia de uma
sentena o seu valor de verdade. Em primeiro lugar, essa uma tese muito estranha
do ponto de vista de uma teoria do significado. Leitores de Frege desavisados,
interessados em uma teoria semntica aplicvel linguagem natural, veem uma
importante ferramenta de anlise na distino sentido/referncia aplicada a nomes
prprios. E com estranheza que tais leitores recebem a tese de que a referncia de
uma sentena um valor de verdade e que sentenas to diferentes como

(21) Aristteles grego

e
(22) 2 + 2 = 4
tm a mesma referncia.
Alm disso, para Frege, valores de verdade so objetos, pertencendo do ponto de vista
lgico mesma categoria, por exemplo, de indivduos como Aristteles e nmeros
naturais. Consequentemente, isso coloca, do ponto de vista da linguagem, sentenas na
mesma categoria de nomes prprios, uma tese indesejvel para uma teoria do
significado. E de fato, nas LBA, o signo de identidade = pode ser ladeado tanto por
nomes de objetos quanto por sentenas, nesse ltimo caso funcionando como o nosso
signo da bicondicional material .
Frege, quando conclui que a referncia o valor de verdade de uma sentena, no est
nem na metade do artigo SSR. Da em diante, ele vai examinar possveis excees sua
tese, por exemplo, sentenas do tipo
(23) Bush sabe que Lula o presidente do Brasil.
Ns j vimos que a referncia de uma sentena depende das referncias das suas
partes constitutivas. Se trocarmos uma parte por outra com a mesma referncia, a
referncia da sentena deve permanecer a mesma. Mas fcil ver que isso no
acontece com (23). Podemos perfeitamente trocar a sentena Lula o presidente do
Brasil por outra com o mesmo valor de verdade, mas que produza uma sentena
falsa. Alm disso, mesmo no nvel dos nomes, podemos formular um contraexemplo
para PCR, bastando usar uma designao para Lula que no seja do conhecimento de
Bush.

Frege argumenta que contraexemplos desse tipo so apenas aparentes e no

comprometem a tese de que a referncia de uma sentena seu valor de verdade. A
ideia bsica a seguinte: nesses contextos ocorre o que Frege chama de referncia
indireta: a referncia da expresso no a referncia usual, mas o seu sentido. Tais
contextos so, por exemplo, sentenas do tipo X gostaria que S, X pensa que S,
X acredita que S etc. Nesses contextos, h uma sentena S que tem um sentido, e S
pode ser substituda por sentenas que expressem o mesmo pensamento, isto , com
o mesmo sentido, mas no por sentenas com o mesmo valor de verdade.
Frege gasta a maior parte de SSR analisando as possveis excees para a tese de que a
referncia de uma sentena o seu valor de verdade, o que nos leva a concluir que, de
fato, o objetivo principal desse artigo era apresentar e defender essa tese, que a
princpio talvez tenha parecido estranha para Frege. Por fim, importante enfatizar
que a principal diferena entre a semntica de CG e a de SSR (e LBA) a tese segundo a
qual a referncia de uma sentena seu valor de verdade.
5 Concluso
Na construo da sua linguagem formal, que foi feita no apenas em CG, mas tambm
em FC, SSR e BLA, Frege tinha que analisar determinados aspectos do funcionamento
da linguagem em geral. Isso era esperado, posto que a linguagem da CG iria substituir a
linguagem natural no contexto especfico da investigao de Frege. Ao fazer isso, Frege
deu muitas contribuies posterior filosofia da linguagem, mas essas contribuies
devem ser vistas como um resultado secundrio do seu projeto como um todo.
Frege era um matemtico que tinha um projeto muito bem determinado: provar que a
matemtica era um ramo da lgica. Sua obra, mesmo os artigos menos tcnicos e com
carter mais filosfico, no foi designada como uma contribuio teoria do
significado. importante enfatizar a diferena entre, de um lado, ser primariamente
interessado em como a linguagem em geral funciona, incluindo a linguagem natural e,
do outro, apresentar uma anlise de como a linguagem funciona, que vinculada s
exigncias de um projeto que pertence a um domnio de pesquisa especfico. Frege
estava envolvido com a segunda alternativa. verdade que isso no implica que insights

e teses de Frege no possam ser posteriormente desdobrados de modo a contribuir

para a anlise da linguagem natural, mas, por outro lado, indica que as doutrinas de
Frege no podem sem maiores consideraes ser aplicadas a anlise do funcionamento
da linguagem em geral.
Notas
1

Este texto corresponde aula inaugural do curso de Filosofia da UFSJ, ministrada no dia 21 de

agosto de 2008.
2

H uma extensa discusso na literatura especializada se Frege, afinal, foi um filsofo da

linguagem. Dummett (1973) se destaca como um defensor da tese de que Frege foi um filsofo
da linguagem. Por outro lado, Weiner (1990), Chateaubriand (2001) e Sluga (1980) se alinham
em defesa da tese contrria, a qual eu sustento aqui ser a correta interpretao de Frege.
3

A Conceitografia de Frege encontra-se em Frege (1999). Neste artigo, sero usadas as

seguintes abreviaturas: para Conceitografia, CG; para o artigo Sobre o sentido e a referncia,
SSR; para Leis bsicas da aritmtica, LBA; e para os trs artigos: Funo e conceito, FC; Sobre
o sentido e a referncia, SSR; e Sobre o conceito e o objeto, SCO;
4

Esses trs artigos encontram-se na coletnea Frege (1960).

importante tambm observar que em FC Frege apresentou a tese de que, na sua linguagem

formal, conceitos so funes cujos valores so valores de verdade. Isso o mesmo que
afirmar que a referncia (i.e. o valor semntico) de uma sentena o seu valor de verdade.

Referncias
CHATEAUBRIAND, O. Logical forms. Campinas: UNICAMP-CLE, 2001. v. 1.
DUMMETT, M. Frege: philosophy of language. Cambridge: Harvard University Press, 1973.
FREGE, G. Translations from the philosophical writings of Gottlob Frege. Oxford: Blackwell, 1960.
______. The basic laws of arithmetic: exposition of the system. Los Angeles: University of
California Press, 1964. v. 1.
______. Posthumous writings. Oxford: Basil Blackwell, 1979.

______. The foundations of arithmetic: a logico-mathematical enquiry into the concept of

number. Illinois: Northwestern University Press, 1980.
______. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought.
In: VAN HEIJNOORT, J. (Ed.). From Frege to Gdel. Lincoln: toExcel Press, 1999. p. 1-82.
SLUGA, H. Gottlob Frege. London: Routledge, 1980.
WEINER, J. Frege in perspective. New York: Cornell University Press, 1990.

Dados do autor:
*Ablio Rodrigues Filho
Bacharel e Mestre em Filosofia UERJ Doutor em Filosofia PUC-Rio e Professor
Adjunto I UFSJ
Endereo para contato:
Endereo eletrnico: abilio@ufsj.edu.br
Data de recebimento: 8 ago. 2008
Data de aprovao: 26 jan. 2009