Você está na página 1de 100

LUCIANO CARVALHO CARDOSO

LINGUAGEM E VERDADE: Uma Anlise da Lgica de Frege

Dissertao apresentada ao Programa de PsGraduao em Filosofia da Universidade Federal de


So Paulo como requisito parcial para obteno do
ttulo de Mestre em Filosofia.
Orientador: Marcelo Silva de Carvalho

Guarulhos
2014

Cardoso, Luciano Carvalho


Linguagem e Verdade: Uma Anlise da Lgica de Frege /
Luciano Carvalho Cardoso. Guarulhos: [s.n.], 2014.
102 f.
Orientador: Marcelo Silva de Carvalho.
Dissertao (Mestrado) Universidade Federal de So Paulo,
Escola de Filosofia, Letras e Cincias Humanas, Guarulhos,
2014.
Ttulo em Ingls: Language and Truth: An Analysis of the Logic
of Frege.
1. Verdade 2. Sentido 3. Referncia I. Ttulo

LUCIANO CARVALHO CARDOSO

LGICA E VERDADE: Uma Anlise da Lgica de Frege

Dissertao apresentada ao Programa de PsGraduao em Filosofia da Universidade Federal de


So Paulo como requisito parcial para obteno do
ttulo de Mestre em Filosofia.
Orientador: Marcelo Silva de Carvalho

Aprovado em: (dia)

(ms) de 2014.

Prof. Dr.
Instituio

Prof. Dr.
Instituio

Dedico essa dissertao Emilia e Dionsio, cujo amor, coragem e fora


para viver so uma contnua fonte de inspirao e persistncia.

AGRADECIMENTOS

Agradeo Unifesp e Capes Reuni pela oportunidade e apoio para


desenvolver esse trabalho e, principalmente, a meu orientador, Marcelo Silva de
Carvalho, cuja pacincia, orientao e acuidade foram imprescindveis para o
desenvolvimento dessa pesquisa.

Resumo
Em Sobre o Sentido e a Referncia, Frege anuncia uma ruptura com seus
trabalhos anteriores, notadamente a Conceitografia, na qual ele havia assumido que
a igualdade era referente aos nomes e sinais representativos dos objetos. Como
consequncia dessa negao, Frege apresenta a estrutura de Sentido e Referncia,
como alternativa s possibilidades anteriormente apresentadas. Em decorrncia
dessa ruptura, a dimenso da filosofia analtica desenvolvida por Frege se amplia,
revelando um complexo sistema no qual o verdadeiro se torna o ponto fundamental.
Mostramos que, no processo de reformulao do significado do verdadeiro, Frege
diferencia, ainda nos Fundamentos da Aritmtica, o domnio do campo objetivo
efetivo do campo objetivo no-efetivo, espao lgico no qual as leis do ser
verdadeiro encontram lugar como referncia para as proposies que expressam o
pensamento analtico. Visamos demonstrar que, partindo dessa fundamentao
inicial, o autor almeja estabelecer uma conexo ontolgica entre o pensamento e as
leis do ser verdadeiro, o que lhe permite distinguir, em Sobre o Sentido e
Referncia, o pensamento que expressa uma representao ou ideia, pertencente
ao domnio subjetivo, do pensamento que expressa as leis do ser verdadeiro, e que
podem ser transmitidas em geraes, por pertencerem ao domnio objetivo noefetivo. Buscamos estabelecer uma conexo entre essas diretrizes e a concepo
de pensamento fregiano, justificando a composio deste como sendo uma estrutura
que atende ao princpio de saturao, que no se articula na forma sujeito/predicado
e que, para poder atender necessidade lgica de passar do sentido para a
referncia e ser nomeado como o verdadeiro, se articula com a lgica extensional e,
em um sentido ainda mais intrnseco, com uma lgica da existncia, que surge como
a estrutura basilar na qual se fundamenta o juzo, e sem o qual no poderia haver a
validao ontolgica do pensamento analtico de Frege.
Palavras-chave: Pensamento. Sentido. Referncia. Conceito. Objeto.
Funo.

ABSTRACT
In On Sense and Reference, Frege announces a break with his previous
works, notably Ideography, in which he had assumed that equality was referring to
the names and signals representative of the objects. As a result of this denial, Frege
presents the structure of Sense and Reference, as an alternative to possibilities
previously presented. Due to this break, the dimension of analytic philosophy
developed by Frege expands, revealing a complex system in which the true becomes
the key point. We show that, in the process of recasting the meaning of true, Frege
differentiates, still in the Foundations of Arithmetic, the domain of effective objective
field of the non-effective objective field , the logical space in which the laws of true
being has a place as a reference to the propositions expressing analytical thinking.
We aim to demonstrate that, based on this initial foundation, the author aims to
establish an ontological connection between the thought and the laws of true being,
allowing him to distinguish, in On Sense and Reference, the thought that expresses
an idea or representation, belonging to subjective realm, of thought which expresses
the laws of true being, and that can be transmitted in generations, because they
belong to the non-effective objective field. We strive to establish a connection
between these guidelines and the conception of fregian thought, justifying the
composition of this as being a structure that follows the principle of saturation, which
is not articulated in the form subject / predicate, and that in order to meet the logical
necessity of moving beyond of sense to reference and be named as the true,
articulates with the extensional logic and, in a more intrinsic meaning , with a logic of
existence that emerges as the framework in which the judgment is based , and
without which it could not be the ontological validation of analytical thinking Frege .
Keywords : Thinking. Sense. Reference. Concept. Object. Function.

SUMRIO
INTRODUO....................................................................................................................................... 8
O Contexto da Obra de Frege........................................................................................................ 9
Dificuldades com o conceito de verdade.................................................................................... 12
1. NOVIDADE DE SENTIDO E REFERNCIA NA FILOSOFIA DE FREGE............................ 18
2. A ESTRUTURA FILOSFICA FREGIANA.................................................................................36
2.1Objetividade e Subjetividade...................................................................................................37
2.2Unidade no Pensamento e Sentido....................................................................................... 46
2.3Referncia e Nomes Prprios.................................................................................................61
2.4Conceito e Objeto na Conexo Lgica entre Linguagem e Mundo..................................65
3. O VERDADEIRO: LGICO E ONTOLGICO........................................................................... 74
3.1 A Generalidade Quantificacional...........................................................................................75
3.2 A concepo de existncia de Frege................................................................................... 81
3.3O Verdadeiro e o Quantificador Existencial..........................................................................88
CONCLUSO.......................................................................................................................................92
BIBLIOGRAFIA.................................................................................................................................... 96

INTRODUO
O Contexto da Obra de Frege

Gottlob Frege foi o filsofo matemtico que fundou o logicismo e, em certa


medida, a filosofia analtica. Da necessidade de fundamentar a prpria matemtica,
Frege se lanou lgica, com o intuito de retir-la da psicologia e do empirismo. As
mudanas de Frege, desde a introduo da funo como forma de clculo de
predicados na Conceitografia (Begriffsschrift, 1879), substituindo o binmio sujeitopredicado, alm de todas as inovaes acerca dos conceitos, transformou a lgica.
Todas as mudanas realizadas por Frege no decorrer de suas obras no se devem
apenas introduo de mtodos ou de alguns elementos complementares lgica,
mas sim a uma nova forma de articular o pensamento, no intuito de definir a relao
entre verdade e lgica de forma mais adequada do que at ento havia sido possvel.
De acordo com Santos (2008):
A lgica funda, admitiria Frege, a arte de pensar corretamente, na exata
medida em que das leis lgicas podem ser derivadas prescries sobre
como pensar de acordo com a verdade, mas ela o faz na qualidade de
cincia do ser verdadeiro enquanto tal. A uma cincia impe-se, antes de
tudo, elucidar o contedo de seus conceitos primitivos e a natureza de seus
objetos mais caractersticos. lgica impe-se, antes de tudo, elucidar o
conceito de verdade e a natureza daquilo a que mais diretamente dizem
respeito as leis do ser verdadeiro, aquilo a que mais propriamente se aplica
esse conceito.1

Como cincia do ser verdadeiro enquanto tal, cabe lgica elucidar o


conceito de verdade, mas realizar tal tarefa, na concepo fregiana, implica
empreender uma reviso sobre o que se entende por verdade e, igualmente, a que o
conceito de verdade pode ser atribudo. um fato, no apenas em Frege, mas em
toda a tradio filosfica, que lgica e verdade sempre estiveram intrinsecamente
relacionadas e, em Frege, a relao entre elas se mantm pois, segundo o autor:
Assim como a palavra "belo" assinala o objeto da esttica e "bem" assinala
o objeto da tica, assim tambm a palavra "verdadeiro" assinala o objeto da
1

SANTOS, L.H.L dos. O Olho e o Microscpio, pg. 42.

lgica. De fato, todas as cincias tm a verdade como meta, mas a lgica


ocupa-se dela de forma bem diferente. Ela est para a verdade
aproximadamente como a fsica est para o peso ou o calor. Descobrir
verdades a tarefa de todas as cincias: cabe lgica, porm, discernir as
leis do ser verdadeiro (Wahrsein).2

A verdade, tal como apresentada aqui, como objetivo e meta a ser


descoberta, constitui-se como o foco das cincias. Todavia, a lgica se relaciona
com ela pelo fato de ter como meta as leis do ser verdadeiro, e no aquilo que
podemos denominar verdades. Existe um aspecto de anterioridade da lgica em
relao s demais cincias, na medida em que s podemos julgar as verdades a
partir das leis do ser verdadeiro. Portanto, a prpria cincia pareceria depender do
desenvolvimento da lgica para validar seu mtodo.
No entanto, h que se notar que a lgica aqui referida deve ser abordada em
seus pormenores, uma vez que, em meados do sculo XIX, muitas mudanas
ocorreram em seu desenvolvimento, dando origem a duas vertentes diferentes da
lgica. Esta, aos tempos de Frege, encontrava-se dividida em duas escolas muito
distintas. De um lado, encontramos a lgica anti-formalista e empirista de John
Stuart Mill (1806-1873) e seus seguidores como Sigwarth (1830-1904) e Lipps
(1851-1947), na Alemanha. Do outro, temos a lgica relacionando-se com a
matemtica, como vemos em Boole (1815-1864), De Morgan (18061871), Peirce
(18391914) e Peano (18581932) que, fazendo uso da juno de elementos da
lgebra e da aritmtica com a lgica, conseguiram ampliar os horizontes desta para
alm daquilo que a lgica formal clssica e a lgica empirista conseguiam alcanar.
A aproximao de ambas, lgica e matemtica, todavia, se deu em
momentos e direes diferentes. Em um primeiro movimento, a matemtica se
apresentar como um instrumento de auxlio e ampliao da lgica. Em um segundo
momento, contrariamente, a lgica servir de suporte para a matemtica,
encontrando um ponto de equilbrio no pensamento de Frege.
Esse segundo momento se d em meados do sculo XIX quando, no ncleo
da prpria Matemtica, surgir uma necessidade de fundamentao, na qual a
Lgica ser buscada, para justificar e demonstrar a validade dos axiomas
matemticos.
2

FREGE, G. O Pensamento, trad. Alcoforado, in Anais de Filosofia, n 6, pg. 283.

10

Inmeras descobertas da poca foram cruciais para abalar os alicerces da


crena sobre a auto-validao da aritmtica. Dentre elas, podemos destacar
principalmente a questo da concepo de conjuntos infinitos de tamanhos
diferentes, desenvolvida pela Teoria dos Conjuntos de Georg Cantor, alm da
fundamentao emprica da aritmtica oferecida por John Stuart Mill. Tais situaes
levariam Bertrand Russell a comentar com ironia, que "as matemticas so uma
cincia em que no se sabe de que se fala nem se o que se diz verdadeiro3".
Para Kneale,
Uma vez que dvidas foram jogadas sobre a fiabilidade da intuio espacial
como uma fonte de conhecimento matemtico, tornou-se necessrio
reexaminar todas as provas atualmente aceites, e o resultado foi uma
reconstruo radical da matemtica por homens como Cauchy e
Weierstrass. J foi dito, de fato, que nada foi satisfatoriamente comprovado
na anlise antes do sculo XIX. Agora tanto na anlise como na geometria o
rigor exige a formulao explcita de tudo que essencial para uma
demonstrao. E assim encontramos a ateno dirigida, no sculo XIX, para
as frmulas que fornecem definies implcitas dos vrios tipos de
expresses numricas.4

Essas frmulas, que se tornaram uma exigncia de rigor no sculo XIX,


tanto atuam como regra de clculo quanto como axiomas que, por um lado,
estabelecem as diretrizes e caminhos que se deve seguir e, por outro, podem ser
uma fundamentao de todo conjunto de conhecimentos que ganham espao nesse
perodo, sendo, no primeiro caso, orientados pelas leis gerais da lgica e, no
segundo caso, devendo seu prprio fundamento e origem s mesmas leis gerais.
Kneale questiona os critrios que levaram adoo dos axiomas e das frmulas,
decorrentes desse procedimento:
Se estas frmulas so consideradas como regra de clculo ou como
axiomas a partir dos quais os teoremas devem ser calculados de acordo
com as leis gerais da lgica no de grande importncia, desde que sejam
estabelecidos plenamente e reconhecidos como fundamentais. Mas
natural que se pergunte por que deve ter apenas estas frmulas. Existe
alguma necessidade inerente ao curso do desenvolvimento que nos levou a
adot-las? Ou elas so convenes da nossa prpria criao, sugeridas, na
verdade, por um interesse na descrio da natureza ou por um desejo de
generalidade abstrata na prpria matemtica, mas incapaz de prova,
precisamente porque so apenas convenes? Estas questes foram
suscitadas no sculo XIX e ainda so debatidas em nossos dias.5

3
4
5

BLANCH, R. Histria da Lgica, pg. 307.


KNEALE & KNEALE. The Development of Logic, pg. 400.
KNEALE & KNEALE. The Development of Logic, pg. 401.

11

Essas questes circunstanciais, demarcadas pelo surgimento de inmeros


paradoxos, demandaria a necessidade de fundamentar a aritmtica em uma base
que no dependesse de questionamentos ou arbitrariedades.
De acordo com Blanch:
Pedir lgica, convenientemente renovada que assegure os alicerces da
matemtica, convida bastante naturalmente a prosseguir aqum dos limites
habituais da matemtica o trabalho de regresso na formalizao dedutiva e
a tentar fazer derivar o conjunto das noes e das verdades matemticas a
partir das noes e das verdades propriamente lgicas.6

nesse contexto de fundamentao que se insere a lgica de Frege. Este


no pretendia, como anteriormente se props, utilizar a lgica como ferramenta ou
auxiliar, mas essencialmente como o fundamento da matemtica. Um fundamento e,
igualmente, um mtodo para o reconhecimento das leis do ser verdadeiro.
Cronologicamente, a obra de Frege inicia-se em 1879, com a publicao do
Begriffsschrift (Conceitografia ou Ideografia). A proposta de Frege, nessa obra,
desenvolver uma linguagem que, de fato, se distinga da linguagem ordinria,
fornecendo uma estrutura mais precisa para se formular as proposies e,
consequentemente, os juzos. As bases do pensamento de Frege concebidas em
sua linguagem passariam por algumas modificaes, mas seriam a base para o
desenvolvimento do projeto logicista, cuja principal proposta consistia na
fundamentao da matemtica pela lgica, e que encontra um ponto alto na
publicao, em 1884, dos Grundlagen der Arithmetik (Os Fundamentos da
Aritmtica), trabalho que estabelece uma ampla discusso com as correntes do
empirismo e da psicologia vigentes na poca. , todavia, em decorrncia dos
trabalhos realizados a partir de 1890 que percebemos uma ampliao da filosofia
fregiana e uma ruptura essencial com o trabalho desenvolvido at ento. A partir dos
artigos Funktion und Begriff (Funo e Conceito), de 1891; ber Sinn und
Bedeutung (Sobre o Sentido e a Referncia), e ber Begriff und Gegenstand
(Sobre Conceito e Objeto), ambos de 1892, Frege estabelece novas diretrizes para
sua investigao lgica, o que resulta em uma definio do verdadeiro deveras
singular.

Dificuldades com o conceito de verdade


6

BLANCH, R. Histria da Lgica, pg. 306.

12

Frege, ao escrever a Conceitografia, em 1879, demonstra uma preocupao


quanto ao entendimento da comunidade cientfica em relao ao saber. A questo
recai sobre a linguagem, pois o saber cientfico no pode se valer da linguagem
comum, da qual nos valemos para o entendimento social, uma vez que sua
ambiguidade constitui uma dificuldade para a aquisio de um conhecimento preciso.
A perda da objetividade ocorre devido ao uso superficial ou subjetivo da linguagem.
Conforme Frege dir em Sobre Sentido e Referncia, o ideal que cada palavra
tivesse um nico sentido, e cada sentido uma nica referncia. Tal no o que
ocorre na linguagem, onde uma mesma palavra possui inmeros sentidos, e estes,
muitas vezes, mais de uma referncia.
O que pode parecer um problema, no entanto, apresentado como uma
caracterstica necessria da linguagem, segundo Frege. o que garante o
dinamismo e a funo da mesma. Essa condio s vem a se tornar um problema
quando deixamos o aspecto geral da linguagem e entramos em um domnio
especfico, em situaes nas quais indagamos acerca de um conhecimento
especfico, que no poderia ser conhecido por meio do uso da linguagem comum.
nessa situao que uma nova linguagem deve se apresentar. Tal linguagem no
pode ser ambgua, deve possuir um nvel de clareza e universalidade que permita o
entendimento entre todas as comunidades que investiguem o mesmo saber. Essa
linguagem, no entanto, no servir para o uso cotidiano. Ser intil para o conjunto
de vivncias nas quais o homem de sociedade se v inserido. Mas ter grande
utilidade nos meios estritos da investigao cientfica. Sobre essas duas linguagens,
Frege assim se expressa:
Creio que posso tornar mais clara a relao entre minha conceitografia e a
linguagem comum comparando-a que existe entre o microscpio e o olho.
Este, pela extenso de sua aplicabilidade, pela agilidade com que capaz
de adaptar-se s diferentes circunstncias, leva grande vantagem sobre o
microscpio. Considerado como aparelho tico, o olho exibe decerto muitas
imperfeies que habitualmente permanecem despercebidas, em virtude da
ligao ntima que tem com a vida mental. No entanto, to logo os fins
cientficos imponham exigncias rigorosas quanto exatido das
discriminaes, o olho revelar-se- insuficiente. O microscpio, pelo
contrrio, conforma-se a esses fins da maneira mais perfeita, mas,
precisamente por isso, inutilizvel para todos os demais7.
7

FREGE, G. Prefcio Conceitografia, in: Lgica e Filosofia da Linguagem, pg. 46.

13

A acuidade necessria para certas investigaes torna o olho insuficiente em


suas capacidades. Nesse caso, necessitamos de algo mais apurado, uma
ferramenta de uso restrito, mas muito mais precisa. Todavia, essa mesma preciso
torna-a incapaz de se adaptar s vrias circunstncias da vida cotidiana, na qual as
caractersticas dinmicas do olho o tornam prefervel, porquanto mais adequado.
A analogia, aplicada linguagem, implica a necessidade de linguagens
estritas para a compreenso de certos elementos do saber, para os quais a
linguagem comum torna-se obscura e incerta.
Essa preocupao acima demonstrada no posiciona Frege em um registro
diferente daquele j seguido pela tradio platnica a aristotlica. O projeto de
estruturar a linguagem em um modelo adequado, que representasse de modo
perspcuo o processo de conhecimento, bem como o de juzo, constitui o projeto da
tradio filosfica e este , de fato, o prprio bero norteador da lgica, em suas
origens.
Mas, nesse caso, se essa a preocupao inicial de Frege, por que iniciar
sua Conceitografia com o intuito de tornar mais clara a aritmtica? Por que no
buscar adentrar diretamente os domnios da linguagem? Afinal, a linguagem
matemtica parece ser a mais distante da linguagem comum, sendo, portanto, uma
das mais estritas e corretas. Iniciar suas investigaes pela aritmtica, com o intuito
de fundament-la na lgica tambm no distancia, especificamente, Frege da
tradio filosfica.
Para Aristteles, na composio de textos que se tornariam o que hoje
conhecemos como Organon, o ponto de partida era quase o mesmo. Aristteles
considerava necessrio o rigor da linguagem, tanto para os saberes teorticos,
quanto para uma melhor fundamentao da Geometria. E a Geometria, na ocasio,
conforme Santos (2008), abarcava muito do que hoje admitiramos como objetos
prprios da aritmtica.
O primeiro motivo a necessidade de, um tanto paradoxal, num primeiro
momento, de encontrar, em uma linguagem estrita, a generalidade necessria para
dar conta de todas as situaes da linguagem sem que se recaia em ambiguidade.
O que queremos dizer que a linguagem estrita procurada por Frege seria estrita

14

porque no poderia possuir a ambiguidade natural da linguagem, por conta da


necessidade de preciso que o objeto do saber exige. Em contrapartida, essa
linguagem deve possuir um tipo de generalidade em sua estrutura, de maneira que
consiga expressar, dentro de suas prprias regras de preciso, todas as relaes
concernentes ao mbito de sua atuao. A estrutura tradicional da linguagem
fundamentada sobre o sujeito e o predicado no , segundo Frege, suficientemente
apropriada para contornar esse problema. Frege encontra, como substitutos mais
adequados, a funo e o argumento, operaes prprias da Aritmtica e que, por
possurem um critrio baseado em saturao e insaturao, se aplicariam a
praticamente todas as situaes apresentadas pela linguagem, contendo a suficiente
generalidade.
O segundo motivo para comear pela aritmtica est no fato de que tanto a
matemtica quanto a lgica independeriam do mundo emprico e passariam a
depender unicamente do pensar para validar seus elementos. Dois campos nos
quais, segundo Frege, "a matria cede terreno e dominada pelo pensar"8. De tal
maneira, Frege resguardaria tanto lgica quanto a aritmtica de cair nos domnios
seja da psicologia, seja do empirismo.
Ademais,

tanto

aritmtica

quanto

lgica

dependem

nica

exclusivamente dos acordos encontrados entre suas proposies. Segundo Santos:


Enquanto a ausncia de fundamentao suficiente pode, nas cincias do
mundo emprico, ser compensada no momento do confronto com a
experincia, na matemtica, cuja relao com a experincia, se existir,
remota e mediata, onde entra em considerao o grau de transparncia ao
esprito das conexes lgicas tanto quanto a matria do saber, a totalidade
das verdades deve, por assim dizer, repousar sobre si prpria9.

Um elemento importante salientado por Santos consiste no fato de que as


validaes das verdades matemticas repousam, por total independncia do mundo
emprico, somente nas conexes lgicas estabelecidas e, portanto, nas conexes
entre as proposies matemticas:
A questo de saber se uma dada proposio deve ser recebida como
verdade matemtica no admite resposta mesmo aps uma centena de
aplicaes bem sucedidas, que conduziriam a uma mera certeza moral,

8
9

FREGE, apud Santos, pg. 13.


SANTOS, L. H. L; O Olho e o Microscpio, pg. 15.

15

mas to somente aps uma derivao lgica da proposio a partir dos


fundamentos reconhecidos do sistema10.

Considerando o que afirmamos acerca das preocupaes seminais de Frege,


algumas perguntas norteadoras podem ser feitas no mbito da investigao: o que
pode ser verdadeiro? A verdade um predicado que diz algo sobre um objeto? O
ser verdadeiro constitui um conceito que atribui propriedades a algo? Em que
medida o logicismo preserva a verdade em seu aspecto lgico? A verdade ainda a
verdade da correspondncia entre representante e representado?
Na realidade, a investigao de Frege no se pauta tanto no que diz respeito
verdade, em uma acepo mais geral. As cincias procuram verdades. A verdade,
nesse aspecto, plural, e Frege no discorda disso. O que no plural, para Frege,
aquilo que ele denominar o verdadeiro. So as leis do verdadeiro que permitem
ao cientista encontrar verdades. E, de certa maneira, a trajetria lgica de Frege
uma trajetria de definio do que vm a ser essas leis do ser verdadeiro.
No por acaso que o Prefcio Conceitografia (1879) inicia-se pela
inquirio acerca da verdade cientfica. Conforme Frege:
A apreenso de uma verdade cientfica passa, normalmente, por vrios
estgios de certeza. Com efeito, conjeturada inicialmente a partir de um
nmero talvez insuficiente de casos particulares, uma proposio geral
torna-se mais e mais solidamente estabelecida ao se relacionar com outras
verdades mediante cadeias de inferncias seja porque dela se derivam
concluses que so confirmadas por outros modos, seja, pelo contrrio, por
ela se afigurar uma concluso de proposies j estabelecidas.11

Embora Frege afirme que a verdade cientfica passa por inmeros estgios
de certeza, e embora um dos processos seja partir de um nmero limitado de casos
particulares, por meio de inferncias lgicas que uma proposio geral ganha
solidez. Essa solidez dada pela conexo com outras verdades e estabelecida por
meio de inferncias que no dependem, necessariamente, da observao emprica.
O mtodo de consolidao da fundamentao de uma verdade cientfica, ao menos
o mais seguro, segundo o autor, no outro que o seguir as leis da lgica:
O mtodo de prova (Beweisfhrung) mais seguro consiste, obviamente, em
seguir estritamente a lgica, que, abstraindo as caractersticas particulares
das coisas, apoia-se exclusivamente nas leis sobre as quais se baseia todo
o conhecimento. Por esta razo, dividimos todas as verdades que requerem
10
11

Idem.
FREGE, Gottlob; Prefcio Conceitografia, in: Lgica e Filosofia da Linguagem, pg. 43.

16

prova em duas espcies: aquelas cuja prova pode ser conduzida por meios
puramente lgicos e aquelas cuja prova se apoia em fatos empricos. Mas o
fato de uma proposio ser da primeira espcie plenamente compatvel
com o fato de ela jamais se tornar consciente em um esprito humano, caso
no houvesse atividade sensorial. Portanto, o que est na base desta
diviso [das espcies de verdade] no a gnese psicolgica
(Entstehungsgeweise), mas o melhor mtodo de prova (Beweisfhrung)12.

Aparentemente, Frege estabelece uma distino entre duas classes de


verdade, onde a diviso proposta feita com base no mtodo de prova. Sem entrar
no significado de verdade, pois Frege no o faz de modo metdico na
Conceitografia, a espcie de verdade que interessar para o autor, por conta do
privilgio do mtodo mais seguro, sero as verdades que dependem dos meios
puramente lgicos, pois a estrutura lgica, uma vez estabelecida pelas regras de
inferncia, torna-se necessria, enquanto que as verdades que se apoiam em fatos
empricos necessitam sempre de mais casos particulares para a corroborarem, e
nunca atingem um grau absoluto de confirmao e fundamentao. verdade que
uma dessas verdades, cujo mtodo de prova se assenta estritamente nas leis sobre
as quais se baseia todo o conhecimento, talvez jamais viesse a ser conhecida sem
os meios sensrios. Uma verdade de fundamento lgico, porm, uma verdade
dotada de generalidade, pois no depende de suas particularidades. Como tal,
embora possam ser necessrios meios empricos para ser conhecida, isso no
muda o fato que o mtodo de prova de tais verdades continue sendo estritamente
lgico. As verdades matemticas, referindo-nos aqui especificamente aritmtica,
seriam desse tipo descrito. Porm, dadas as circunstncias que resultaram na
necessidade de fundamentao da Matemtica, esta deve ser fundamentada pela
lgica, de modo a se submeter ao mtodo de prova estritamente lgico.
Observamos que, j na Conceitografia, as verdades se apoiam na lgica
como o mtodo mais seguro de prova. E mesmo assim, existem verdades que se
apoiam em mtodos empricos. A diferena entre ambas ainda no claramente
indicada. Todavia, podemos sugerir que apoiar a verdade na lgica significa, nesse
caso, que podemos extrair o verdadeiro de uma sentena a partir das relaes
internas da mesma, em uma estrutura de linguagem estrita, proposta por Frege na
Conceitografia, de maneira dissociada das possveis relaes empricas das quais
as referidas sentenas seriam derivadas.
12

FREGE, Gottlob; Prefcio Conceitografia, in: Lgica e Filosofia da Linguagem, pg. 44.

17

Vemos que a Conceitografia, em linhas gerais, demonstra o cuidado em


desenvolver uma linguagem restrita que visa explicitar, sem ambiguidade, as leis do
ser verdadeiro. As proposies estruturadas nessa linguagem contribuiriam para um
conhecimento sem lacunas, tanto de verdades que dependem de casos particulares,
quanto das que se assentam em pressupostos estritamente lgicos. Porm, no fica
claro, e nem parece ser o propsito do texto, discutir o que significa a verdade
almejada ou reconhecida. As investigaes de Frege, todavia, o levaro a uma
definio de verdade mais formal e com uma funcionalidade lgica mais rigorosa,
inclusive em sua terminologia. Como resultado, em Der Gedanke (O Pensamento,
1918-19), Frege nos informa que o verdadeiro o objeto de toda a lgica. Essa
concepo parece ter uma conotao diferente do primeiro caso que observamos,
pois, na Conceitografia, a lgica parecia ser algo distinto e mais amplo do que as
verdades cientficas. Em O Pensamento, o que podemos perceber que toda a
lgica encontra-se orientada para o verdadeiro como objeto. Isso nos sugere que,
entre a Conceitografia e O Pensamento, Frege desenvolveu e ampliou sua
concepo acerca da verdade. O significado do termo objeto, conforme ser
explicitado no decorrer dessa dissertao, evidenciar uma trajetria que busca
delimitar o verdadeiro em um contexto diferente daquele que costuma caracterizar
as verdades cientficas, estabelecendo balizas muito consistentes entre a
considerao usual de verdade e aquela que caracterizar a mesma como objeto
lgico. O processo que estabelece esse rigor, que define o verdadeiro no apenas
como o objeto da lgica, mas como objeto lgico e que o distanciar das verdades
cientficas no somente no mtodo de prova, mas em toda sua aplicao,
resultado de uma importante ruptura na concepo fregiana no que tange distino
entre forma e contedo da proposio.
A proposta desta dissertao, portanto, estabelecer trs pontos:
a) Indicar em que sentido ocorre a ruptura na concepo de verdade fregiana
em relao concepo da tradio filosfica, representada pelos
modelos aristotlicos e kantianos;
b) A exposio dos elementos que compem o ncleo do logicismo fregiano,
concebendo o que significa tomar o verdadeiro como objeto da lgica;

18

c) A implicao do valor de verdade para a concepo de existncia de


Frege, tomando em considerao que o verdadeiro, enquanto objeto
privilegiado da lgica, assume posio fundamental na validao da
existncia de um pensamento.

1. NOVIDADE DE SENTIDO E REFERNCIA NA FILOSOFIA


DE FREGE
Observamos na Introduo que Frege considera a verdade como elemento
fundamental no estudo da lgica. Todavia, seu procedimento parece-nos divergir do
modo como costuma ser realizado na tradio filosfica. A Conceitografia ,
inicialmente, a obra na qual Frege inaugura um novo mtodo, baseado em uma
interpretao singular de funo. Nesse captulo, nossa proposta indagar qual a
novidade que Sobre o Sentido e a Referncia trazem para a discusso, e como os
conceitos ali trazidos tona promovem uma ruptura com a concepo tradicional de
verdade. Tambm investigaremos os problemas que essa concepo carrega e
como Frege ter de estruturar sua filosofia para acomodar e dar sustentao para
sua obra.
Hans Sluga (1999), no artigo intitulado Frege On Meaning, faz uma anlise
crtica da Conceitografia em relao concepo de Frege a respeito da verdade
em sua teoria. Segundo Sluga, as consideraes sobre a verdade existem de modo
indireto, sem que haja, em qualquer momento, uma tentativa de formalizao de
uma teoria da verdade:
No h, em particular, nenhuma teoria da verdade ou qualquer coisa
equivalente a ser encontrado nele (no Begriffsschrift). Qualquer pessoa
familiarizada com o desenvolvimento posterior de Frege ou com a evoluo
da teoria analtica do significado vai achar surpreendente que os conceitos
de verdade e falsidade esto totalmente ausentes do livro. Ao descrever o
que poderamos chamar de conectivos de verdade-funcional, Frege fala

19

apenas de proposies a serem afirmadas ou negadas, no de seu ser


verdadeiro ou falso.13

Podemos considerar que a concepo de verdade de Frege largamente


ampliada a partir de 1890, o que faz com que haja uma ruptura no pensamento do
autor a partir desse perodo, que o distanciar definitivamente de uma viso clssica
da verdade, aos moldes da viso conservadora. Essa ruptura, todavia, no nos
parece ser uma ruptura total com seu pensamento, mas o resultado do
amadurecimento de seu logicismo, da complexidade de suas concepes. O prprio
autor, no Prlogo s Leis Bsicas da Aritmtica, ao estabelecer uma reviso de sua
obra, firma uma continuidade que remonta Conceitografia, onde lemos: Eu realizo
aqui um projeto que j havia tido em vista no meu Begriffsschrift do ano de 1879 e
que anunciei em meus Fundamentos da aritmtica do ano de 1884.14
Alm dessa continuidade anunciada, as modificaes que o autor enuncia
em seguida, como a modificao do sinal de equivalncia para o sinal de igualdade
e o acrscimo de outros sinais, devem-se, principalmente, ao que ele enuncia como
consequncias da evoluo de minhas concepes lgicas.15
De fato, os elementos fundamentais, como o clculo proposicional baseado
na estrutura funo e argumento, atravessam toda a obra fregiana. No entanto,
duvidoso concluir que Frege concebia, j na Conceitografia, que o verdadeiro seja
um objeto (como apresentaremos a seguir), levando em conta as observaes feitas
at o momento.
A partir de Funo e Conceito, porm, essa associao torna-se explcita,
e suas repercusses no deixam de ser problemticas. Para compreendermos
melhor o problema que se apresenta, retomemos o fato de que, desde a
Conceitografia, Frege estrutura as proposies com base na funo e no argumento,
deixando de lado a nomenclatura sujeito e predicado. Quando tomamos uma
expresso alicerada em sujeito e predicado, temos um elemento, o sujeito, que
recebe uma propriedade, o predicado. Esse mesmo predicado, em outra expresso,
pode ser o sujeito e receber tambm uma propriedade. Ao estruturarmos como
funo e argumento, o comportamento das proposies ser diferente, pois funes
13
14
15

SLUGA, H. Frege on Meaning, pg. 22.


FREGE, G. Prlogo s Leis Bsicas da Aritmtica, pg. 3.
FREGE, G. Prlogo s Leis Bsicas da Aritmtica, pg. 4.

20

so elementos incompletos, que no podem atuar sozinhos sem que percebamos a


necessidade

de

complemento.

Um

argumento,

em

contrapartida,

teria

caracterstica de ser completo, no precisar de complemento. Assim, uma funo


no poderia trocar de lugar com um argumento, pois uma funo nunca se torna
completa, assim como um argumento nunca se torna incompleto. Um argumento,
para Frege, em geral um objeto. Ao falar do objeto, em Funo e Conceito, Frege
o explica da seguinte maneira:
Quando admitimos qualquer objeto sem restrio como argumento ou valor
de uma funo, surge a questo do que que chamamos aqui de objeto.
Considero impossvel uma definio regular [de objeto], j que nos
deparamos com algo cuja simplicidade no admite nenhuma anlise lgica.
Aqui, s se pode assinalar o que se quer dizer. E s se pode dizer
sucintamente o seguinte: um objeto tudo o que no uma funo, tudo
aquilo cuja expresso no contm um lugar vazio.16

Assim, o objeto ou o argumento, para Frege, no pode ser substitudo por


uma funo, e nem pode aparecer como atributo ou propriedade de algo. Em um
sentido geral, portanto, podemos pensar que uma proposio baseada nessa
estrutura ter o atributo de ser verdadeira se, de fato, o objeto, enquanto argumento,
completar a funo, que insaturada. A prpria proposio seria ento considerada
verdadeira. Porm, Frege apresenta, logo em seguida, uma afirmao que causa
estranheza ao leitor: Uma sentena assertiva no contm lugar vazio, e assim,
deve-se considerar que sua referncia seja um objeto. Essa referncia, porm, um
valor de verdade. Logo, os dois valores de verdade so objetos.17
Se o verdadeiro tomado como um objeto, ento ele no pode mais ser
atributo ou propriedade de uma proposio da maneira usual, ou seja, por
comparao com o mundo. Evidencia-se, de imediato, que a concepo de verdade
de Frege passa a diferir grandemente da tradio filosfica, e carrega consigo uma
srie de consequncias e desdobramentos.
Um desses desdobramentos, que podemos adiantar aqui, embora seja mais
bem discutido no captulo 2, consiste na seguinte afirmao:
Por valor de verdade de uma sentena entendo a circunstncia de ela ser
verdadeira ou falsa. No h outros valores de verdade. Por brevidade,
chamo a um de o verdadeiro e a outro de o falso. Toda sentena assertiva,
16
17

FREGE, G. Funo e Conceito, pg. 96.


FREGE, G. Funo e Conceito, pg. 97.

21

caso importe a referncia de suas palavras, deve ser considerada como um


nome prprio; e sua referncia, se tiver uma, ou o verdadeiro ou o falso.18

Se tomarmos essas duas passagens conjugadas temos uma consequncia


que chama ateno. Sendo o verdadeiro um objeto e no podendo ser, pela
definio fregiana, uma propriedade nem do objeto e nem da proposio,
percebemos que a conexo entre uma sentena e o verdadeiro passa a ser no
mais a de uma predicao, mas de uma nomeao, na qual a proposio, uma vez
completa, torna-se um nome, cuja referncia, o objeto ao qual o nome se refere,
ser um valor de verdade.
De acordo com Greimann:
A considerao da natureza positiva da verdade parece ser caracterizada
pela viso de que a verdade um objeto. Por essa razo, sua concepo
de verdade comumente vista como uma estranha "teoria da nomenclatura
da verdade" de acordo com a qual a verdade o objeto nomeado pelas
sentenas verdadeiras.19

Por essa concepo, a teoria de Frege da Verdade seria uma teoria de


nomenclaturas, de nomeaes do objeto verdadeiro, onde cada sentena seria, no
limite, reduzida ao nome do verdadeiro. Por conseguinte, as mudanas sobre a
concepo da verdade em seu pensamento se do intrinsecamente a partir do
desenvolvimento dos conceitos de sentido e referncia na proposio. Os trs
artigos compostos por Frege, Funo e Conceito, Sobre Conceito e Objeto e
Sobre o Sentido e a Referncia esto interligados e tanto o primeiro quanto o
segundo artigo possuem, como pressuposto, as definies de sentido e referncia.
Como veremos adiante, de acordo com Frege, a ausncia dos conceitos de sentido
(Sinn) e referncia (Bedeutung) fez com que tivssemos, na Conceitografia, apenas
o termo (nome) e o objeto, o que gerou um conjunto de problemas referentes,
principalmente, ao que concerne considerao sobre a igualdade e ao contedo
oriundo dessa igualdade. De forma indireta, essa questo aparece em Funo e
Conceito e, ali, surge relacionada com o conceito de extensionalidade e implicada
com a concepo de verdade considerada como o objeto verdadeiro. Em relao
extensionalidade porque se encontra vinculada com a ideia de que duas expresses
sero consideradas iguais se ambas possurem os mesmos percursos de valores
18

FREGE, G. Sobre o Sentido e a Referncia, pg. 139.


Greimann, D. Did Frege Really Consider the Truth as an Object?, in: Essays on Freges Conception of
Truth, pg. 126.
19

22

verdadeiros. E relacionada com o verdadeiro como objeto porque, sendo um objeto,


este s pode se relacionar com outro objeto se for por meio da igualdade entre
objetos ou nomes ou sinais de objetos. Afirma Frege:
Pode-se fazer aqui a objeo de que 2 = 4 e 2 > 1 significam coisas
totalmente diferentes, expressam pensamentos totalmente distintos. Mas
tambm 24 = 42 e 4 . 4 = 4 expressam pensamentos diferentes, e apesar
disso, pode-se substituir 24 por 4 . 4, uma vez que ambos os sinais tm a
mesma referncia. Por conseguinte, 24 = 4 e 4.4 = 4 tm tambm a
mesma referncia. Disso conclumos que a igualdade de referncias no
tm como consequncia a igualdade de pensamentos.20

A igualdade definida pela extensionalidade consiste em uma igualdade


relativa aos percursos de valores que impliquem em uma mesma referncia, mas
isso no implica o mesmo pensamento, em seu significado. Alm disso, Frege
tambm afirma:
As funes x=1 e (x + 1) = 2(x + 1) tm sempre o mesmo valor para o
mesmo argumento, a saber, o verdadeiro para os argumentos -1 e +1; e o
falso para todos os demais argumentos. De acordo com nossas convenes
anteriores, diremos, pois, que essas funes tm os mesmos percursos de
valores [...]21

O verdadeiro, pelo que indicado pela passagem acima, no dado por


nada externo s prprias regras proposicionais, pois o valor verdadeiro atribudo aos
argumentos 1 e -1 s so possveis devido s condies determinantes dadas pelas
proposies (x + 1) = 2(x + 1) ou X=1. Dadas as relaes concernentes funo,
somente os argumentos -1 e +1 engendram o valor verdadeiro. Temos tambm que
duas proposies sero iguais se apresentarem as mesmas condies e os mesmos
objetos sob essas regras, pois as duas expresses acima ((x + 1) = 2(x + 1) e X = 1) s
so consideradas verdadeiras para os objetos +1 e -1 e s so consideradas iguais
por, em ltima instncia, denotarem a mesma referncia: o valor de verdade
verdadeiro.
Temos, porm, que observar que os objetos numricos citados s
engendram o verdadeiro, por assim dizer, pelo fato de, ao entrarem na proposio
como argumentos, atenderem e completarem o vazio deixado pela funo e
demarcado por x, o que sugere que, sozinhos, os objetos +1 e -1 no so capazes
de produzir o verdadeiro. Da mesma forma, todos os outros nmeros que, nesse
20
21

FREGE, G. Funo e Conceito, in: Lgica e Filosofia da Linguagem, pg. 92.


FREGE, G. Funo e Conceito, pg. 94.

23

contexto, engendram um valor de verdade falso, s o so assim por conta da


estrutura da funo. Fosse a funo de outra forma, os valores de verdade seriam
diferentes para cada nmero que entrasse como argumento. Alm disso, se o
contexto ou a combinao entre funo e argumento que determina os valores de
verdade obtidos, a equivalncia entre as diversas proposies s ocorre quando
temos um valor de verdade que se comporta como referncia ltima em um
contexto de nomenclaturas que aparentemente privilegia a forma lgica ao contedo.
Ao iniciar Sobre o Sentido e a Referncia, Frege parte precisamente da
igualdade, e explicita a problemtica que observamos brevemente em Funo e
Conceito:
A igualdade desafia a reflexo, dando origem a questes que no so
fceis de responder. ela uma relao? Uma relao entre objetos? Ou
entre nomes ou sinais de objetos? Em minha Begriffsschrift assumi a ltima
alternativa22.

Frege toma como ponto de partida o fato que objetos possuem nomes, e que,
havendo, pois, a igualdade, ela pode referir-se tanto igualdade entre objetos
quanto igualdade entre nomes ou sinais de objetos. Na Conceitografia, Frege
assume a ltima alternativa, entendendo a igualdade como equivalncia entre os
nomes dos objetos. Todavia, medida que o prprio autor prossegue, essa escolha
acarretar problemas. Quando dizemos que um objeto A igual a um objeto B, ou
simplesmente que A=B, estamos dizendo que dois objetos, de nomes distintos, so
a mesma coisa? Na Conceitografia, duas sentenas ou termos representados por
um sinal A e outro B sero consideradas iguais se seu contedo conceitual for o
mesmo. Mas o fato de serem designadas por nomes diferentes no acrescenta uma
diferena nos pensamentos asseridos? Para Frege, a designao diferente de um
mesmo objeto produz diferenas informativas significativas:
[...] a=a e a=b so, evidentemente, sentenas de valor cognitivo diferentes,
pois a = a sustenta-se a priori e, segundo Kant, deve ser denominada de
analtica, enquanto que sentenas da forma a = b contm, frequentemente,
extenses muito valiosas de nosso conhecimento, e nem sempre podem ser
estabelecidas a priori. A descoberta de que o sol nascente no novo cada
manh, mas sempre o mesmo, foi uma das descobertas astronmicas
mais ricas em consequncias.23

22
23

FREGE, G. Sobre o Sentido e a Referncia, in Lgica e Filosofia da Linguagem, pg. 129.


Idem, pg. 130.

24

Tomando esse fato em considerao, Frege expressa duas condies que


acarretariam no absurdo, no qual o valor informativo novo cessaria de aparecer onde,
evidentemente, aparece:

Assim, se quisssemos considerar a igualdade como uma relao entre os


objetos a que os nomes a e b se referem, ento a = b no pareceria
diferir de a = a, caso a = b fosse verdadeira. Desse modo expressaramos a
relao de uma coisa consigo mesma, relao que cada coisa tem consigo
mesma, mas que nunca se d entre duas coisas distintas. Mas, por outro
lado, parece que por a = b quer-se dizer que os sinais ou os nomes a e b
referem-se mesma coisa, e neste caso, a discusso versaria sobre esses
sinais: uma relao entre eles seria asserida. Mas tal relao entre os
nomes ou sinais s se manteria na medida em que eles denominassem ou
designassem alguma coisa. A relao surgiria da conexo de cada um dos
dois sinais com a mesma coisa designada24.

O problema percebido por Frege se deve ao fato de que, se a igualdade


uma relao entre objetos, toda conexo realizada ser uma conexo que no
acrescenta nenhum valor cognitivo relao estabelecida, pois estaremos dizendo
que o objeto igual a si mesmo, ou seja, estaremos afirmando que nada de novo
pode ser apreendido pelo objeto, que seu conhecimento analtico, no importa o
nome que receba. Isso levou Frege segunda opo, de que a igualdade seria uma
relao entre nomes ou sinais de objetos. Mas essa relao de igualdade estava
condicionada aos objetos designarem sempre a mesma coisa, e ainda acarretava a
arbitrariedade possvel para qualquer designao. o que conclui Frege logo em
seguida:
Ningum pode ser impedido de empregar qualquer objeto ou evento
arbitrariamente produzido como um sinal para qualquer coisa. Com isto, a
sentena a=b no mais se referiria propriamente coisa, mas apenas
maneira pela qual a designamos; no expressaramos por seu intermdio,
propriamente, nenhum conhecimento25.

Essa arbitrariedade algo comum na atribuio de nomes aos objetos.


Podemos utilizar tanto objetos quanto eventos como sinal para qualquer coisa.
Porm, se a atribuio de nomes representasse apenas a maneira pela qual
designamos um objeto, continuaramos com o problema de nenhum conhecimento
ser expresso por seu intermdio. Para resolver essa questo, Frege, em seguida,
acrescenta ao nome um fator que, at certo ponto, parece ser independente de
qualquer arbitrariedade, a saber, o fato de que, junto ao nome, existe algo que
24
25

Idem.
Ibidem.

25

acompanha o conjunto, que corresponde ao modo de apresentao do objeto que


est sendo designado pelo nome. Esse elemento o que chamamos de sentido
(Sinn) e que, como veremos adiante, no , de certa forma, algo arbitrrio.
No que diz respeito ao sentido, Frege defende que este, como modo de
apresentao do objeto, corresponde fuga do argumento do absurdo, pois a partir
do sentido, o valor cognitivo de sentenas como A = B fica assegurado.
Afirma Frege:
, pois, plausvel pensar que exista, unido a um sinal (nome, combinao
de palavras, letras), alm daquilo por ele designado, que pode ser chamado
de sua referncia (Bedeutung), ainda o que eu gostaria de chamar de o
sentido (Sinn) do sinal, onde est contido o modo de apresentao do
objeto. [...] A referncia de estrela da tarde e estrela da manh a
mesma, mas no o sentido.26

Desde a tradio kantiana que proposies analticas, como A igual a A,


no possuem valor informativo, j que no acrescentam nada ao prprio nome.
Somente proposies chamadas de sintticas possuiriam valor cognitivo. Com a
introduo do conceito de sentido, uma proposio como A Estrela da manh
Vnus possuiria valor cognitivo, pois no evidente o reconhecimento de que a
estrela da manh seja Vnus. Porm, a estrela da manh corresponde a um sentido,
um modo de apresentao do objeto designado pelo nome prprio Vnus. Por
acrescentar um sentido a Vnus, consequentemente, o contedo informativo acerca
do objeto que est sendo asserido pode aumentar em relao ao que se tinha
anteriormente.
Dessa forma, para a pessoa que apreende essa proposio acerca de
Vnus, ela no apenas adquiriu um contedo informativo, como reconheceu ser
verdadeira essa atribuio, uma vez que a Estrela da Manh um dos modos de
apresentao de Vnus. E Vnus, por sua vez, o nome que designa o corpo
celeste. Em contrapartida, o que determina essa atribuio? Se a verdade parte do
reconhecimento de uma atribuio arbitrria de um termo em relao a um objeto,
ento poderamos supor um relativismo em todo o processo de juzo, o que nos
levaria a reconhecer como verdadeiras certas proposies e falsas outras

26

FREGE, G. Sobre o Sentido e a Referncia, pg. 131.

26

proposies, enquanto outras pessoas podem considerar as mesmas proposies


diferentemente.
Outra possibilidade de relativismo o que Mark Textor (2005) leva em
considerao em sua obra Frege On Sense and Reference. Segundo Textor, a
Conceitografia tinha como ponto de partida os contedos judicveis. Esses
contedos eram compostos pelo que Textor denomina circunstncias, formadas por
particulares e propriedades. Textor afirma:
O Begriffsschrift contm uma lgica e uma teoria do contedo judicvel, isto
, uma teoria do que uma declarao diz ou como um julgamento
representa o que o mundo . Cada frase no Begriffsschrift tem como
contedo judicvel uma circunstncia, um complexo constitudo por
elementos e propriedades.27

Em outras palavras, Frege atua, na Conceitografia, ainda no escopo da


lgica que se forma a partir de um particular, com sua respectiva propriedade (ainda
que no possamos mais identificar essa estrutura com o sujeito e predicado a partir
de sua linguagem conceitual). Entretanto, a novidade de Sobre o Sentido e a
Referncia que agora o conjunto todo passa a corresponder a um modo de
apresentao do objeto, como enfatiza Textor:
Quando se pensa acerca da linguagem, encontramos uma questo
fundamental e profunda: o significado de uma sentena como Mont Blanc
tem mais de 4.000 metros de altura consiste em estar correlacionado com
uma configurao de objetos, um estado de coisas ou circunstncia que
contm o prprio Mont Blanc, e uma propriedade, ter mais de 4.000 metros
de altura, ou o significado da frase reside em estar correlacionado ou
expressar o que Frege chamar um "pensamento", contendo, entre outras
coisas, um modo de apresentao de Mont Blanc? De forma mais geral:
nossas sentenas remetem diretamente para circunstncias ou elas, em
primeiro
lugar,
expressam
apresentaes
que
podem
existir
independentemente de tais circunstncias?28

Evidencia-se aqui a significncia e contribuio de Sobre o Sentido e a


Referncia. Esse tipo de questionamento no existia na Conceitografia e s pde
ser formulado a partir da concepo de sentido (Sinn). No se trata apenas de
explicitar, em Sobre o Sentido e a Referncia, quais partes correspondem ao
sentido e referncia no contedo judicvel, mas sim conceber um novo modo de
entender as sentenas e o mundo por elas expresso. O sentido de um objeto no
possui a mesma arbitrariedade de um nome e nem mesmo a contingncia das
27
28

TEXTOR, Mark. Frege On Sense and Reference, pg. 14, v. digital.


Idem, pg. 16.

27

circunstncias. Um modo de apresentao que pode existir independentemente das


circunstncias sugere a possibilidade de o sentido estar unido referncia por
regras e condies que no seriam determinadas pelas circunstncias, mas sim por
condies relativas ao prprio referente, que seriam intrnsecas a ele. A relao
entre nome, objeto e o sentido complexa, principalmente com a entrada do Sentido
como o temos considerado aqui. Como Frege afirmou, podemos nomear qualquer
objeto arbitrariamente, mas uma nomeao arbitrria manteria o contedo
informativo? Agora, se a nomeao referir-se ao modo de apresentao do objeto,
ela estar designando o objeto segundo seu sentido e, com isso, designando seu
contedo informativo. Mas, se isso correto, o Sentido produz um comprometimento
no ato dessa nomeao, que limita de certa maneira a suposta arbitrariedade de
atribuio de nomes. Se o sentido pode ser expresso por um nome designativo e se
esse sentido dado pelo prprio objeto referido, ento esse nome sempre estar em
relao com esse objeto, como uma relao de equivalncia. Essa informao
extremamente

importante,

caso

seja

verdadeira,

pois

se

essa

relao

(nome/sentido/objeto) vlida para a nomeao de objetos como o que


denominamos Vnus ou Estrela da Manh, tambm vlida para proposies,
conforme referido acima. E tanto mais importante quando pensamos que, se o
sentido no arbitrrio, mas um dos modos de apresentao do referente, o
reconhecimento do contedo informativo que uma pessoa tem ao apreender a
expresso "a estrela da manh" ou "a estrela da tarde" em relao ao objeto (que,
por sua vez, tambm recebe a denominao "Vnus") no ser apenas o
reconhecimento formal de uma atribuio ocasional ou convencional, mas sim o
reconhecimento de que essas atribuies so verdadeiras, pois so coincidentes
com os sentidos dados pelos referentes.
Esse tipo de conexo entre sentido e referncia, mesmo que ocorra dentro
do espao da linguagem, abre o campo para a discusso acerca do juzo e do que
vem a ser o verdadeiro, pois, em uma sentena, no se trataria mais de ser apenas
uma sentena afirmada ou negada, mas reconhecida em equivalncia com o
verdadeiro, por conta de ela assinalar de modo apropriado a relao entre sentido e
referncia nas instncias s quais ela (a proposio) se aplica. O sentido, como
modo de apresentao de um objeto, ou de uma referncia, torna-se o centro
daquilo que deve ser levado em conta em um juzo, no por ele ser aquilo que se

28

pode chamar de o verdadeiro ou o falso, mas sim porque o sentido apresenta a


relao entre a referncia e a linguagem, no enquanto ele em si mesmo, mas
enquanto ele em seus mltiplos modos de apresentao, que se evidenciariam por
meio da linguagem, dos nomes ou expresses designativas, ou mesmo juzos
completos.
Essa considerao nos leva a uma observao feita por Klement (2004)29,
que ressalta o fato de que, para Frege, o sentido geral de uma proposio possui
uma anterioridade ao sentido de suas partes constituintes. Ao falar sobre as
influncias de Frege e Russell sobre o jovem Wittgenstein, Klement diz: A evidncia
para termos Frege como a principal influncia (sobre Wittgenstein) deriva quase
inteiramente de certos lemas compartilhados que indicam ser o sentido de uma
sentena inteira mais fundamental do que as partes.30
De fato, como veremos, Frege parece considerar que, para o pensamento, a
proposio no possui partes estruturadas, mas estruturveis. Somente em certa
circunstncia, o pensamento (e a proposio) desmembrado em suas partes
constituintes, como uma construo em blocos. Nesse aspecto, as proposies
seriam a parte visvel de um pensamento, de modo que teramos, alm de um
sentido independente das circunstncias (o que j difere do contedo judicvel
presente na Conceitografia) ainda ser inerente, de modo distinto, tanto nas partes
como na totalidade de uma proposio e, nesse caso, o sentido de uma proposio
seria mais complexo ou mais completo do que o sentido de suas partes isoladas. De
qualquer forma, para Klement, ele aparece como mais fundamental quando o
sentido de uma proposio do que quando o sentido de um termo.
Pelo que foi expresso at o momento sobre as consideraes de Frege nos
artigos posteriores a 1890, o processo para o reconhecimento de uma proposio
como verdadeira parece assumir contornos bem distintos. Usualmente, verdadeiro
se d quando uma proposio diz algo acerca do mundo, e esse algo, por
transposio, verifica-se no mundo. Por esse vis, quanto mais prxima for uma
sentena de um fato, mais verdadeira ela ser. Frege, em contrapartida, considera
29

KLEMENT, K.C. Putting Form Before Function: Logical and Grammar in Frege, Russell and
Wittgenstein, in Philosophers Imprint, Vol. 4, n.2, Agosto, 2004.
30
Idem, pg. 01.

29

que a verdade das proposies independe de qualquer comparao entre imagem e


mundo. Como j observado pelos exemplos anteriores, o verdadeiro, alm de ser
considerado um objeto, referido pelos termos de igualdade ou equivalncia, dentro
de uma estrutura de nomenclaturas, cujas regras so dadas pelo prprio clculo
proposicional. A verdade, portanto, no seria dada por comparao ou transposio
com algo emprico, mas tambm no seria dada por nenhuma conexo psicolgica.
A verdade de qualquer proposio parece ser dada de forma analtica, a partir da
relao, possivelmente ontolgica, entre sentido e referncia. A linguagem, ou um
juzo, expressaria um sentido, um modo de apresentao da referncia que, por sua
vez, coincidiria com o objeto verdadeiro ou no. E dizemos ontolgica, pois tal
relao entre sentido e referncia parece revelar-nos uma dinmica acerca do ser
das coisas, da identidade das mesmas, que revelado pelos muitos sentidos pelos
quais uma referncia possui.
Mas, qual seria a natureza daquilo que chamamos de referncia? Se a
referncia no emprica e nem psicolgica, o que Frege denomina referncia?
Para o autor, a referncia um dado lgico. A lgica , em termos kantianos,
analtica e a priori. Para Frege, os elementos constitutivos do mundo (funes e
argumentos) so lgicos e, portanto, analticos. Poder-se-ia indagar acerca de casos
como Jlio Csar ser tomado como referncia. Isso no seria um dado lgico, e seu
conhecimento no seria analtico. De fato no podemos afirmar que Jlio Csar seja
um dado a priori. Todavia, no parece o caso de, ao falarmos de Jlio Csar, como
em Jlio Csar conquistou as Glias, estarmos nos referindo apenas a uma pessoa
com uma referncia histrica, que cruzou o Rubico e estabeleceu toda uma
mudana nos rumos de Roma, pois, em termos lgicos, no necessitamos recorrer
histria para determinar a verdade de uma proposio. Jlio Csar, em tal sentena,
um objeto cujas propriedades em questo seriam aquelas que nos permitiriam
coloc-lo sob o conceito conquistou as Glias. Nesse aspecto, o que temos j no
unicamente referente ao domnio objetivo sensvel e emprico, mas estaramos
entrando no campo da lgica e de leis que no seriam dadas pelas relaes
histricas de Jlio Csar e das Glias. Questes como as envolvendo pessoas,
cujas afirmaes envolvem, de certa maneira o espao e o tempo, so distintas de
afirmaes que envolvem definies acerca das leis do verdadeiro, e naquelas

30

proposies especficas (as que envolvem espao e tempo) a verdade est sempre
em questo. o que Frege diz:
Todas as determinaes de lugar, de tempo, etc. pertencem ao pensamento
cuja verdade est em questo; o ser verdadeiro mesmo no espacial e
nem temporal. O que realmente diz o princpio de identidade? Algo assim:
No ano 1893 impossvel para os homens admitir que um objeto distinto
dele mesmo?, ou isso: Todo objeto idntico a si mesmo? A primeira
lei trata de homens e contm uma determinao temporal; na segunda no
se fala nem de homens nem de tempo. Esta uma lei do ser verdadeiro,
aquela uma lei do assentimento humano. O contedo de ambas
completamente distinto, e so independentes entre si, de modo que
nenhuma das duas segue-se da outra.31

O que podemos perceber por essa citao que os princpios que formam
as leis do ser verdadeiro no so espaciais e nem temporais e, portanto, no
pertencem ao assentimento humano. H, portanto, uma distino quando falamos
de homens localizados no espao e no tempo, e quando falamos diretamente de leis
lgicas. Ambas as referncias, enquanto parte de uma proposio, estaro sujeitas
lgica e tratadas como objetos da lgica, mas seus contedos sero distintos.
Essa justificativa de nossa abordagem causa certo estranhamento, pois nos parece
certo que, ao valer-se de determinados exemplos, Frege alude a experincias
histricas e temporais. Alegar que, em algum nvel, elas so lgicas soa-nos
excessivo, eventualmente. Porm, temos de nos ater a duas circunstncias. Ambas
surgem em Funo e Conceito. A primeira delas diz respeito aplicao da funo
e do argumento no contexto do que Frege denominou expresses funcionais, ou
seja, a classificao das diversas expresses aritmticas como expresses
saturadas ou insaturadas. Aps demonstrar como as expresses aritmticas se
comportariam dentro da estrutura funcional, Frege ampliou o campo de aplicao da
funo para o campo da linguagem:
Vamos agora empreender a extenso [do termo funo] na outra direo, a
saber, ampliando o domnio dos possveis argumentos. No apenas
nmeros, mas objetos em geral, so agora admissveis, e aqui tambm
pessoas devem ser contadas entre os objetos.32

31

FREGE, G. Prlogo s Leis Bsicas da Aritmtica, (Trad. Celso R. Braida) pg. 08. Traduo revista:
FREGE, G. The Basic Laws of Arithmetic, pg. 15.
32

Frege, G. Funo e Conceito, pg. 95.

31

O motivo de Frege ampliar o campo dos argumentos tem a ver com sua
considerao acerca de sentido e referncia. Essa a segunda circunstncia
caracterstica. Para Frege, toda equao possui uma forma lingustica e toda forma
lingustica apresenta uma sentena assertiva, ela afirma algo. Em tais casos, a
sentena possui um sentido, um pensamento. Portanto, Frege trafega entre os
campos da aritmtica e da linguagem, posicionando qualquer sentena, bem como
qualquer pensamento, sob a estrutura de expresso funcional. Isso significa que as
questes referentes ao campo da aritmtica, bem como o posicionamento de Frege
em relao a ela, valero tambm para todo o campo de ampliao que Frege
realizou em Funo e Conceito, o que inclui a escolha feita por Frege, em relao s
opes tomadas tanto por Kant quanto por John Stuart Mill:
Considerando-se tambm a oposio entre analtico e sinttico, resultam
quatro combinaes, uma das quais, porm, a saber, analtico a posteriori,
impossvel. Aqueles que se decidiram com Mill em favor do a posteriori no
resta pois escolha, restando-nos ponderar ainda somente as possibilidades
sinttico a priori e analtico. Kant decidiu-se em favor da primeira. Neste
caso, no h praticamente outra alternativa seno apelar para uma intuio
pura como fundamento ltimo de conhecimento, embora aqui seja difcil
dizer se ela espacial ou temporal, ou de qualquer outra espcie.33

Para Frege, a distino entre analtico e sinttico e a priori e posteriori


caracteriza os tipos de escolhas que podemos fazer para classificar o sistema de
operaes numricas e toda a aritmtica. Descartando a possibilidade de um
conhecimento ser analtico e a posteriori, surgem as outras possibilidades: sinttico
a posteriori, sinttico a priori e analtico. Stuart Mill optara pelo conhecimento
sinttico a posteriori, significando com isso que todo conhecimento oriundo da
experincia e a partir de indues. A opo de Kant fora a do conhecimento sinttico
e a priori. Entender o que significa a escolha de Kant nos auxilia, em contrapartida, a
compreender a magnitude da escolha de Frege frente tradio kantiana.
De acordo com Mark Textor, Kant definiu que tanto a aritmtica quanto a
geometria seriam cincias cujos juzos so classificados como sintticos a priori.
Nesse sentido, o autor afirma: A distino sinttica / analtica diz respeito a como os
diferentes conceitos esto relacionados no julgamento, a distino a priori / a
posteriori diz respeito ao tipo de justificativa que se tem para o julgamento.34

33
34

Frege, G. Fundamentos da Aritmtica, pg. 215.


Textor, M. Frege On Sense and Reference, pg. 09.

32

Essa definio implica que juzos analticos ou sintticos se referem ao


modo como os conceitos se relacionam no interior de um julgamento, de maneira
que um juzo analtico aquele no qual um conceito-sujeito contm um conceitopredicado. Esse tipo de juzo tambm chamado juzo de explicao conceitual e,
em ltima instncia, ele explica ou analisa o conceito-sujeito. Por outro lado, um
juzo sinttico, tambm chamado de juzo ampliativo, amplifica o conceito-sujeito, na
medida em que acrescenta contedo junto ao conceito-predicado.
Quando falamos de a priori / a posteriori, no entanto, estamos nos referindo
a algo distinto da relao entre os conceitos, pois estamos considerando a
justificativa que se tem para que aquele juzo seja realizado. Para Kant, um juzo a
priori significa que ele se justifica independente da experincia, enquanto que um
juzo a posteriori s pode ser justificado na experincia. O sentido de
independncia usado por Kant possui relevncia para compreendermos a
aplicao de independncia do ser verdadeiro em relao ao empirismo, feita por
Frege. Para saber que uma rvore igual a si mesma, necessrio ter visto uma
rvore para saber do que se fala, mas compreender que a rvore ou qualquer outra
coisa igual a si mesma dispensa a necessidade da experincia. Esse juzo
justificado independente de experincias pessoais.
Como Frege nos informa, Kant define que a Aritmtica, bem como a
Geometria, possuem juzos que so sintticos a priori. Pela distino acima entre
analtico / sinttico e a priori / a posteriori, as caractersticas de um juzo dessa
natureza sero, conforme Textor:
Um juzo que sinttico a priori no ser justificado pelo exerccio de uma
habilidade
para
definir
um
conceito,
mas
ser
justificado
independentemente da experincia. A discusso de Kant alimentada pela
pergunta sobre o que esta justificao pode ser. Por exemplo, ele (Kant)
argumentou que a definio dos conceitos de 7, 5 e mais no suficiente
para justificar o meu julgamento que 7 + 5 = 12 (Kant 1781/8: B 15-16).35

A simples definio dos conceitos no o suficiente para a realizao das


operaes aritmticas. O conhecimento matemtico, segundo Kant, necessita
recorrer intuio, significando que o conhecimento aprendido a partir de intuies
a priori:
35

TEXTOR, M. Idem. A citao de Textor, ao final da passagem, remete Crtica da Razo Pura,
passagens B 15 16.

33

A Filosofia mantm-se simplesmente em conceitos gerais; a Matemtica


nada pode fazer como mero conceito, mas apressa-se a recorrer intuio,
na qual considera in concreto o conceito, embora no de modo emprico,
mas simplesmente numa intuio que apresentou a priori, isto , construiu,
e na qual tudo aquilo que resulta das condies gerais da construo deve
ser vlido tambm de uma maneira geral para o objeto do conceito
construdo. 36

precisamente esse o ponto de discordncia de Frege em relao Kant.


Ainda de acordo com Textor:
Frege afirma, contra Kant, que na aritmtica ns no precisamos ter
intuies, representaes de coisas particulares no espao e no tempo,
para justificar nossos juzos. Nossa habilidade para definir conceitos gerais
e para traar inferncias nossa fonte do conhecimento aritmtico.37

Enquanto para Kant estava claro que o conhecimento aritmtico baseado


na construo de instncias de conceitos, para Frege, as coisas procederiam de
uma forma diferente.
Frege opta pelo conhecimento aritmtico ser analtico. Essa escolha no
gratuita e carrega consigo inmeras consequncias. O principal argumento de Frege
contra Kant que o conhecimento no pode ser construdo por conceitos
instanciados de objetos espao-temporais, pois a intuio de objetos dessa natureza
no contempla um problema de outra natureza: a de que tudo o que pensvel,
para Frege, pode ser contado. Na terminologia fregiana, isso implica dizer que tudo
o que cai sob um conceito preciso contvel. E isso acarreta uma oposio ao
pensamento kantiano. Se tudo o que cai sob um conceito preciso contvel, ento
cada parte componente de um conceito contvel, e isso faz com que um conceito
torne-se, na verdade, um conjunto. De fato, Textor afirma que a definio corrente
de contvel se aplica a conjuntos. Textor afirma:
Em seu atual significado padro, 'contvel' aplica-se a conjuntos. Um
conjunto contvel se, e somente se, os seus membros podem ser
colocados em um-para-um com um ou outro conjunto dos nmeros naturais
ou um subconjunto deste conjunto. Se tudo o que pensvel contvel,
essa noo de contagem muito estreita. Por exemplo, os pontos entre os
pontos A e B de uma linha so contados, mas o conjunto contendo esses
36

KANT, I. Crtica da Razo Pura, A715 B744.

37

TEXTOR, M. ibidem, pg. 10.

34

pontos no pode ser colocado em um-para-um com o conjunto de nmeros


naturais. Objeto Contvel deve ser entendido como "objeto de um tipo que
passvel de contagem.38

Percebemos que a dimenso do que contvel ultrapassa aquilo que os


nmeros naturais contemplam e, em contrapartida, aquilo que a intuio espaotemporal abrange. Dessa forma, a aritmtica, se devesse sua justificao a alguma
forma de intuio a priori, culminaria por ter uma dimenso mais estrita do que de
fato possui. pensando nisso que Frege afirma, nos Fundamentos da Aritmtica:
Kant pretende recorrer intuio de dedos ou pontos, no que se arrisca a
permitir, contra sua opinio, que elas apaream como empricas; pois a
intuio de 37863 dedos no , de modo algum, pura. Tambm a expresso
"intuio" no parece adequada, visto que j dez dedos, em virtude da
disposio de uns em relao aos outros, podem ocasionar as mais
diversas intuies. Temos, pois, enquanto tal, uma intuio de 135664
dedos ou pontos? Se a tivssemos, e se tivssemos uma de 37863 dedos e
uma de 173527 dedos, a correo de nossa equao deveria evidenciar-se
imediatamente, ao menos no que concerne a dedos, fosse ela
indemonstrvel; mas no o que ocorre.39

Frege inviabiliza a atuao da intuio, tal como Kant a concebia, para lidar
com a amplitude da aritmtica. Afinal, se o domnio de tudo o que contvel excede
o domnio dos objetos que podem ser conhecidos pela intuio espao-temporal,
ento precisamos de um elemento adicional, cuja capacidade de generalizao v
alm do caso restrito da intuio a priori. E, para tal, esse conhecimento deve estar
arraigado na aritmtica.
Vimos que a opo de Kant, de que o conhecimento aritmtico seja sinttico
a priori, acarreta na necessidade de recorrer a uma suposta intuio espaotemporal que, em certa medida, se aproxima perigosamente de uma viso emprica
da aritmtica. Frege rejeita essa posio, e o faz por dois motivos: o primeiro deles
que a prpria aritmtica, em toda sua proporo, se estende para alm de quaisquer
relaes espao-temporais. Disso decorre que, se um juzo sinttico a priori s pode
ser justificado pela intuio espao-temporal, e essa intuio no o suficiente para
justificar todas as relaes da aritmtica, ento o conhecimento aritmtico s pode
ser analtico.

38
39

Idem.
FREGE, G. Fundamentos da Aritmtica, pg. 208.

35

O segundo motivo que, para Frege, as complexas relaes da aritmtica


so coextensivas s relaes entre conceitos e objetos na construo do
pensamento, expressas pelo juzo, uma vez que tudo o que pode ser pensado pode
ser contado. Porm, as regras do juzo so as regras da lgica, o que faz com que a
aritmtica tenha uma relao muito profunda com as leis da lgica. E as leis da
lgica (leis do ser verdadeiro) so analticas.
Seguir, portanto, com o raciocnio de Mill, de que a aritmtica sinttica a
posteriori implica, em ltima instncia, que o mesmo se dir da lgica. E seguir o
raciocnio de Kant, por sua vez, acarretar em sujeitarmos a lgica a uma intuio
espao-temporal restrita, desprovida de universalidade.
O projeto de Frege no de modo algum estrito, uma vez que sua anlise
da aritmtica o conecta com a lgica e com a linguagem.
Frege expressa, em os Fundamentos da Aritmtica:
Do ponto de vista do pensamento conceitual, pode-se sempre assumir o
contrrio deste ou daquele axioma geomtrico, sem incorrer em
contradies ao serem feitas dedues a partir de tais assunes
contraditrias com a intuio. Esta possibilidade mostra que os axiomas
geomtricos so independentes entre si e em relao s leis lgicas
primitivas, e, portanto, sintticos. Pode-se dizer o mesmo dos princpios da
cincia dos nmeros? No teramos uma total confuso caso
pretendssemos rejeitar um deles? Seria ento ainda possvel o
pensamento? O fundamento da aritmtica no mais profundo que o de
todo saber emprico, mais profundo mesmo que o da geometria? As
verdades aritmticas governam o domnio do enumervel. Este o mais
inclusivo; pois no lhe pertence apenas o efetivamente real, no apenas o
intuvel, mas todo o pensvel. No deveriam, portanto, as leis dos nmeros
manter com as do pensamento a mais ntima das conexes?40

O logicismo fregiano acaba se mostrando como um projeto que vai mais


longe do que sujeitar a aritmtica lgica. No apenas isso, ao conectar a aritmtica
com a estrutura do pensamento, Frege sujeita todo o pensamento que expressa um
juzo com valor de verdade a um conhecimento analtico dado, que dispensa o
recurso do empirismo e da intuio espao-temporal.
A filosofia analtica de Frege estabelece uma ruptura com a tradio
filosfica, tanto com a lgica clssica aristotlica quanto com a filosofia kantiana e, a
partir dessa ruptura, Frege tem o desafio de forjar uma trajetria que remonte as
relaes entre o pensamento, a linguagem e a verdade. Faz-se necessrio
40

FREGE, G. Os Fundamentos da Aritmtica, 14, pg. 217.

36

compreender o lugar que esses elementos ocupam dentro da lgica e qual sua
relao com o mundo.
Considerando a ciso que Frege realiza, nos aspectos acima observados,
podemos dizer que o domnio das leis do verdadeiro, as referncias que no
possuem posio no espao e no tempo, bem como os sentidos, que so seus
modos de apresentao, seriam tambm objetivos? Ou elas estariam no domnio da
subjetividade? Dada a importncia que essa questo assume para Frege na
distino entre sentido, referncia e representao (ou ideia), estenderemos um
pouco nossa linha de investigao para compreendermos a distino que o autor
estabelece entre os campos objetivo e subjetivo.

37

2. A ESTRUTURA FILOSFICA FREGIANA


O problema que encontramos no captulo anterior pode ser formulado da
seguinte maneira: se a verdade no a verdade por correspondncia entre uma
proposio lingustica e um fato emprico ento como se d a verdade no
pensamento fregiano?
Esse problema foi, como vimos, oriundo da negao da estrutura kantiana
da aritmtica ser um conhecimento sinttico a priori. Se a opo de Frege que o
conhecimento aritmtico analtico, isso exclui, na considerao das operaes
aritmticas, a derivao por experincias empricas. Dada essa ruptura com a lgica
kantiana, Frege ter de redefinir o campo lgico onde a verdade poder ser
encontrada, alm de reestruturar, dentro de seu pensamento, a atuao do que
verdadeiro e de sua relevncia para nossas proposies acerca do mundo. Afinal,
quando declaramos um juzo sobre o mundo, estamos aplicando certas proposies
tidas como certas e verdadeiras e dizendo que, em determinadas condies, ser
verdadeiro que algo seja assim, e no de outra forma. A relevncia do verdadeiro
em tais circunstncias a de afirmar que, dadas certas condies (em geral
empricas) ser verdadeiro o que se afirma do juzo ou das proposies que o
compem. Afirma-se, na verdade, que aquilo que se diz corresponde ao que ocorre,
e essa correspondncia exata o que aduzimos com o termo verdadeiro. Essa
concepo parece ser a levada em considerao por Frege, conforme podemos
verificar de uma maneira geral em Der Gedanke:
A verdade atribuda a imagens, ideias, sentenas e pensamentos. O que
chama a ateno nesta lista o fato de nela encontrarmos, ao lado de
coisas visveis e audveis, coisas que no podem ser percebidas pelos
sentidos. O que indica a ocorrncia de um deslocamento no sentido da
palavra "verdadeiro". De fato, o que ocorre. Uma imagem, enquanto um
objeto visvel e palpvel, poder ser dita propriamente verdadeira? E uma
pedra, uma folha no sero verdadeiras? Evidentemente, no chamaramos
uma imagem de verdadeira se nisso no houvesse uma inteno. A imagem
tem que representar algo. Uma ideia tampouco dita verdadeira por si
mesma, mas s tendo em vista uma inteno; na medida em que ela

38

corresponde a algo. Podemos, pois, presumir que a verdade consiste em


uma correspondncia entre uma imagem e seu objeto.41

Porm, como acompanhamos no captulo anterior, Frege se posiciona


contrariamente a essa concepo. Se a verdade ou verdadeiro no se refere a algo
contingente, habitual, ou mesmo fsico, ditado pela experincia ou pela soma de
experincias, ento o campo de relevncia e o modo como atua o termo verdadeiro
na proposio necessita ser explicitado.
Nesse captulo, acompanharemos a abordagem de Frege dos elementos
que foram revisitados e reinterpretados, estabelecendo, primeiramente, o espao
onde a verdade pode ocorrer, o significado de pensamento para Frege e sua relao
com a proposio, o papel do sentido e da referncia e como eles se relacionam
com conceito e objeto.

Objetividade e Subjetividade
Frege, em sua defesa da lgica, busca desvencilhar-se do empirismo e do
psicologismo, em primeira instncia. A matemtica desenvolvida em sua poca
encontrava-se envolta em concepes empricas que remetiam, na prtica, ao
psicologismo. De tal maneira que todas as concepes matemticas ou lgicas
estavam sujeitas a serem analisadas como decorrentes de comparaes, em grau
subjetivo, para com objetos empricos.
Todavia, Frege necessita distinguir as categorias lgicas das psicolgicas de
modo a assegurar a universalidade de suas concepes, pois, se tudo subjetivo,
tudo resultado de interpretaes contingentes e, como tal, no poderamos nos
furtar de um relativismo no campo da lgica que reduziria a verdade a uma verdade
circunstancial, redutvel no apenas s circunstncias, mas tambm considerao
de cada indivduo.
Em Os Fundamentos da Aritmtica (1884), Frege articula a distino entre o
campo objetivo e subjetivo. O campo subjetivo o campo das representaes
arbitrrias. Tais representaes partem dos objetos sensveis do mundo. No entanto,
esses objetos marcam a subjetividade no apenas com sua sensibilidade, mas
41

FREGE, G. O Pensamento, in: Anais de Filosofia, pg. 284.

39

principalmente com as impresses individuais que tais objetos produzem. Conforme


Frege:
Se o dois fosse uma representao, seria de incio apenas meu. A
representao de outrem enquanto tal j outra. Neste caso teramos
talvez muitos milhes de dois. Dever-se-ia dizer: meu dois, teu dois, um dois,
todos os dois. Admitindo-se representaes latentes ou inconscientes,
haveria tambm dois inconscientes que, por sua vez tornar-se-iam mais
tarde conscientes. Com a sucesso das geraes nasceriam sempre novos
dois, e quem sabe se em milnios eles no se modificassem, de modo a 2 x
2 tornarem-se 5.42

Alm disso, Frege acrescenta, em Sobre o Sentido e a Referncia, que


sentimentos e emoes, todos de fundo psicolgico, influenciam a interpretao de
tais objetos, de maneira que a representao formada a partir deles no
corresponde a uma ideia lgica e universal, mas sim individualizada e pessoal.
Conforme Frege:
A referncia e o sentido de um sinal devem ser distinguidos da ideia
(Vorstellung) associada a este sinal. Quando a referncia de um sinal um
objeto sensorialmente perceptvel, ento a ideia que dele tenho uma
imagem interna, emersa das lembranas de impresses sensveis passadas
e das atividades, internas e externas que realizei. Essa imagem interna est
frequentemente impregnada de emoes; os matizes de suas diversas
partes variam e oscilam. At num mesmo homem, nem sempre a mesma
ideia est associada ao mesmo sentido. A ideia subjetiva: a ideia de um
homem no a mesma ideia de outro. Disto resulta uma variedade de
diferenas nas ideias associadas ao mesmo sentido. Um pintor, um
cavaleiro e um zologo provavelmente associaro ideias muito diferentes ao
nome Bucfalo.43

Dessa forma, o campo subjetivo um campo pessoal, no qual a partilha de


informaes nunca a mesma de pessoa para pessoa. Todos possuem um campo
subjetivo, mas ele pessoal e intransfervel, sendo encapsulado no mundo interno
de cada pessoa. Tal distino expressa por Frege, onde lemos:
No se deve esquecer que nunca as representaes de homens diferentes,
por mais parecidas que possam ser, o que, por outro lado, ns no
podemos comprovar exatamente, no coincidem em nenhum ponto, e
devem ser diferenciadas. Cada um tem as suas representaes, que no
so por sua vez as do outro. Naturalmente, entendo aqui representaes
no sentido psicolgico.44

Se os objetos da lgica pertencessem ao campo subjetivo, pouco poderia se


fazer em termos de universalidade do conhecimento. Cada um teria seu prprio
42
43
44

FREGE, G., Os fundamentos da Aritmtica, pg. 227, 27.


FREGE, G. Sobre o Sentido e a Referncia, pg. 134.
FREGE, G. Prlogo s Leis Bsicas da Aritmtica (Trad. Celso R. Braida), pg. 9.

40

princpio de identidade, e cada proposio seria a verdadeira expresso do


entendimento daquela pessoa, tal qual ela o concebe.
Em tais condies, considera Frege, nada impediria que, com o tempo, uma
pessoa pudesse chegar concluso de que a soma entre 2 mais 2 seja 5, ao invs
de quatro, pois algum poderia concluir que os nmeros evoluem, de modo que, no
princpio, 2 + 2 era igual a 1, depois a 2 e, no presente momento, igual a 4. Nada
impediria tal pessoa de pensar que o prximo da lista seria 5. Mas tal representao
s seria possvel se os prprios nmeros e a concepo de suas relaes fossem
igualmente psicolgicas. Ainda segundo Frege, mesmo tal concluso acerca dos
nmeros no poderia ser questionada, pois ela seria verdadeira para aquela pessoa
e, sendo os nmeros representaes subjetivas, no haveria nenhuma referncia
que obrigasse uma pessoa a rever sua interpretao, exceto, talvez, o consenso
popular, que continuaria afirmando ser 2 + 2 = 4. Porm, em tal situao, ningum
poderia objetar que, talvez um dia, o consenso mudasse e se adequasse ao daquela
pessoa, e todos passassem a consentir que 2 + 2 = 5.
Logo, se existe o campo subjetivo, e se as representaes desse campo so
influenciadas pelas impresses internas de cada um, certamente existe um campo
objetivo, onde tais representaes devem se assentar e nele ser corrigidas e
adequadas. Nesse sentido, Frege afirma:
Habitualmente, "branco" faz-nos pensar em uma certa sensao,
inteiramente subjetiva, claro; mas j no uso ordinrio da linguagem,
parece-me, distingue-se frequentemente um sentido objetivo. Quando se diz
que a neve branca, pretende-se uma qualidade objetiva que, luz
ordinria do dia, reconhecida por uma certa sensao. Caso ela seja
iluminada por uma luz colorida, isto deve ser levado em conta no momento
do juzo. Dir-se- talvez: ela agora aparece vermelha, mas branca.45

O campo objetivo consiste no espao onde os objetos do mundo se


encontram, e onde igualmente nos encontramos. Apreendemos os objetos do
mundo por nosso intelecto e deles formamos representaes, interpretando-os.
Ainda que nossas representaes subjetivas sejam pessoais e marcadas por nossas
impresses e emoes, ganhando uma forma peculiar e sendo intransferveis, os
objetos do mundo continuam estando l, permanecendo como objetos reguladores
de nossas interpretaes, podendo produzir correes de nossas representaes.
45

FREGE, G. Os Fundamentos da Aritmtica, pg. 226.

41

Porm, o campo objetivo o campo da experincia emprica, do sensvel.


o mundo dos fenmenos com o qual nos deparamos. Esse mundo, a despeito dos
fatos brutos que coagem nossas interpretaes e reduzem sua arbitrariedade, nunca,
porm, de forma completamente eficiente, um mundo cujo conhecimento s
adquirido a posteriori, mediante a experincia. Frege afirma, a respeito desse
espao objetivo do mundo dos objetos sensveis:
O espao, segundo Kant, pertence ao fenmeno. Seria possvel que seres
racionais diferentes o representassem de maneira completamente diferente.
Na verdade, nunca podemos saber se ele aparece a uma pessoa como a
uma outra; pois no podemos colocar a intuio especial de uma ao lado da
intuio da outra a fim de compar-las.46

De modo que, se tomarmos a realidade como sendo composta apenas dos


campos subjetivo e objetivo sensvel, no encontraremos lugar para as leis
universais, nem para a matemtica e nem para a verdade como sendo universais a
priori. No haveria mais verdades analticas, mas apenas verdades sintticas, tais
quais as verdades que todas as cincias procuram, mas das quais nenhum princpio
permanente poderia ser extrado. Tomando igualmente o caminho da lgica kantiana,
teremos sempre de recorrer a uma intuio para validar nossas percepes, e nelas
no encontramos objetividade que possa ser compartilhada.
A verdade, por essa concepo, bem como as leis da lgica ou da aritmtica,
seriam sempre derivadas de relaes entre o subjetivo e o emprico e, portanto,
contingentes. Seriam, segundo Frege, as verdades de Stuart Mill, todas derivadas
de experincias obtidas do contato direto e da observao do meio. Frege observa:
A concepo de Mill conduz necessariamente exigncia de que para cada
nmero se observe um fato em particular, porque em uma lei geral perderse-ia exatamente a peculiaridade do nmero 1.000.000, que pertence
necessariamente sua definio.47

Sendo construdas por derivao, tais leis ou verdades no deixam de ser


arbitrrias e podem ser ressignificadas com o tempo, passando a representar outras
coisas, estabelecidas por consenso. Novamente, camos em um relativismo. As leis
da lgica e as leis do verdadeiro estariam sujeitas ao pensar, pois no seriam
apreendidas, mas sim construdas por derivao emprica. E, como construes do

46
47

FREGE, G. Os Fundamentos da Aritmtica, pg. 226.


FREGE, G., Os Fundamentos da Aritmtica, pg. 211.

42

pensar, submetem-se ao domnio da psicologia, pois se enquadrariam no campo


subjetivo.
Frege, todavia, no considera as leis do verdadeiro, ou os elementos lgicos,
bem como os nmeros e suas relaes como sendo frutos do campo subjetivo, e
resultados do ato de pensar como representaes derivativas do mundo emprico.
Frege as entende como objetivas, analticas e apreensveis pelo ato de pensar.
Segundo o autor, mesmo nas intuies subjetivas, algo de objetivo pode ser
encontrado:
Entretanto, h ainda nelas algo objetivo; todos reconhecem os mesmos
axiomas geomtricos, ainda que to somente de fato, e devem faz-lo a fim
de poderem orientar-se no mundo. Nelas objetivo o que conforme a leis,
conceitual, judicvel, o que deixa exprimir em palavras.48

Frege reconhece que o campo para toda uma categoria de elementos


constituintes do mundo no encontra-se no campo subjetivo e nem tampouco no
campo objetivo sensvel.
O domnio objetivo definido por Frege possui caractersticas distintas do
campo sensvel: Distingo o objetivo do palpvel, espacial e efetivamente real. O
eixo da Terra e o centro de massa do sistema solar so objetivos, mas preferiria no
cham-los de efetivamente reais como a prpria Terra.49
Os elementos presentes nesse campo no-sensvel possuem objetividade,
constituem-se como referncia, so independentes de quaisquer comparaes
humanas com o campo objetivo sensvel e, ainda que ningum jamais viesse se
aperceber deles, eles sempre estariam estabelecidos, de modo que, em qualquer
tempo ou lugar, a razo poderia apreend-los, e eles estariam inalterados, sempre
da mesma forma, e sempre constituindo-se como leis do ser verdadeiro.
A objetividade, portanto, pode ser entendida, como Frege afirma:
Assim, entendo por objetividade uma independncia com respeito a nosso
sentir, intuir, representar, ao traado de imagens internas a partir de
lembranas de sensaes anteriores, mas no uma independncia com
respeito razo; pois responder questo do que so as coisas
48
49

Idem, pg. 226.


Idem, pg. 225.

43

independentemente da razo significa julgar sem julgar, lavar-se e no se


molhar.50

O campo objetivo concebido por Frege nos Fundamentos da Aritmtica


denominado como campo objetivo no-efetivo, no sensvel.
Consideramos, como vimos acima, que Frege estabeleceu trs instncias na
constituio da realidade. A concepo de um plano objetivo no-efetivo permite a
Frege desenvolver, como Dummett (1973) afirmou, um contexto no qual a realidade
independe de quaisquer fatores empricos para se fazer conhecer de forma analtica.
De acordo com Dummett:
A imagem pode ser chamada de verdadeira, na medida em que
corresponde de perto com o que se pretende representar. A verdade de
uma imagem , portanto, relacional: podemos julgar se uma imagem ou
no verdadeira somente se sabemos qual o outro termo da relao, ou
seja, o objeto representado. Por outro lado, a verdade de uma sentena
(completa) ou do pensamento que expressa no relacional: no h a
questo de termos primeiro que descobrir o estado de coisas que a
sentena se pretende descrever e compar-la para ver se correspondente
ou no; a sentena simplesmente verdadeira ou falsa sem qualificao.51

Se a imagem, enquanto cpia, mais verdadeira quanto mais se aproxima


do objeto que representa, as sentenas nada devem a esses correspondentes
empricos. Dizer que uma sentena simplesmente verdadeira ou falsa sem
qualificao implica em dizer que uma sentena possui uma dinmica intrnseca tal
que o verdadeiro dado pelas prprias leis que determinam o pensamento expresso
na sentena. Nesse aspecto, mesmo os fatos contidos nos pensamentos no
dependeriam das amarras da correspondncia com referenciais sensveis. o que
Dummett sugere em seguida:
Fatos, na ontologia de Frege, no so mais constituintes da realidade, do
reino da referncia, ao lado de objetos, valores de verdade, conceitos,
relaes e funes. Eles so, ao contrrio, identificados com pensamentos
verdadeiros: um fato que Anbal cruzou os Alpes simplesmente uma
outra forma de dizer O pensamento de que Anbal cruzou os Alpes
verdadeiro. Fatos, como pensamentos verdadeiros, portanto, pertencem,
no ao reino de referncia, mas quele do sentido.52

Mais uma vez, a relevncia de sentido e referncia aparece como um


elemento de ruptura em relao ao pensamento de Frege poca da Conceitografia.
Se os fatos pertencem ao que Dummett denomina reino dos sentidos, ento o que
50
51
52

Idem, pg. 226.


DUMMETT, M. Frege, Philosophy of Language, pg. 464.
Idem, pg. 464.

44

Frege aborda como domnio objetivo no-sensvel um domnio composto pelos


reinos do sentido e da referncia, no qual os fatos expressos pelas proposies
designam as relaes pertencentes a esse domnio, sem, contudo, necessitarmos
estabelecer uma conexo com o domnio objetivo sensvel para encontrarmos o
verdadeiro como correspondncia:
Portanto, no podemos dizer que um pensamento verdadeiro apenas no
caso de corresponder a um fato: se verdadeiro, ento ele j um fato, e
no existem duas coisas entre as quais a comparao tem que ser feita, a
fim de descobrir se elas correspondem.53

Excludo mtodo de descobrir a verdade por comparao e asseverado que


mesmo um fato contido na proposio um fato no sentido estrito de ser um
pensamento verdadeiro, temos que a introduo dos conceitos de sentido e
referncia trouxe inmeras alteraes na filosofia fregiana. No afirmamos aqui o
surgimento de um platonismo, pois essa afirmao seria muito prematura e
desconsideraria todo um cenrio secundrio de debate a respeito do suposto
platonismo fregiano. Todavia, o que na Conceitografia era apresentado como uma
linguagem de cunho estritamente metodolgico, agora parece descortinar todo um
universo de implicaes ontolgicas, onde objetos, as referncias tanto dos nomes
quanto dos conceitos, no necessitam de um coincidente objeto fsico para se
assemelharem. E, por serem objetivas, no so ferramentas criadas e aperfeioadas
por ns, mas entes reais de um mundo que se estrutura racionalmente. O que
estamos denominando de domnio objetivo no-sensvel, ou no-efetivo ou mesmo
no-atual corresponde ao termo Unwirklichkeit, em contraposio a Wirklichkeit. A
traduo desse termo oferece certa dificuldade conceitual, embora Dummett (1996)
afirme que a palavra em si no oferece dificuldade em ser traduzida como realidade
ou atualidade. O termo efetividade tambm poderia ser utilizado como alternativa. A
dificuldade estaria no uso que Frege faz do termo em sua definio de objetividade.
Segundo Dummett:
Frege descreve objetos fsicos como wirklich, e chega perto de dizer que as
percepes e ideias subjetivas o so, tambm. Como exemplos do que no
wirklich, ele instancia o eixo da terra, o centro de massa do sistema solar,
e o equador. Ele nega que os nmeros de qualquer tipo, ou objetos lgicos,
em geral, sejam wirklich. Dos pensamentos, ele afirma que podem ser
chamados wirklich apenas num sentido especial, e que, embora no sejam

53

Ibidem.

45

totalmente unwirklich, a sua Wirklichkeit de um tipo muito diferente da das


coisas.54

Dummett conclui que o uso que Frege faz de wirklich seria algo equivalente
a causalmente efetivo, no sentido de algo que exerce efeito sobre outra coisa. Dessa
forma, algo que no wirklich ainda assim poderia ser objetivo e real. Como vimos
anteriormente, o sentido de objetivo, para Frege, o de ser independente ao nosso
sentir, intuir ou pensar. E no ser wirklich, ou efetivo, equivaleria a no atuar
diretamente sobre os sentidos. o que Frege afirma na citao abaixo:
[...] eu reconheo um domnio do objetivo no-efetivo (Objectiven
Nichtwirklichen), enquanto que os lgicos psicologistas consideram o
no-efetivo como o subjetivo (Subjectiv) sem mais. E, obviamente, no
se v claramente por que aquilo que tem uma existncia (Bestand)
independente do emissor de juzos deva ser efetivo, isto , deva
poder atuar diretamente ou indiretamente sobre os sentidos.55

De tal maneira, concebe-se que as referncias, alm do domnio do objetivoefetivo, pertencem tambm ao domnio do objetivo no-efetivo. Elas existem, so
independentes de ns, e podem ser conhecidas pela razo. Objetos empricos
pertencem ao campo objetivo efetivo e sensvel. E nossas representaes
pertencem ao campo subjetivo. Mas e o que concerne ao sentido? O sentido, como
modo de apresentao do objeto, pertence ao campo subjetivo, objetivo no-efetivo
ou efetivo?
Poder-se-ia conceber que o sentido no seja pertencente ao campo efetivo,
mas tambm no seja especificamente prprio nem do campo objetivo no efetivo,
nem do subjetivo, exclusivamente. Mas, sim, a ambos. Em parte porque o sentido
corresponda quela parcela interpretativa do objeto, pois ela denota certo relativismo
em relao referncia, considerando que possumos muitos sentidos para uma
nica referncia.
Por outro lado, o sentido, diferente da representao, no singular e pode
ser partilhado por uma comunidade de pessoas. Seria, portanto, intersubjetivo. Tal
concepo hbrida acerca do sentido no parece corresponder ao pensamento de
Frege. Acreditamos ser o sentido to objetivo no efetivo quanto a referncia.

54
55

DUMMETT, M. Objectivity and Reality in Lotze and Frege, In: Frege and Other Philosophers, pg. 98.
FREGE, G. Prlogo s Leis Bsicas da Aritmtica, pg. 08.

46

Primeiramente, dizer que o sentido determina um modo de apresentao do


objeto no implica que o sentido seja contingente, ou que tenha uma parcela de
elemento psicolgico e, portanto, de representao. O fato de haver muitos sentidos
para um mesmo objeto no significa que esses sentidos sejam construdos
evolutivamente ou historicamente. E tambm no implica que eles sejam a
interpretao particular de algum acerca de um objeto e que teria progressivamente
ganho espao por consenso.
O sentido, como veremos, uma forma de elucidao do objeto e, como tal,
inerente ao objeto. Se o objeto, conforme Dummett, sempre constituinte da
realidade e lgico, isto , dado, logo os sentidos inerentes a ele o so igualmente
universais e dados a priori.
Em segundo lugar, o prprio Frege identifica o pensamento com o sentido, e
no com a referncia. Se o sentido fosse subjetivo, ou pelo menos parcialmente
subjetivo, isso faria com que o pensamento fosse ao menos parcialmente subjetivo.
Mas essa tambm no parece ser a posio de Frege. Pensamento no deve ser
confundido com o ato de pensar. Este sim um ato contingente, psicolgico, que
busca, em sua ao, apreender pensamentos. Mas estes, os pensamentos, no so
contingentes, e carregam uma forte carga lgica e ontolgica. O fato que, para
Frege, pensamentos so objetivos no efetivos. O que faz com que os sentidos,
identificados com o pensamento, tambm o sejam. Dummett afirma:
A nica maneira, portanto, de garantir que algo seja o mesmo para todos
tom-lo como ser objetivo em um sentido que vai alm da mera
intersubjetividade, e envolve a sua independncia de todas as mentes
pensantes. Expresso de outra forma h, para Frege, uma inferncia de que,
para algo ser o mesmo para todos, implica ser objetivo no sentido mais forte.
apenas esta inferncia que ele repetidamente recorre: o fato de que um
pensamento, ou o objeto ao qual se refere, independente de qualquer
pensador particular, deduz a sua independncia de todos os pensadores,
est defronte de todos eles.56

Vimos, portanto, que as inovaes de Frege acarretam uma srie de novas


concepes. Primeiramente, temos o sentido como forma de apresentao do objeto,
e que a chave para encontrarmos, em duas asseres diferentes, uma ampliao
56

e 118

DUMMET, M. Objectivity and Reality in Lotze and Frege, In: Frege and Other Philosophers, pgs. 117

47

do contedo cognitivo acerca do mesmo objeto. Em segundo lugar, sentido e


referncia no se encontram no domnio objetivo sensvel. Ambos no precisam, em
uma proposio, tomar como referncia condies temporais e espaciais para
validarem a verdade de suas afirmaes, quando se tratam de leis da verdade.
Tanto o sentido como a referncia pertencem ao domnio objetivo no-sensvel, e
por isso implicam em conhecimentos analticos. Em terceiro lugar, o verdadeiro no
est alinhado com a concepo de verdade como correspondncia com os fatos
empricos. Fato, nesse caso, um fato lgico, pertencente ao reino dos sentidos
(Sinne), e ser fato se o pensamento for verdadeiro. E isso acarreta uma guinada
considervel em relao concepo empirista da verdade. o caso de um
pensamento ser verdadeiro que acarreta o fato, e no o contrrio.
Por fim, vemos uma conexo que transpareceu em todo esse primeiro
captulo que relaciona o sentido com o pensamento. Tomando como base que, a
partir desse ponto, estamos caminhando no domnio do objetivo no-sensvel,
verificaremos qual a relao entre sentido e referncia e o pensamento, e como um
pensamento pode ser considerado o verdadeiro ou, em outras palavras, como o
pensamento se torna um fato, ou um nome do verdadeiro, uma vez distanciados da
ideia de verdade como correspondncia.

Unidade no Pensamento e Sentido


Frege estabelece uma concepo de verdade que difere da concepo
tradicional na filosofia e na lgica. Sua ideia de verdadeiro como um objeto da lgica,
e no como conceito, acarreta no fato de que a igualdade de algo com o verdadeiro
nunca ser a igualdade no sentido da atribuio, da propriedade ou predicao, mas
sim no sentido de cpula. Isto ser melhor explicado ao abordarmos a relao da
funo aritmtica com a linguagem, mas, para o momento, podemos dizer que um
objeto no pode ser dito verdadeiro, como se fosse uma predicao do conceito
verdade, mas sim colocado em relao ao objeto verdadeiro, como igual ou
equivalente a ele. Outra situao que surge a de uma proposio ou pensamento
ser considerado o nome do objeto o verdadeiro. Um pensamento, nesse sentido,
pode ser verdadeiro ou falso.

48

Por conseguinte, o pensamento deve seguir as leis da lgica para ser


verdadeiro. Mas isso desencadeia outro problema acerca da natureza do
pensamento. Ele formado pelas regras da linguagem? Pelas regras proposicionais?
Ou o pensamento, como sentido, seria analtico e, portanto, sempre existente,
independente de sua formao na linguagem ou, talvez, em uma linguagem
universal?

Conceberia

Frege

uma

linguagem

universal,

independente

das

experincias e formaes das lnguas humanas, onde o pensamento encontraria


guarida? Haveria uma linguagem da razo, similar characterica universalis, (tal
qual o projeto de Leibniz e do prprio Frege na Conceitografia) mas no criada pelo
homem, na qual nossas linguagens se espelhariam para acessar esses
pensamentos verdadeiros acerca do mundo?
E esses pensamentos estariam arraigados na eternidade? o que parece
sugerir Frege no Prlogo s Leis Bsicas da Aritmtica, onde lemos, acerca da
verdade:
E como o ser verdade independente de que algum o reconhea como tal,
resulta que as leis da verdade no so leis psicolgicas, mas antes marcos
cravados em um solo eterno, que certamente podem ser renegados por
nosso pensamento, mas nunca removidos. E posto que o so, so
determinantes para o nosso pensamento, se este quer alcanar a verdade.
(Grifo nosso)57.

O que temos aqui uma concepo de que nosso pensamento, embora


possa tomar livres cursos e aceder a toda uma liberdade de formulaes, no
encontra tal liberao quando se trata do reconhecimento da verdade. Se as leis da
verdade so, nas palavras de Frege, um marco cravado em solo eterno, disso
resulta que o pensamento, quando passvel de ser o verdadeiro, tambm algo de
eterno, ainda que ningum o tenha pensado. Isso significaria que existem
pensamentos que so eternos, que existem indiferentemente de serem pensados,
pois so pensamentos que, conforme observamos, correspondem ao nome do
verdadeiro. E, se o ser verdade algo eterno, os pensamentos verdadeiros tambm
o so, por serem os sentidos que elucidam o verdadeiro.
Nem todos os pensamentos seriam eternos, no entanto. Existem
pensamentos que correspondem a um sentido sem referncia. Esses casos no
podem designar o objeto verdadeiro. Embora possam existir como pensamento,
57

FREGE, G. Prlogo s Leis Bsicas da Aritmtica, pg. 07.

49

como produto do ato de pensar, nem por isso ganham a eternidade do pensamento
verdadeiro. Tais pensamentos envolvem conceitos que, conforme veremos, no
possuem objetividade, por serem imprecisos e, como tal, no possurem valor de
verdade.
Ademais, qual seria a forma lgica de um pensamento que um marco
cravado no solo eterno? Ele teria a forma de uma proposio? Teria o pensamento,
ainda que no seja conhecido por qualquer pessoa, uma estrutura sentencial? Ou o
pensamento, antes de ser pensado, seria algo distinto da linguagem? Para Frege,
em Sobre o Sentido e a Referncia, dificilmente poderamos negar o fato de que os
pensamentos so transmitidos de uma gerao a outra.58 Isso no pode ocorrer, por
exemplo, com as representaes que temos das referncias. Essas, por serem
subjetivas e pessoais, no encontram ponto de contato entre as pessoas. Na
analogia que Frege estabelece entre o olho e o microscpio, mesmo que
cristalizssemos a imagem vista pelo olho de algum e depois mostrssemos
mesma pessoa, ela ainda assim no teria a mesma representao, pois criaria uma
representao pessoal e nica sobre outra representao pessoal e nica. O mesmo
no ocorre com o sentido.
Frege afirma:
Talvez pudssemos dizer: assim como a uma mesma palavra uma pessoa
pode associar uma representao e outra uma representao diferente,
tambm uma pessoa pode associar a ela um sentido e outra um sentido
diferente. Entretanto, a diferena ento reside s no modo dessa conexo.
Isso no impede que ambos apreendam o mesmo sentido; seja como for,
eles no podem ter a mesma representao.59

De acordo com essa passagem, assim como duas pessoas podem atribuir
representaes diferentes para a mesma referncia, ambas poderiam auferir
sentidos diferentes tambm. A grande diferena que um no conseguiria jamais
compreender a ideia do outro, embora ambos pudessem apreender os diferentes
sentidos atribudos referncia, pois, diferente das representaes que temos das
coisas, que so subjetivas, os sentidos so objetivos e, portanto, possuem
objetividade e independncia de minha imaginao ou de minhas concepes

58
59

FREGE, G. Sobre o Sentido e a Referncia, pg. 134.


FREGE, G. Sobre o Sentido e a Referncia, trad. Srgio Miranda, pg. 24.

50

pessoais e emoes, no pertencendo subjetividade. O sentido , portanto, o


pensamento.
Mas, nesse aspecto, considerando o pensamento algo objetivo, este
consistiria exatamente em qu? Seria o pensamento inanalisvel, uma totalidade
sem fragmentos, ou seria o pensamento um aglomerado de partes constituintes? Em
outros termos, o pensamento, tal como Frege o concebe, algo composto por
partes, ou um todo indiferenciado, que pode ser dividido, mas que originalmente
no seria assim? Para ns, torna-se relevante encontrarmos a estrutura do
pensamento, pois se este o que pode ser considerado verdadeiro, e se isso no se
d por comparao, ento devemos compreender qual a mecnica atuante para que
possamos traar uma linha que v do pensamento verdade.
O problema se configura da seguinte maneira: Se o pensamento o sentido
de uma sentena, o que poderamos dizer acerca da referncia das sentenas?
Toda sentena possui referncia? necessrio que possua? Segundo Frege, os
nomes prprios podem no possuir uma referncia, como no caso de Ulisses, que
possui um sentido, mas no uma referncia, considerando ser Ulisses fruto da
mitologia. Partes de uma sentena podem no ter referncia, embora tenham um
sentido. A relevncia da questo posta que somente considerando que Ulisses
possua uma referncia poderamos considerar como verdadeira uma sentena como
Ulisses profundamente adormecido foi desembarcado em taca. Somente por meio
da referncia possvel perguntarmos pelo valor de verdade de uma sentena:
Mas por que queremos que cada nome prprio tenha no apenas um
sentido, mas tambm uma referncia? Por que o pensamento no nos
suficiente? Porque estamos preocupados com seu valor de verdade. [...]
, pois, a busca da verdade, onde quer que seja, o que nos dirige do
sentido para a referncia.60

Portanto, diante da inquirio acerca do valor de verdade de uma sentena,


temos de encontrar sua referncia. Para encontrarmos o valor de verdade de uma
sentena, devemos encontrar as referncias dos componentes da mesma. De
acordo com Frege, a referncia de uma sentena pode sempre ser procurada onde
a referncia de seus componentes esteja envolvida.61

60
61

FREGE, G. Sobre o Sentido e a Referncia, pg. 138.


Idem, pg. 138.

51

Mas as referncias das partes de uma sentena no correspondem


mesma referncia da sentena como um todo. De acordo com Frege, temos de
reconhecer o prprio valor de verdade como a referncia de uma sentena, ou seja,
a circunstncia de ela ser verdadeira ou falsa.62
Tomando essa considerao, temos o seguinte quadro: em primeiro lugar,
toda sentena encerra um pensamento. Esse pensamento dotado de sentido, mas
no de referncia, embora ele possua uma espcie de abertura para a referncia,
como se todo pensamento tivesse uma pressuposio de certa referncia, que pode
ou no ser levada em conta. Consideramos a referncia de um pensamento sempre
que nos indagamos sobre a verdade desse pensamento. E ao fazer isso, devemos
buscar nas referncias das partes da sentena. Haddock (2006) estabelece a
conexo entre sentido e referncia da seguinte forma: para ele, um pensamento
composto por termos conceituais (nomes de conceitos), e nomes prprios, que so
os nomes dos objetos. Cada nome ou termo designa um referente, que ser um
conceito ou objeto. E a soma desses nomes, que expressam sentidos, conferir um
sentido prprio para a sentena, como um todo. De acordo com Haddock:
Os sentidos das partes constituintes de uma declarao determinam tanto o
sentido da declarao quanto os referentes dessas partes constituintes.
Alm disso, tanto o sentido da declarao quanto os referentes de suas
partes constituintes determinam a referncia da declarao, e essas duas
determinaes precisam ter a mesma sada.63

Portanto, conforme Haddock, um pensamento possui partes constituintes


que possuem sentidos prprios, e esses sentidos determinaro tanto as referncias
de cada uma dessas partes, como tambm um sentido total da sentena, que no se
encontra circunscrito em cada parte, mas apenas na interao entre elas. E sero
essas referncias, juntamente com esse sentido geral, que determinaro a
referncia da sentena como um todo.
Para

ilustrar

essa

relao,

Haddock

elaborou

um

diagrama,

apresentamos abaixo:
Figura 1 - Diagrama de Haddock sobre a formao das sentenas.

62
63

Ibidem, pg. 139.


HADDOCK, G.E.R. A Critical Introduction to the Philosophy of Gottlob Frege, pg. 70.

que

52

Segundo esse diagrama, SC corresponde ao sentido do termo conceitual e


SN ao sentido do nome prprio. SS representa o sentido da proposio formada pela
combinao de dois elementos anteriores. RC e RN, respectivamente, correspondem
referncia do termo conceitual e do nome prprio. Em sequncia, atribui ao par
<SC, SN> o equivalente como referncia <RC e RN>. Enquanto relaciona os
sentidos isolados s suas referncias respectivas, atribui aos sentidos isolados
<SC, SN>, o sentido geral da proposio SS. Em posio equivalente encontramos
atribuindo RS ao par <RC, RN>. Por fim, atribui SS a RS. Para Haddock, a verdade
dessa proposio seria dada pela equivalncia das relaes que circundam as
partes constituintes desse diagrama, enunciadas por , , e . Esses
elementos correspondem representao de relaes funcionais entre os sentidos e
referncias, de modo que eles no se complementam aleatria ou arbitrariamente,
mas segundo uma relao de funo. Esse pensamento ser verdadeiro se a
referncia da sentena for equivalente ao sentido da sentena, e isso dado por
suas partes constituintes. Portanto, para Haddock, a relao dada intrnseca
prpria proposio e suas conexes so necessrias e decorrentes do que foi
estabelecido entre as partes constituintes, cujos sentidos e referncias so
deduzidos dos nomes prprios e termos conceituais utilizados.
Haddock conclui:
De acordo com Frege, tanto o sentido das sentenas assertivas (afirmaes)
e de frases interrogativas que exigem um sim ou no como resposta,
seguido pela sentena assertiva correspondente - que frequentemente
omitida - um pensamento, enquanto o referente de uma sentena

53

assertiva - frases interrogativas no tem uma referncia - um valor de


verdade, ou seja, o Verdadeiro ou o Falso.64

Esse ponto refora a tradio de considerar que, para Frege, o pensamento


composicional, isto , composto de partes individuais, com referncias individuais
que, somadas, produzem uma sentena, um conjunto de nomes individuais que
formaro um nome complexo.
Em outras palavras, toda sentena seria um nome complexo de uma
referncia, o verdadeiro ou o falso. E toda sentena seria formada por nomes
individuais, os termos da sentena, que revelam um sentido (um modo de
apresentao) de outras referncias. necessrio, portanto, para sabermos qual a
referncia da sentena, determinarmos sobre qual a referncia de suas partes.
Andreas Kemmerling (2011) afirma que, para inmeros intrpretes, como David Bell
(1987), Dalia Drai, Michael Dummett, Paul Horwich, dentre outros, os pensamentos
so como uma espcie de construo-em-blocos, como um muro composto de
pequenos tijolos. Assim, a partir da composio dos tijolos que podemos
compreender o conjunto do muro todo. Ou, a partir dos nomes individuais que
designam referncias especficas, podemos atingir a referncia dos nomes
complexos.
Frege parece, no apenas na passagem que vimos em Sobre o Sentido e a
Referncia, corroborar essa viso:
O que distintivo acerca de minha concepo de lgica que eu comeo
dando lugar de destaque para a palavra verdadeiro e ento imediatamente
prossigo a introduzir um pensamento como aquele para o qual a questo
verdadeiro? em princpio aplicvel. Assim, eu no comeo com conceitos
e os coloco juntos para formar um pensamento ou juzo; eu sigo pelas
partes de um pensamento para analisar um pensamento.65

Mas esse raciocnio nos leva a outro problema. Referncias de nomes


prprios, de acordo com Frege, so sempre objetos, mas certamente h uma
diferena entre objetos designados por nomes prprios individuais e objetos como
valores de verdade.

64
65

HADDOCK, G.E.R. Op. Cit., pg. 71.


FREGE, Gottlob. Apud CARL, Wolfgang, pg. 07.

54

De que maneira um conjunto de referncias de nomes prprios individuais


pode implicar ou validar um juzo que reconhea que uma dada sentena que
contenha essas referncias seja verdadeira?
Pelo diagrama de Haddock, temos duas formas. A primeira partindo, como
Haddock o fez, da composio das partes para a determinao do sentido da
assero e para a referncia da mesma. A outra forma possvel verificando, a
partir do sentido e referncia da sentena como um todo, no ato do juzo, se
verdadeiro que cada termo corresponda de fato a cada referncia, de modo que toda
a relao gerada pelos termos implique no todo da sentena como sendo o
verdadeiro. Em outras palavras, partindo, em sentido inverso ao de Haddock, e
comeando do sentido e referncia do todo e ir para as partes, tomando esse todo
como parmetro para a verificao das partes constituintes da sentena.
Mas existe um elemento que chama a ateno: em uma sentena com a
estrutura do diagrama de Haddock, ser que RS ou SS corresponde mera soma de
suas partes (<SC, SN> e <RC, RN>)? Ser que o muro a soma de tijolos, ou seria
um objeto distinto dos prprios tijolos que o compem? Se uma sentena formada
por partes constituintes, quais so as regras que determinam a formao de sentido
e referncia do todo a partir das partes? Como uma referncia e sentido de uma
afirmao podem ser parmetros para a formao das partes? Acerca dessa
questo, existe um ponto que gostaramos de abordar. Trata-se do debate
empreendido por Frege contra John Stuart Mill e os empiristas nos Fundamentos da
Aritmtica, onde Frege critica a concepo de clculo como um conjunto agregativo
e mecnico.
Na ocasio, Frege denota que a atual definio de nmero, considerada
elementar pela maioria dos matemticos, concebe o pensamento do clculo como
sendo agregativo: Defronto-me com o carter grosseiro desta concepo quando o
calculo chamado de pensamento agregativo e mecnico.66 E ainda, segundo
Frege, isto no prova que os nmeros se formem de modo particularmente
mecnico, mais ou menos como um monte de areia formado de gros de
quartzo.67
66
67

FREGE, Gottlob; Fundamentos da Aritmtica, pg. 200.


Idem, pgs. 200-201.

55

Tomar o clculo como um pensamento agregativo implica em considerar,


assim como o fez Stuart Mill, que os nmeros so representaes de objetos
empricos e que, portanto, o nmero dois represente duas coisas, como duas pedras,
por exemplo, ao invs de representar duplicao. O nmero um representa uma
coisa, e no unidade. E assim por diante. A crtica de Frege se ope tentativa de
tomar a aritmtica por um vis emprico e mecanicista. A proposta tomar a
matemtica por um vis lgico.
A mesma crtica ocorre no que diz respeito linguagem. Para Frege, uma
palavra isolada no pode ser totalmente conhecida. Somente no contexto seu
significado pode aparecer. Isso significa que uma proposio mais, em termos de
significado, do que a simples soma (agregao) de seus termos isolados. Ela tem
que ser tomada em seu todo.
Deve-se diz Frege perguntar pelo significado das palavras no contexto da
proposio, e no isoladamente.68

Porm, parece-nos paradoxal que Frege afirme que o significado de uma


palavra s pode ser encontrado no contexto em que ela se apresenta (ou seja, em
sua ao no conjunto de uma sentena) e que, paralelamente, afirme que, para
encontrarmos a referncia de uma sentena, necessitamos verificar a referncia de
seus termos componentes.
O que paradoxal nesse raciocnio que todo esse movimento se d no
campo da sentena e, em sentido mais amplo, do pensamento, que ora se mostra
como um todo cuja referncia s pode ser conhecida nas partes (indicando com isso
que seu todo seria a soma de partes agregadas) e ora se mostra como partes que
s podem ser compreendidas em seu significado no todo do pensamento (o que
implicaria que o pensamento, ou a sentena, em seu sentido, algo diferente de
suas partes, e que, inclusive, detm o significado que lhes falta).
Uma abordagem ligeiramente ampliativa de Haddock a apresentada por
Klement (2002), que consistiria em compor o pensamento no exatamente a partir
de partes, mas de blocos de sentido que no consistiriam apenas de informaes,
mas apresentariam, por sua vez, blocos de referncia. Conforme Klement:
68

FREGE, G; Fundamentos da Aritmtica, pg. 204.

56

De fato, Sinne (sentidos) no consistem meramente de informao, eles


tambm apresentam algo. No caso dos Gedanken (pensamentos), o que
eles apresentam so valores de verdade. Um Gedanke fornece um certo
conjunto de condies que tm de ser satisfeitas a fim do Verdadeiro ser
apresentado, e aquele Gedanke escolhe o Verdadeiro somente no caso
daquelas condies serem satisfeitas (BL 32). No caso de um nome
(simples ou complexo), o Sinn do nome parece ser a informao que o
nome contm sobre aquela Bedeutung (referncia); o Sinn fornece um
conjunto de condies ou critrios para um objeto ser escolhido por aquele
Sinn, e a Bedeutung precisamente aquele objeto que exclusivamente
satisfaz aquelas condies.69

De acordo com Klement, o sentido tem uma relevncia substancial para a


proposio, pois ele quem fornece as condies e critrios que escolhem, de certa
maneira, a referncia que lhe seja mais apropriada. Isso colocaria o sentido em um
papel muito semelhante ao da funo, no aspecto de criar as condies sob as quais
um objeto pode entrar como complemento. claro que, nesse caso, o sentido no
corresponde funo, uma vez que ele no insaturado, j que o sentido de uma
sentena completa j envolve a funo predicativa e o objeto (ou objetos)
equivalentes. O sentido conteria uma informao a respeito da referncia, e isso
que faz com que apenas algumas referncias possam preencher esses critrios.
Nesse contexto, a estrela da manh, por exemplo, conteria um sentido que
estabelece um critrio para a referncia, enquanto que a estrela vespertina oferece
outro critrio. Para os dois casos, no entanto, a mesma referncia atende aos
critrios estabelecidos, pois o contedo informativo dos dois nomes, embora
diferentes, so atendidos pela mesma referncia. Dummett (1981) parece corroborar
a posio de Klement: [...] compreender o sentido [Sinn] apreender a condio
que um objeto deve satisfazer para que seja o referente [Bedeutung] do nome70.
Em tal, caso, a estrutura composicional permanece na anlise do
pensamento, mas no do modo como aparece no diagrama de Haddock, pois aqui o
sentido da inferncia segue uma nica direo, que seria do sentido para a
referncia, enquanto que, para Haddock, os sentidos componentes da sentena
determinam tanto o sentido geral da assero quanto seus referentes constituintes,
e esses referentes, junto com o sentido geral da afirmao determinam a referncia
geral da sentena. Ainda relativo a Klement e Dummett, no que foi apresentado, o
verdadeiro se dar no caso especfico do objeto satisfazer as exigncias do sentido.
69
70

KLEMENT, Kevin C. Frege and the Logic of Sense and Reference, pg. 59.
DUMMETT, M. apud KLEMENT, Op. Cit. pg. 59-60.

57

Em caso negativo, a sentena formada pelo objeto e pelo sentido ser falsa, pois o
objeto apresentado no cumpre com as condies dadas pelo sentido.
Uma terceira alternativa para o dilema parece ser oferecida por Kemmerling
(2011), que afirma, em seu artigo intitulado Thoughts without parts: Freges
Doctrine, que o pensamento uma entidade amorfa, mas que pode ser
decomposta, em mais de uma forma, em partes.71
Para Kemmerling, os pensamentos so entidades no-estruturadas. De
acordo com o autor: Embora eles no consistam de partes, podem ser
decompostos ou divididos em partes, como um quadrado pode ser dividido em
tringulos.72
Greimann (2007), igualmente, assevera a unidade do pensamento,
rejeitando que, originalmente, este seja composto pela unio de ideias. De acordo
com o autor:
Na viso do prprio Frege, julgar , no unir ideias, mas reconhecer a
verdade de algo cuja unidade e existncia independente dos atos de
julgar, a saber, um pensamento73.

A alternativa de Kemmerling seria conceber o pensamento da mesma


maneira que Frege concebe os nmeros, como algo que mais do que o conjunto
de suas partes, mais do que um agregado, mais do que os gros de quartzo que
formam a areia. O pensamento que se expressa pela sentena e designa sua
referncia por seus prprios critrios, concebido por Kemmerling como uma
totalidade amorfa. Amorfo, pois concebido como sentido que pressupe sua
referncia e que, ao definir-se na linguagem, pode faz-lo de muitas formas e que
pode ser decomposto para atender a propsitos especficos.
Considerar que, como ponto de partida, o pensamento dividido nas partes
de uma sentena implica em tomar as caractersticas do reino da linguagem pelos
do reino dos Sentidos. Repetimos novamente as palavras de Frege:
71

KEMMERLING, A.; Thoughts without parts: Freges Doctrine, in: Grazer Philosophische Studien,

pg. 165-188.
72

Idem, pg, 166.


GREIMANN, D. Did Frege Really Consider Truth As An Object?, in: Essays on Freges Conception of
Truth, 2007, pg. 125.
73

58

Um nome prprio (palavra, sinal, combinao de sinais, expresso)


expressa seu sentido e designa ou refere-se sua referncia. Por meio
de um sinal expressamos seu sentido e designamos sua referncia.74

Palavras, sinais, expresses podem ser combinados para expressar um


sentido, para delimitar os critrios lgicos que iro designar a referncia. Elas
pertencem instncia da linguagem. O sentido, e consequentemente o pensamento,
embora tambm possa ser dividido em partes completas e insaturadas,
originalmente seria amorfo e desestruturado. na passagem do sentido para a
referncia, no ato do juzo, que o pensamento se decompe em partes e, ao se
fragmentar, estrutura-se para designar sua referncia. Teramos, portanto, dois
aspectos de referncia lingustica para o mundo:
Por um lado afirma Kemmerling h o objetivo, determinado e amorfo
aspecto (o Aspecto-A), relativo a sentenas, pensamentos e valores de
verdade como totalidades desestruturadas (mas estruturveis). Por outro
lado, h o aspecto (o Aspecto-S) sob o qual ns os consideramos como
eles desempenham seus papis em nossos juzos; como tendo uma certa
estrutura. Esse aspecto est sujeito a certas quantidades de arbitrariedades,
ou indeterminao.75

Assim, poderamos considerar que o pensamento, em sua totalidade amorfa


e desestruturada, possui o sentido e o contexto (bem como os critrios) em que
poder determinar a si mesmo como sendo verdadeiro. Em nossos juzos, esses
mesmos pensamentos se estruturariam, assumiriam papis na linguagem, se
decomporiam em partes e poderiam ser validados ou no pelas referncias que
pressuporiam. Ao tomar palavras da linguagem para se estruturar, o pensamento as
colocaria em contexto, conferindo a elas sentido. Por isso, as palavras que so
estruturadas para expressar um pensamento em uma sentena no seriam casuais,
mas cumpririam j os critrios impostos pelos sentidos, dadas as ligaes que cada
palavra tem com uma referncia. Em tal caso, todo pensamento sempre
verdadeiro enquanto estrutura amorfa. em nossa formulao em forma de
linguagem que podemos engendrar erros que resultam em proposies falsas.
A favor de Kemmerling, teramos o fato de que, segundo Frege, o
pensamento aparece na linguagem, como parte de uma proposio: Agora
passemos a investigar qual seja o sentido e a referncia de uma sentena assertiva
74
75

FREGE, Sobre Sentido e Referncia, pg. 136.


KEMMERLING, A. Idem, pg. 179.

59

completa. Tal sentena contm um pensamento (Gedanke).76 afirma Frege.


Como o pensamento pode ser estruturado na linguagem em formas diferentes,
algumas formulaes podem engendrar situaes de falsidade entre pensamento e
referncia, ou de verdade.
Porm, em relao possibilidade do pensamento ser amorfo e
desestruturado, no nos sentimos autorizados, pelos textos de Frege apresentados,
a concordar plenamente com essa definio. Se o pensamento pode ser verdadeiro
ou falso, ento ele um nome complexo do verdadeiro, pois essa a nica forma de
algo referir-se ao verdadeiro, uma vez que o verdadeiro e o falso so objetos para
Frege. Como tal, o pensamento, enquanto nome complexo, deve possuir uma
estrutura bsica, baseada no conceito de saturao. Um pensamento completo,
portanto, teria a forma de uma expresso saturada, com um conceito que delimita os
objetos que caem sob ele e os mesmos presentes na expresso. Nesse sentido, no
podemos afirmar que o pensamento seja amorfo. Todavia, podemos entender que
um pensamento completo, tomado como um nome, possua um sentido mais amplo,
que distinto de suas partes e que, por conseguinte, confira um sentido apropriado
para suas partes quando aparece expresso em uma proposio. , inclusive, o que
recomenda Frege, em Os Fundamentos da Aritmtica:
A impossibilidade de representar o contedo de uma palavra no , pois,
razo para negar-lhe todo significado ou excluir seu uso. A aparncia do
contrrio nasce do fato de considerar-se uma palavra e indagar-se de seu
significado isoladamente, o que leva ento a recorrer a uma representao.
Uma palavra parece assim no ter contedo se lhe falta uma imagem
interna correspondente. Deve-se, porm, atentar sempre a uma proposio
completa. Apenas nela tm as palavras propriamente significado. As
imagens internas que porventura nos venham mente no precisam
corresponder a elementos lgicos do juzo. suficiente que a proposio
como um todo tenha sentido; isto faz com que tambm suas partes ganhem
contedo.77

Concedemos que o pensamento distinto das proposies, pois Frege


afirma que o pensamento aparece na proposio, contido nela, como seu sentido.
Isso significa que uma proposio pode ser temporalmente formulada de diversas
formas, como Kemmerling indica, mas ela ser verdadeira se o pensamento que ela
expressa for verdadeiro, pois ele o sentido da proposio e, como tal, ser sempre
ou verdadeiro ou falso. E, tomando isso em conta, entendemos que o pensamento
76
77

FREGE, G. Sobre o Sentido e a Referncia, pg. 137.


FREGE, G. Os Fundamentos da Aritmtica, pg. 249.

60

no possui a forma de uma proposio, pois ele aparece contido nela, como uma
parte dela. Nesse aspecto, haveria, no pensamento, uma anterioridade a qualquer
gramtica ou linguagem. Concordamos com o argumento sobre o pensamento como
algo unitrio em sua totalidade, como sentido. Afinal, Frege no parece enunciar que
o sentido de uma proposio seja fragmentado em partculas.
Entretanto, dizer que o pensamento seja amorfo ou desestruturado no
parece correto, pois o pensamento se estrutura sobre as leis do pensamento, que
so as leis do ser verdadeiro. E consideramos que, para o pensamento, no
submeter-se a essas leis, implicaria no submeter-se aos critrios das leis do ser
verdadeiro. Nesse caso, nada poderia ser dito sobre o pensamento, e ele tanto
poderia ser verdadeiro como ser falso, sendo, portanto, alvo de critrios posteriores
sua formulao, seja como representao individual, seja por um assentimento
coletivo temporrio, mas sem universalidade assegurada. Mas no isso o que
Frege pressupe acerca do pensamento em Sobre o Sentido e a Referncia. Ao
afirmar que o pensamento encontra-se contido nas proposies, Frege se indaga se
o pensamento corresponde ao sentido ou referncia nas mesmas:
Vamos admitir que a sentena possui uma referncia. Se substituirmos uma
palavra da sentena por uma outra palavra que tenha a mesma referncia,
mas sentido diferente, essa substituio no poder ter nenhuma influncia
sobre a referncia da sentena. Contudo, vemos em tal caso que o
pensamento muda; assim, por exemplo, o pensamento da sentena ''A
estrela da manh um corpo iluminado pelo sol" diferente do da sentena
''A estrela da tarde um corpo iluminado pelo sol". Algum que no
soubesse que a estrela da tarde a estrela da manh poderia sustentar um
pensamento como verdadeiro e o outro como falso. O pensamento, portanto,
no pode ser a referncia da sentena; pelo contrrio, deve ser considerado
como seu sentido.78

O pensamento, portanto, o sentido de qualquer proposio. uma parte


da proposio, responsvel pelo seu sentido. O pensamento no a referncia, mas
aponta para ela, de modo que proposies diferentes podem apresentar
pensamentos diferentes e, portanto, sentidos diferentes de uma mesma referncia.
na relao com a referncia que o pensamento pode ser verdadeiro ou falso.
Como tal, o pensamento segue uma forma lgica, pois, segundo Frege, a estrutura
do pensamento tal que o orienta para o verdadeiro, a partir de sua conexo com a

78

FREGE, G. Sobre o Sentido e a Referncia, pg. 137.

61

referncia. Sem essa conexo, parece que o prprio desenvolvimento do


pensamento torna-se incompleto ou superficial. Frege afirma:
Todo aquele que no admite que um nome tenha uma referncia no lhe
pode atribuir nem negar um predicado. Neste caso, a considerao acerca
da referncia do nome se torna suprflua; j que no se quer ir alm do
pensamento, poder-se-ia contentar-se com o sentido. Se tudo quanto
importa fosse apenas o sentido da sentena, fosse apenas o pensamento,
ento seria desnecessrio preocupar-se com a referncia de uma parte da
sentena; pois para o sentido da sentena somente importa o sentido desta
parte, e no a referncia desta parte [da sentena].79

Depreende-se dessa passagem que o pensamento possui uma estrutura


que o direciona para a referncia, pois, sem a relao com o referente, nenhum
predicado pode ser atribudo ou negado, alm do que a expresso contentar-se com
o sentido alude ao fato de que somente em casos especiais nos contentaramos
apenas com o sentido em uma sentena. O pensamento, embora no seja em si
mesmo verdadeiro ou falso, possui uma estrutura lgica que nos permite, em uma
sentena, conect-lo com a referncia, de modo a determinarmos o valor de verdade
da prpria proposio e, em contrapartida, do sentido presente naquela proposio.
Como esse valor de verdade determinado ainda no foi claramente elucidado, mas
Haddock deixa claro que o sentido de uma sentena o sentido de um nome, seja
um nome prprio, seja um termo conceitual. aos nomes que o sentido se liga para
apresentar a referncia. O prprio sentido, como Frege expressou, no consiste nos
nomes, mas sim se apresenta junto aos nomes. O pensamento, portanto, no nem
o conjunto de nomes que aparece na proposio e nem as referncias que esses
nomes designam.
Conclumos, do que foi exposto, que o pensamento no se encontra sujeito
meramente s estruturas gramaticais da linguagem, mas que tambm no amorfo.
O pensamento possui uma estrutura, mas que anterior estrutura proposicional.
Essa estrutura proposicional a estrutura que formamos no ato do juzo,
precisamente para asserirmos que um pensamento verdadeiro. Se a forma do
pensamento no necessariamente a da proposio, isso, por outro lado, no o
torna amorfo, pois ele ainda se submete s leis do ser verdadeiro, ou s leis da
razo. Portanto, o pensamento possui, originalmente, uma forma lgica e analtica. E
por esse motivo que o pensamento possui uma conexo com a linguagem.
79

Idem, pg. 138.

62

Havamos nos indagado, de incio, quais so as condies e os critrios para


que um pensamento seja considerado o verdadeiro, j que a verdade por
correspondncia encontrava-se excluda do instrumental fregiano. Mas, descobrir
como ocorre essa identificao nos levou a investigar como o pensamento se
articula na filosofia de Frege. Encontramos trs propostas acerca de como o
pensamento pode ser abordado para encontrarmos a equivalncia de um
pensamento com o verdadeiro, e isso nos conduziu a interpretar o pensamento
como um nome complexo que um sentido do verdadeiro. Mas esse sentido,
conforme vimos com Haddock, aparece na proposio dividido em duas formas, o
sentido dos nomes prprios e o sentido dos termos conceituais. Prosseguiremos,
portanto, na anlise desses termos e nomes que designam as estruturas lgicas de
conceito e objeto, com o intuito de lanarmos luz sobre como pode ocorrer a
conexo entre sentido e referncia, para que fique justificada a expresso de Frege
de que somente acerca do pensamento podemos falar sobre verdade.

Referncia e Nomes Prprios

A questo que finalizamos a seo anterior, com o intudo de investigarmos


como um pensamento pode ser dito como verdadeiro, como o pensamento se
articula com a referncia? O ponto crucial dessa conexo estaria na prpria
linguagem. De acordo com Leila Haaparanta (2011)80, Frege confiava plenamente na
inefabilidade semntica em relao ao universo:
Isto significa que ele no pensava ser possvel para ns nos colocar fora
dos limites da linguagem para ento considerar a relao entre linguagem e
mundo, porque, na sua viso, toda fala j pressupe esta relao
semntica.81

A relao semntica entre linguagem e mundo implica, de certa maneira, em


uma ontologia fregiana, que muitos consideram uma espcie de platonismo. A
investigao que faremos sobre essa relao visa demonstrar que tal conexo no
se trata especificamente de um platonismo, pois no pressupe uma metafsica no
sentido platnico, mas sim uma ontologia de implicaes lgicas que lana luz sobre
80
81

HAAPARANTA, L.; Sobre a Existncia em Frege, in Antologia, 2011.


Idem, pg. 322

63

o que significa, para Frege, uma referncia, e de que modo essa referncia, bem
como os sentidos a ela conectados, possuem existncia ou realidade. Outro ponto
importante ressaltado por Haaparanta que, para Frege, a linguagem est
semanticamente ligada a um nico universo, e essa viso ter profunda influncia
em algumas teorias de Frege. Segundo a autora:
[...] ele (Frege) est comprometido com a concepo de que h somente um
mundo e que sua notao conceitual uma linguagem universal que fala
sobre este mundo. Ele nem mesmo divide o seu universo em vrios tipos.
Isto indicado por seu princpio de completude (Grundsatz der
Vollstndigkeit), de acordo com o qual qualquer funo deve ser definida
para todos os objetos (GGA II, 56-65). Devido a sua concepo de um
nico universo, ele conclui que o conceito de ser no uma determinao
de um objeto, isto , tal conceito no nos ajuda a distinguir entre quaisquer
dois objetos (NS, p73)82

Uma vez expresso dessa forma, devemos considerar que toda sentena
ser uma sentena cujo contedo semntico ser um contedo acerca do universo,
desde que tais sentenas possuam uma referncia. Uma sentena que no possua
uma referncia no pode sequer ser considerada verdadeira ou falsa. Ela no possui
valor de verdade, pois no possui nenhuma referncia. O porqu de toda sentena
referir-se a uma certa referncia, e o motivo de, em todo juzo, ocorrer
necessariamente a passagem do sentido para a referncia em uma estrutura
assertiva so pontos relacionados concepo fregiana de existncia, conforme
veremos a seguir.
Segundo Haddock (2006)83, a referncia de todo nome prprio sempre um
objeto. E sempre que uma sentena possui um objeto como referncia, essa
sentena ou expresso considerada por Frege como sendo um nome prprio.
Entender, portanto, o que vem a ser um objeto nos leva a compreender o que
significa ser um referente para uma sentena.
Ainda que, de acordo com Haddock (2006) no seja claro o que vem a ser
um objeto, sabemos, desde a Conceitografia, que ele denotado por um nome
prprio. O objeto, portanto, aparece para ns por meio de um nome prprio (na
acepo em que Frege toma os nomes prprios). Haddock ainda afirma que os
nomes prprios no so a nica coisa que compe uma assero:

82
83

Ibidem, pg. 325.


HADDOCK, G.E.R; A Critical Introduction To The Philosophy of Gottlob Frege.

64

Existe outro constituinte das asseres que essencialmente diferente dos


nomes prprios, a saber, o que Frege denomina Begriffswrter, e eu
traduzirei literalmente como palavras conceituais. Para Frege, cada
sentena assertiva simples (isto , cada afirmao) pode ser decomposta
em uma palavra conceitual e um nome prprio. Essa decomposio no
nica, todavia, uma vez que sentenas assertivas simples comumente
admitem vrias decomposies em uma palavra conceitual e um ou dois
nomes prprios.84

Nomes prprios denotam objetos, e palavras conceituais denotam conceitos.


Qual a relao entre conceito e objeto e sua subsequente concatenao com os
termos sentido e referncia? Vale ressaltar tambm, que, no modo como acima
descrevemos, conceito e objeto correspondem funo e argumento. De fato,
conceito um tipo especfico de funo, conforme veremos adiante.
Em Sobre o Sentido e a Referncia, Frege estabeleceu que os nomes
prprios, em toda sua extenso, possuem sentido e referncia (embora alguns
nomes prprios possuam apenas sentido, mas pressupostamente apelam para uma
referncia fictcia). Em Digresses Sobre o Sentido e a Referncia, manuscrito
que foi publicado postumamente, Frege estende essa distino para as palavras
conceituais, de modo que tambm estas possuem sentido e referncia.
Segundo Frege:
Em um artigo (Sobre Sentido e a Referncia) distingui sentido (Sinn) de
referncia (Bedeutung) apenas para os nomes prprios (ou, caso se queira,
para indivduos). Essa mesma distino pode ser feita tambm para os
termos conceituais.85

Dessa forma, tanto objetos como conceitos passam a se articular de uma


forma similar, como se segue pelo diagrama abaixo:
Figura 2 - Relao entre Objeto e Conceito referente aos sentidos e nomes.

A escala acima demonstra que cada sentido possui muitos nomes


prprios ou palavras conceituais que o denotam, e que a referncia possui muitos
sentidos que correspondem a ela. Isso significa que a referncia sempre ser
denotada por um nmero extenso de nomes.
84
85

Idem, pg. 69.


FREGE, G. Digresses sobre Sentido e Referncia, in: Lgica e Filosofia da Linguagem, pg. 159.

65

Frege nos alerta, nesse mesmo artigo, de um erro comum no qual


costumamos atribuir o sentido de uma sentena ao conceito e a referncia da
mesma ao objeto. Porm, tanto conceito como objeto possuem sentido e referncia.
Frege afirma: A cada termo conceitual e a cada nome prprio corresponde, em
regra, um sentido e uma referncia, na acepo em que emprego esses termos.86
Portanto, o grfico acima tanto denota uma escala de conjuntos (o conjunto
das referncias contm o conjunto de sentidos dessas referncias, e o conjunto
desses sentidos contm o conjunto de nomes prprios ou termos conceituais que o
expressam), como abre espao para uma conotao ontolgica que parece haver na
conexo entre os nomes prprios e os objetos, valendo o mesmo para os termos
conceituais e conceitos.
Essa conexo cria um paralelo entre a formao das sentenas e a
formao do pensamento, com a diferena que, como vimos, o pensamento surge
como um todo que possui em seu ncleo uma srie de conexes entre sentidos dos
nomes prprios e dos termos conceituais, enquanto que a sentena, por pertencer
linguagem, formada originalmente das partes constituintes para o todo.
Assim, a formao das sentenas, segundo Haddock, seguir de perto a
formao do pensamento, com todas suas implicaes ontolgicas:
No lado sinttico, termos conceituais e nomes prprios combinam para
formar asseres. Similarmente, os sentidos dos termos conceituais
combinam com os sentidos dos nomes prprios para formar os sentidos das
asseres. No lado ontolgico, os referentes dos nomes prprios, isto ,
objetos, combinam com os referentes dos termos conceituais, ou seja,
conceitos, para formar os referentes das asseres correspondentes. Assim,
o sentido de uma assero ser determinado pelos sentidos de suas partes
constituintes, e o referente de uma assero ser determinado pelos
referentes de suas partes constituintes.87

A determinao, nesse caso, indica que tanto a referncia como o sentido


expressos em uma assero so como um conjunto que contm sentidos e
referncias como partes constituintes, ligados por uma conexo ontolgica entre
nomes prprios/palavras conceituais a sentidos, e estes s referncias.
Essa conexo ontolgica, no entanto, no deixa de ser uma conexo lgica,
segundo uma sugesto de Frege em carta a Russell, conforme vemos abaixo:

86
87

FREGE, G. Op. Cit. Pg. 159.


HADDOCK, G. E. Op. Cit., pg. 70.

66

decomposio da assero corresponde uma decomposio do


pensamento, e a essa tambm algo na regio dos referentes, e eu quero chamar
isso um fato lgico original.88
Mais uma vez, temos uma conexo entre a linguagem, o pensamento e a
regio das referncias como intrinsecamente correlacionados. De certa maneira,
temos uma interdependncia, na qual a decomposio de uma assero se segue
de uma decomposio do pensamento, mas tambm uma decomposio da
referncia, e tais cadeias de decomposies parecem ser simultneas, pois so
correspondentes e constituem, segundo Frege, um fato lgico original.
Isso nos sugere que o pensamento, a assero e a referncia encontram-se
ontologicamente conectados, e os fios de sua conexo no seriam outra coisa que
uma conexo lgica imanente.
No devemos considerar, no entanto, que essa conexo se d como uma
espcie de sntese kantiana que une ideias no ato de julgar. De acordo com
Greimann (2007)89, essa viso dos contemporneos de Frege no era partilhada
pelo autor que, assumindo caminho inverso, assume o caminho da relao e no da
sntese:
Ele assume que a unidade de um pensamento no constituda pelo ato de
sntese, mas por um mecanismo que ele chama saturao. Essa metfora
encapsula a ideia que a parte componente predicativa de um juzo o
conceito - une a si mesma com a parte componente no-predicativa o
objeto para formar um contedo judicvel, sem que haja qualquer ato
psicolgico constituindo a unidade.90

Conceito e objeto so os dois pontos cruciais nos quais as sentenas se


orientaro, em sua formao, e a base dessa conexo lgica. Por isso, cabe-nos, a
partir daqui, aprofundarmos na concepo de Frege sobre conceito e objeto e
investigarmos acerca de como eles se constituem como unidades lgicas
indefinveis.

Conceito e Objeto na Conexo Lgica entre Linguagem e


Mundo
88

Apud Haddock, G.E. pg. 70.


GREIMANN, D. Did Frege Really Consider Truth As An Object?, in: Essays on Freges Conception of
Truth, 2007, pg. 125.
90
Idem, pg. 127.
89

67

Conceito e objeto, na concepo de Frege, so espcies de unidades


lgicas simples, indivisveis e indefinveis. Conceitos so um tipo especial de Funo.
, portanto, da definio tomada da Anlise que Frege derivar sua definio de
conceito. Retomaremos alguns pontos j abordados no primeiro captulo para
definirmos melhor o uso de conceito e objeto como referncias, para Frege.
Em Funo e Conceito (1891), Frege estabelece as relaes entre a
funo matemtica e argumentos. Toda funo corresponde a uma expresso
incompleta, insaturada, que requer um complemento para se tornar completa. Uma
funo , antes de tudo, dinmica. Conforme Sluga (1980), uma funo no uma
entidade inerte: ela conecta e correlaciona.91
O que completa cada funo , por sua vez, um argumento, um elemento
que, por sua natureza, completo e saturado e que cai sob uma funo. Frege
diferencia a funo do nmero. O nmero algo completo em si mesmo, enquanto
que a funo incompleta, ela sempre possui espaos vazios. Sua natureza,
portanto, a de solicitar um nmero para se tornar completa. Esse nmero o
argumento.
De acordo com Frege:
Importa mostrar que o argumento no parte da funo, mas que compe
juntamente com a funo um todo completo. A funo, por si s, dita
incompleta, necessitada de complementao ou insaturada. aqui que as
funes diferem essencialmente dos nmeros.92

No devemos, portanto, confundir as duas instncias, funo e argumento,


em uma expresso numrica, embora s vezes as expresses tenham de ser
escrutinadas, decompostas, para que possamos identificar suas partes constituintes.
Para reconhecer a funo declara Frege necessrio decompor a expresso
onde ela ocorre, e a possibilidade de tal decomposio sugerida pela estrutura
mesma da expresso.93

91
92
93

SLUGA, Hans; pg. 141.


FREGE, G. Funo e Conceito, in: Lgica e Filosofia da Linguagem, pg. 86.
Idem.

68

O que acontece nas expresses matemticas ocorre tambm nas sentenas.


Estas so compostas por partes insaturadas e por partes saturadas, que se unem a
estas para gerar uma assero completa. A parte insaturada de uma sentena
corresponde funo da sentena. Um conceito ser um tipo especfico de funo,
pois seus argumentos sero valores de verdade.
A passagem de uma funo para um conceito tem alguns passos seguidos
por Frege em seu artigo. Uma funo torna-se completa quando o elemento x, que
um indicativo indefinido, complementado por um argumento. A sequncia de
argumentos que caem sob a funo geram valores que, quando colocados em um
grfico, por exemplo, apresentaro um percurso que, como tal, corresponde a um
percurso de valor. Esse percurso de valor, por fazer referncias a funes saturadas
por seus argumentos, pode ser igualado a outras funes cujos percursos sejam
idnticos funo com as quais se compara.
Todavia, quando Frege introduz elementos como igualdade e proporo
como maior que e menor que (=, > e <) e outros sinais, como positivo e negativo (+ e
-), o percurso de valor obtido entre as funes possuir, em acrscimo, valores de
verdade.
a partir desses valores de verdade que Frege atinge a concepo formal
de conceito, pois diante de uma funo como x2 = 1, existem dois valores de
verdade que lhe cabem: o ser verdadeiro ou o ser falso. Diante de argumentos
determinados pelos sinais circunscritos acima, encontraramos o caso, conforme
descrito por Frege:
Se para um argumento determinado, por exemplo -1, o valor da funo for o
verdadeiro, podemos express-lo como se segue: o nmero -1 tem a
propriedade de que seu quadrado 1, ou mais concisamente: -1 uma
raiz quadrada de 1 ou -1 cai sob o conceito de raiz quadrada de 1. 94

Todavia, continuando o percurso de valor, encontraremos outros valores que,


ao completarem a funo, tero como valor de verdade o ser falso:

94

FREGE, Funo e Conceito, in: Lgica e Filosofia da Linguagem, 2009, pg. 94.

69

Se o valor da funo x2 = 1 for o falso, para um argumento, por exemplo, 2,


podemos express-lo como se segue: 2 no a raiz quadrada de 1 ou 2 no cai
sob o conceito de raiz quadrada de 1.95
Por essas passagens, vemos que, a partir da funo e dos argumentos que
caram sob a funo, possvel identificarmos uma grande similaridade entre a
formulao matemtica e a formulao lgica, o que, por sua vez, nos remete ao
conceito, conforme Frege afirma:
Vemos assim quo estreitamente ligado est o que se chama, em lgica, de
conceito com o que chamamos de funo. Com efeito, pode-se dizer
imediatamente: um conceito uma funo cujo valor sempre um valor de
verdade.96

A parte saturada implica no objeto desta, que ser expresso por um nome
prprio, designador de um objeto, que tem as mesmas propriedades do argumento
matemtico. Frege, na realidade, coloca o termo objeto como o termo geral que
representa tudo o que no funo, ou seja, tudo o que no incompleto:
Vamos agora empreender a extenso [do termo funo] na outra direo, a
saber, ampliando o domnio dos possveis argumentos. No apenas
nmeros, mas objetos em geral, so agora admissveis, e aqui tambm
pessoas devem ser contadas entre os objetos. Os dois valores de verdade
j introduzidos so tambm possveis valores de uma funo. Devemos ir
ainda mais adiante e admitir [quaisquer] objetos, sem restrio, como
valores de funo.97

Assim, Scrates o nome de um objeto, pois completo e no carece de


complemento, assim como o numeral um (1) tambm um objeto. A concepo de
objeto e de funo deixa claro que, embora o objeto venha a ser referncia de todo
nome que o designe, de modo algum o objeto possui uma acepo emprica, mas
sim lgica: Objeto tudo o que no funo, tudo aquilo cuja expresso no
contm lugar vazio.98
Esse mesmo lugar vazio do conceito o que determina sua predicatividade.
O trao distintivo do conceito em relao ao objeto sempre em relao ao fato de
que a natureza do conceito, na sentena, ser predicativo, pelo fato de possuir
lugares vazios no nome.
95
96
97
98

Idem.
Idem.
Op. Cit., pgs. 95 96.
Idem, pg. 96.

70

Em nota sobre essa questo Frege expressa:


O que denomino aqui de natureza predicativa do conceito apenas um
caso especial da necessidade de complementao ou insaturao, que, em
meu artigo Funo e Conceito, apresentei como uma caracterstica
essencial da funo.99

Essa caracterstica essencial aparece mesmo quando o conceito posto


como sujeito, em proposies como: Todos os mamferos tm sangue vermelho.
Essa proposio no nos apresenta, de imediato, um objeto determinado.
Abordando-a sob outros aspectos, encontraramos uma formulao do tipo: se x
mamfero, ento x tem sangue vermelho. Em tal caso, evidencia-se o carter
predicativo de mamfero e, onde antes aparecia a palavra todos, identificamos a
insaturao do conceito, que revela a indicao indefinida de objetos que, por sua
vez, resultariam na extenso do conceito. Isso leva Frege a afirmar: O
comportamento do conceito essencialmente predicativo, mesmo onde se predica
algo dele.100
Conceito e objeto mantm, continuamente, sua distino. No se trata,
conforme Frege alerta, de serem apenas posies que os termos podem assumir em
uma proposio, ora como objeto, ora como conceito. Conceitos e objetos ocupam
espao na formao do pensamento. Funes, conceitos e relaes possuem
lacunas, nexos que indicam que seus sentidos so insaturados. na medida em
que so completados que adquirem sentido fechado e, somente a, tornam-se
pensamentos.
Porm, o ser verdadeiro e o ser falso, enquanto valores de verdade,
pertencem ao que Frege denomina objetos e, portanto, no podem ser lanados
para o estatuto de conceitos. Logo, no so insaturados e nem podem ser
predicados sobre nada. Conforme Dummett (1973), no podem, meramente falando,
ser propriedade, pois a propriedade s diz respeito predicao de um conceito
sobre um objeto, mas to somente referentes das expresses101.

99
100
101

FREGE, Gottlob, in: Lgica e Filosofia da Linguagem, pg. 117, nota 19.
Idem, pg. 121.
DUMMETT, Michael. 1973, Pg. 401.

71

Dado esse fato, um conceito nunca pode possuir um nome prprio, assim
como um objeto nunca pode ser predicativo, nem tampouco possuir um termo
conceitual. Esse o problema que Frege traz tona na questo com Benno Kerry.
A questo colocada se um conceito capaz de ser tambm um objeto. As
consequncias de tal afirmao recaem sobre as caractersticas do conceito e do
objeto. Se o ser verdadeiro, por exemplo, definido em Funo e Conceito como
objeto, for capaz de tornar-se conceito, ele tambm se tornaria insaturado, e
necessitaria de algo que o completasse. A justificativa de Benno Kerry, que insistia
nesse ponto, era a de que conceitos como cavalo poderiam assumir a posio de
objetos nas proposies, como em o conceito cavalo um conceito de fcil
apreenso. Nesse aspecto, cavalo seria um objeto, enquanto que um conceito de
fcil apreenso seria um conceito que predica algo sobre esse objeto.
A distino feita por Frege afirma que, nesse caso, o uso de o conceito
cavalo jamais se constituiu em um conceito, mas sim, desde seu incio, em um
nome prprio. O carter distintivo entre conceito e objeto, quando apresentado nas
proposies, indicado atravs do uso dos artigos. Quando o artigo definido
singular (o, a), aponta para um objeto, uma referncia, e quando indefinido (um,
uma), incide sobre um conceito. Ademais, conforme Sluga (1980), a distino entre
funo e objeto reside nas caractersticas completo e incompleto, sem os quais no
poderamos formar expresses complexas.102
O mesmo ocorre na expresso: O conceito cavalo um conceito. Uma vez
que o termo singular o conceito cavalo no possui nenhum carter predicativo, ele
no pode ser um conceito, mas sim um nome prprio. Essa possvel simetria entre
conceito e objeto, no uso da linguagem, leva Frege a buscar ainda uma distino
sinttica diferente. Segundo Greimann:
Por causa dessa simetria, possvel, no sistema de Frege, caracterizar as
categorias lgicas de objeto e conceito como se segue: um objeto
qualquer entidade que pode ser referida por um nome prprio e um conceito
qualquer entidade que pode ser referida por um predicado. Frege est bem
ciente da paradoxal consequncia que essa concepo tem. Ela ilustrada
por seu paradoxo do conceito cavalo, como comumente chamado. O
paradoxo que uma sentena aparentemente falsa como O conceito
cavalo no um conceito, com a forma O F no um F, tem que ser

102

SLUGA, Hans. 1980, pg. 140.

72

verdadeira, porque o referente do nome prprio o conceito cavalo tem que


ser um objeto, no um conceito.103

Apesar de todos esses apontamentos, Frege insiste que uma definio de


conceito (ou de objeto), talvez no seja possvel. No debate com Kerry referido por
Frege em Sobre Conceito e Objeto, a crtica recai sobre a suposta definio de
Frege acerca do termo conceito. De imediato, Frege refuta a crtica alegando no
estabelecer uma definio de conceito:
Kerry impugna o que ele denomina de minha definio de "conceito". Antes
de mais nada, gostaria de observar que minha explicao no deve ser
tomada como uma definio propriamente dita. No se pode exigir que tudo
seja definido, da mesma maneira que no se pode exigir do qumico que
decomponha todas as substncias. O que simples no pode ser
decomposto, e o que logicamente simples no pode ter uma definio
propriamente dita.104

Se no possvel lanar mo de uma definio para falar de unidades


lgicas simples, como as funes, os conceitos e objetos, ento como possvel
compreender cada uma delas? Segundo Frege, a prpria simplicidade do conceito
no dada de antemo, de modo que somente o trabalho cientfico pode chegar a
essa concluso, ao menos temporariamente. Todavia, ainda que no se possa partir
de uma definio para determinar o nome de algo logicamente simples, possvel
comunicar suas caractersticas por meio de sugestes:
Ao se descobrir algo que simples, ou que, pelo menos por enquanto, deva
ser tomado como simples, deve-se forjar-lhe uma denominao, j que a
linguagem no contm originalmente uma expresso que lhe corresponda
exatamente. Mas no possvel recorrer a uma definio para introduzir o
nome do que logicamente simples. Para isto, s resta levar o leitor ou o
ouvinte, por meio de sugestes, a entender o que se quer dizer com essa
palavra.105

Assim, podemos observar que conceito e objeto, para Frege, se configuram


em unidades lgicas bsicas, inanalisveis, indefinveis. Tudo que consiste de
realidade se expressar como argumento ou como funo e, em toda proposio
assertiva, se expressaro como objeto ou conceito, possuindo um valor de verdade,
que objeto: o verdadeiro ou o falso.

103
104
105

GREIMANN, D. Op. Cit., pg. 129.


FREGE, G. Sobre Conceito e Objeto, Op. Cit. Pg. 112.
Idem.

73

Considerando a incomutabilidade entre conceito e objeto, podemos nos


indagar como possvel que o conceito seja referncia dos termos conceituais
assim como os objetos so referncias dos nomes prprios. Sendo insaturados, a
natureza dos conceitos serem predicativos e, como tal, possuem espaos vazios
at que objetos que caiam sob esses conceitos os tornem completos. Nesse caso,
todavia, teremos uma sentena que se torna nome prprio de um objeto, o valor de
verdade o verdadeiro ou o falso.
A importncia da distino to aguda que toda a linguagem, ao fazer
meno a um conceito, o faz de modo incorreto, pois ao dizer o conceito de tringulo
equiltero, embora possamos pressupor que se trata de um conceito, a abordagem
carece do elemento predicativo. A forma da linguagem no nos permite distinguir
onde est o conceito em seu carter predicativo e onde est o objeto. Assim, da
mesma forma que Frege nos recomendou acima a decompormos uma expresso
matemtica, a fim de identificarmos o que funo e o que argumento, cabe, na
linguagem, realizarmos a mesma decomposio para encontrarmos as relaes
nucleares das sentenas, articuladas entre objetos e conceitos. De nada nos vale,
nesse caso, fazermos uso da distino tradicional entre sujeito e predicado, pois
muitas vezes um conceito pode assumir a posio de sujeito e o objeto pode parecer
ser predicado, apenas confundindo mais nossa ao de distinguir objeto de conceito.
Segundo Frege:
Nomes prprios nunca podem ser propriamente empregados como
predicados. Mesmo nos casos em que primeira vista assim parea ser, um
exame atento mostrar que, do ponto de vista do sentido, eles so apenas
uma parte do predicado: os conceitos no podem ter entre si as mesmas
relaes que os objetos. Imagin-las como tendo essas relaes no seria
falso, mas impossvel.106

O que Frege enuncia nessa passagem que, ao tomarmos um nome prprio,


que designa um objeto saturado, e o consider-lo como um predicado, essa posio
na sentena certamente est disfarada por sua incluso sob um conceito, ou seja,
o nome prprio est aparecendo como parte complementar da caracterstica
predicativa do conceito, parte do predicado, mas no ele (o nome prprio) que
est predicando. como tomarmos uma funo completa com seus argumentos e
dizermos que os argumentos fazem parte da funo. Para Frege, tomar as relaes
106

FREGE, G.; Digresses sobre Sentido e referncia, in: Lgica e Filosofia da Linguagem, pg. 162.

74

dos conceitos e aplic-las aos objetos, e vice-versa, no apenas falso, mas


impossvel. Essa impossibilidade que Frege destaca, defendemos que seja uma
impossibilidade lgica.
A distino que Frege estabelece entre predicado de primeira ordem e
predicado de segunda ordem fundamentalmente importante na demonstrao
dessa impossibilidade lgica, pois essa distino que nos permitir decompor uma
proposio e, como passo essencial, encontrarmos as relaes da proposio com o
verdadeiro. E nessa distino entre predicados que encontraremos o quantificador
existencial como fundamental para a validao de conceitos. Da mesma forma,
poderemos compreender a relao dos valores de verdade com a existncia.
Partimos, em nossa questo de saber como um pensamento pode ser
considerado verdadeiro, para uma anlise do pensamento em Frege, e conclumos
que o pensamento o sentido de uma assero. Como tal, o sentido aparece ligado
aos nomes prprios e aos termos conceituais presentes nas proposies. Surgiu,
ento, a questo de saber qual a conexo entre o pensamento, cujo sentido se
expressa na linguagem, e a referncia, que determinaria a verdade e a falsidade de
um pensamento. Em tal empreitada, observamos que os termos conceituais e
nomes prprios designam conceitos e objetos, ambos entidades lgicas simples.
So essas entidades que constituem as referncias designadas pelos nomes e
termos da linguagem e que so apresentadas de certo modo pelo pensamento
contido nas sentenas. Para que a conexo entre eles no seja arbitrria e
possamos falar em termos de verdadeiro e falso, conclumos que uma conexo
ontolgica e lgica ocorre entre o mundo dos sentidos e pensamentos, o mundo da
linguagem e o mundo das referncias. E, por fim, observamos que as regras da
lgica que se aplicam nas proposies que expressam e conectam sentidos e
referncias por meio da linguagem so estruturadas pelo contexto de saturao e
insaturao. A partir dessas regras, conexes de primeiro e segundo nveis entre
conceitos e objetos delineiam o modo como um pensamento pode ser considerado o
verdadeiro ou o falso.
Mas ainda nos resta determinar a implicao ontolgica do verdadeiro para o
pensamento, de modo a afigura-lo como conhecimento analtico e, igualmente, como
um fato lgico.

75

3. O VERDADEIRO: LGICO E ONTOLGICO


Criar um campo para o verdadeiro parece ter sido o trabalho de Frege,
principalmente em seus textos ps 1890. Uma construo que principiou com o
alicerce do campo da objetividade. A distino entre campo objetivo e subjetivo foi
fundamental para justificar a concepo de dois tipos de pensamento, o pensamento
objetivo, que, assim como as leis da lgica, so analticos e a priori, e o pensamento
subjetivo, o nosso pensar, um pensamento individualizado, sinttico e que tanto
pode ser a priori quanto a posteriori. A mesma distino de campos nos permite
distanciar a concepo de referncia dos elementos empricos. As referncias dos
nomes, dos sentidos e dos pensamentos so o que justificam esses mesmos
elementos. a partir da referncia que a concepo de verdade de Frege comea a
se delinear. Mas essa referncia, que nos permite compreender as leis do ser
verdadeiro, est no campo objetivo no efetivo, e, portanto, no pertence
experincia e nem por isso torna-se fico. O campo objetivo no efetivo pode ser
entendido como o campo lgico, ou o campo do conhecimento analtico. Porm,
sentido e referncia so denominaes que sinalizam para nomenclaturas lgicas

76

mais simples, e se formam a partir da contnua e permanente interao delas:


conceitos e objetos.
Objetos particulares (empricos) so nomeados. Seus nomes prprios so
definies que esto para alm do emprico, sendo j objetos da linguagem, e
podem ser definidas ou categorizadas dentro da lgica. Objetos lgicos so
designados por seus nomes. O pensamento que temos acerca de um objeto lgico
em relao a um conceito ou outro objeto lgico sempre o sentido de uma
referncia, um modo de ser dessa referncia. Como as relaes entre conceito e
objeto mudam de acordo com as proposies, o sentido de cada nome ou termo de
uma proposio s ter significado ou valor de verdade quando colocados em
contexto. Ainda assim, esse contexto no de mbito emprico ou psicolgico, mas
sim lgico, analtico, e seu valor de verdade e seu pensamento sero sempre dados
e analticos. Um pensamento subjetivo, um ato de pensar sobre certas condies e
contextos, deve, com o tempo e com os devidos ajustes, chegar at um pensamento
completo, dotado de valor de verdade. Mas tambm pode, a meio do caminho,
tornar-se um pensamento impreciso.
Nesse terceiro captulo, veremos como, a partir dos fundamentos erigidos
por Frege, a concepo de verdade surge e atua. Em nossa abordagem, traaremos
um caminho no qual passamos do sentido para a referncia, primeiramente
estudando os juzos na concepo fregiana, e sua relao com o conceito de
existncia, que fundamentam a base ontolgica do pensamento do autor.
Finalizaremos com a comparao dessa ontologia dinmica de Frege com o
argumento do platonismo fregiano, e buscaremos responder questo inicialmente
proposta acerca do que vem a ser a verdade de Frege, uma vez desconectada da
interpretao filosfica tradicional.

3.1 A Generalidade Quantificacional


Pelo que observamos at aqui, a trajetria de Frege nos levou de uma
dvida originria de seu logicismo, a de saber o que vem a ser a verdade, se ela no
a verdade da correspondncia entre linguagem e mundo, para uma reviso lgica
da estrutura do pensamento na concepo fregiana.

77

A abordagem de Frege realizou um ataque aos principais representantes da


lgica clssica e da lgica moderna. De um lado, Frege contesta o uso feito por
Aristteles da estrutura lgica da proposio fundamentada na relao sujeitopredicado. Como j vimos tanto no captulo um como no captulo dois, Frege no
atribui forma do silogismo a estrutura de linguagem que nos permite chegar
verdade. Primeiramente, o silogismo, embora conduza a um jogo interno dentro de
suas proposies nas quais seja possvel, necessariamente, depreender uma
concluso de suas premissas, ele falha em representar de modo mais fiel o
pensamento. E falha porque o silogismo no apreende toda a estrutura do
pensamento objetivo. O que o silogismo apreende, em muitos casos, apenas a
relao sujeito/predicado, mas isso no implica na compreenso completa da
sentena ou do pensamento. O que estamos dizendo no desmerece todo o crdito
obtido pelo silogismo aristotlico. A complexidade da linguagem e de suas relaes
fundamental para a lgica, mas o que Frege sugere que a estrutura do
pensamento mais ampla e complexa do que a estrutura da linguagem.
A crtica de Frege estrutura de sujeito e predicado inicia-se j na
Conceitografia, mas se estende por toda a obra de Frege. Em Digresses sobre o
Sentido e a Referncia, Frege salienta que de nada adianta utilizarmos a distino
sujeito/predicado para compreendermos as relaes criadas em um pensamento,
pois essa distino no compreende a dimenso de saturabilidade do pensamento e,
por esse motivo, carrega consigo a ambiguidade inerente linguagem.
Nesse artigo, Frege indica que, gramaticalmente, conceito e objeto podem
assumir, em uma sentena, tanto o papel de sujeito como de predicado. Isso no
significa, no entanto, que as relaes entre eles sero as mesmas quando ambos
forem sujeitos ou predicados. Citamos Frege:
(...) as palavras "relao do sujeito para com o predicado" designam duas
relaes totalmente diversas, conforme o sujeito seja um objeto ou um
conceito. Assim sendo, o melhor seria eliminar totalmente da lgica as
palavras "sujeito" e "predicado", posto que elas nos levam continuamente a
confundir duas relaes radicalmente diferentes: a de cair um objeto sob um
conceito e a de subordinar um conceito a outro conceito.107

107

FREGE, G. Digresses sobre Sentido e Referncia, pg. 162.

78

A relao apontada por Frege alude chamada relao de primeiro e de


segundo nvel, conforme abordaremos mais adiante.
A crtica de Frege a Benno Kerry, em Sobre o Conceito e o Objeto deve-se
ao mesmo motivo. Para Kerry, intercambivel a relao entre conceito e objeto
pois,

na

verdade,

Kerry

estava

analisando

conceito/objeto

pela

estrutura

sujeito/predicado. Ao fazer isso Kerry cometia o equvoco de no abordar a relao


de saturao, relao essa de natureza ontolgica entre conceito e objeto. Como
vimos anteriormente, a natureza do conceito ser insaturada, aberta, aguardando
ser completada. Ela predicativa em um sentido mais amplo e estrutural do que o
previsto pela relao sujeito/predicado. Nessa relao, podemos colocar uma
sentena na voz passiva e, pela disposio sujeito/predicado, os elementos da
proposio se invertem, sujeito tornando-se predicado e vice-versa. Na distino de
Frege, isso no ocorre, pois o "vazio no nome" relativo ao conceito permanece,
independente da posio em que ele ocupar na proposio. Da mesma forma, o
nome que designa o objeto sempre ser logicamente saturado, e no poder ser
intercambivel com o conceito, mesmo que em uma proposio este ocupe a
posio formal de um predicado. Dessa forma, a lgica clssica no teria, na
abordagem de Frege, sado da superfcie da linguagem.
Feitas essas consideraes, a verdade encontrada na lgica construda
sobre a estrutura de sujeito/predicado no pode ser a verdade procurada por Frege.
Segundo Thomas Ricketts (2010), a abordagem da lgica clssica, a do silogismo,
pode tambm ser chamada de silogismo categorial. Esse tipo de raciocnio abre um
horizonte de permutas e possibilidades que encantou os lgicos at Kant, mas que
ocultou muitas coisas importantes, como uma cortina de fumaa dentro da prpria
linguagem, mascarando a realidade das relaes lgicas que a fundamenta. A
principal relao ocultada a da primazia da generalidade sobre a particularidade.
De acordo com Ricketts:
A lgica tradicional, cega pela distino sujeito-predicado, atribui uma
posio privilegiada para os juzos categricos e, consequentemente,
deturpa a inferncia do geral para o especfico, como uma questo de
incluso-de-conceito.108

108

RICKETTS, T. Concepts, Objects and the Context Principle, pg. 153.

79

Nesse captulo, abordaremos essa viso, mostrando como, a partir da


generalidade, compreendemos o princpio do contexto de Frege, e como a verdade
se descortina no interior da filosofia fregiana como fundamental para a existncia e
identidade.
Como j abordamos anteriormente, para Frege, o entendimento das
palavras se d pelo contexto da proposio. Um termo, tomado isoladamente, no
pode ser compreendido em toda sua possibilidade, pois cada termo s revela sua
amplitude quando colocado dentro de um conjunto de outros termos que, arranjados
de certa forma, expressam um sentido mais amplo do que cada termo sozinho.
Essa ideia, defendida por Frege na Conceitografia e nos Fundamentos da
Aritmtica, contestada em relao ao pensamento maduro de Frege. Haddock, por
exemplo, afirma que essa tese de Frege defendida amplamente nos Fundamentos,
para desaparecer em seus escritos ps 1890. Algumas excees aparecem em seus
textos maduros, mas em outra concepo, onde a adequao ao contexto se
referiria apenas a variveis.
De acordo com Haddock:
O Princpio de Contexto de Die Grundlagen der Arithmetik, o qual era
aplicado a cada expresso, est agora reduzido trivialidade na qual as
variveis s tm significado no contexto de uma declarao, enquanto,
por outro lado, os nomes prprios e expresses relacionais tambm tm
significado - tanto sentido quanto referncia - quando ocorrem isolados, isto
, fora do contexto das declaraes.109

Essa no a posio assumida por Ricketts, que considera o princpio de


contexto como pedra fundamental do logicismo fregiano e que se encontra
intrinsecamente relacionada com a ideia de que a generalizao encontra-se na
base de seu pensamento, e seria ela que o orientaria em toda a fundamentao de
seu logicismo, sem a qual a concepo de verdade no pode ser compreendida,
uma vez que na relao entre generalizao e particularizao que o verdadeiro
pode aparecer.
No captulo dois, discutimos acerca da concepo do pensamento fregiano.
Nessa ocasio, apresentamos a viso de Kemmerling sobre o pensamento ser

109

HADDOCK, G. E. R. A Critical Introduction to the Philosophy of Gottlob Frege, pg. 75.

80

concebido sem partes, podendo ser dividido apenas no ato do juzo. Conforme
sinalizamos, essa posio encontra dificuldades em se alinhar com o conjunto do
pensamento

fregiano,

que

estabelece

uma

dinmica

lgica

intrnseca

ao

pensamento, no qual conceito e objeto formam a estrutura ontolgica de saturao.


Todavia, se ao invs de considerarmos que o pensamento, em primeira instncia,
seja sem partes, o tomarmos como estruturado por generalidade, ampliaremos
nosso entendimento da lgica de Frege, e compreenderemos a relao entre os
nomes prprios dos objetos e sua relao com os termos conceituais, prprios dos
conceitos. Ricketts defende que:
A compreenso de Frege sobre o papel dos nomes prprios significarem
objetos dessa forma parte integrante de seu entendimento quantificacional
de generalidade. Ele no tem a noo de um objeto e de um nome
significando um objeto ser uma base independente disponvel para
apresentar a generalidade quantificacional. Em particular, a noo de um
nome significando um objeto em uma sentena no anterior ao de uma
varivel indicando indefinidamente um objeto.110

A escolha de estruturar o pensamento por meio da funo matemtica um


forte indicador da generalidade quantificacional de Frege e est na base de sua
rejeio da estrutura sujeito-predicado. De tal maneira que Frege afirma na
Conceitografia:
A totalidade, segundo o contedo, e no s conforme o ponto de vista,
decompe-se em funo e argumento de acordo com a contraposio entre
o determinado e o indeterminado, ou entre o mais ou o menos
determinado.111

No , portanto, a posio gramatical que determina o papel dos termos de


uma proposio, mas sim o grau de indeterminao que um termo possui, e esse
grau de indeterminao funcional, o que significa dizer que o pensamento tanto
pode apresentar uma estrutura mais ou menos determinada, quanto tambm mais
geral ou especfica.
E esse caminho que Frege parece seguir ao fazer as diversas escolhas
que vimos at aqui. A escolha de funo e argumento, de objeto e conceito, de
lgica extensional, de relao de primeiro e segundo nvel, todas essas escolhas
convergem para a estrutura da generalidade quantificacional, na qual a
especificidade sempre instanciada. Quando dizemos que Jlio Csar conquistou
as Glias, a verdade dessa sentena assertiva no reside no fato histrico de Csar
110
111

RICKETTS, T. op. cit., pg. 156.


FREGE, G. Conceitografia, 9.

81

ter ou no conquistado as Glias, mas sim no fato lgico de que Jlio Csar uma
instncia de X conquistou as Glias. O mesmo vale para o exemplo de Frege, 5
um nmero primo. O que torna essa sentena verdadeira o fato de que o nmero
5 constitui uma instncia de x um nmero primo. Esse olhar diferenciado implica
dizer que tanto o nmero 5 quanto o nome prprio Jlio Csar s tm sua identidade
definida enquanto fazendo parte de uma sentena ou de um pensamento, e no
sendo tomados isoladamente.
No obstante a isso, se um objeto , como dissemos anteriormente, a menor
unidade lgica e, portanto, indefinvel e inanalisvel, como podemos pressupor que
sua identidade esteja fora dele mesmo? Nesse aspecto, no o podemos, assim
como nada temos a dizer acerca de verdadeiro ou falso sobre o nmero 5 enquanto
ele for tomado em si mesmo. A esse respeito, Frege afirma, nos Fundamentos da
Aritmtica:
A independncia que reclamo para o nmero no deve significar que um
numeral designe algo fora do contexto de uma proposio, mas pretendo
com isto apenas excluir seu uso como predicado ou atributo, o que alteraria
algo em seu significado.112

A identidade do nmero 5 no se d na medida em que ele representa a


soma de um conjunto de objetos empricos enfileirados, mas sim conforme ele se
relaciona com conceitos, quando ele passa a compor um percurso extensional de
valor com outros nmeros, em uma relao, em geral explicitada pelo termo , que
o conecta a um conceito ou a um objeto, evidenciando, nessas relaes, os atributos
que ele possui, mas que somente por meio de sentenas, torna-se expresso no
pensamento.
Esse fato leva Ricketts a concluir que:
Generalidade quantificacional e identidade esto interligados para Frege.
Generalidade quantificacional generalidade sobre uma multiplicidade de
distintos, objetos determinados, quanta determinados, por assim dizer.
Diferenciao , assim, incorporada concepo de Frege de um objeto:
no h entidade sem identidade.113

Entramos, portanto, em um terreno mais profundo. A verdade que


procuramos compreender na filosofia fregiana talvez no deixe de ser uma verdade
por correlao, afinal. Mas, em sua filosofia analtica, essa correlao no se d

112
113

FREGE, G. Fundamentos da Aritmtica, pg. 249, 60.


RICKETTS, T. op. cit., pg. 157.

82

entre linguagem e mundo, mas sim entre o pensamento e aquilo que ele designa. A
relao identitria de um objeto com o verdadeiro se d mediante a relao
extensional de saturao entre um objeto e um conceito ou entre a relao de
igualdade de um objeto com outro objeto. Essa relao, no entanto, s pode ocorrer
no pensamento, mediante a linguagem. Essa discusso, que revela o aspecto
ontolgico do logicismo, abre nosso horizonte para mais uma pea no quebracabeas que compreender a dinmica do conceito de verdade no logicismo
fregiano: a relao entre identidade e existncia.

3.2 A concepo de existncia de Frege


Hintikka (2006), afirma que a existncia assume, tanto na linguagem
coloquial quanto na notao por frmulas, acepes e formas diversas, assumidas
pelo de predicao, o de existncia, o de identidade e o de subsuno.114
Todas essas formas, no entanto, parecem confluir na formulao do
pensamento e em sua conexo ontolgica com o mundo, tomado aqui na acepo
que Frege o toma, isto , o mundo na concepo lgica e no emprica, composto
por objetos e conceitos.
Para delimitar essa estreita relao entre a concepo fregiana de existncia
e os demais elementos do logicismo, e compreender melhor a abordagem de Frege,
percorreremos os principais pontos apresentados no Dilogo com Pnjer sobre a
Existncia (-1884), Digresses Sobre o Sentido e a Referncia (1889-1895) e a
Carta a H. Liebmann, pois os trs textos, abordam as relaes entre conceitos, o
objeto verdadeiro e a existncia.
No Dilogo com Pnjer sobre a Existncia, texto anterior aos Fundamentos
da Aritmtica (1884), a discusso versa sobre o estatuto da existncia em
proposies como Leo Sachse . Para Pnjer, telogo que lecionou em Jena e
contemporneo de Frege, uma tal expresso significaria que Leo Sachse consiste
em algo experiencivel ou que a ideia de Leo Sachse foi produzida por algo
experiencivel.

114

HINTIKKA, Jaakko, Existence and Predication from Aristotle to Frege, pg. 360.

83

Nessa concepo, algo que existe, um existente ou um ente sempre algo


experiencivel. Pnjer tambm argumenta que dizer Homens existem pode ser
substitudo, sem perda significativa de sentido, por H homens. Em todas essas
situaes, Pnjer admite que, tanto quando dizemos Homens existem ou H
homens,

estamos

dizendo

que

Ao

conceito

homem

corresponde

algo

experiencivel.
Para Frege, no entanto, dois pontos so afirmados, contrariando o
argumento de Pnjer.
1 - Que afirmar a existncia de algo auto-evidente e, portanto,
desnecessrio.
2 - Que no correto afirmar que os termos , existe e h so
intercambiveis, sem nenhuma alterao no sentido das proposies.
O que Frege ressalta que todas as expresses utilizadas por Pnjer para
representar o termo , ou seja, a ideia que surge como afeco de algo, a ideia
que no uma iluso, o conceito ao qual corresponde algo de experiencivel,
alm de existente e ente, na realidade, correspondem mesma coisa, ao mesmo
problema. Todos esses termos, na prtica, no possuem sentido ou, conforme Frege
afirma, nenhum contedo atribudo. Em outras palavras, considerando que, para
Frege, sentido a forma como um objeto se apresenta, e sempre possui um valor
cognitivo, dizer que todas as expresses acima no acarretam sentido sentena,
s pode significar, como Frege o explicitar, que todos os termos implicam na
afirmao da prpria identidade consigo mesmos. Para Frege, dizer Esta mesa
existe ou Mesas existem o mesmo que dizer Mesas so iguais a si mesmas.115
Diferente o caso da expresso H homens. Essa expresso, como
veremos adiante, contm um tipo diferente de existncia, que o autor denominar na
Carta a H. Liebmann de Esgiebtexinstenz, ou existncia-do-tipo-h. Diferente do
primeiro caso, a existncia aqui inferida derivada de proposies particulares, ou
juzos particulares, como Algum A homem. Neste caso, indica-se que o conceito
homem no um conjunto vazio, ou que algum objeto, pelo menos um, cai sob o
conceito homem. Enquanto que, na primeira acepo de existe temos um juzo de
identidade, nesse segundo caso, temos uma comparao de conceitos. Os juzos de

115

FREGE, G. Dilogo com Pnjer sobre a Existncia, in Lgica e Filosofia da Linguagem, pg. 183.

84

existncia-do-tipo-h, observa Frege, no so auto-evidentes e devem ser


enunciados.
De acordo com Haaparanta (1986):
Frege est inclinado a manter que existncia usada como um conceito de
primeira ordem um conceito vazio, mas ele insiste em preservar a
significatividade de existncia usada como um conceito de segunda ordem.
Esta convico explcita em sua crtica da ideia de que todo conceito
abstrado de uma multiplicidade de objetos. Ele observa que se todo
conceito fosse abstrado de objetos existentes, os enunciados existenciais
perderiam todo contedo; uma vez que ns tivssemos um conceito, ns
poderamos inferir que existe um objeto que exemplifica o conceito (GLA,
49).116

A dificuldade de Pnjer em resolver o problema apontado por Frege que,


por um lado, ele pretendia indicar a existncia como um conceito, que ele expressou
de formas diferentes, inclusive como "ente", mas no podia conceber que, ao fazer
isso, estava fazendo uso do conceito de existncia como conceito de primeira ordem,
sendo, portanto, desprovido de contedo. Em todas as situaes criadas no dilogo,
Pnjer tentou mostrar que o termo "" indicava um sentido que no era tautolgico,
mas ao mesmo tempo, que cada ideia ou conceito era produzido por uma afeco
do objeto.
Frege objeta, em contrapartida, que termos como "ente" ou "existente" na
verdade consistem no que ele denomina "conceito superordenante". Um conceito
desse tipo aquele que subordina outros conceitos, como a relao entre conceitos
homem e mamfero. No entanto, quando o conceito existe utilizado como conceito
de primeiro nvel, atribudo em juzos de identidade, como Leo Sachse existe,
torna-se, na realidade, em quase-conceito, por ser carente de sentido, mantendo
apenas seu aspecto formal. Como superordenantes, tais conceitos concedem s
coisas o nico estatuto possvel, o de serem eles mesmos, isto , o de predicar a
prpria identidade do objeto. Dizer, portanto, que "A ", ou que "A existe" ou que "A
um ente" ou "A um existente" nada mais se diz do que "A igual a si mesmo" ou
"A A". A existncia de primeiro nvel, em concluso, um quase-conceito
superordenante, auto-evidente. Ela nada pode significar, pois excessivamente
ampla e, isenta de limites, no pode realmente ser um delimitador com significado. A
esse respeito, Frege afirma:

116

HAAPARANTA, L. Sobre a Existncia em Frege, in Antologia, pg. 329.

85

Caso se queira generalizar esse processo (o de subordinao de um


conceito por outro)117, deve-se procurar um conceito que subordine todos os
demais conceitos. Tal conceito, caso ainda se deseje utilizar esse termo,
no mais ter nenhum contedo, j que sua extenso ilimitada; pois todo
contedo s se d sob certa delimitao da extenso. Para um tal conceito,
poderamos escolher a de "ser igual a si mesmo", pois admitimos que "H
homens" o mesmo que "H homens iguais a si mesmos" ou que "Alguns
homens so iguais a si mesmos" ou que "Algo igual a si mesmo
homem".118

Os problemas que Frege refere no Dilogo com Pnjer se situam na


compreenso da relao que ocorre entre conceito e objeto, alm da prpria e sutil
relao entre os citados conceitos de primeiro e segundo nvel. Entender como os
objetos se coadunam com os conceitos e os nveis que os prprios conceitos se
dividem lanam luz uma mecnica que, segundo Frege, parece ter sido ignorada
tanto por Pnjer quanto Hilbert.
Prosseguir nessa investigao nos leva a caminhar um pouco mais
detidamente pelo manuscrito Digresses Sobre o Sentido e a Referncia. O
perodo em que esse manuscrito foi escrito no claramente identificado, mas
credita-se sua escrita ao perodo que vai de 1892 a 1895, podendo ter sido escrito
logo aps Sobre o Sentido e a Referncia, de 1892. Como j apontamos, para
Frege, tanto o nome prprio, relativo ao objeto, possui sentido e referncia, como o
termo conceitual, relativo ao conceito, tambm possui sentido e referncia. A cada
termo conceitual e a cada nome prprio corresponde, em regra, um sentido e uma
referncia, na acepo em que emprego esses termos119 afirma Frege.
A diferena entre conceito e objeto se faz valer na definio extensional de
lgica que Frege defende, isto , que termos conceituais (termos que se referem a
um conceito) podem ser substitudos, sem perdas para a verdade, se as extenses
que ambos os termos possuem permanecerem as mesmas. Aqui, h o
reconhecimento da dinmica que ocorre entre conceito e objeto e sobre sentido e
referncia aplicados a eles. Objetos caem sob conceitos, que possuem valores de
verdade. Se dois conceitos possurem o mesmo conjunto de objetos caindo sob eles,
seu valor de verdade permanecer o mesmo, ou seja, sua referncia no se altera,

117
118
119

Nota nossa.
FREGE, G. Op. Cit., pg. 184.
FREGE, G. Digresses sobre Sentido e Referncia, in Lgica e Filosofia da Linguagem, pg. 159.

86

embora seja alterado o sentido da sentena. Em uma definio intensional, essa


alterao teria consequncias, mas, para Frege, no mbito da lgica, o sentido s
importa quando relacionado com a referncia, pois referncia que se aplicam as
leis lgicas.
Todavia, importante termos em conta que as extenses dos conceitos no
constituem sua referncia. esse equvoco que pode fazer pensar que sentido
atribudo ao conceito, e referncia ao objeto. Na realidade, embora a extenso
conceitual seja composta por objetos, a referncia de um termo conceitual um
conceito, e no um objeto. Apesar disso, essa concepo no contradiz o
extensionalismo da lgica fregiana, mas desperta a questo, da qual se ocupar
Frege, de saber precisamente em que sentido pode um conceito ser uma referncia.
E esse procedimento ser importante para ns, pois dele ser decorrente a
concepo lgica de existncia em Frege.
A dificuldade encontrada aqui que o conceito, sendo um tipo peculiar de
funo, insaturado, possui espaos vazios no nome e, para ser uma referncia
completa, precisa ser complementado por argumentos, que so objetos. Os
argumentos, assim como os espaos vazios, virtualmente indicados por x, no
pertencem ao termo conceitual, propriamente dito, mas o mesmo s pode ter uma
referncia completa se for saturado por objetos. Essa natureza insaturada ou, no
caso dos conceitos, predicativa, o que cria toda a dificuldade quando temos de nos
referir ao conceito de modo a t-lo como referncia, mas, a um s tempo,
considerando seu valor de verdade (um objeto) e distanciando o dito conceito desse
argumento.
Essa dificuldade ainda agravada quando no fica claro que, em uma
sentena, a chamada relao sujeito-predicado oculta dois tipos de relaes, a de
um objeto e um conceito, e a de um conceito com outro conceito. Como vimos, um
conceito possui naturalmente um carter predicativo. Como um tipo de funo, ele
sempre solicita algo sobre o qual predicar, que o complete. Todavia, tanto um objeto
pode vir a cair como argumento do conceito, como tambm um conceito pode
ocupar o lugar do argumento. Essa sutileza, quase sempre passada despercebida
na linguagem, possui, para a lgica, uma grande relevncia, conforme veremos no
que se segue.

87

A primeira e mais significativa diferenciao ocorre no que, em uma


sentena, aparece como igualdade, evidenciada pelo termo . Para Frege, objetos
podem ser reconhecidos como iguais, um nome prprio A pode ser declarado como
igual a um nome B, no sentido de identidade total. Podemos dizer, por exemplo, que
O professor de Alexandre, o Grande, Aristteles. Existe uma identidade entre
eles, e podemos dizer que so iguais. Frege, porm, encontra dificuldade em
asseverar o mesmo grau de igualdade, de coincidncia ou identidade total entre dois
conceitos:
Se dizemos A referncia do termo conceitual 'seco cnica' a mesma
que a do termo conceitual 'curva de segunda ordem' ou ainda O conceito
seco cnica coincide com o conceito curva de segunda ordem, ento as
palavras referncia do termo conceitual 'seco cnica so o nome de um
objeto e no de um conceito. Pois falta-lhes a natureza predicativa, a
insaturao, a possibilidade de serem usadas com o artigo indefinido.120

No obstante a essa dificuldade da linguagem, que, em geral, priva muitas


de nossas tentativas de nos referirmos de fato ao conceito, Frege reconhece que,
em outro nvel de relao, possvel asserir algo similar igualdade entre objetos.
o que Frege chama de relao de segundo nvel, que relaciona conceitos,
enquanto que, na relao de primeiro nvel, ocorre a igualdade entre objetos. A
condio para reconhecer a igualdade entre conceitos, por exemplo e , que
ambos tenham a mesma extenso conceitual, ou seja, que ambos tenham os
mesmos objetos caindo sob eles.
Expressar essa relao de forma clara, porm, constitui um problema que
Frege parece resolver utilizando-se de sua Conceitografia. Nas relaes de primeira
ordem, recomendado que o conceito seja sempre representado ao lado do espao
vazio, indicando, com isso, que o conceito sempre possui um carter predicativo,
que ser preenchido por um argumento-objeto. Nesse caso, para realmente indicar
os conceitos e , deve-se graf-los com a insero de espaos, ( ) e ( ).
Nessas condies estamos expressando que a suposta e muito relativa igualdade
entre dois conceitos se d apenas mediante a igualdade dos objetos que cairo sob
eles. Observemos que os espaos reservados para os objetos no poderiam ser
preenchidos, se quisssemos colocar em relao apenas os dois conceitos, pois
120

Idem, 163.

88

fazer isso implicaria em colocar em igualdade tambm os objetos que caem sob os
conceitos. Por outro lado tambm no poderamos explicitamente demonstrar a
igualdade na relao entre os dois conceitos, como, por exemplo, grafando ()=(),
pois explicitamente no existem ainda objetos que tenham cado sob os conceitos.
Assim, fica evidente que, para Frege, somente indiretamente, mediante os objetos,
que dois conceitos poderiam ser igualados.
A soluo para acrescentar o sinal de igualdade em relaes de segundo
nvel passa ento a consistir na representao da igualdade como uma generalidade.
Na ocasio de dizer que todo argumento para a funo x2 = 1 e (x + 1)2 = 2(x + 1)
possui o mesmo valor de verdade, Frege, utilizando sua notao conceitual,
acrescenta uma letra alem sob uma concavidade na linha de enunciado,
evidenciando, assim, um enunciado de generalidade, como no exemplo:

(a2 = 1) = ((a + 1)2 = 2(a + 1)).

Como o prprio autor afirma:


Temos aqui a mesma relao de segundo nvel, e temos tambm o sinal de
igualdade, mas este [sinal] no basta por si s para designar essa relao:
ele s o faz em combinao com o sinal de generalidade, vale dizer, o que
temos de incio um enunciado geral, e no uma igualdade.121

A generalidade utilizada por Frege para emparelhar dois conceitos em


relao, na qual ambos possuem a mesma extenso conceitual e os mesmos
valores de verdade de grande importncia para diferenciar logicamente os
conceitos e objetos. A generalidade deve ser utilizada como forma de indicar a
conexo indireta que conceitos possuem entre si, mediada, na realidade, pela
relao existente entre os objetos e os conceitos. Todo conceito est em relao
com outro conceito quando os objetos que caem sobre eles so os mesmos, criando
as mesmas relaes de valores de verdade. Para Frege, portanto, prevalece a
extensionalidade sobre a intensionalidade. E isso refletir fortemente na estrutura
criada por Frege para articular a relao do conceito de segundo nvel existncia
com os conceitos de primeiro nvel.

121

Idem, Pg. 165.

89

3.3

O Verdadeiro e o Quantificador Existencial


Na Carta a H. Liebmann, datada de 1900, Frege se prope a explicar sobre

o significado dos conceitos de segundo nvel, no intuito de clarificar as recentes


discusses com Hilbert acerca de sua obra Festschrift. Na ocasio, Frege retoma as
distines entre conceito e objeto discutidas acima, bem como as relaes que
ocorrem entre ambos. Entre conceito e objeto ocorre uma relao de subsuno, na
qual o objeto cai sob um conceito, de modo a complet-lo, sendo predicado por ele.
Entre dois conceitos, que Frege denomina conceitos de primeiro nvel, um conceito
no cai sob outro, mas sim um conceito nota (merkmal) de outro conceito, como
em Todo quadrado um retngulo. Tanto quadrado como retngulo so conceitos
de primeiro nvel, mas retngulo, nesse contexto, ser uma nota, uma marca do
conceito quadrado. Todo objeto que cair sob o conceito quadrado, ter como
propriedade ser retngulo. Nessa situao, o conceito quadrado est subordinado
ao conceito retngulo.
Em contrapartida, Frege alega que existe outro tipo de conceito, que no
um conceito de primeiro nvel, mas um conceito de segundo nvel, e que ocorre em
expresses do tipo H pelo menos uma raiz quadrada de 4. Em casos como esse,
o que se predica no nada acerca dos nmeros +2 ou -2, opes de objetos que
caem sob o conceito ser raiz quadrada de 4, mas sim sobre o prprio conceito
apresentado.
O argumento de Frege que existe uma predicao ocorrendo em
expresses desse tipo, na qual o conceito ser raiz quadrada de 4 ocupa uma
posio muito similar de um objeto em uma relao de primeiro nvel, caindo,
porm, em um conceito de segundo nvel. Conforme Frege sugere:
Tambm aqui algo predicado; mas no um conceito de primeiro nvel, mas
um conceito de segundo nvel. De modo similar a que Jena se relaciona
cidade universitria, tambm se relaciona raiz quadrada de 4 existnciah (Esgiebtexistenz).122

Esse tipo de relao em nada se assemelha relao de subordinao


entre dois conceitos, pois em uma relao de subordinao, as notas do conceito
subordinante so as notas do conceito subordinado e tais notas cairo sobre o
122

FREGE, G. Carta a H. Liebmann, in: Lgica e Filosofia da Linguagem, pg. 191.

90

objeto como propriedades. o caso quando Frege cita o exemplo de H btulas,


na qual o conceito superordentante rvore subordina btula, o que resultaria no juzo
particular Algumas rvores so btulas.
Aqui, no entanto, o que temos um conceito de primeiro nvel em uma
situao similar do objeto, isto , caindo como argumento em um conceito (ou seja,
uma funo), de modo a complet-la. Porm, as notas desse conceito de segundo
nvel no predicaro em nenhuma hiptese um objeto. O conceito de segundo nvel
indicado por Frege nesse ponto a existncia-h, ou existncia do tipo h, como em
H pelo menos uma raiz quadrada de 4.
O conceito de existncia, de acordo com Frege, por ser um conceito de
segunda ordem, tem por exigncia predicar apenas conceitos, criando outro tipo de
relao e, consequentemente, outro tipo de valncia na expresso do clculo de
predicados.
Para tornar mais clara a distino entre uma relao de primeiro nvel e uma
relao de segundo nvel, vale analisarmos, na notao fregiana, como as duas
relaes se expressam.
Em uma relao de primeiro nvel, temos, por exemplo, P(x), indicando que
o conceito de primeiro nvel P solicita uma complementao que representada por
(x), varivel que indica que objetos caem sob o conceito P, mas tais objetos no
foram inventariados em um percurso de valor. Em um segundo caso, temos uma
sentena como Existe um x, tal que P(x). Na notao fregiana, essa sentena
assume a forma ~x ~ P(x). Um enunciado de segundo nvel, como o de existncia,
no pressupe o conceito de primeiro nvel P, criando uma dupla valncia: ~x ~( ) (x).
No primeiro exemplo, o argumento o objeto (x). Em contrapartida, o conceito P, no
segundo exemplo, que ocupa o espao de um argumento.
Enquanto em uma relao de primeiro nvel o que predicado seria o objeto
x, em uma relao de segundo nvel o que predicado sempre o conceito ( ), que,
no caso apresentado, seria P, ou no exemplo dado por Frege, seria ser raiz
quadrada de 4.
As diferenas, segundo Frege, vo alm dessa estrutura lgica. Conceitos
de segundo nvel, como o de existncia-h, so to incompatveis com os conceitos
de primeiro nvel quanto conceito e objeto. Segundo o autor:

91

Aqui, o conceito de primeiro nvel desempenha um papel similar ao do


objeto no caso da subsuno, e o conceito de segundo nvel desempenha
um papel similar ao do conceito de primeiro nvel. Poder-se-ia neste caso
tambm falar de subsuno, mas essa relao [entre o conceito de segundo
nvel e o de primeiro nvel], embora similar, no igual [relao de]
subsuno de um objeto sob um conceito de primeiro nvel. Quero dizer que
um conceito de primeiro nvel cai (no sob, mas) em um conceito de
segundo nvel. A diferena entre conceitos de primeiro e segundo nveis
to radical quanto a diferena entre objetos e conceitos de primeiro nvel,
pois objetos nunca podem substituir conceitos. Assim sendo, um objeto
nunca pode cair sob um conceito de segundo nvel- o que no seria falso,
mas sem sentido.123

A existncia, portanto, no pode predicar sobre objetos, mas apenas aos


conceitos que nela caem. Um enunciado como Aristteles existe no poderia,
nesse caso, nem ser verdadeiro nem falso. Ele simplesmente no possui sentido,
pois Aristteles um objeto, no lhe cabendo a predicao de existncia, bem como
nenhuma predicao de conceitos de segundo nvel. Mas dissemos acima que
existncia, quando usada como conceito de primeiro nvel, aplica-se sobre objetos.
Novamente retomamos que, no caso de ser um conceito de primeiro nvel, a
predicao auto-evidente, desnecessria porque no contm nenhum contedo. A
existncia como conceito de segundo nvel, tal como Frege a aborda aqui, no pode
ser atribuda a nenhum objeto, pois ela implica em um contedo, ela informa algo
acerca dos conceitos que caem nela.
Se a existncia, enquanto conceito de segundo nvel, predica sobre
conceitos de primeiro nvel, sendo ela um conceito, possui argumentos cujo valor
sempre um valor de verdade, quer seja o verdadeiro, quer seja o falso. Portanto,
nem todos os conceitos de primeiro nvel so considerados existentes. De fato, o
que Frege parece sugerir, ao analisar a relao de primeiro nvel entre conceito e
objeto e a subsequente relao desse conceito com um conceito de segundo nvel:
Outra caracterstica distintiva do conceito de primeiro nvel dada pela
seguinte sentena: se um objeto cai sob este conceito, ento existe um
outro objeto que cai sob este conceito. Aqui, temos um segundo conceito de
segundo nvel. A partir desses dois conceitos, que so notas de segundo
nvel, podemos formar um terceiro conceito de segundo nvel no qual caem
todos os conceitos de primeiro nvel sob os quais caem pelo menos dois
objetos distintos.124

123
124

Idem.
Idem, pg. 193.

92

Disso se depreende que, sempre que um objeto cai sob um conceito de


primeiro nvel, um outro objeto deve cair sob esse conceito tambm, gerando um
percurso de valor para os valores verdadeiro e falso. Nessas condies, um novo
conceito formado, como conceito de segundo nvel, asseverando a existncia
desse conceito, por exemplo: ao dizermos Scrates homem, estamos afirmando
que o objeto Scrates cai sob o conceito de primeiro nvel ser homem. Da, pode-se
formular a existncia do conceito homem pela frmula: H pelo menos um homem,
ou, em notao fregiana - ~(x) ~P(x). E, a partir dessa afirmao, pode-se
estabelecer a formulao geral que cabe a todos os conceitos que possuem pelo
menos dois objetos que caem sob ele: ~(x) ~( ) (x).
Em concluso, na concepo fregiana, duas estruturas lgicas nucleares,
conceito e objeto, que se encontram na base do pensamento e da linguagem, no
podem ser reduzidas uma ao estatuto da outra. Objetos no podem ser nem
verdadeiros, nem falsos, pois o verdadeiro um objeto e, como tal, no possui
carter predicativo. Como um objeto no pode predicar sobre outro, aos objetos no
cabe atribuir o verdadeiro ou o falso. Ao objeto tambm no cabe atribuir existncia,
pois existncia um conceito de segundo nvel. Tal conceito, como vimos, pode, de
modo estrito, atribuir-se a um objeto, mas em tal ocasio, ele nada predica,
redundante, no possui sentido nem valor cognitivo, pois significa dizer apenas que
o objeto igual a si mesmo. Como conceito de segundo nvel, entretanto, a
existncia predica sobre conceitos de primeiro nvel. Todavia, o que o conceito de
existncia predica sobre o conceito de segundo nvel que tal conceito existe
porque possui valor de verdade, porque instanciado e pode ser verdadeiro. Um
conceito de primeiro nvel impreciso, que no possui nenhum objeto que caia sob ele,
no pode possuir valor de verdade. Pode-se falar sobre ele, assim como pode-se
falar sobre um pensamento que no possui referncia, mas, para a lgica,
necessrio que se passe sempre do sentido para a referncia. E fazer isso implica
em afirmar a extensionalidade dos conceitos. Frege afirma, em crtica aos lgicos
intensionalistas:
No percebem que a lgica no se interessa como uns pensamentos se
seguem de outros sem levar em conta o valor de verdade; que cumpre
passar do pensamento para o valor de verdade, mais genericamente, que
cumpre ir do sentido para a referncia; que as leis lgicas so,
primordialmente, leis do domnio das referncias e s mediatamente
(mittelbar) se relacionam com o sentido. Se estamos interessados na

93

verdade - e a lgica visa verdade - tambm devemos indagar pelas


referncias, devemos rejeitar os nomes prprios que, embora tenham um
sentido,no designam ou nomeiam nenhum objeto; devemos rejeitar os
termos conceituais que no tenham nenhuma referncia.125

O verdadeiro assume, para Frege, um papel determinante para a atribuio


de existncia dos conceitos de primeiro nvel, reforando a ligao ontolgica entre
os nomes prprios e objetos, termos conceituais e conceitos, sentido e referncia,
de modo que o n grdio entre esses elementos parece encontrar-se na orientao
da lgica em direo verdade.

CONCLUSO
Primeiramente, partimos da concepo de sentido e vimos como Sinn se
identifica com o pensamento. Sendo o sentido algo objetivo e independente do
pensar subjetivo, o pensamento algo a ser apreendido, algo que, enquanto
apreendido pelo pensar, o como uma unidade, uma totalidade estruturada. A
ocasio na qual o pensamento torna-se estruturado em partes na linguagem no
ato do juzo, cujo propsito o reconhecimento do verdadeiro em um pensamento.
Nessa situao, passamos do pensamento para o ncleo da proposio, entramos
no reino da linguagem e, como tal, decompomos o pensamento e buscamos passar
do sentido para a referncia.
Pela decomposio do pensamento, chegamos at as estruturas que
formam o mesmo, isto , as funes e os objetos. A relao entre eles uma
relao de saturao, na qual objetos so referentes para os conceitos. O conjunto
de objetos caindo sob um conceito forma um percurso de valor, e sua definio
extensional. A igualdade entre conceitos no dada pelos sentidos, o que
125

FREGE, G. Digresses sobre Sentido e Referncia, op. Cit., pg. 166.

94

corresponderia a uma definio intensional, mas sim pela igualdade de objetos que
caem sob ambos os conceitos. A relao entre os objetos e conceitos acarreta o
valor de verdade do conceito, cujos valores so o verdadeiro e o falso. Esses
valores so dados na medida em que um objeto sature a proposio de forma a
atender aos critrios dados pelo conceito.
Os conceitos, por sua vez, relacionam-se entre si e articulam-se em
conceitos de primeiro e segundo nvel. A relao entre os conceitos de primeiro nvel
chamada de subsuno. Nesses casos, o conceito que subsume o outro torna-se
nota do conceito subsumido, atribuindo sua caracterstica como propriedade dos
objetos que carem sob o conceito de primeiro nvel subsumido.
no domnio dos conceitos de segundo nvel que se encontram os
conceitos superordenantes, os quantificadores. Um desses conceitos, fundamental
para os conceitos de primeiro nvel, o quantificador existencial, que expressa o
conceito de existncia. O conceito de existncia aplica-se a conceitos de primeiro
nvel, e determina se tais conceitos so vlidos, se possvel sequer falar sobre eles.
Peculiarmente, o quantificador existencial, ao predicar um conceito de primeiro nvel,
traz como exigncia que este possua valor de verdade. Um conceito cujo valor de
verdade seja o verdadeiro ou o falso um conceito ao qual pode-se aplicar a
existncia, pois se um conceito possui valor de verdade, porque objetos caem sob
ele. Tal conceito existe porque faz parte da objetividade, constitui um pensamento
objetivo, implica em relaes lgicas que acarretam valor de verdade. E por
acarretar valores de verdade, por passar do sentido para a referncia, que tais
conceitos de primeiro nvel possuem uma implicao ontolgica com a existncia.
Essa relao ontolgica , eminentemente, uma relao lgica entre conceito de
primeiro nvel e conceito de segundo nvel.
Um conceito impreciso, no entanto, um conceito que no delimita nem
mesmo um nico objeto que caia sob ele. Em tais condies, ou o conceito um
falso conceito, por no possuir a caracterstica de predicao (logo, estamos
confundindo conceito com objeto), ou o conceito no possui clareza para determinar
que objetos poderiam cair sob ele. Nesses casos, nenhum valor de verdade seria
engendrado. No se poderia dizer se um conceito assim verdadeiro. E, dessa
maneira, nada poderia ser dito sobre ele, pois ele no teria nenhuma implicao
ontolgica com a existncia.

95

Agora, cabe a ns extrairmos o saldo de nossa trajetria para demarcarmos


a relao do verdadeiro com o quantificador existencial na relao com o
pensamento e com a referncia.
Um conceito, conforme acompanhamos Frege, no pode ser referncia
enquanto no pressupor argumentos que completem seus espaos vazios. Nesse
aspecto, o conceito deve, em sua estrutura lgica, definir a posio a ser ocupada
por um objeto, e verificamos como Frege extraiu, por meio da Conceitografia, a
forma lgica de generalidade de um conceito preciso. Em tal situao, o conceito, ao
pressupor a presena de um percurso extensional de valor que o complete,
engendra valores de verdade. Isto significa que, na ocasio dessa forma lgica ser
ocupada por objetos especficos, o pensamento que se expressar em linguagem
poder ser declarado como equivalente ao verdadeiro ou ao falso. Juzo, para Frege,
o processo no qual esse pensamento decomposto e suas partes so analisadas
em sentido e referncia, conforme o grfico de Haddock, e na composio das
partes e na recomposio do todo, surge a assero do juzo, declarando e
reconhecendo o valor de verdade daquele pensamento.
Nesse sentido, podemos dizer que o pensamento, enquanto pensamento
que possui significado e que possui um referente, consiste em um conceito. O
pensamento completo nada mais do que um conceito saturado, ou seja, uma
sentena na qual um conceito pressupe um objeto que complete sua natureza
predicativa. Em contrapartida, por meio do juzo ocorre o processo que faz a
passagem do sentido para a referncia, isto , ocorre o reconhecimento de que o
pensamento completo equivalente ao verdadeiro. Ao ser declarado que um
pensamento-conceito verdadeiro, o juzo declara que tal pensamento o nome do
verdadeiro. Esse processo, tomado como uma trajetria investigativa sobre um
pensamento, implica em reconhecer que esse mesmo pensamento possui uma
forma lgica analtica e, portanto, no se trata de uma representao individual, mas
sim um pensamento cujo conceito possui generalidade e universalidade.
O processo de juzo no apenas declara como equivalente ao verdadeiro um
dado pensamento-conceito, mas tambm o coloca diante do crivo do quantificador
existencial e, consequentemente, da generalidade quantificacional e do prprio
princpio de identidade.

96

O quantificador existencial, enquanto conceito de segunda ordem, se aplica,


em sua generalidade, aos conceitos que possuem valor de verdade, que no so
imprecisos. Ele, portanto, valida um pensamento como existente, por um lado. Como
conceito de primeira ordem, no entanto, a existncia um conceito superordenante,
e designa, por sua generalidade, a identidade de um objeto. Aplicada ao objeto
verdadeiro, por exemplo, afirma a prpria identidade do verdadeiro consigo mesmo.
Por outro lado, quando um pensamento completo passa pelo juzo e reconhecido
como o verdadeiro, estamos dizendo que ele o nome do verdadeiro, ou que h
uma equivalncia com o verdadeiro, uma identidade total. Ao estabelecer uma
identidade total entre um pensamento e o objeto verdadeiro, o juzo est declarando
o princpio de identidade desse pensamento, mediante a ao do quantificador
existencial sobre o objeto verdadeiro. Como tal, o quantificador existencial, que
determina a identidade do verdadeiro, tambm confere identidade ao pensamento.
Aplicado ao pensamento como conceito de segundo nvel, confere a este entidade, e
aplicado ao mesmo pensamento quando este passou do sentido para a referncia (o
verdadeiro), confere identidade. De fato, nesse sentido vlida a afirmao de
Ricketts de que no h entidade sem identidade.
Retornamos, ao fim, questo que propomos no incio: se a verdade, para
Frege, no consiste na verdade como correspondncia entre linguagem e mundo,
ento o que ela ? Para responder a essa questo, traamos uma trajetria que
analisou o arcabouo fregiano que compe a filosofia analtica. Conclumos, desse
percurso, que a verdade, para Frege, um objeto lgico para o qual o pensamento,
em suas muitas formas, converge. A verdade, para Frege, no consiste na
correspondncia entre linguagem e mundo, mas na equivalncia entre o
pensamento e o verdadeiro. Essa equivalncia, todavia, no arbitrria. Ela
encontra-se em meio a um dinmico jogo no qual cada nome prprio nomeia um
objeto mediante um sentido, e todos os sentidos nos quais um objeto se apresenta
pertencem ao prprio objeto; no qual toda sentena que designa certa referncia
possui, em seu interior, uma relao de saturao entre conceito e objeto; e no qual
cada conceito pertencente a um pensamento, para ser vlido, deve estar contido no
conceito de segunda ordem existncia. nesse complexo de relaes que um
pensamento se estrutura segundo as leis do ser verdadeiro. Se um conceito
preciso, ele cai no quantificador existencial de segundo nvel; se, enquanto conceito

97

saturado, ele possui um percurso extensional preciso; e se, submetido ao juzo, os


sentidos das partes e do todo convergirem para os referentes equivalentes, ento
um tal pensamento ser verdadeiro, ou melhor, o nome do verdadeiro. Essa
equivalncia total, entendemos que corresponde ao que Frege denominou um fato
lgico original, que denota uma identidade ontolgica e lgica entre o pensamento
analtico e o verdadeiro. No se trata, portanto, de uma correspondncia, mas do
reconhecimento de uma identidade entre o pensamento e o verdadeiro.

BIBLIOGRAFIA
BELL, D. Freges Theory of Judgement. New York: Ed.: Clarendon Oxford,
2002.
BLANCH, R.; DUBUCS, J. Histria da Lgica. Lisboa, Portugal: Ed.: 70,
2001.
DUMMETT, Michael. Frege Philosophy of Language. New York: 1 Ed.:
Harper & Row Publishers, 1973.
_________________. Frege Interpretation of Freges Philosophy. New
York: 1 Ed.: Harper & Row Publishers, 1981.
_________________. Frege Frege and Other Philosophers. New York: 1
Ed.: Harper & Row Publishers, 1996.
FREGE, Gottlob. Sobre o Sentido e a Referncia in Lgica e Filosofia da
Linguagem. So Paulo: Cultrix/Ed. Da Universidade de So Paulo, 1978.
_____________. Digresses sobre Sentido e Referncia in Lgica e
Filosofia da Linguagem. So Paulo: Cultrix/Ed. da Universidade de So Paulo, 1978.
_____________. Funo e Conceito in Lgica e Filosofia da Linguagem. So
Paulo: Cultrix/Ed. da Universidade de So Paulo, 1978.

98

_____________. Conceito e Objeto in Lgica e Filosofia da Linguagem. So


Paulo: Cultrix/Ed. da Universidade de So Paulo, 1978.
_____________. Prefcio Conceitografia, in Lgica e Filosofia da
Linguagem. So Paulo: Cultrix/Ed. da Universidade de So Paulo, 1978.
_____________. O Pensamento, in Anais de Filosofia. So Joo Del Rey, n.
6, p. 283-298, jul. 1999.
GEACH, Peter; BLACK, Max, Translations from the Philosophical Writings of
Gottlob Frege. 2 Ed.: Basil Blackwell Oxford, 1960.
GREIMANN, D. Did Frege Really Consider Truth As An Object? in Essays on
Freges Conception of Truth. New York: Ed.: Editions Rodopi B.V., 2007.
HAAPARANTA, L. Sobre a Existncia em Frege, in Antologia de Ontologia
Textos Selecionados. Florianpolis; Ed.: Rocca Brayde, 2011.
______________. The Development of Modern Logic. New York: Ed.: Oxford
University Press, 2009.
HADDOCK, G.E.R. A Critical Introduction To The Philosophy of Gottlob
Frege. England: Ed.: Ashgate Publishing Limited, 2006.
KEMMERLING, Andreas. Thoughts Without Parts: Freges Doctrine, in
SCHNIEDER, Benjamin; SCHULZ, Moritz. Themes From Early Analytic Philosophy
Essays in Honour of Wolfgang Knne. Nova Iorque: Editions Rodopi BV, 2011, pgs.
165-188.
KESSLER, G. Frege, Mill and the Foundations of Arithmetic, in The Journal
of Philosophy, Vol. 77, N 2, Fev., 1980, 65-79.
KLEMENT, K.C. Putting Form Before Function: Logical and Grammar in
Frege, Russell and Wittgenstein, in Philosophers Imprint, Vol. 4, n.2, Agosto, 2004.
KNEALE & KNEALE, W. e M. The Development of Logic. Great Britain: Ed.
Oxford University Press, 1971.

99

KNNE, W. Conceptions of Truth. New York: Ed.: Clarendon Press Oxford,


2003.
RICKETTS, T.; POTTER, M. The Cambridge Companion to Frege. New York:
Ed.: Cambridge University Press, 2010.
SANTOS, L.H.L. dos. O Olho e o Microscpio. Rio de Janeiro. Nau Editora,
2008.
SLUGA, Hans D. The Arguments of the Philosophers. 2 Ed.: Routledge,
London and New York, 1999.
TEXTOR, M. Frege On Sense and Reference. London: Ed.: Routledge, 2006.

Você também pode gostar