Você está na página 1de 82

IZABEL CRISTINA IZIDORO DE SOUZA

O PRINCPIO DO CONTEXTO DE GOTTLOB FREGE:


UMA ANLISE SISTEMTICA

Recife, maro de 2007


1

IZABEL CRISTINA IZIDORO DE SOUZA

O PRINCPIO DO CONTEXTO DE GOTTLOB FREGE:


UMA ANLISE SISTEMTICA

Dissertao apresentada, sob a orientao do


Prof. Dr. Fernando Raul de Assis Neto, ao
Programa de Ps-graduao em Filosofia da
Universidade Federal de Pernambuco como
requisito parcial para a obteno do grau de
Mestre.

Recife, maro de 2007


Souza, Izabel Cristina Izidoro de
O princpio do contexto de Gottlob Frege : uma anlise
sistemtica / Izabel Cristina Izidoro de Souza. - Recife: O
Autor, 2007.
80 folhas.

Dissertao (mestrado) Universidade Federal de


Pernambuco. CFCH. Filosofia, 2007

Inclui bibliografia.

1. Filosofia. 2..Frege Gottob Prncipio do contexto. 3,


Nmero. 4. Lgica Anlise sistemtica. I. Ttulo

1 CDU (2. Ed.) UFPE


100 CDD (22. ed.) CFCH 2009/02
2
3

Todo o bom matemtico pelo menos metade filsofo e todo o bom filsofo pelo menos
metade matemtico

(Gottlob Frege)
4

AGRADECIMENTOS

Agradeo a Deus; a minha famlia especialmente aos meus pais e a meu irmo pelo apoio
em todos os momentos; a Ronaldo pela compreenso e carinho; a meu amigo Mrcio Batista
da Silva pela reviso final desse trabalho; ao doutorando Alessandro Bandeira Duarte e ao
Prof. Dr. Marco Antnio Ruffino pela disponibilidade em nos ajudar na bibliografia da
pesquisa; CAPES, rgo fomentador da pesquisa; aos Profs. Drs. Guido Imaguire e rico
Andrade pela disposio em participar da banca examinadora; aos Profs. Drs. Jess Vzquez e
Virgnia Leal, que aceitam ser suplentes da banca examinadora; Profa. Dra. Zlia Dantas
que, juntamente com o Prof. Dr. rico Andrade, participou do exame de qualificao por
suas valiosas contribuies que resultaram em modificaes na verso final dessa dissertao;
e, finalmente, sou imensamente grata ao Prof. Dr. Fernando Raul de Assis Neto por sua
orientao paciente e sempre cuidadosa.
5

Na ordem do conhecer, dedico este trabalho ao Prof. Dr.


Fernando Raul de Assis Neto. E, na ordem do ser, dedico-o a minha
famlia, especialmente a meus pais, e a Ronaldo.
6

RESUMO

Na introduo de Os fundamentos da aritmtica (Die Grundlagen der Arithmetik), de 1884,


obra em que se ocupa com o esboo informal da definio lgica de nmero, Frege apresenta
os trs princpios fundamentais de sua investigao. Particularmente, interessa-nos o segundo
deles que veio a ser conhecido como o princpio do contexto. Ele reaparece no 60 em uma
passagem essencial (55-61) que considera os nmeros como objetos autnomos e
reiterado no 62, no comeo de uma passagem igualmente importante (62-69), onde so
expostas as razes para definir os nmeros cardinais como extenses de conceitos. E,
finalmente, aparece no 106, no curso da recapitulao dos principais resultados do livro.
Apresentamos nesta dissertao uma anlise sistemtica do princpio, tendo em vista que o
papel exercido por ele no projeto logicista de Frege tem sido alvo de intensos debates. H
diversas interpretaes sobre seu uso em Os fundamentos da aritmtica. As formulaes que
aparecem no livro no exercem um papel homogneo. Outra questo que tambm divide os
comentadores se o princpio do contexto ou no reafirmado implcita ou explicitamente
em trabalhos posteriores. Entre os comentadores, no h concordncia acerca da manuteno
ou no do princpio do contexto em outros escritos. Nosso principal objetivo mapear as
questes relativas a este princpio.

Palavras-chave: Frege, princpio do contexto, nmero, lgica, anlise sistemtica.


7

ABSTRACT

In the introduction of The foundations of arithmetic (Die Grundlagen der Arithmetik), in


1884, work in which he deals with the informal sketch of logical definition of number, Frege
shows three basic principles of his investigation. It is particularly interesting to us the second
of these three ones, which has been known as the context principle. It reappears in 60, in an
essential passage (55-61) that considers numbers as independent objects, and it is reiterated
in 62 in the beginning of an equally important passage where they are exposed the reasons to
define cardinal numbers as concept extensions. Finally, it appears in 106 in synthesizing the
principle results of the book. We present in this dissertation a systematic analysis of the
principle, since the role played by it in Freges logicist project has been target of intense
discussions. There are several interpretations of its use in The foundations of arithmetic. The
formulations in the book do not play the same role. Another question, which also divides
commentators, is whether the context principle is or not, implicitly or explicitly, reaffirmed in
the later works. There is any agreement among commentators about the maintenance or not of
the context principle in other writings. Our main objective is to chart some relative questions
to this principle.

Keywords: Frege, context principle, numbers,


8

SUMRIO

INTRODUO.......................................................................................................................10

I O PROJETO LOGICISTA DE GOTTLOB FREGE.......................................................15

1.1 O Contexto Histrico..........................................................................................................16


1.2 O Primeiro Perodo.............................................................................................................18
1.2.1 Begriffsschrift...................................................................................................................19
1.3 O Segundo Perodo.............................................................................................................25
1.3.1 Os Fundamentos da Aritmtica.......................................................................................26
1.4 O Terceiro Perodo.............................................................................................................31
1.4.1 Os Artigos do terceiro perodo........................................................................................32
1.5 O Quarto Perodo...............................................................................................................36
1.5.1 Die Grundgesetze der Arithmetik....................................................................................37
1.6 O Quinto Perodo...............................................................................................................39
1.6.1 Investigaes Lgicas.....................................................................................................40

II O PRINCPIO DO CONTEXTO EM OS FUNDAMENTOS DA ARITMTICA.......44

2.1 O Princpio do Contexto como um dos Princpios Fundamentais......................................45


2.2 As Formulaes do Princpio do Contexto em Os Fundamentos da Aritmtica................47
2.3 O Princpio do Contexto Segundo a Literatura Secundria...............................................49
2.3.1 O Princpio Metodolgico...............................................................................................50
2.3.2 A Formulao Epistemolgica.........................................................................................52
2.3.3 A Prioridade Semntica...................................................................................................54
2.3.4 A Prioridade Ontolgica..................................................................................................56
2.3.5 A Prioridade Sinttica......................................................................................................58

III O PRINCPIO DO CONTEXTO APS OS FUNDAMENTOS DA ARITMTICA...61

3.1 O Princpio do Contexto e os Conceitos de Sentido e Referncia.................................62


3.2 O Princpio do Contexto e as Definies Contextuais .......................................................64
9

3.3 Composicionalidade X Contextualismo..............................................................................65


3.4 A Tese do Abandono do Princpio do Contexto.................................................................67
3.5 A Tese da Manuteno do Princpio do Contexto..............................................................69

CONCLUSO.........................................................................................................................73

REFERNCIAS......................................................................................................................75
10

INTRODUO

Durante toda sua vida Frege dedicou-se quase exclusivamente a seu projeto logicista,
ou seja, seu projeto de reduzir a aritmtica lgica. Ele considerou a aritmtica um corpo de
verdades analticas e a priori. Em 1879, deu incio a seu objetivo com o Begriffsschrift1, no
qual desenvolveu uma linguagem prpria para a aritmtica. Assentadas as bases da nova
lgica, Frege dedicou-se tarefa de mostrar que as leis aritmticas fundamentam-se nas leis
da lgica. Esse trabalho encontra-se em sua teoria do nmero, exposta em Os fundamentos da
aritmtica2 (Die Grundlagen der Arithmetik),3 de 1884. Nesta obra, Frege ocupa-se com o
esboo informal da definio lgica de nmero.
Os fundamentos da aritmtica (de agora em diante simplesmente Os fundamentos)
considerada por alguns intrpretes como uma obra-prima (masterpiece) filosfica,4 obra na
qual Frege apresenta, no final da introduo, os trs princpios fundamentais que conduziro
suas investigaes. O objetivo da presente dissertao consiste na anlise e discusso do
segundo desses princpios, que veio a ser conhecido como o princpio do contexto. Alm de
ser formulado na introduo como um princpio fundamental, o princpio do contexto tambm
aparece em momentos importantes da argumentao de Frege.

1
Cf. FREGE, Gottlob. Begriffsschrift. Darmstadt, Hale: 1879.
2
Cf. Idem. Os fundamentos da aritmtica: uma investigao lgico-matemtica sobre o conceito de nmero.
Trad. Luiz Henrique Lopes dos Santos. In: Peirce-Frege. So Paulo: Abril Cultural, 1983, p. 199-278. (Col. Os
Pensadores).
3
Cf. FREGE, Gottlob. Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung ber den
Begriff der Zahl. Stuttgart: Reclam, 1995.
4
Cf. BEANEY, Michael. The Frege: Reader. London: Blackwell, 1997, p. 5; Cf. DUMMETT, Michael. Freges
Philosophy. In: idem. Truth and other enigmas. Cambridge, MA: Harvard University, 1978, p. 87-115, p. 90.
11

O princpio do contexto no s exerce um papel fundamental em Os fundamentos


como tambm considerado como um dos princpios mais importantes de Frege. Tendo
influenciado filsofos subseqentes, tais como Wittgenstein, Quine e Davidson. O princpio
do contexto desempenhou historicamente o papel de contribuir para estabelecer a fronteira
entre o contedo semntico (pblico e objetivo) e o contedo psicolgico (privado e
incomunicvel) das expresses lingsticas. Frege foi pioneiro em atribuir um papel
privilegiado proposio em anlise semntica um privilgio que perdeu fora nas obras
posteriores, devido a sua caracterizao das frases como um tipo especial de nomes
complexos, mas que perdurou na filosofia da linguagem e mesmo na lingstica posteriores.
Temos, de fato, muitas evidncias para considerarmos este princpio como
fundamental para o desenvolvimento do projeto logicista de Frege. No entanto, apesar de
inmeras evidncias nos conduzirem a essa interpretao, outras tantas nos levam a duvidar
disso.
Apesar da notria importncia em Os fundamentos, no h consenso acerca do uso do
princpio do contexto nesta obra. Como formulado em Os fundamentos, diz-nos muito pouco
e as formulaes que surgem no decorrer do livro no parecem exercer o mesmo papel. A
polmica ainda maior no que diz respeito manuteno nas outras obras.
Como o ttulo de nosso trabalho promete, faremos uma anlise sistemtica desse
princpio, tendo em vista que o papel exercido por ele no projeto de Frege muito polmico.
H diversas interpretaes sobre seu uso em Os fundamentos. apenas nesta obra que o
princpio aparece explicitamente. A polmica ainda maior em torno da questo de seu uso
em outras obras, j que ele no aparece explicitamente em nenhuma delas.
Para conduzir nosso objetivo, dividimos nossa dissertao em trs captulos:
No primeiro momento, achamos importante usarmos o prprio princpio do contexto
como um mtodo de anlise para a conduo da investigao. Assim, antes de comearmos a
anlise sistemtica propriamente dita seguindo o esprito metodolgico do princpio
daremos uma viso geral do que veio a ser conhecido como o projeto logicista de Frege, pois
no poderamos analisar o princpio isoladamente, fora do contexto do projeto fregeano.
Para compreendermos melhor o empreendimento de Frege, comearemos, no primeiro
captulo desta dissertao, por analisar o contexto histrico no qual estava inserido e, em
seguida, faremos uma anlise mais detalhada. Para efeitos didticos, dividiremos esta anlise
em quatro perodos distintos. Atravs de uma leitura das principais obras de Frege,
pretendemos caracterizar cada um dos perodos.
12

No segundo captulo, aproximar-nos-emos mais da questo central deste trabalho: a


utilizao do princpio do contexto por Frege segundo a literatura secundria. A anlise
sistemtica que prometemos fazer resulta exatamente da questo de que parece no haver
consenso acerca desse uso. O papel desse princpio na filosofia de Gottlob Frege, de fato, tem
sido alvo de muita discusso. Apesar de ser consenso que ele exerce um papel importante em
Os fundamentos, mostraremos que isso no se revela igualmente quanto ao uso que Frege faz
do princpio do contexto nessa mesma obra.
A sistematizao a que nos propomos aqui apenas para fins didticos. claro que ela
no uma disjuno forte. As interpretaes do princpio do contexto no se excluem, elas
muitas vezes se entrecruzam. Destacaremos alguns intrpretes em cada abordagem, apenas
pela questo da nfase dada pelo comentador e no porque ele rejeita as demais.
Neste captulo, faremos uma anlise sistemtica do uso do princpio do contexto por
Frege em Os fundamentos, segundo a literatura secundria. O papel do princpio do contexto
nesta obra muito controverso, uma vez que este princpio como formulado nos diz muito
pouco e as formulaes que aparecem no decorrer do livro no parecem exercer um papel
homogneo.
E, finalmente, analisaremos outra questo tambm relacionada ao princpio do
contexto, que a de seu uso nas obras posteriores. Este princpio, considerado como um dos
mais importantes de Frege ao contrrio dos outros dois princpios, formulados na introduo
desta obra , no citado explicitamente em outros trabalhos.
Entre os comentadores no h concordncia acerca da manuteno ou no do princpio
do contexto nos escritos posteriores. H alguns comentadores que defendem uma
reformulao deste princpio nas demais obras de Frege; outros, entretanto, argumentam que
Frege, de fato, o abandona. Dessa forma, h trs possibilidades de formular a questo: (1) o
princpio do contexto no exerce um papel importante em Os fundamentos; (2) Frege ainda
adere ao princpio do contexto nas obras posteriores; e (3) a estrutura de pensamento sobre a
filosofia da aritmtica sofreu uma mudana radical de um livro para o outro, no havendo
unidade em suas obras.
Poderamos sintetizar esta discusso dividindo os intrpretes em dois grupos distintos,
a saber, os comentadores que defendem a tese do abandono do princpio do contexto nas
obras posteriores a Os fundamentos e os comentadores que defendem a tese da manuteno
deste princpio. No h referncia clara nem negao explcita em qualquer escrito de Frege
aps Os fundamentos.
13

A importncia do princpio do contexto no projeto logicista de Frege , de fato, uma


questo polmica. Este fato d margem a uma diversidade de interpretaes. Pretendemos, no
decorrer da presente dissertao, fazer uma taxionomia das questes referentes ao princpio do
contexto e apresentar algumas das posies dos comentadores de Frege, sem pretender,
contudo, esgotar esse debate to frutfero.
14

CAPTULO I
15

O PROJETO LOGICISTA DE GOTTLOB FREGE

O objetivo deste captulo dar uma viso geral do que veio a ser conhecido como o
projeto logicista de Frege, a saber, a fundamentao da aritmtica em bases puramente
lgicas. Os conceitos da aritmtica seriam derivados de conceitos lgicos atravs de
definies; os teoremas derivados de axiomas lgicos atravs de dedues puramente lgicas,
isto , as verdades da aritmtica seriam traduzidas em verdades da lgica.
Atravs de uma leitura das principais obras de Frege, tentaremos traar o panorama
geral de seu projeto. Sabemos que a princpio isso excede os limites de um captulo de
dissertao. Mas nosso objetivo aqui mais modesto, no se trata de discutir em detalhe cada
uma delas, mas, de cada, retirar o que relevante para entender o projeto logicista. Para
efeitos didticos vamos dividir nossa anlise em cinco perodos distintos, cada um deles com
uma obra-chave para caracterizar o perodo.5

5
Cf. KENNY, Anthony. Mill to Wittgenstein. In: idem. The Oxford History of Western Philosophy. New York:
University Press, 2000. p. 254-292.
16

O primeiro perodo marcado pela obra Begriffsschrift,6 publicada em 1879, obra em


que autor apresenta pela primeira vez sua nova lgica e sintetiza as pesquisas sobre operaes
de negao e implicao e sobre os conceitos de identidade e quantificador universal, alm de
desenvolver uma teoria lgica das sries. Ao segundo perodo corresponde Os fundamentos
(1884), em que Frege ocupa-se com o esboo informal da definio lgica de nmero e com a
demonstrao lgica das leis fundamentais da aritmtica a partir de leis lgicas. O terceiro
perodo marcado pela publicao de trs artigos Funo e conceito (1891), Sobre o
sentido e a referncia (1892) e Conceito e objeto (1892) em que Frege desenvolve alguns
conceitos que j estavam presentes em Os fundamentos. Estes artigos inauguram a moderna
disciplina filosofia da lgica. Ao quarto perodo, corresponde a publicao dos dois volumes
dos Die Grundgesetze der Arithmetik7 (1893-1903). Nessa obra, Frege empreende a
construo formal da aritmtica em bases puramente lgicas. Seus propsitos no se
concretizaram, seu sistema mostrou-se inconsistente como apontara Russell, em 1902, com a
contradio que ficou conhecida como o paradoxo de Russell. Inicia-se ento o quinto
perodo em que procurou solucionar o problema, mas acaba desistindo e volta-se para outros
assuntos. Entre 1918 e 1923 Frege publicou trs artigos: O pensamento, A negao e
Pensamentos compostos.
Dessa forma, apresentaremos aqui o contexto histrico no qual estava inserido o
projeto fregeano e descreveremos os cinco perodos deste projeto, visando a situar o leitor em
nossa anlise sistemtica do papel exercido pelo princpio do contexto no desenvolvimento do
projeto logicista.

6
Cf. FREGE, Gottlob. Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens,
1879; reedit. In: Begriffsschrift und andere Aufstze (Angelelli org.). Hildesheim: Zrich, New York, George
Olms Verlag, 1998. p. XI. No h traduo dessa obra em lngua portuguesa. Os termos Ideografia (Paulo
Alcoforado) e Conceitografia (Lus Henrique L. dos Santos) tm sido utilizados como traduo de
Begriffsschrift. A expresso Begriffsschrift traduzida literalmente significa escrita conceitual ou notao
conceitual. Jourdain em um artigo de 1912 traduz o ttulo como Ideography e Frege ao tomar conhecimento
desta traduo a acha pertinente. Austin traduz o ttulo desta obra para o ingls como Concept Writing. Por no
haver consenso quanto traduo mais adequada, nesta dissertao, conservaremos o termo alemo
Begriffsschrift. E manteremos, conforme a recomendao de Beaney, 1997, o termo alemo sem traduo, mas
com a conveno de distinguir o texto da notao conceitual pelos artigos o e a respectivamente, ou outros
termos que designem o seu gnero.
7
Cf. idem. Die Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. Vol. I, II. (1893, 1903). George Olms
Verlag, Hildesheim: Zrich, New York, 1998; Cf. idem. The Basic Laws of Arithmetic: Exposition of the
System. Traduzido e editado por Montgomery Furth. Berkeley e Los Angeles: University of Califrnia Press,
1964. No temos traduo portuguesa desta obra. Os comentadores de Frege de lngua portuguesa geralmente
traduzem como As Leis Fundamentais da Aritmtica, mas por no haver ainda traduo estabelecida do ttulo
desta obra manteremos o ttulo no original alemo.
17

1.1 O CONTEXTO HISTRICO

Para compreendermos melhor o projeto de Frege, necessitamos primeiro analisar o


contexto histrico no qual ele estava inserido. Os matemticos de sua poca desejavam
fundamentar a matemtica atravs de demonstraes mais rigorosas e definies mais
precisas. Entre as diversas tendncias na matemtica no sculo XIX, uma das principais foi o
movimento fundacionista. Muitos matemticos exigiam um maior rigor nas definies dos
conceitos matemticos e nas provas dos teoremas. As definies de conceitos aritmticos
tinham de ser explicados por meio de outros conceitos mais bsicos. O movimento marcou
tambm o rompimento entre a geometria e a aritmtica. A geometria at ento oferecia uma
base relativamente segura para a organizao da matemtica. A partir de ento h uma
mudana da concepo dos matemticos, eles passaram a considerar a aritmtica como uma
disciplina independente. No incio do sculo XIX, j estava claro que a geometria havia
encontrado seus limites enquanto disciplina fundadora da matemtica; os nmeros negativos,
imaginrios e os infinitesimais apresentavam srias dificuldades de entendimento no quadro
substancial da geometria. O que seria uma grandeza negativa, por exemplo? A expresso
aritmetizao reflete exatamente o esforo de vrios matemticos no sculo XIX em trocar a
geometria pela aritmtica como disciplina fundante, ou seja, eles caminhavam para o
consenso de que, a partir dos nmeros naturais, era possvel fundamentar toda a matemtica.8
Mesmo antes de Frege, os matemticos em investigaes da interdependncia dos
conceitos matemticos j tinham mostrado embora freqentemente incapazes de precisar as
definies que todos os conceitos da aritmtica so redutveis aos nmeros naturais. Por
conseguinte, o principal problema considerado pelo logicismo foi a derivao dos nmeros
naturais de conceitos lgicos. O logicismo de Frege pretendia reduzir a aritmtica lgica,
visto que, com a aritmetizao da anlise, caso conseguisse seu intento, toda a matemtica
clssica seria reduzida lgica. Para tornar precisa a tese de que os conceitos da Matemtica
so derivveis de conceitos lgicos, devem-se especificar os conceitos lgicos empregados na
derivao.9

8
Cf. NETO, Fernando Raul. O Projeto Logicista de Gottlob Frege. In: IV SNHM Seminrio Nacional de
Histria da Matemtica, 2001, Natal. Anais do IV SNHM - Seminrio Nacional de Histria da Matemtica. Natal
Imprensa Universitria - UFRN, 2001. V. nico. p. 78-94.
9
Cf. CARNAP, Rudolf. Os Fundamentos Lgicos da Matemtica. In: BENACERRAF, Paul; PUTNAM, Hilary.
Philosophy of Mathematics. Cambridge University Press, 1964.
18

Para entendermos o alcance do projeto logicista e as dificuldades com as quais Frege


iria se defrontar, mostraremos as duas alternativas que se apresentavam ao projeto fregeano. A
opo do Formalismo entendia a matemtica, e em particular a aritmtica, simplesmente
como um jogo formal com signos e regras (os conceitos primitivos e os axiomas de uma
teoria, respectivamente) e signos sem significatividade alguma, isto , sem representar objeto
algum fora da teoria. Desse modo, as verdades de uma teoria seriam apenas formais, no
sentido de redutveis por deduo lgica a seus axiomas, jamais se constituindo como
verdades materiais. A aplicao de uma teoria matemtica ao mundo, segundo David Hilbert,
o maior nome da corrente formalista, no seria da alada dos matemticos, eles deveriam se
preocupar apenas com a sua consistncia interna (ausncia de contradies), no importando
se elas se aplicam ou no ao mundo.
O intuicionismo, tambm chamado de construtivismo, se, por um lado, entendia que as
proposies da matemtica, e da aritmtica em particular, eram verdades acerca do mundo,
por outro, restringia epistemologicamente os objetos da matemtica. Segundo os
representantes deste movimento, os conceitos matemticos so obtidos por construo mental
atravs da intuio humana. Isto, porm, podava substancialmente a matemtica. O conceito
de infinito atual, por exemplo, fundamental para a matemtica de hoje no pode ser obtido por
construo na intuio.
Frege entra nessa discusso rejeitando cada uma dessas opes: o formalismo, por sua
vacuidade material e o intuicionismo por limitar a matemtica. Com seu projeto, Frege,
podemos dizer, queria o melhor das duas correntes: a riqueza e a pujana da matemtica que
se descortinava no sculo XIX, com os formalistas, e a garantia de que as teorias matemticas
no eram abstratas ou simples jogos de frmulas, mas verdades acerca do mundo como os
intuicionistas.

1.2 O PRIMEIRO PERODO

No prefcio segunda edio da Crtica da razo pura, Kant diz, referindo-se


lgica aristotlica: Digno de nota ainda que at agora tampouco tenha podido dar um passo
19

adiante, parecendo, portanto, ao que tudo indica, completa e acabada.10 Para Kant, a lgica
era um exemplo de disciplina que, em suas palavras, havia seguido o caminho seguro da
cincia. No entanto, indo de encontro opinio de Kant, a partir do sculo XIX, a lgica deu
um passo adiante com os ingleses De Morgan, Hamilton, Boole e com o alemo Gottlob
Frege que, com o Begriffsschrift, foi o responsvel pelas alteraes seminais no corpo da
lgica clssica11.
Frege introduz na lgica clssica o clculo de predicados, que contm a silogstica
aristotlica como uma de suas subpartes e torna, assim, operacional a formulao que os
lgicos esticos davam s frmulas silogsticas, unificando em um nico formalismo a lgica
dos termos e a lgica das proposies, que haviam ficado separadas tambm em Boole. Aps
cerca de dois mil anos de histria da lgica, a unificao efetuada por Frege desmente com os
fatos a tese sustentada por Kant na Crtica da razo pura, de que nada de novo se poderia
realizar em lgica formal depois de Aristteles.

1.2.1 BEGRIFFSSCHRIFT

O Begriffsschrift um texto relativamente curto, com cento e vinte quatro pginas,


dividido em um prefcio e trs partes. No prefcio, Frege expe os objetivos gerais de seu
projeto e de sua obra; na primeira parte explica o simbolismo; na segunda, utiliza o
simbolismo explicado na parte anterior na construo de uma axiomatizao para o hoje
chamado clculo de predicados atravs de nove axiomas; e, na ltima, examina o princpio
de induo matemtica, com o objetivo de definir logicamente a seqncia dos nmeros
naturais.12

10
Merkwrdig ist noch na ihr, da sie auch bis jetzt keinen Schritt hat tun Knnen, und also allem Ansehen
nach geschlossenund vollendet zu sein scheint. KANT, Immanuel. Crtica da Razo Pura. In: Coleo Os
Pensadores. So Paulo: Abril, 1983. p. 10; idem. Kritik der reinen Vernunft. Stuttgart: Reclam, 1985, p. VIII.
11
A lgica clssica compreende, basicamente, o clculo de predicados de primeira ordem com identidade e
smbolos funcionais. Entre as caractersticas prprias da lgica clssica costuma-se colocar a obedincia a alguns
princpios lgicos fundamentais (as assim chamadas leis fundamentais do pensamento); so o princpio de
identidade, o princpio de no-contradio, o princpio do terceiro excludo e o princpio da bivalncia; a lgica
clssica tambm no leva em considerao o tempo. Dessa forma, a lgica criada por Frege no Begriffsschrift
tambm clssica, pois, obedece a esses princpios.
12
Cf. NETO, Fernando Raul. O Begriffsschrift de Gottlob Frege. Studium Revista de Filosofia, v. 3, n. 5, p. 70-
85, 2000.
20

De um modo geral, podemos dizer que, enquanto matemtico, Frege possui um nico
projeto: fundamentar a aritmtica em bases puramente lgicas. Sua idia inicial que a
linguagem natural no serve para isso, nas palavras dele:

Ao procurar atender esta exigncia da forma a mais rigorosa possvel,


encontrei um obstculo na inadequao da linguagem; quanto mais pesadas
eram as expresses surgidas, quanto mais complicadas tornavam-se as
relaes, menos se conseguia da preciso exigida pelo meu objetivo. Desta
necessidade surgiu a idia da presente ideografia.13

Da seu primeiro livro ser a criao de uma linguagem tcnica para a fundamentao
da aritmtica. O ttulo de seu livro j revela o objetivo: Begriffsschrift, eine der
arithmetischen nachgebildete Formelsprache des reinen Denkens no temos traduo
brasileira ou portuguesa desta obra, mas uma possvel traduo para o ttulo desta obra seria:
Conceitografia, uma linguagem por frmulas do pensamento puro modelada sobre a da
Aritmtica.
Para executar tal empreendimento, de reduo da aritmtica lgica, Frege
necessitava de uma linguagem ou de uma notao que fosse suficientemente clara para que
nas cadeias de dedues dos teoremas nada de estranho prova pudesse entrar despercebido.
Como vimos, essa linguagem no poderia ser a linguagem ordinria, pois , segundo Frege,
ambgua e inadequada e no serve para estabelecer uma deduo totalmente livre de lacunas.
Assim, uma das razes que conduziram ao Begriffsschrift foi o desejo de construir uma
linguagem precisa. Mais exatamente, uma linguagem em que os enunciados relevantes para a
deduo lgica deixassem de admitir significao diversificada, como se d com as
expresses da linguagem cotidiana. No entanto, Frege no defende a superioridade de uma
linguagem artificial sobre a linguagem natural, apenas sua superioridade quando usada para
propsitos cientficos e justamente por ser livre de ambigidades. A cincia necessita de uma
linguagem na qual os termos no variem de significado de acordo com o contexto. Para nosso
uso cotidiano, ao contrrio, a linguagem artificial que se mostraria inadequada.
Tentando dar ao leitor uma primeira idia dessa linguagem conceitual, Frege
estabelece no prefcio do Begriffsschrift uma analogia entre sua Begriffsschrift e o
microscpio, por um lado, e a linguagem cotidiana e o olho humano, por outro:

13
Indem ich diese Forderung auf das strengste zu erfllen trachtete, fand ich ein Hindernis in der
Unzulnglichkeit der Sprache, die bei aller entstehenden Schwerflligkeit des Ausdruckes doch, je verwickelter
die Beziehungen wurden, desto weniger die Genauigkeit erreichen liess, welche mein Zweck verlangte. Aus
diesem Bedrfnisse ging der Gedanke der vorliegenden Begriffsschrift hervor. (FREGE, 1879, p. x)
21

O olho possui, pela amplitude de sua aplicao, pela mobilidade com que se
adapta s diferentes circunstncias, uma grande superioridade sobre o
microscpio. Considerado como um instrumento ptico, ele mostra
evidentemente muitas imperfeies, que normalmente passam despercebidas
por conta de sua ntima relao com a vida mental. Mas, na medida em que
os objetivos cientficos colocam grandes exigncias na preciso, o olho
revela-se inadequado. O microscpio ao contrrio, adapta-se perfeitamente a
esses objetivos, mas exatamente porque intil para os demais.14
A linguagem comum, portanto, seria inadequada para exprimir com exatido
propriedades e relaes lgicas. Uma deduo em linguagem comum contm lacunas e
premissas implcitas que dificultam concluses logicamente legtimas.
A matemtica sempre foi devedora de uma linguagem tcnica e poder-se-ia ento
argumentar que a lgica aristotlica supriria esta necessidade. No entanto, j na poca de
Frege, alguns estudiosos haviam notado que a lgica aristotlica no permitia formulaes
que seriam necessrias para uma adequada teoria da deduo. Eles perceberam que a maior
parte das passagens de uma complicada demonstrao matemtica no podia ser justificada
com o auxlio da lgica aristotlica. Afastando-se a probabilidade de que todas as
demonstraes da matemtica seriam incorretas, a concluso que se impunha era a de que a
lgica no devia estar adequada matemtica. Nasceu, assim, a idia de erigir um sistema
completo de lgica em que todas as dedues legtimas comparecessem sob a forma de regras
explcitas.
A silogstica aristotlica, por sua vez, tambm no atendia aos objetivos de Frege. Ela
mostrava-se duplamente insuficiente. Primeiro, por ser incompleta, pois as relaes e
propriedades aritmticas seriam relaes de propriedades lgicas muito mais complexas do
que as que a silogstica aristotlica seria capaz de representar. Em segundo lugar, esta ltima
no suficientemente formalizada, deixando-se contaminar pela impreciso da linguagem
comum. A lgica aristotlica s considerava predicados-atributo, como homem ou mortal
sem trabalhar com predicados-relao. Mas so justamente esses predicados de relao que
tm maior importncia para as cincias e, em especial, para a matemtica, devendo-se
ressaltar que os predicados relacionais no so apenas os didicos que fixam relaes entre
dois objetos (tal como se d, digamos, com o predicado maior do que), mas predicados
14
Faremos tradues livres das citaes de obras que ainda no tm traduo em lngua portuguesa. Das
Verhltnis meiner Begriffsschrift zu der Sprache des Lebens glaube ich am deutlichsten machen zu knnen,
wenn ich es mit dem des Mikroskops zum Auge vergleich. Das Letztere hat durch den Auge vergleich. Das die
Beweglichkeit, mit der es sich den verschiedensten Umstnden anzuschmiegan weiss, eine grosse
Ueberlegenheit vor dem Mikroskop. Als optischer Apparat betracnet, zeigt es freilich viele
Unvollkommenheiten, die nur in Folge seiner inniger Verbindung mit dem geistigen Leben gewhnlich
unbeachtet bleiben. Sobald aber wissenchaftiliche Zwecken grosse Anforderungen an die Schrfe der
Unterscheidung stellen, zeigt sich das Auge als ungengend. Das Microskop hingegen ist gerade solchen
Zwecken auf das vollkommenste angepasst, aber eben dadurch fr alle andern unbrauchbar. (FREGE, 1998, p.
XI)
22

genricos, n-dicos, que fixam relaes entre n objetos (onde n um nmero natural maior
que 2). A lgica aristotlica vale-se de premissas e de regras dedutivas em que surge uma das
expresses todos ou existe; no se vale, porm, de premissas e concluses em que
todos ou existe compaream mais de uma vez.
Poder-se-ia ainda argumentar e os contemporneos de Frege, de fato o fizeram que
seria desnecessria a elaborao de uma nova lgica. Pois, segundo eles, j existia uma
linguagem formal, em voga, a de Boole, e a mesma j era suficiente para representar as leis do
pensamento (ou da lgica). 15
George Boole (1815-1864) introduziu em The mathematical analysis of logic16 (1847)
e em The laws of thought17 (1854) uma nova notao simblica em que foi possvel
representar os silogismos e os argumentos proposicionais. Embora a lgica proposicional e a
lgica aristotlica tenham sido consideradas como rivais na histria da lgica, no sculo XIX
ambas foram aceitas como uma importante contribuio para o projeto geral de avaliao de
inferncias. Era uma viso comum que a lgica aristotlica fornecia um mtodo para avaliar
inferncia cuja validade seria baseada na relao entre conceitos, enquanto a lgica
proposicional fornece um mtodo para avaliar inferncias baseadas na relao entre
proposies. Os dois mtodos utilizam modos distintos de ver a representao, a construo
das premissas e da concluso da inferncia.
Mas a tcnica de Boole ainda envolve uma ntida separao entre os dois tipos de
inferncia. Sua notao pode representar a estrutura lgica que tem significado ou para lgica
proposicional ou para a silogstica aristotlica, no entanto, ela no pode representar a ambas
simultaneamente. Um smbolo da notao, quando usado na expresso de um silogismo, tem
um significado que diferente de quando usado na expresso de um argumento
proposicional. Para utilizarmos a tcnica de Boole para avaliar um argumento, temos de
decidir primeiro que tipo de argumento ele e represent-lo de modo adequado.
Conseqentemente, para muitas inferncias a notao no pode ser usada para representar
todo o contedo que tem significado para uma inferncia. Pois muitos argumentos vlidos so
uma combinao de um complexo de lgica proposicional e no proposicional e nestes casos
a lgica de Boole seria insuficiente. Esta utiliza smbolos da aritmtica ora no sentido habitual
15
importante mencionarmos que Frege no faz nenhuma referncia a Boole no Begriffsschrift; isso porque, ele
no o conhecia na poca da publicao do seu primeiro livro e somente depois das crticas ao Begriffsschrift, ele
se familiarizou com a lgica booleana.
16
Cf. BOOLE, George. The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of Deductive
Reasoning. Originally published in Cambridge by Macmillan, Barclay, & Macmillan, 1847. Reprinted in Oxford
by Basil Blackwell, 1951.
17
Cf. idem. An Investigation of The Laws of Thought on Which are Founded the Mathematical Theories of Logic
and Probabilities. Originally published by Macmillan, London, 1854. Reprint by Dover, 1958.
23

ora em sentido lgico. Dessa forma, se associada aritmtica a lgica de Boole leva a
equvocos. Sua lgica s pode ser usada quando totalmente separada da aritmtica.
O que os contemporneos de Frege no entenderam, mas que j estava claro em sua
cabea, que a linguagem natural assim como a lgica de Aristteles e a de Boole eram
insuficientes para a realizao do projeto. Diante da incompreenso de seus contemporneos,
Frege precisou explicar sua Begriffsschrift e demonstrar sua superioridade em relao s
lgicas anteriores a sua. Ele publica dois artigos: Aplicaes da ideografia,18 onde ele oferece
aplicaes de sua Begriffsschrift; e Sobre a finalidade da ideografia,19 neste artigo Frege
responde s crticas de Schrder,20 compara seu trabalho com o de Boole e o reconhece como
superior ao do ingls. A notao de Boole, apesar de pretender representar ambos os sistemas
de lgica, ainda envolve uma ntida separao entre eles. A contraposio entre estes dois
sistemas lgicos se estendeu por mais de dois mil anos, com algumas tentativas de unificao
como a tentativa empreendida por Boole jamais plenamente bem-sucedidas at a sntese
efetuada por Frege, responsvel pela grande virada lgica do sculo XX.
No vamos acompanhar com o leitor o texto de Frege pargrafo por pargrafo, mas
ressaltaremos algumas inovaes da lgica que influenciaram toda a tradio lgica posterior.
Frege inicia o texto procurando caracterizar o tipo de verdade que veiculada pelos juzos
aritmticos. Ele afirma que h duas formas de se estabelecer a verdade de uma proposio, a
saber: perguntando por qual caminho a proposio em questo foi estabelecida, ou seja, o
processo epistemolgico; ou estabelecendo o processo em que elas podem ser justificadas. A
primeira, como ele mesmo coloca, pode ser respondida diferentemente por diferentes pessoas,
pois a verdade estabelecida a partir da gnese do conhecimento da proposio. A segunda
mais definitiva, pois a verdade estabelecida a partir da natureza interna da proposio. No
Begriffsschrift, sua preocupao apenas com a segunda forma de se estabelecer a verdade,
ou seja, preocupa-se em apresentar a prova ou justificao do conhecimento da verdade de
uma proposio.
A Begriffsschrift contm um conjunto bem determinado de regras de deduo e de
axiomas lgicos supostamente evidentes. Na segunda parte do livro, intitulada Representao

18
Cf. FREGE, Gottlob. Anwendung der Begriffsschrift, Sitzungsberichte der Jenaischen Gesellschaft fr
Medicin und Naturwissenschaft fr das Jahr 1879, p. 29-33; reedit. In: Begriffsschrift und andere Aufstze
(Angelelliorg.); Cf. idem. Aplicaes da Ideografia. In: ALCOFORADO, Paulo. (Org). Lgica e Filosofia da
Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978. p. 133-138.
19
Cf. Idem, ber den Zweck der Begriffsschrift, Sitzungsberichte der Jenaischen Gesellschaft fr Medicin und
Naturwissenschaft fr das Jahr 1882 (1883), 1-10; reedit. In: Begriffsschrift und andere Aufstze; Cf. Idem,
Sobre a Finalidade da Ideografia. In: ALCOFORADO, Paulo. (Org). Lgica e Filosofia da Linguagem. Trad. e
notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp , 1978. p. 141-152.
20
Cf. SCHRDER, Ernest. Review of Freges Conception Notation. 1980.
24

e deduo de alguns juzos do pensamento puro, (Darstellung und Ableitung einiger Urtheile
des reinen Denkens.) Frege faz uma grande deduo com sessenta e oito proposies com
nove axiomas. Com os seis primeiros axiomas ele desenvolve o clculo proposicional; com o
stimo e o oitavo, o clculo de predicados com identidade; e com o nono axioma desenvolve o
clculo de predicados.21 Com o Begriffsschrift, torna-se gramaticalmente impossvel construir
dedues ilegtimas e toda legitimidade pode ser facilmente constatada, na medida em que o
conjunto de passagens permitidas pequeno e as regras que as comandam so formais.
Portanto, podemos considerar o Begriffsschrift, simultaneamente, como uma lngua
caracterstica e como um clculo lgico.
De acordo com a maioria dos lgicos anteriores a Frege, no poderia existir uma
representao adequada de um juzo sem uma distino entre sujeito e predicado. Frege
substitui essa representao por outra mais adequada a seus propsitos: funo e argumento,
conceitos retirados da matemtica que permitem a formalizao de proposies que no
poderiam ser formalizadas atravs da lgica aristotlica. O objetivo de Frege com essa
alterao distinguir a forma lgica e a forma gramatical de uma proposio. Proposies
como Frege escreveu o Begriffsschrift e O Begriffsschrift foi escrito por Frege diferem
gramaticalmente, pois h uma inverso entre seus sujeitos e predicados. Mas, apesar da
alterao gramatical, o contedo mantido. Elas obedecem ao princpio de substitutibilidade,
isto , um termo pode substituir o outro em uma premissa sem afetar a validade do raciocnio.
O que interessa em uma deduo o contedo conceitual (begrifflicher Inhalt).
Segundo Frege, toda proposio admite um processo de decomposio que a reduz a
uma expresso incompleta, comportando um ou mais lugares vazios e uma ou mais
expresses que podem preencher esses lugares a fim de recompor a proposio. Assim,
quatro um nmero decompe-se em quatro e ( ) um nmero. A primeira expresso
completa, tem como significado um objeto; a segunda incompleta, tem como significado
uma funo. No caso de a expresso decomposta ser uma proposio, como no exemplo
acima, o valor da funo um valor de verdade. Os valores de verdade so o verdadeiro e o
falso. Assim, a funo ( ) um nmero para o argumento 4 tem como valor de verdade, o
verdadeiro. E para o argumento Recife, por exemplo, tem como valor de verdade o falso.
Para Frege, uma funo que tem para qualquer argumento um valor de verdade como valor,
isto , o verdadeiro ou o falso como valor, um conceito. O resultado dessa distino
lgica notvel para a histria da lgica. Frege abandona a centralidade da anlise feita em

21
Cf. NETO, 2000, p. 212.
25

termos de sujeito e predicado, que caracteriza a lgica aristotlica; em seu lugar introduz a
distino entre argumento e funo, ou seja, entre objeto e conceito.
Outro avano em relao s lgicas anteriores a inveno dos quantificadores.22
Como vimos, a lgica aristotlica j utilizava expresses para a generalidade, tais como todo
e algum, entretanto, no oferecia um tratamento para as chamadas proposies de mltipla
generalidade, ou seja, proposies em que todos ou algum compaream mais de uma vez.
A lgica aristotlica estava, assim, interessada nas relaes entre os termos das
premissas e as concluses de um raciocnio. O raciocnio era tipicamente enquadrado na
forma transmitida por Aristteles como um silogismo. Os esticos, por outro lado,
consideravam central para a lgica a relao condicional. Para eles, portanto, as premissas
silogsticas deveriam ser lidas no como enunciados complexos, mas na forma condicional
se... ento. A histria da lgica ocidental foi marcada pelo antagonismo entre dois estilos e
dois sistemas: por um lado, a lgica aristotlica dos termos e, por outro, a lgica estica dos
enunciados (ou as proposies).23 Frege modifica este panorama com a sua lgica exposta no
Begriffsschrift

1.3 O SEGUNDO PERODO

No segundo perodo, que corresponde a Os fundamentos, Frege ocupou-se com uma


apresentao informal e em linguagem acessvel, de seu projeto logicista; isto iria exigir um
esboo informal da definio lgica de nmero e de como as leis fundamentais da aritmtica
podem ser geradas de leis lgicas. Na verdade, a publicao de Os fundamentos deve-se, em
grande parte, fraca recepo do Begriffsschrift. Frege teria sido aconselhado por um amigo a
reapresentar suas idias principais em linguagem menos tcnica. Vista de hoje, a tarefa parece
ter sido cumprida perfeio, pois, segundo Beaney, um dos leitores mais argutos de Frege,
Os fundamentos uma obra-prima filosfica.

22
O smbolo para o quantificador universal utilizado por Frege no Begriffsschrift diferente do utilizado
atualmente. E o quantificador existencial no tem um smbolo prprio, exprimindo-se em funo do
quantificador universal.
23
Cf. STEGMLLER, Wolfgang. Pesquisas relativas lgica e aos fundamentos da matemtica. In: idem. A
Filosofia Contempornea. V. I. EPU. So Paulo: 1977. p. 330-342.
26

1.3.1 OS FUNDAMENTOS DA ARITMTICA

Os fundamentos da aritmtica (Die Grundlagen der Arithmetik)24 possui cento e nove


pargrafos divididos em uma introduo e cinco partes a ltima, a concluso (87-109).
Nos 1-4, Frege apresenta os motivos que o conduziu s investigaes. Nas trs primeiras
partes (5-54), Frege apresenta e crtica a opinio de outros autores acerca do conceito de
nmero natural e da aritmtica como um todo. Ele apresenta a sua tese apenas na quarta parte
do livro (55-86). Para fins didticos, no entanto, dividiremos Os fundamentos em duas
partes: a primeira (Introduo at 44) consideramos negativa em seus objetivos; pois, nesses
pargrafos, Frege apresenta e refuta uma srie de posies referentes natureza das
proposies da aritmtica. A segunda (45-109) consideramos positiva, uma vez que Frege,
a partir de uma anlise crtica das posies de outros pensadores acerca da natureza das
proposies numricas, apresentada nos primeiros pargrafos, constri sua prpria concepo
de nmero. Mas, como dissemos anteriormente, esta diviso puramente didtica, pois,
podemos perceber que a primeira parte tambm possui um aspecto positivo: Frege ao refutar
uma determinada opinio j estabelece a sua. Por exemplo, nos 5-17, ele argumenta
implicitamente em favor da demonstrabilidade das frmulas numricas; tambm podemos
notar seu apreo pela definio dos nmeros naturais de Leibniz, nela cada nmero definido
a partir do que o precede e, assim, o conjunto infinito dos nmeros reduzido ao um e ao
aumento em um.
Na introduo, Frege apresenta os trs princpios fundamentais que, segundo ele
prprio, foram seguidos firmemente em suas investigaes. No 3, ele expe os motivos
filosficos que o conduziram em suas pesquisas. Ele questiona qual a natureza das verdades
da aritmtica. Elas seriam a priori ou a posteriori, sintticas ou analticas? E para fazer esta
avaliao, ele diz que no se deve levar em considerao as condies psicolgicas,
fisiolgicas e fsicas, mas apenas aquilo sobre o que se assenta mais fundamentalmente a
justificao de ser ela tomada como verdadeira. Frege retira, assim, a questo do domnio da
psicologia e a remete ao domnio da lgica, buscando demonstrar as proposies da
aritmtica, antes tidas como auto-evidentes, retornando s verdades primitivas. Se neste

24
H duas tradues em lngua portuguesa, uma traduo portuguesa de Antnio Zilho e uma traduo
brasileira publicada na Coleo Os Pensadores de Lus Henrique dos Santos. Doravante utilizaremos a traduo
brasileira, para mantermos a homogeneidade nas citaes.
27

retorno s encontramos leis lgicas gerais e definies, teremos uma verdade analtica. Se,
porm, nesse percurso tivermos que nos utilizar de verdades que no so de natureza lgica
geral, mas que remetem a um domnio cientfico particular, a proposio sinttica. As
verdades a posteriori precisam em sua demonstrao recorrer a verdades de fato, ou seja,
indemonstrveis, e sem generalidades, implicando enunciados acerca de objetos
determinados. E as verdades a priori, ao contrrio, tm sua demonstrao conduzida apenas a
partir de leis gerais que no admitem nem exigem demonstrao. A distino de analtico e
sinttico apresentada por Frege representa uma mudana em relao dicotomia kantiana.
Para Kant, uma proposio analtica se e somente se o predicado est contido no sujeito, de
outra forma ele sinttico.
A distino de Frege baseia-se na demonstrao das proposies: se a demonstrao
inclui apenas leis lgicas gerais e definies, ento a proposio analtica; se a
demonstrao inclui alguma lei que no possua absoluta generalidade, ela sinttica. Segundo
Frege, Kant esteve perto dessa concepo quando tentou relacionar a verdade dos juzos
analticos com o princpio de no-contradio, mas ele usou uma concepo de lgica
demasiadamente estreita. Quando considerou a possibilidade do conceito de predicado est ou
no contido no conceito do sujeito de um juzo, Kant usou um critrio que apenas aplicvel
aos juzos universais afirmativos do esquema aristotlico. E isto porque nos juzos singulares
e existenciais no h nenhum conceito do sujeito. A distino kantiana de a priori e a
posteriori, sinttico e analtico, diz respeito ao contedo de um juzo, ou seja, se o conceito do
sujeito est ou no contido no conceito do predicado. Mas, para Frege: Tem-se em geral que
distinguir a questo de como chegamos ao contedo de um juzo da questo do que justifica a
nossa assero.25 Assim, a distino fregeana de a priori e a posterior, sinttico e analtico,
no se refere ao contedo de um juzo, mas a sua justificao. Frege est consciente da
ampliao em Os fundamentos da classe das verdades analticas, apesar de sua considerao
em uma nota de rodap do 3: No pretendo naturalmente introduzir com isto um novo
sentido, mas apenas captar o que autores anteriores, especialmente Kant, visaram. 26
Como j havamos dito, dividimos Os fundamentos em duas partes. A primeira, que vai
da introduo at 44, consideramos negativa em seus objetivos. Nesses pargrafos, Frege
apresenta e refuta uma srie de posies referentes natureza das proposies da aritmtica.
Segundo Frege, no 45:

25
So hat man allgemein die Frage, wie wir zu dem Inhalte eines Urteils kommen, von der zu trennen, woher wir
die Berechtigung fr unsere Behauptung nehmen. (FREGE, 1983, p.204; FREGE, 1995, p. 27).
26
Ich will damit natrlich nicht einen neuen Sinn hineinlegen, sondern nur das treffen, was frhere Schriftseller,
insbesondere Kant, gemeint haben. (FREGE, 1983, p. 204 ; FREGE, 1995, p. 27).
28

O nmero no , da mesma maneira que a cor, o peso e a dureza, abstrado


das coisas, no , no mesmo sentido, uma propriedade das coisas. Resta a
questo de saber sobre o que algo enunciado por meio de uma indicao
numrica. O nmero no surge por anexao de uma coisa a outra. Nem a
doao de um nome aps cada anexao faz alguma diferena. As
expresses pluralidade, conjunto e multiplicidade no so, por seu
carter indeterminado, apropriadas a colaborar na definio de nmero.27

Na primeira parte de Os fundamentos, conhecida como a pars destruens (a parte


destrutiva), Frege critica as posies dos empiristas e dos lgicos psicologistas acerca do
conceito de nmero cardinal.
A primeira perspectiva a ser submetida anlise, nos 21-25, o ponto de vista do
empirismo, segundo o qual os nmeros seriam propriedades das coisas exteriores. Frege
mostra que, em primeiro lugar, o nmero pode ser aplicado a todas as espcies de coisas e no
apenas a corpos fsicos e que, em segundo lugar, os mesmos aglomerados de objetos fsicos
podem ser descritos em termos de diferentes nmeros, no existindo um modo caracterstico
de composio desses aglomerados.

A segunda perspectiva analisada, nos 26-27, a dos lgicos psicologistas, que


consideram no existir o nmero realiter nas coisas mesmas, mas ser este antes uma idia ou
representao mental, a qual se encontraria dependente da forma particular de considerao
pela conscincia dos objetos que se lhe apresentam. Contra esta tese, ope Frege o carter
inaceitvel das conseqncias a que daria origem. O nmero teria que ser considerado como
algo subjetivo, suscetvel de ser conhecido por meios psicolgicos.

Finalmente, no 28, ele considera tambm a perspectiva segundo a qual o nmero


consistiria numa coleo de unidades. A sua argumentao contra esta posio baseia-se no
carter impreciso e indefinido do conceito de unidade. Se, como se verifica em alguns casos,
o termo unidade for encarado como designando qualquer coisa exterior suscetvel de ser
contada, ento no haver qualquer distino entre os conceitos de coisa e unidade e nos
encontraramos novamente na perspectiva empirista. Por outro lado, o recurso aos conceitos
de coleo, conjunto, pluralidade, etc, para caracterizar o nmero excluiria dos limites desta
definio o 0 e o 1. E se os nmeros fossem concebidos como predicados cairamos no

27
Die Zahl ist nicht in der Weise wie Farbe, Gewicht, Hrte von den Dingen abstrahier, ist nicht in dem Sinne
wie diese Eigenschaft der Dinge. Es blieb noch in die Frage, von wem durch eine Zahlangabe etwas ausgesagt
werde. Die Zahl ist nichts Physikalisches, aber auch nichts Subjektives, keine Vorsellung. Die Zahl entsteht
nicht durch Hinzufgung von Ding zu Ding. Auch die Namengebung nach jeder Hinzufgung ndert darin
nichts. Die Ausdrcke Vielheit, Menge, Mehrheit sind wegen ihrer Unbestimmtheit ungeeignet, zur
Erklrung der Zahl zu dienen. (FREGE, 1983, p. 238; FREGE, 1995, p. 79-80)
29

absurdo lingstico de atribuir a objetos, juntamente com outras propriedades fsicas como a
dureza, a cor, a forma propriedade de ser um, por exemplo.

Grosso modo, a idia de Frege natural. As crticas dele so bem encaminhadas,


pois, se os nmeros so lgicos, eles no podem ser nem empricos nem subjetivos. Por isso, a
rejeio de Frege s duas solues clssicas, para as quais os objetos matemticos ou seriam
empricos (Stuart Mill), ou subjetivos (os lgicos psicologistas do sculo XIX). Essas
solues, segundo ele, no atendem ao que ele v como caracterstico da Matemtica, a
objetividade e a atemporalidade das suas verdades.

Depois de apresentar as suas crticas s concepes de outros autores a respeito da


natureza das proposies da aritmtica, a partir do 45 Frege inicia o que chamamos parte
construtiva de sua obra, onde ele apresenta a sua definio dos nmeros naturais. A princpio
parece haver uma quebra em sua argumentao, mas na verdade a sua tese emerge
implicitamente como resultado da sua crtica minuciosa as demais teses j apresentadas.

Nessa obra Frege leva a cabo o passo fundamental de seu projeto de reduzir a teoria dos
nmeros lgica, ou seja, estabelecer uma definio de nmero, formalmente correta e
frutfera, usando apenas conceitos puramente lgicos. Segundo Matthias Schirn,28 Frege
empreende trs tentativas de definio dos nmeros, sendo que as duas primeiras tm uma
funo heurstica, isto , as duas primeiras so uma espcie de preparao para a terceira
definio, de carter conclusivo definitivo.
Na primeira tentativa ele amplia a definio leibniziana dos nmeros individuais,
apresentando a definio do 0 e do 1. Frege argumenta que os termos numricos podem
ocorrer em uma atribuio numrica de dois modos diferentes: ou substantivamente ou
adjetivamente. O prprio Frege, reconhece que termos numricos podem ocorrer
adjetivamente no discurso ordinrio. No entanto, ele acredita que apenas o primeiro tipo de
ocorrncia deve ser levado em considerao, enquanto o uso adjetivo de numerais dissimula a
natureza real dos nmeros. A primeira proposta, apresentada no 55, consiste em definir os
nmeros cardinais adjetivamente, isto , como parte de conceitos de segunda ordem. Seu
principal argumento para proceder dessa maneira tem como ponto de partida a suposio de
que os nmeros devem ser objetos e no propriedades de algum tipo. A anlise lgica dos
enunciados numricos em Os fundamentos leva ao resultado de que a indicao numrica
contm um enunciado sobre um conceito. Frege rejeita a suposio de que os nmeros so

28
Cf. SCHIRN, Matthias. O Contexto Proposicional e a Questo do Significado de Termos Singulares Abstratos.
Campinas: Manuscrito. XVI (2): 1- 4, OUTURO, 1993.
30

conceitos de segunda ordem, pois, recorrendo a critrios sintticos, ele caracteriza os nmeros
como objetos autnomos. Frege apela, especialmente no 57, para o fato de que termos
numricos ocorrem como termos singulares no discurso ordinrio da aritmtica para
argumentar que os nmeros devem ser tratados como objetos. Frege defende que os nmeros
so objetos apoiando-se em evidncias da linguagem, tais como: os numerais so antecedidos
por artigo definido e ocorrem em sentenas de identidade, como equaes o artigo definido
indica existncia e unicidade e a relao de identidade , segundo Frege, uma relao de
primeira ordem, ou seja, uma relao sob a qual caem pares de objetos a determinao dos
nmeros como objetos autnomo deve excluir o uso de um termo numrico como predicado
ou atributo, como Frege explica no 60 de Os Fundamentos. S podemos empreender uma
caracterizao geral da identidade numrica se fixarmos as condies de verdade de uma
equao numrica. Dessa forma, estaremos justificados do ponto de vista cientfico, a associar
a um nmero individual um termo numrico como o seu nome prprio.

O argumento de Frege para a rejeio da primeira tentativa de definio j pressupe


o que ele pretende mostrar, a saber, que os nmeros devem ser definidos como objetos. Na
verdade, esta forma de definir os nmeros, estabelece apenas o sentido da forma de expresso
para o conceito G vem o nmero n, mas no torna ainda possvel por este processo a
distino do 0 e do 1 como objetos reconhecveis. Esta questo suscita o problema Jlio
Csar, a saber, ... para algum conceito vir o nmero Jlio Csar ou se este conhecido
conquistador da Glia ou no um nmero,29 ou seja, se os nmeros fossem definidos como
predicados de segunda ordem, ns no teramos meios para decidir quando a o nmero que
pertence ao conceito F, e b tambm o nmero que pertence a F, se a idntico a Jlio
Csar ou no.
A segunda tentativa de definio, que comea no 62, utiliza o Princpio de Hume
Quando dois nmeros so combinados de tal modo que um tenha sempre uma unidade
correspondente a cada unidade do outro pronunciamo-los iguais. 30 que esclarece a questo
epistemolgica relativa maneira como ns apreendemos um determinado nmero e como o
reconhecemos como sendo o mesmo.

Assim, Frege empreende a sua terceira definio, essa definitiva. Na teoria de Frege
a nica maneira de se indicar um nmero individual falar dele como sendo o nmero que cai
sob um conceito. Mas a sua inteno mostrar que a aritmtica um desenvolvimento da

29
FREGE. 1983, p. 80.
30
Wenn zwei Zahlen so Kombiniert werden, da die eine immer eine Einheit hat, die jeder Einheit der andern
entspricht, so geben wir sie als gleich an. (FREGE, 1983, p. 248; FREGE, 1995, p. 94-95)
31

lgica e, por isso, Frege no pode introduzir os nmeros individuais por referncia a conceitos
empricos como, por exemplo, dizendo que 5 o nmero que cai sob o conceito continente
e 12 o nmero que cai no conceito apstolo. Alm disso, a referncia aos conceitos
empricos no seria uma garantia da existncia de uma sucesso infinita de nmeros, como a
que precisamos para o desenvolvimento da aritmtica. importante, por isso, que Frege
defina os nmeros individuais referindo-se apenas a conceitos provenientes da prpria lgica.
Assim, tomando o 0 como primeiro ponto da sucesso, Frege apresenta o seguinte esquema:
0 o nmero que pertence ao conceito no idntico a si prprio;
1 o nmero que pertence ao conceito idntico ao zero;
2 o nmero que pertence ao conceito idntico ao zero e ao 1 E assim
sucessivamente.31

1. 4 TERCEIRO PERODO

Nos anos seguintes publicao de Os fundamentos, Frege rev alguns dos seus
conceitos. reformulao desses conceitos corresponde o terceiro perodo do seu projeto. As
mudanas empreendidas so discutidas em trs artigos: Funo e Conceito,32 Sobre o Sentido
e a Referncia33 e Conceito e Objeto.34
Sua contribuio, nesses artigos, centra-se essencialmente numa discusso visando a
clarificar, as noes de objeto, conceito, funo, sentido e referncia; alm das
relaes que se do entre as mesmas. Todas essas investigaes tiveram profundas
repercusses, embora muitos anos depois, sobre a Lgica e a Filosofia, e deram origem a uma
nova filosofia da linguagem.

31
Cf. KNEALE, William; KNEALE, Martha. O Desenvolvimento da Lgica. 2. ed.. Lisboa: Calouste
Gulbenkian, 1980.
32
Cf. FREGE, Gottlob. Funo e Conceito. In: ALCOFORADO, Paulo. (Org). Lgica e Filosofia da
Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978. p. 35-57.
33
Cf. idem. Sobre o Sentido e a Referncia. In: ALCOFORADO, Paulo. (Org). Lgica e Filosofia da
Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978. p. 61-86.
34
Cf. idem. Sobre o Conceito e o Objeto. In: ALCOFORADO, Paulo. (Org). Lgica e Filosofia da Linguagem.
Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978. p. 89-103.
32

1.4.1 OS ARTIGOS DO TERCEIRO PERODO

A publicao dos artigos Funo e Conceito, Conceito e Objeto e Sobre o Sentido e a


Referncia, tinha como objetivo tornar claras as noes de Os fundamentos que haviam ficado
obscuras ou que no tinham sido usadas em seu sentido tcnico.
A motivao de Frege para escrever o artigo Funo e Conceito (1891) foi
desenvolver as noes de funo (Funktion), conceito (Begriff), objeto (Gegenstand), sentido
(Sinn) e referncia (Bedeutung). Este artigo tem como principal objetivo esclarecer a
definio obscura de funo que figura em seu livro Begriffsschrift, e apontar que conceitos
so um tipo especial de funo. Frege critica a definio de funo usada pelos matemticos,
por estar sujeita confuso quanto ao que significa e ao que significado, Frege chama
ateno para o fato de que o argumento de uma funo no parte dela, mas combina-se com
ela a fim de complet-la, a funo em si insaturada.
Neste artigo, Frege generaliza ainda mais a noo de funo, opondo-a radicalmente
noo de objeto. Funo e objeto so os dois aspectos fundamentais da realidade. Segundo
Frege, tudo quanto existe ou funo ou objeto. Esses dois aspectos classificatrios so
irredutveis e excludentes: nada pode ser, simultaneamente, funo e objeto. Os objetos so
designados lingisticamente mediante nomes, enquanto que as funes o so por meio de
expresses funcionais. As funes se hierarquizam em funes de primeira ordem, aquelas
cujos argumentos so objetos e as funes de segunda ordem, aquelas cujos argumentos so
funes de primeira ordem, e assim por diante. Do mesmo modo, uma funo pode ter um ou
mais argumentos. Os conceitos so funes de um nico argumento, cujos valores so valores
de verdade. Neste mesmo artigo, Frege discute ainda as noes de argumento entendendo-o
como o objeto que completaria a funo , de valor (de uma funo) e percurso-de-valor (de
uma funo).
Finalmente, Frege estabelece a conexo entre as noes de funo e conceito. O
valor de uma funo como x=1 sempre um valor de verdade; para os argumentos 1 e -
1 seu valor ser o verdadeiro. Portanto, Frege diz que podemos propor que 1 e -1 caem
sob o conceito a raiz quadrada de 1. Em Funo e Conceito Frege d um passo ainda mais
importante para uma transio do uso puramente matemtico de funo para um uso
universal. Por exemplo, x uma capital, uma funo que para o argumento Recife tem
como valor de verdade o verdadeiro e para Caruaru o falso. Assim a funo acima citada
na verdade um conceito, pois tem como um argumento um valor de verdade.
33

Para explorar melhor estas noes, Frege explica que o sentido de uma sentena
isto , uma expresso que afirma algo o pensamento que seu contedo e que em si
determinado pelos sentidos das partes constituintes da sentena. A referncia de uma
sentena, por sua vez, seu valor de verdade; assim a referncia de todas as sentenas
verdadeiras o verdadeiro e a referncia de todas as sentenas falsas o falso.
No ano seguinte publicao do artigo Funo e Conceito, Frege publica o seu
famoso artigo Sobre o Sentido e a Referncia (1892), onde a noo de contedo (Inhalt),
sistematicamente empregada em obras anteriores, decomposta em sentido (Sinn) e
referncia (Bedeutung). Neste trabalho ele procura mostrar que esta distino se aplica aos
nomes prprios, s sentenas, bem como a suas oraes componentes. Na passagem inicial
deste artigo Frege trata do problema da identidade, e no decorrer do artigo trata de questes,
tais como: sentido e referncia de nomes, de conceitos, de sentenas e de sentenas em
discurso indireto. Mas a maior parte do texto dedicado ao sentido e a referncia de oraes
subordinadas. Frege faz uma taxionomia desse tipo de oraes sem ser estritamente
gramatical em suas anlises.
Vejamos mais de perto as questes trabalhadas por Frege em Sobre o Sentido e a
Referncia. Este artigo surge quando Frege se defronta com o problema da identidade. Em sua
passagem inicial, ele indaga se a identidade seria uma relao entre objetos ou entre sinais de
objetos.
No Begriffsschrift ele assumira a segunda hiptese, ou seja, a de que a identidade
uma relao entre nomes ou entre sinais de objetos. Em tal caso, a = b afirmaria que o nome
a e o nome b so nomes da mesma coisa. No entanto, em Sobre o Sentido e a Referncia,
Frege admite que essa anlise no pode estar correta, pois o fato de que a o nome para a e
b tambm um nome para a resulta de um acordo puramente arbitrrio acerca dessas marcas
ou sons, nada tendo a ver com as propriedades das coisas designadas. Tambm neste caso no
se poderia explicar que a = b tenha valor cognitivo, ou seja, transmita informao sobre a
coisa nomeada por a e b.
Em virtude de tais dificuldades, Frege estabeleceu a distino entre o sentido e a
referncia dos sinais. A referncia seria o objeto denominado ou denotado pela expresso; j o
sentido conteria o modo de apresentao pelo qual o sinal fornece seu significado. Por
exemplo: sejam a, b e c as linhas que ligam os vrtices de um tringulo com os pontos mdios
dos respectivos lados opostos; nesse caso, o ponto de interseco de a e b o mesmo que o
de b e c. Disso resultam diferentes designaes para o mesmo ponto e essas designaes
(ponto de interseco de a e b e ponto de interseco de b e c) indicam diferentes
34

modos de apresentao e, conseqentemente, a afirmao contm conhecimento efetivo.


Desse modo, pode-se dizer que as duas expresses (ponto de interseco de a e b e
ponto de interseco de b e c) tm a mesma referncia, mas diferem quanto ao sentido.
Analogamente, estrela da manh e Vnus tm a mesma referncia, mas diferem quanto ao
sentido. Devido a essa diferena, a afirmao Vnus a estrela da manh transmite
conhecimento verdadeiro, ao passo que Vnus Vnus no o faz, a saber, o conhecimento
de que a estrela que aparece pela manh a mesma que aparece tarde. A questo da
semntica fregeana fundamenta-se na igualdade de contedo, isto , a, tendo o mesmo
contedo conceitual que b, estes possuem sentidos diferentes, mas o mesmo referente.
A considerao de que o sentido de uma expresso ou de uma sentena no se
confunde com o objeto de referncia o que torna possvel explicar como os valores
cognitivos de a=a e de a=b diferem. Numa afirmao do tipo a estrela da manh a
estrela da manh, teramos uma relao do tipo a=a, em que o verbo ser estabelece uma
relao de identidades entre dois objetos. Neste caso, no h diferena nem distino de
sentidos. J na afirmao a estrela da manh a estrela da tarde, temos uma relao do tipo
a=b, pois dois sentidos diferentes so usados para referir um mesmo objeto. As relaes do
tipo a=a so denominadas analticas e so verdadeiras em qualquer circunstncia. uma
verdade bvia. J a expresso a=b remete a uma relao descritiva. Neste caso, o verbo ser
liga expresses com sentidos diferentes, estabelecendo uma relao de identidade a partir de
elementos diferentes. Na relao a=b existem extenses muito valiosas de nosso
conhecimento, e nem sempre podem ser estabelecidas a priori. As expresses apresentadas
nos exemplos acima tm um mesmo referente - o planeta Vnus - no entanto, existem dois
modos de referir a este objeto: estrela da manh e estrela da tarde so duas expresses com
sentidos diferentes que remetem a um mesmo objeto.
Outra questo discutida por Frege neste artigo o problema das oraes subordinadas.
Quando as palavras so usadas de forma costumeira fala-se de referncia direta. No entanto,
elas tambm podem ser usadas para referir a si prprias ou sobre o seu sentido. Isto ocorre
quando recorremos s palavras de outrem para falarmos de um determinado assunto. As
palavras de quem cita tm como referncia as palavras citadas, sendo que somente as palavras
trazidas de um outro contexto que apresentam referncia usual. Assim temos sinais de
sinais. O outro caso que ocorre conforme estas circunstncias o da citao indireta, em que
usamos o sentido das palavras de outrem, mas no as mobilizamos diretamente para o
contexto de uso, ou seja, quando fazemos uma citao indireta, as palavras tambm no
35

apresentam uma referncia costumeira. Outra noo tambm implicada no conceito de


significado a de representao, que trata do aspecto subjetivo do significado.35
Diante disso, pode-se dizer que a referncia do nome prprio o objeto que ocupa um
lugar no mundo, j a representao resultado do olhar individual sobre o objeto, o que faz
com que esta tenha um carter nico e subjetivo. Entre a referncia e a representao est o
sentido, que no apresenta a mesma subjetividade da representao, mas tambm no o
objeto. O sentido o que tem de estvel, de compartilhvel na lngua. O carter subjetivo da
representao fez com que Frege a exclusse dos estudos semnticos, considerando se tratar
de uma questo de interesse da psicologia. A discusso sobre este assunto aparece em seu
texto com a finalidade de evitar que a representao seja confundida com o sentido ou com a
referncia.
Ao discutir o caso das sentenas assertivas completas, Frege afirma que o pensamento
sentido das sentenas no pode ser a referncia da sentena porque ele muda. Assim, ao
sentido de uma sentena chamou de pensamento e sua referncia de valor de verdade. Tal
condio traz o problema das sentenas que possuem sentido, mas que no tm uma
referncia. A forma como Frege resolve o problema criado pelos nomes relacionados ao
mundo ficcional decorre de sua posio quanto ao problema da pressuposio existencial.
Por aspirar construo de uma linguagem perfeita, que no apresentasse os mesmos
problemas da linguagem natural, Frege deixa de fora de sua teoria aquilo que no pode ter
uma referncia no mundo, pois, parte do princpio de que a linguagem natural apresenta
ambigidades que poderiam ser eliminadas numa linguagem artificial, objetiva. Para construir
essa linguagem perfeita, apela para um mundo em que nomes e sentenas, necessariamente,
precisam ter uma referncia.
Ao discutir as condies em que o valor de verdade de uma sentena pode ser
mantido, Frege afirma que no ocorre alterao quando possvel trocar uma expresso por
outra que tenha a mesma referncia. Nestes casos, temos duas formas diferentes para falar de
um mesmo referente, ou seja, os sentidos dessas expresses podem ser intercambiados sem
que o seu valor de verdade seja alterado.
No entanto, essa condio sofre alterao quando tratamos das sentenas complexas
em discurso direto e indireto, pois nesses casos no apresentam um pensamento independente.
Isso ocorre porque uma sentena em discurso indireto remete a uma outra sentena e em
discurso direto a um pensamento. Da a concluso de que nas sentenas subordinadas, as

35
Cf. SILVA, Marilze Ferreira de Andrade e. Introduo Semntica de Gottlob Frege. Londrina: CEFIL,
1999.
36

substituies no se do entre expresses com referncia costumeira, mas entre as que


apresentam um sentido costumeiro.
Frege admite que o referente de um sinal seja um objeto emprico, porm a sua
representao no passa de uma imagem sempre subjetiva. Por tal motivo, as representaes
de um mesmo objeto variam porque nem sempre a mesma representao est associada ao
mesmo sentido. A representao subjetiva por isso ocorre que cada pessoa tenha uma
representao individual do mesmo objeto. Essa variao de representao tanto pode ocorrer
no mesmo indivduo como entre indivduos diferentes e disso resulta uma variedade de
diferenas nas representaes associadas ao mesmo sentido.
Dessa forma, podemos dizer que a representao, o sentido e a referncia se
distinguem porque a primeira subjetiva, a segunda intersubjetiva e a terceira objetiva.
Assim, ao sinal corresponde um sentido determinado e ao sentido corresponde uma referncia
determinada. Em uma linguagem perfeita uma referncia deve ter apenas um sentido. Mas
nem sempre a um sentido corresponde uma referncia
No mesmo ano da publicao de Sobre o Sentido e a Referncia, aparece o artigo
Sobre o Conceito e o Objeto, onde Frege procura desfazer os equvocos de Benno Kerry
acerca de sua noo de conceito tal como formulada em Os fundamentos. Como nesse livro
Frege no havia desenvolvido com a devida exatido a noo de conceito, Kerry foi levado a
identificar o termo conceito, na acepo de Frege, com sua acepo de orientao
psicolgica. Entre os temas que a so discutidos, destacam-se as distines entre conceito e
objeto; propriedades de objetos e notas caractersticas de conceitos, subordinao de
conceitos; conceitos de primeira e segunda ordem.

1.5 O QUARTO PERODO

O quarto perodo estende-se de 1893 at 1903, quando Frege completa a publicao da


Die Grundgesetze der Arithmetik36 (As Leis Fundamentais da Aritmtica). Neste perodo
Frege procura formalizar e completar Os fundamentos. Em 1893 ele publica o primeiro

36
No h traduo em lngua portuguesa. Luis Henrique L. dos Santos e Paulo Alcoforado traduzem o ttulo da
obra como As Leis Fundamentais da Aritmtica ou As leis bsicas da Aritmtica. Manteremos o ttulo em
alemo.
37

volume da Die Grundgesetze der Arithmetik, neste volume ele empreender a construo
formal da aritmtica em bases puramente lgicas; explica novamente a sua notao conceitual
exposta no Begriffsschrift; explica a teoria dos nmeros cardinais; a noo de ordenao numa
seqncia; e faz uma srie de crticas ao psicologismo e ao formalismo. Em 1903 Frege
publica o segundo volume de sua obra, esta contm mais demonstraes de algumas das leis
bsicas que governam os nmeros naturais e comea a investigao dos nmeros reais. Este
volume inclui tambm crticas s vises de outros autores a respeito dos nmeros reais, um
esboo tcnico da definio dos nmeros reais e finalmente, uma srie de demonstraes
formais da Begriffsschrift.37 No entanto, quando o segundo volume de Die Grundgesetze der
Arithmetik (1903) estava no prelo, Frege recebe de Bertrand Russell uma carta, na qual o
filsofo ingls lhe comunica um problema que, posteriormente, ficaria famoso como o
paradoxo de Russell. Esse paradoxo coloca em xeque o projeto de Frege. Ele no consegue
atingir seus propsitos, seu sistema mostra-se inconsistente.

1.5.1 DIE GRUNDGESETZE DER ARITHMETIK

Em 1893 Frege publica o primeiro volume de sua obra fundamental, Die Grundgesetze
der Arithmetik, na qual procura, com extremo rigor, levar a cabo seu projeto de reduo da
aritmtica lgica. Nesse livro Frege explica novamente a sua notao conceitual exposta no
Begriffsschrift e explica tambm a teoria dos nmeros cardinais, a noo de ordenao numa
seqncia e faz uma srie de crticas ao psicologismo e ao formalismo.
O primeiro volume do Die Grundgesetze der Arithmetik contm a introduo da nova
lgica e as suas leis, a definio dos nmeros naturais e das leis bsicas que os governam. Dez
anos aps a publicao do primeiro volume desta obra Frege publica o segundo, que contm
mais demonstraes de algumas das leis bsicas que governam os nmeros naturais e comea
a investigao dos nmeros reais. Este volume inclui tambm crticas s vises de outros
autores a respeito dos nmeros reais, um esboo tcnico da definio dos nmeros reais e
finalmente, uma srie de demonstraes formais da Begriffsschrift.38

37
Cf. WEINER, Joan. Frege. New York: Oxford University, 1999. p. 117.
38
Cf. WEINER, 1999, p. 117.
38

Segundo Frege, ns no podemos exigir que tudo seja provado, porque isto
impossvel; mas ns podemos exigir que todas as proposies usadas sem uma prova sejam
explicitamente declaradas como tais, e podemos reduzir ao mnimo o nmero dessas
proposies primitivas. Ele chama axiomas s proposies que no podem ser provadas ou de
leis bsicas, as quais do o ttulo ao livro.
No segundo volume de Die Grundgesetze der Arithmetik, Frege enfatiza que a sua viso
sobre o nmero a mesma apresentada em 1884 em Os fundamentos e que a notao
conceitual do Begriffsschrift tambm mantida com algumas alteraes. O smbolo de
identidade de contedos usado no Begriffsschrift substitudo pelo smbolo ordinrio de
igualdade =. Em si prpria esta mudana de notao trivial, no entanto, ela assinala uma
modificao nas idias de Frege, com a distino entre sentido e referncia, tratadas em seu
artigo Sobre o Sentido e a Referncia. Ele introduz um smbolo para percurso-de-valores.
Ele faz tambm, duas alteraes na interpretao do seu simbolismo. Primeiro, o trao
horizontal interpretado de forma diferente, visto que contedo agora distinguido em
sentido e referncia. E a segunda alterao a identificao da referncia com valores de
verdade.
Frege diz que todos os matemticos contemporneos so formalistas e todos os lgicos
contemporneos so psicologistas. Os lgicos confundem as leis normativas da lgica com as
leis descritivas da Psicologia. Frege defende a tese, segundo a qual, as verdades da aritmtica
so analticas, pois precisam para a sua demonstrao apenas de leis da lgica e definies.
Muitos matemticos em seu tempo poderiam ter concordado com Frege nesse aspecto, e, no
entanto, terem defendido uma teoria da aritmtica que ele rejeitaria. O ponto de divergncia
entre ambos a natureza da definio em Matemtica. Quando os matemticos do sculo XIX
consideravam o progresso da Matemtica desde o Renascimento, tiveram algumas vezes a
impresso de que as novidades na cincia matemtica eram produtos da construo humana e
no de descobertas.
Frege, ao contrrio dos formalistas, defende que no compete ao matemtico criar
objetos. Para ele no h definies criativas em Matemtica; as expresses matemticas so
apenas nomes de objetos existentes, e as verdades matemticas constituem-se em verdades
acerca do mundo. Os formalistas consideram como justificada a introduo de novos
nmeros, se isso no acarretar contradio. Mas, contra essa posio, Frege argumenta que
contradies podem ser encontradas posteriormente e que a ausncia de contradio, por si s,
no garante a existncia de objetos matemticos. Os formalistas tambm tentaram defender a
39

tese que em Matemtica pura no necessrio ir pra alm dos smbolos e das suas regras de
combinao. 39
Em 1902, o segundo volume de Die Grundgesetze der Arithmetik j estava no prelo, e
Frege sentia-se totalmente realizado no que diz respeito concretizao de seu projeto, uma
vez que, nessa obra, ele acreditava ter efetivamente demonstrado que toda a aritmtica tem
seu fundamento na lgica. Assim, aps discutir minuciosamente a lgica psicologista, que cr
ser insustentvel, afirma que todo o segundo volume de sua obra , na verdade, uma
demonstrao de suas concepes lgicas. Nessa obra ele desenvolve as noes de nmero
negativo, racional, irracional e complexo, alm das operaes usuais da aritmtica, encerando
assim a discusso em torno das noes essenciais da aritmtica. Frege no consegue atingir
seus propsitos, seu sistema mostra-se inconsistente como aponta Russell, em 1902, com a
contradio que ficou conhecida como o paradoxo de Russell. Esse paradoxo poderia ser
demonstrado no sistema lgico proposto por Frege. Isso originou o paradoxo de Russell. Mas,
apesar de ver seu projeto ruir, Frege reage serenamente, como nos mostra Russell na carta
endereada a Heijenoort:

Quando penso em atos de integridade e graa, percebo no conhecer nada


que se compare com a dedicao de Frege verdade. O trabalho de sua vida
inteira estava prximo de ser completado, muito de seu trabalho havia sido
ignorado em benefcio de homens infinitamente menos capazes, seu segundo
volume estava para ser publicado, e descobrindo que a sua hiptese
fundamental estava errada, ele respondeu com prazer intelectual, claramente
submergindo qualquer sentimento de desapontamento pessoal. Foi quase
sobre-humano e uma indicao viva do que homens so capazes quando
dedicados ao trabalho criativo e ao conhecimento ao invs de aos esforos de
dominar e tornar-se conhecido.40

1.6 O QUINTO PERODO

O paradoxo de Russell pe em risco todo o trabalho de Frege, que, ento, passa a


buscar uma soluo para o problema e, no entanto, no obtm sucesso, o que o obriga a
escrever um apndice ao Die Grundgesetze der Arithmetik, propondo uma maneira de corrigir

39
Cf. KNEALE, 1980.
40
HEIJENOORT. Carta de Russell a Heijenoort, 23 de novembro de 1962, em resposta solicitao de
Heijenoot para publicar a carta de 1902 de Russell a Frege 2000. p. 27.(no tivemos acesso a essa carta em sua
lngua original).
40

seu sistema a fim de evitar a contradio apontada por Russell. Contudo, essa soluo no
satisfaz a Frege, na medida em que ameaava o carter lgico do sistema. Iniciou-se ento o
quinto perodo, no qual Frege procurou solucionar o problema, mas acabou desistindo e
voltou-se para outros assuntos.
A esse perodo fazem partes os artigos publicados em um peridico alemo entre 1918
e 1923, so eles: O Pensamento, A Negao e Pensamentos Compostos. 41 Ele pretendia que
esses artigos fossem captulos de um livro a ser intitulado Investigaes Lgicas (Logischen
Untersuchungen). Em 1975 eles foram postumamente publicados com o ttulo pensado
originalmente. Nesses escritos o simbolismo raramente aparece e a sua escrita conceitual est
praticamente ausente. Juntos, esses artigos representam a filosofia da lgica madura de Frege.

1.6.1 INVESTIGAES LGICAS

Os artigos, O Pensamento, A Negao e Pensamentos Compostos, foram escritos em


um perodo em que Frege comeou a pr em dvida, de certo modo, sua tese logicista, eles
revelam uma perspectiva bem mais especulativa e exploratria. Esses trabalhos representam
um dos momentos mais altos do seu pensamento. Eles, em conjunto, abrem uma dupla
vertente nas especulaes fregeanas. De um lado, constituem um novo modo de abordar o
clculo sentencial, procurando definir os conceitos lgicos por meios operatrios, ao contrrio
da definio axiomtica, classicamente desenvolvida no Begriffsschrift e no Die Grundgesetze
der Arithmetik. Por outro lado, Frege, em suas Investigaes Lgicas, abre novos roteiros em
lgica filosfica atravs das discusses em torno das noes de verdade, negao, sentena,
pensamento, assero, etc.
Em Os Pensamentos, Frege tambm renova suas crticas aos lgicos psicologistas.
Para ele, a tarefa da lgica discernir as leis do ser verdadeiro. A palavra lei empregada
em dois sentidos: como leis morais ou jurdicas, que se referem s prescries que devem ser
obedecidas, mas com as quais os acontecimentos nem sempre esto em conformidade, e pode

41
Cf. FREGE, Gottlob. Investigaes lgicas. Organizao, traduo e notas de Paulo Alcoforado. So Paulo:
EDIPE Artes Grficas, 2001; Cf. idem. Logische Untersuchungen Editado e introduzido por Gnther Patzig;
Vandenhoeck and Ruprecht, Gttingen:1976.
41

ser tambm entendida como leis da natureza, que constituem as generalizaes dos
acontecimentos naturais, com as quais estes sempre esto de acordo.
A lgica, segundo Frege, deve ser entendida no segundo sentido, pois a ela no
interessa o processo psquico que o levou a determinado pensamento, mas apenas a sua
demonstrao como verdadeiro. Frege adverte que, se falarmos em Leis do pensamento,
correremos o risco de tomarmos essa expresso como uma generalizao do processo
psquico de pensar. Dessa forma, as leis do pensamento seriam entendidas como leis
psicolgicas. Aqui fica evidente a crtica de Frege ao psicologismo. A generalizao do
processo psquico de pensar no deve substituir a demonstrao de algo que foi considerado
verdadeiro. A lgica deve prescindir de explicar o processo psquico de pensar, a ela cabe
apenas decidir se o asserir como verdadeiro momento em que o processo termina se
justifica ou no. Assim ele demarca as fronteiras entre psicologia e lgica. Atribuo lgica a
tarefa de descobrir as leis do ser verdadeiro (Wahrsein), e no as leis do asserir como
verdadeiro (Frwahrhalten) ou as leis do pensar.42 Ou seja, para a lgica no interessa qual
foi o processo psquico que me levou a pensar determinada coisa, mas se o que foi pensado se
justifica logicamente ( vlido) ou no.
Por pensamento Frege entende o sentido de uma sentena, mas nem todo sentido de
uma sentena um pensamento, pois, chamamos de pensamento, apenas, as sentenas s
quais podemos perguntar pela verdade. O pensamento imperceptvel pelos sentidos, mas
veste a roupagem perceptvel da sentena, e torna-se mais facilmente apreensvel. Os
pensamentos no so subjetivos como as idias nem so perceptveis pelos sentidos. Depois
das distines, feitas nos pargrafos anteriores, Frege chega concluso que os pensamentos
no so nem coisas do mundo exterior, nem so idias. Desta forma, necessrio um terceiro
domnio. Este domnio, em que esto os pensamentos, coincide com as idias, por no poder
ser percebido pelos sentidos, e tambm coincide com as coisas do mundo sensvel, por no
necessitar de um portador a cuja conscincia pertena. Assim, por exemplo, o pensamento
que expressamos no teorema de Pitgoras intemporalmente verdadeiro, verdadeiro
independentemente do fato de que algum o considere verdadeiro ou no. Ele no requer
nenhum portador. Ele verdadeiro no a partir do momento de sua descoberta, mas como um
planeta que j se encontrava em interao com outros planetas antes mesmo de ter sido visto

42
Cf. FREGE, Gottlob. O Pensamento. Uma Investigao Lgica. In: ALCOFORADO, Paulo (Org.). Cadernos
de Traduo: Investigaes lgicas e outros ensaios. Trad. e notas de Paulo Alcoforado. So Paulo: EDIPE
Artes Grficas, 2001.
42

por algum.43 Os pensamentos so atemporais, so verdadeiros no a partir de sua


descoberta, mas so verdadeiros mesmo antes de o conhecermos.
Frege distingue trs atos, o pensar, o julgar e o asserir. Na cincia, um progresso
geralmente se d da seguinte maneira: Inicialmente apreende-se um pensamento, depois de
investigaes este pensamento reconhecido como verdadeiro. E finalmente expressamos o
reconhecimento da verdade sob a forma de uma sentena assertiva. O uso da palavra
verdadeiro desnecessria nesse processo, pois, a fora assertiva no se encontra nela, mas
na forma da sentena. E quando esta perde sua fora o uso da palavra verdadeiro no poder
restitui sua fora assertiva.
No artigo Negao de 1919 Frege discute o problema dos pensamentos falsos. Se o ser
de um pensamento consiste em ser verdadeiro, ento no poderamos falar de pensamentos
falsos. Mas apesar de Frege insistir que no se pode inferir coisa alguma de um pensamento
falso, ele reconhece que o ser do pensamento no consiste em seu ser verdadeiro. O ser do
pensamento consistiria, na verdade, na sua objetividade, ou melhor na sua intersubjetividade,
ou seja, o ser do pensamento consistiria em ser apreendido como o mesmo pensamento por
diferentes pessoas.
O artigo Pensamentos Compostos de 1923 o ltimo artigo publicado em vida por
Frege. Nesse artigo ele apresenta seis das dezesseis funes de verdade possveis com duas
variveis proposicionais e discute a relao entre linguagem e pensamento. E explica de que
modo, com um repertrio finito de expresses dotadas de sentido, possvel construirmos
sistematicamente um nmero infinito de enunciados dotados de sentido.44
O artigo Generalidade Lgica ficou inacabado devido a sua morte, temos apenas
fragmentos desse artigo. Alm desses trabalhos, ele redigiu dois outros pequenos textos, em
um dos quais reconhecia explicitamente a impossibilidade de reduzir a aritmtica lgica e
propunha reduzi-la a geometria. No entanto, esse projeto ficou apenas esboado. Hoje
sabemos, com o teorema de Gdel, que a aritmtica formal incompleta, mas claro Frege
no conheceu esse teorema.

43
FREGE, 2001, p. 24.
44
NETO, Fernando Raul. O ltimo texto de Frege. Perspectiva Filosfica. V. I, n o 25. Jan-Jun/2006. p. 153-
175.
43

CAPTULO II
44

II

O PRINCPIO DO CONTEXTO EM OS FUNDAMENTOS DA ARITMTICA

Neste captulo, faremos uma anlise sistemtica do uso do princpio do contexto por
Frege em Os fundamentos, segundo a literatura secundria. O papel do princpio do contexto
nesta obra muito controverso, uma vez que este princpio como formulado nos diz muito
pouco e as formulaes que aparecem no decorrer do livro no parecem exercer um papel
homogneo.
Sistematizaremos nosso estudo neste captulo sob trs perspectivas diferentes.
Primeiro analisaremos o princpio do contexto, como aparece na introduo, interligado a
outros dois princpios; em seguida, apresentaremos as formulaes ao longo desta obra, com
algumas observaes que nos parecem consensuais ou, pelo menos, pouco controvertidas; e,
finalmente, analisaremos o princpio do contexto sob a tica de seus comentadores.
45

2.1 O PRINCPIO DO CONTEXTO COMO UM DOS PRINCPIOS


FUNDAMENTAIS DE FREGE

No final da introduo de Os fundamentos, Frege enuncia os trs princpios


metodolgicos de sua investigao. interessante notarmos que, ao enunciar esses princpios,
ele os chama de princpios fundamentais (Grundstze).
Esses trs princpios, alm de princpios fundamentais, so tambm metodolgicos e
interdependentes. Que so metodolgicos v-se por suas formulaes imperativas:45

(P1) deve-se separar precisamente o psicolgico do lgico, o subjetivo do


objetivo; 46
(P2) deve-se perguntar pelo significado das palavras no contexto da
proposio e no isoladamente; 47
(P3) no se deve perder de vista a distino entre conceito e objeto.48

Que eles so interdependentes declarado pelo prprio Frege. Segundo o autor, se


infringirmos o segundo princpio (P2), seremos quase obrigados a tomar como significado das
palavras meras representaes e, assim, violaremos tambm o primeiro princpio (P1). Por
exemplo, se tomarmos o significado dos numerais isoladamente, poderia ser o caso de
ligarmos a este significado uma determinada idia e, assim, o primeiro princpio seria violado.
Da mesma maneira, se tomarmos o significado de uma expresso no contexto de uma
proposio, ento certamente saberamos o status ontolgico de tal expresso. Por exemplo,
se a expresso for sujeito em uma proposio que tem um contedo singular, tal expresso
significar um objeto. Se ela for o predicado de uma tal proposio, ento ela significar um
conceito.
O primeiro princpio (P1) de fundamental importncia no s para Os fundamentos,
mas tambm para as demais obras. Pois, nos escritos de maturidade, Frege renova as crticas
aos lgicos psicologistas.
O papel do terceiro princpio (P3) surge claramente quando consideramos a distino
entre conceitos e objetos. Nossa relutncia em aceitar que nmeros sejam objetos surge,
45
A traduo de Lus Henrique Lopes dos Santos de Os fundamento captou bem o esprito metodolgico
presente na formulao original.
46
Er ist das Psychologische vom dem Logischen, das Subjektive vom dem Objektiven scharf zu trennen.
(FREGE, 1983, p. 202; FREGE, 1995, p. 23).
47
Nach der Bedeutung der Wrter mu im Satzzusammenhange, nicht in ihrer Vereinzelung gefragt werden.
(FREGE, 1983, p. 202; FREGE, 1995, p. 23).
48
; Der Unterschied zwischen Begriff und Gegenstand ist im Auge zu behalten. (FREGE, 1983, p. 202; FREGE,
1995, p. 23).
46

segundo Frege, quando perguntamos pelo significado das palavras isoladamente, o que nos
leva a confundir lgica e psicologia.
Mesmo que as demonstraes de Frege sejam para mostrar-nos que as verdades da
aritmtica so analticas, sua definio dos nmeros tambm deve em algum sentido captar o
contedo associado a nosso uso cotidiano dos termos numricos. E como ns reconhecemos
se este contedo apreendido? A questo no facilmente respondida. Grande parte de Os
fundamentos dedicada discusso dos requisitos que devem ser satisfeitos para a aceitao
de uma definio e das dificuldades envolvidas para satisfazer estes requisitos.
Se se investiga o emprego de termos numricos no contexto de proposies numricas
de diferentes tipos restringindo-se ao mandamento de perguntar pelo significado de
expresses numricas no contexto sentencial, obtm-se, ento, segundo Frege, a melhor
proteo contra a criao de uma perspectiva fisicalista ou psicologista sobre a natureza dos
nmeros. Paralelamente, o cumprimento do segundo princpio fundamental (P2) contribui
positivamente de maneira essencial para abrir caminho para a introduo dos nmeros como
objetos lgicos e, assim, obtm-se o fundamento para a almejada demonstrao da natureza
analtica das leis da aritmtica.
Como podemos ver, o princpio do contexto (P2) est estreitamente ligado aos outros
dois princpios, (P1) e (P3). Conjuntamente, eles estabelecem as condies para uma correta
definio dos nmeros naturais que ser desenvolvida na parte construtiva desta obra (45-
109).
Os princpios fundamentais contribuem para separar a lgica da psicologia e da
epistemologia. E o terceiro princpio (P3) notvel para a histria da lgica. Nele Frege
abandona a centralidade da anlise feita em termos de sujeito e predicado, que caracteriza a
lgica aristotlica; em seu lugar, introduz a distino entre argumento e funo, ou seja, entre
objeto e conceito, permitindo a formalizao de proposies que no poderiam ser
formalizadas atravs da lgica aristotlica.49 Com essa substituio e com os trs princpios, a
unidade lgica deixa de ser o conceito e passa a ser a proposio.
Esses trs princpios, podemos dizer, so formulaes minimalistas do essencial da
filosofia de Frege. Portanto, razovel supor que como princpios fundamentais eles
perpassem todo seu projeto logicista. No entanto, apesar do primeiro (P1) e do terceiro (P3)
princpios de fato reaparecem nas obras posteriores de Frege, o segundo princpio (P2) no

49
A substituio da clssica distino entre sujeito e predicado pelo par funo e argumento j est presente no
Begriffsschrift.
47

reaparece explicitamente em nenhuma outra obra, apesar de ter uma importncia


considervel.50

2. 2 AS FORMULAES DO PRINCPIO DO CONTEXTO EM OS FUNDAMENTOS


DA ARITMTICA

Neste subcaptulo, analisaremos as passagens nas quais Frege faz um uso claro do
princpio do contexto e comentaremos aspectos deste princpio que nos parecem estar
estabelecidos entre seus comentadores. Assim, antes de comearmos propriamente a anlise
sistemtica do princpio do contexto, antes de examinarmos o modo como Frege o utiliza ao
longo de Os fundamentos apresentaremos as formulaes deste princpio exatamente como
aparecem no texto. A maioria dos comentadores de Frege afirmam haver quatro formulaes
diferentes do princpio do contexto em Os fundamentos, a saber:

F1 deve-se perguntar pelo significado das palavras no contexto da


proposio e no isoladamente;51
F2 suficiente que a proposio como um todo tenha sentido; isto faz com
que tambm suas partes ganhem contedo;52
F3 Apenas no contexto de uma proposio as palavras significam algo;53
F4 Estabelecemos ento o princpio de que uma palavra no deve ser
definida isoladamente, e sim no contexto de uma proposio.54

Apesar da maioria dos comentadores de Frege apontarem quatro formulaes do


princpio do contexto em Os fundamentos, ns acreditamos, a partir das nossas leituras, que
h cinco formulaes deste princpio. Pois, no 46, Frege afirma: A fim de iluminar a

50
No decorrer deste captulo iremos discorrer sobre o uso do princpio do contexto em Os Fundamentos da
Aritmtica e no prximo captulo trataremos da polmica em torno da sua manuteno ou no nas obras
posteriores a Os Fundamentos da Aritmtica.
51
Nach der Bedeutung der Wrter mu im Satzzusammenhange, nicht in ihrer Vereinzelung gefragt werden
(FREGE, 1983, p. 202; FREGE, 1995, p. 23).
52
Es gengt, wenn der Satz als Ganzes einen Sinn hat; dadurch erhalten auch seine Theile ihren Inhalt. (FREGE,
1983, p. 247; FREGE, 1995, p. 92).
53
Nur im Zusammenhhange eines Satzes bedeuten die Wrter etwas. (FREGE, 1983, p. 247; FREGE, 1995, p.
94).
54
Wir stellten nun den Grundsatz auf, da die Bedeutung eines Wortes nicht vereinzelt, sondern im
Zusammenhange eines Satzes zu erklren sei. (FREGE, 1983, p. 274; FREGE, 1995, p. 136).
48

questo, ser conveniente examinar o nmero no contexto de um juzo onde se evidencia sua
espcie original de aplicao. 55
Com exceo das formulaes (F1) e (F4) que nos parecem ser equivalentes, o alcance
das formulaes no o mesmo. Elas enunciam uma recomendao ou um preceito
metodolgico de carter geral sobre a anlise e a definio do significado de qualquer palavra.
J as formulaes (F2) e (F3) so introduzidas no contexto especfico da definio do nmero
ou do significado dos numerais, que o objetivo especfico de Os fundamentos. Essas
diferentes formulaes obedecem a uma estratgia expositiva de Frege: primeiro estabelece-se
um princpio geral (F1), que logo depois aplicado para resolver problemas especficos (F2) e
(F3). A formulao (F4), como dissemos, equivalente a (F1) e aparece na recapitulao dos
resultados do livro. Assim, alm de aparecer em passagens essenciais da obra, o princpio do
contexto tambm tem um carter de abertura (F1) e fechamento de seu trabalho (F4), o que
demonstra a importncia nessa obra.
Como vimos, o princpio do contexto formulado explicitamente pela primeira vez
na introduo de Os fundamentos (P2; F1), juntamente com mais outros dois princpios
metodolgicos, (P1) e (P3), que Frege chama de princpios fundamentais (Grundstze). Alm
de serem princpios metodolgicos, tambm so interdependentes, como declarado pelo
prprio Frege. Segundo o autor, se no obedecermos ao segundo princpio (P2; F1), seremos
quase obrigados a tomar como significado das palavras meras representaes e, assim
violaramos tambm o primeiro princpio (P1).
Alm da formulao do princpio do contexto na introduo, ele reaparece no 60
(F2), em uma passagem essencial (55-61) do argumento fregeano que considera os nmeros
como objetos autnomos e reiterado no 62 (F3), no comeo da passagem igualmente
importante (62-69) na qual Frege expe as razes para definir os nmeros cardinais como
extenses de conceitos. E, finalmente, aparece no 106 (F4), no curso da recapitulao dos
principais resultados do livro. Nesse pargrafo, Frege reafirma o princpio do contexto como
um princpio fundamental.

55
Um licht in die Sache zu bringen, wird es gut sein, die Zahl im Zusammenhange eines Urteils zu betrachten,
wo ihre ursprngliche Anwendungsweise hervortritt. (FREGE, 1983, p. 238; FREGE, 1995, p. 80)
49

2.3 O PRINCPIO DO CONTEXTO SEGUNDO A LITERATURA SECUNDRIA

Mostramos no subcaptulo anterior, as ocorrncias do princpio do contexto ao longo


de Os fundamentos e fizemos, com o risco natural, algumas observaes que nos pareceram
consensuais ou, pelo menos, pouco controvertidas. Trata-se agora de nos aproximarmos mais
da questo central deste trabalho: o uso do princpio do contexto por Frege segundo a
literatura secundria. A anlise sistemtica que prometemos fazer resulta exatamente da
questo de que parece no haver consenso acerca desse uso. Comecemos ento.
Vimos que o princpio do contexto formulado explicitamente pela primeira vez na
introduo de Os fundamentos (P2; F1); nesta passagem, ele aparece juntamente com dois
outros princpios (P1) e (P2) que so denominados por Frege como princpios fundamentais
(Grundstze) e interdependentes. Contudo, h no decorrer do livro, outras formulaes do
princpio do contexto que, diferentemente da formulao da introduo, no parecem ser
apenas metodolgicas. No 60, Frege diz que (F2) suficiente que a proposio como um todo
56
tenha sentido; isto faz com que tambm suas partes ganhem contedo. No 62, ele afirma (F3)
Apenas no contexto de uma proposio as palavras significam algo.57 E no 106, lemos o
seguinte: (F4) Estabelecemos ento o princpio de que uma palavra no deve ser definida
58
isoladamente, e sim no contexto de uma proposio. A formulao do princpio do contexto no
59
62 (F3) parece ser uma formulao epistemolgica, uma vez que Frege pergunta como os
nmeros que so objetos no intuitivos (no esto no espao nem no tempo) podem ser dados
a ns. Ele nos diz que somente no contexto de uma proposio que as palavras tm sentido,
bastando para isso definir o sentido de uma proposio na qual um numeral ocorra. A
formulao do princpio do contexto no 106 (F4) parece ser uma repetio da formulao da
introduo. Por outro lado, poderamos interpretar a formulao do 62 (F3) como sendo
ontolgica, uma vez que neste pargrafo Frege fixa o sentido dos numerais em proposies de
identidade, portanto os numerais significam objetos, posto que a relao de identidade uma
relao de primeira ordem, segundo Frege. Doravante analisaremos as interpretaes de
alguns comentadores de Frege acerca das possveis interpretaes das formulaes do
princpio do contexto em Os fundamentos.

56
Cf. nota 52, p. 46.
57
Cf. nota 53, p. 46.
58
Cf. nota 54, p. 46.
59
Dummett afirma que o 62 o pargrafo mais filosfico j escrito por Frege. o primeiro exemplo do que
pertence chamada virada lingstica.
50

2.3.1 O PRINCPIO METODOLGICO

Como vimos anteriormente,60 na primeira parte de Os fundamentos, que chamamos


de pars destruens (a parte destrutiva), Frege critica as posies dos empiristas e dos lgicos
psicologistas61 acerca do conceito de nmero cardinal. Nesta subseo, analisaremos uma
interpretao do princpio do contexto que o aponta como um princpio metodolgico, ou seja,
como um mtodo para evitar teorias psicolgicas e empricas dos nmeros as duas teorias da
aritmtica s quais Frege dedica a maior parte de suas crticas no livro. Essa interpretao do
princpio do contexto nos parece a menos controversa entre os seus comentadores. A maioria
dos intrpretes apesar de muitas vezes enfatizarem outra interpretao desse princpio
concordam que o princpio do contexto tem um papel importante no combate s concepes
adversrias do nmero. Frege, em sua crtica s concepes rivais do nmero, nos diz que:

O nmero apareceu assim como um objeto que se pode reconhecer


novamente, embora no como um objeto fsico ou mesmo espacial, nem
como um que pudssemos esboar uma imagem por meio da imaginao.
Estabelecemos ento o princpio de que uma palavra no deve ser definida
isoladamente, e sim no contexto de uma proposio, cuja obedincia basta,
creio eu, para evitar a concepo fsica do nmero sem recair na
psicolgica.62

Em sua opinio, se se investiga o emprego de termos numricos no contexto de


proposies numricas, restringindo-se ao mandamento de perguntar pelo significado de
expresses numricas no contexto sentencial, obtm-se a melhor proteo contra a criao de
uma concepo empirista ou psicologista da natureza dos nmeros. Da mesma forma, se
seguirmos o princpio do contexto, contribuiremos de maneira essencial para abrir caminho
para a introduo dos nmeros como objetos lgicos e, assim, obteremos o fundamento para a
almejada demonstrao do projeto logicista.

60
Vide 1.3.1, p. 25-30.
61
Erroneamente se atribui a superao do psicologismo a Husserl Logische Untersuchungen, 2 vols, Halle,
1900-1901 Na verdade, foi Frege quem pela primeira vez criticou severamente a tese psicologista e assim
influenciou Husserl, mas este nunca reconheceu publicamente o fato.
62
Die Zahl erschien so als wiedererkennbarer Gegenstand, wenn auch nicht als psysikalischer oder auch nur
rumlicher noch als einer, von dem wir uns durch die Einbildungskraft ein Bild entwerfen knnen. Wir stellten
nun den Grundsatz auf, da die Bedeutung eines Wortes nicht vereinzelt, sondern im Zusammenhange eines
Satzes zu erklren sei, durch dessen Befolgung allein, wie ich glaube, die physikalische Auffassung der Zahl
vermieden werden kann, ohne in die psychologische zu verfallen. (FREGE. 1983, p. 274-275; FREGE, 1995 p.
136).
51

Vejamos a posio de alguns dos scholars de Frege que defendem o papel


metodolgico do princpio do contexto.
Matthias Schirn63 defende que Frege, ao combater em Os fundamentos, as
concepes empirista e psicologista da aritmtica, no chega a expressar textualmente, no
contexto dessa crtica, o princpio do contexto, mas este, no entanto, serve-lhe como um guia
para combater cada uma das concepes acima mencionadas, assim como um mtodo para o
desenvolvimento de sua prpria teoria do nmero. Segundo Frege, uma determinao
adequada e sustentvel da natureza dos nmeros deve dar conta de dois aspectos: a
objetividade das leis da aritmtica e sua aplicabilidade extensiva. Tanto o ponto de vista
empirista quanto o psicologista da aritmtica no satisfazem esta exigncia.
Segundo Michael Resnik,64 Frege utiliza o princpio do contexto para resolver uma
bateria de problemas. E um exemplo de aplicao desse princpio estaria em sua crtica ao
psicologismo. Frege se ope ao psicologismo porque este defende que o significado das
palavras so imagens mentais ou idias. Frege indaga o psicologismo com a pergunta pelo
significado (Bedeutung) de uma palavra no contexto de uma sentena.
Gregory Currie65 diz-nos que uma interpretao do princpio do contexto deve
demonstrar como ele funciona em Os fundamentos. Segundo ele, a estratgia argumentativa
de Frege muito interessante. Primeiro, ele refuta as afirmaes que outros autores
ofereceram do conceito de nmero para s ento desenvolver sua prpria teoria dos nmeros.
O papel do princpio do contexto seria ento provar a superioridade essencial da teoria de
Frege em relao s demais por meio da crtica s outras teorias da aritmtica. Frege
explicitamente anuncia o princpio como um meio para evitar teorias psicolgicas e empricas
dos nmeros, ou seja, o princpio do contexto funcionaria como um meio para evitar os
defeitos das teorias rivais sobre os fundamentos da aritmtica e como defesa de sua prpria
teoria.
Para Peter Milne,66 o princpio do contexto metodologicamente importante no
combate a uma viso atomista e idealista do significado que Frege rotula de psicologismo e
diz ser essa viso incompatvel com a objetividade da matemtica. Segundo Milne, isso est
claro em trs das quatro formulaes do princpio do contexto em Os fundamentos.

63
Cf. SCHIRN, 1993.
64
Cf. RESNIK, M. The context principle in Freges Philosophy. In: Phylosophy and Phenomenological
Research 27. p. 356-365; Cf. idem. Fregess context principle revisited. In: SCHIRN, Matthias (Ed). Studien zu
Frege III. Stuttgart-Bad Connstatt: 1976, p. 35-49.
65
Cf. CURRIE, Gregory. Frege: An Introduction to his Philosophy. New Jersey: Barnes & Noble Books, 1982.
66
Cf. MILNE, Peter. Frege' Principle Context. Mind, New Series. Vol. 95 No 380. Out, 1986, p .491-5.
52

2.3.2 A FORMULAO EPISTEMOLGICA

Marco Ruffino, em Context principle, fruitfulness of logic and the cognitive value of
Arithmetic in Frege,67 mostra como Frege concilia o valor cognitivo da aritmtica com sua
natureza analtica. Ruffino considera o princpio do contexto em sua formulao
epistemolgica, tambm conhecida como priority thesis, a saber, a tese que afirma a
prioridade de juzos completos sobre seus conceitos constituintes. O princpio do contexto
fornece um modo de se obter conceitos que so verdadeiramente frutferos e cujos contedos
no podem ser apreendidos de outra forma.
A principal tese do logicismo de Frege, segundo Ruffino, a idia de que as verdades
da aritmtica so analticas, isto , podem ser derivadas de leis lgicas e definies. Dessa
forma, a aritmtica seria redutvel lgica. No 88, Frege considera a limitao da noo de
analiticidade em Kant. Essa noo surge, de acordo com Frege, de um entendimento
inadequado da formao de conceitos. Segundo Frege, Kant entende o conceito como sendo
determinado por caractersticas justapostas e, para Frege, este um dos modos menos
frutferos de formar conceitos. Mas que tipo de formao de conceitos Frege tem em mente
que seria capaz de novas e inesperadas conseqncias? Para Ruffino, o princpio do contexto
em sua verso epistemolgica essencial para o projeto logicista de Frege, embora no seja
explicitado em seus escritos mais importantes.
Ainda de acordo com Ruffino, a crtica de Frege a Kant torna-se mais clara se
analisarmos o texto Booles logical calculus and the concept-script (1880-1881), em que
Frege est tentando tornar claro, por meio de uma comparao sistemtica, os pontos em que
sua Begriffsschrift se distancia da tradio da lgica aristotlica. Frege afirma que sua escrita
conceitual superior aos formalismos anteriores. Ela um simbolismo claramente definido
com uma potncia consideravelmente expressiva, obtida pela introduo do signo de
generalidade. No entanto, os benefcios formais no so os aspectos mais importantes. A
escrita conceitual demarca a distncia de Frege da tradio lgica pela introduo de um novo
quadro de formao de conceitos para fins cientficos.
De acordo com Frege, tanto em Aristteles como em Boole, a atividade logicamente
primitiva a formao de conceitos por abstrao e a formao de juzos e inferncias se d
atravs de comparao imediata ou indireta de conceitos via suas extenses. Frege, ao
67
Cf. RUFFINO, Marco. Context Principle, Fruitfulness of Logic and the Cognitive Value of Arithmetic. in
Frege. History and Philosophy of Logic, 12 -1991, p. 185-194.
53

contrrio, parte de juzos e seus contedos e no de conceitos, ou seja, h aqui a formulao


da prioridade terica de juzos sobre conceitos. Esta a primeira diferena entre a lgica de
Frege e a de Boole. Outra diferena muito importante diz respeito ao que Frege chama de
definies frutferas, isto , a criao de novos conceitos para propsitos cientficos. Eles
no so meramente resultado de operaes sobre extenses de conceitos j dados. Frege
objeta que na lgica aristotlica e booleana a relao entre contedos de conceitos e de juzos
invertida e falta um meio para definir conceitos novos e frutferos. Na viso de Frege, a
lgica de Boole reduzida a um mero clculo mecnico.
Marco Ruffino argumenta que a impossibilidade da lgica tradicional de formar
conceitos frutferos se deve inverso da relao entre contedo de conceito e contedo de
juzos. A prioridade do contedo de juzos sobre o contedo de conceitos na verdade o
princpio do contexto em sua verso epistemolgica. Este ponto relevante porque Frege no
o afirma explicitamente, quando menciona a necessidade de definies frutferas para superar
a trivialidade de proposies analticas e, portanto, da lgica. Assim, o princpio do contexto,
em sua verso epistemolgica, possibilita o valor cognitivo da aritmtica.
Em uma nota de rodap, Marco Ruffino afirma que ns j encontramos a priority
thesis na Crtica da razo pura, quando Kant apresenta o mtodo que conduz descoberta
dos conceitos puros do entendimento (B 94-96). Kant afirma a prioridade de juzos completos
sobre conceitos. Mas, apesar da priority thesis ter tido uma inspirao kantiana, Frege a usa
de forma mais radical, a saber, na criao de conceitos cientficos.
No apenas em sua concepo terica, mas tambm na criao, os conceitos so
precedidos pelas proposies. Assim, para definirmos um conceito frutfero, primeiro um
contedo de uma proposio completa apresentado, da anlise do contedo do juzo surge o
contedo dos conceitos. Frege acredita que o contedo de um juzo pode ser decomposto de
diferentes maneiras. Os conceitos obtidos desse modo podem figurar de um modo novo.
Frege combina conceitos velhos a uma variedade de signos, por exemplo, a generalidade, a
negao e o condicional.
A definio de conceitos frutferos usa contedos judicveis. E conceitos j definidos
podem ser incorporados em um novo contedo judicvel para criar novos conceitos. A
presente interpretao da noo de definies frutferas lana alguma luz nos comentrios de
Frege no 88, onde ele fala sobre o tipo de definio que considera frutfera.
Nesse pargrafo, Frege mostra que Kant subestimou o valor cognitivo das verdades
analticas. Em Kant, todas as proposies so fundamentalmente da forma sujeito-predicado;
j em Frege, as proposies so da forma funo-argumento. E a anlise funo-argumento
54

permite a um contedo conceitual ser representado de diferentes modos. Desde que o mesmo
contedo seja tomado diferentemente, ele logicamente legtimo e analtico, e se novos
conceitos forem formados, ele ser frutfero.
A distino kantiana de a priori e a posteriori, sinttico e analtico, diz respeito ao
contedo de um juzo, ou seja, se o conceito do sujeito est ou no contido no conceito do
predicado. Mas para Frege, temos que separar a pergunta acerca de um juzo, da pergunta de
como vamos justific-lo. Assim, a distino fregeana de a priori e a posterior, sinttico e
analtico, no se referem ao contedo de um juzo, mas a sua justificao.
De acordo com Michael Beaney,68 a doutrina de Kant, segundo a qual a aritmtica
um corpo de verdades sintticas, foi uma tentativa de expressar sua crena anterior de que a
aritmtica estende nossos conhecimentos da mesma forma que a doutrina de Frege, segundo a
qual a aritmtica um corpo de verdades analticas se assenta na crena anterior da natureza
puramente lgica da aritmtica.
Assim, usando conceitos obtidos exclusivamente pelo emprego de leis lgicas,
podemos obter concluses inteiramente novas e no-triviais e que, no entanto, preservam seu
carter analtico. Isto precisamente o que permite Frege afirmar o carter analtico das
sentenas da aritmtica enquanto reconhece seu valor cognitivo.

2.3.3 A PRIORIDADE SEMNTICA

O princpio do contexto formula a condio geral que uma palavra deve satisfazer
para ter algum significado. Entendido desta forma, o princpio do contexto d prioridade ao
significado de proposies sobre o significado de palavras, isto , o significado de uma
palavra consiste exclusivamente em sua contribuio para a determinao do significado da
proposio onde ela ocorre como uma expresso parcial. As palavras desempenham sua
funo apenas no contexto de proposies e, no caso de expresses singulares, desempenham
uma funo identificatria. Pode-se entender a tese contextual tambm como referente ao
sentido de palavras, isto , o sentido de cada palavra consiste em sua contribuio para o

68
BEANEY, Michael: Frege: Making Sense. London: Duckworth, 1996, p. 125-131.
55

sentido da proposio onde ela ocorre como parte. Aqui tambm h o reconhecimento da
prioridade do sentido da proposio sobre o sentido das palavras.
Michael Dummett, um dos maiores scholars de Frege, afirma que o princpio do
contexto funciona como um guia para formular uma definio correta de nmero cardinal.69
Segundo Dummett, para uma definio de nmero ser correta, deveramos derivar dela um
critrio de identidade para os nmeros. O princpio do contexto deve formular a condio
geral que uma palavra deve satisfazer para ter algum significado. A teoria do significado de
Frege no pode ser coerente sem o reconhecimento do princpio do contexto tomado como
uma tese relacionada ao sentido.
Para Michael Dummett, a principal funo do princpio do contexto relegar a
linguagem s questes a respeito da referncia de termos numricos. No 62, segundo
Dummett, podemos identificar a virada lingstica em filosofia com o princpio do contexto
(F3). De acordo com ele, a genialidade de Frege revelada nesse pargrafo, onde, pela
primeira vez na histria da filosofia, um filsofo prope uma questo ontolgica e
epistemolgica e d uma resposta lingstica. As questes epistemolgicas e ontolgicas
parecem ser estabelecidas simultaneamente.70

O princpio do contexto desempenhou historicamente o papel de contribuir para


estabelecer a fronteira entre o contedo semntico (pblico e objetivo) e o contedo
psicolgico (privado e incomunicvel) das expresses lingsticas. Ele foi pioneiro em
atribuir um papel privilegiado proposio em anlise semntica um privilgio que perdeu
fora nas obras posteriores de Frege devido a sua caracterizao das frases como um tipo
especial de nomes complexos, mas que perdurou na filosofia da linguagem e mesmo na
lingstica posteriores.

69
Cf. DUMMETT, Michael. The interpretation of Freges philosophy. Cambridge, Massachusetts: Harvard
University, 1981.
70
Cf. DUMMETT, 1981.
56

2.3.4 A PRIORIDADE ONTOLGICA

Matthias Schirn71 resume as quatro formulaes do princpio do contexto em duas


outras bsicas: Deve-se perguntar pelo significado das palavras no contexto da proposio e
no isoladamente (P2; F1)72 e Apenas no contexto de uma proposio as palavras
significam algo.73 A primeira formulao, ele chama o segundo princpio metodolgico
fundamental e a segunda, tese contextual. Essas formulaes, de acordo com Schirn, no so
inteiramente equivalentes. O segundo princpio metodolgico fundamental est formulado
como uma sentena imperativa e seria um postulado para a elucidao do significado de
palavras. A tese contextual est formulada como uma sentena declarativa e indica a condio
que uma palavra deve satisfazer para ser significativa.
Matthias Schirn defende que o princpio do contexto diz respeito referncia de
palavras. Segundo ele, as investigaes em Os fundamentos mostram que o segundo princpio
fundamental vlido para palavras (expresses sub-sentenciais) de todos os tipos. Ao mesmo
tempo, h boas razes para se supor que Frege aplica o princpio do contexto aos termos
singulares abstratos a partir dos quais as expresses numricas formam uma classe particular.
O princpio do contexto serve como um critrio de reconhecimento que nos permite decidir,
em qualquer caso, se b coincide com a. Frege enfatiza no 60 que a autonomia que ele
atribui aos nmeros deve significar que um termo numrico designe algo fora do contexto de
uma proposio.
No 61, Frege assume os nmeros como objetos. E visto que os nmeros so objetos
ele comea sua pesquisa colocando a questo kantiana: Como os nmeros nos so dados?
Para Kant, os objetos nos so dados apenas pela sensibilidade e uma vez que Frege considera
os nmeros como objetos, ento os nmeros tambm nos seriam dados pela sensibilidade. E,
assim, a aritmtica dependeria da intuio e no seria analtica. Mas, para Frege, os nmeros
no so objetos dos quais podemos ter intuies. Assim, a sua soluo foi invocar o princpio
do contexto.

A impossibilidade de representar o contedo de uma palavra no pois


razo para negar-lhe todo significado ou excluir seu uso. A aparncia do

71
Cf. SCHIRN, Matthias. O Contexto Proposicional e a Questo do Significado de Termos Singulares Abstratos.
Campinas: Manuscrito. XVI (2): 1- 4, outubro 1993.
72
Cf. Nota 53, p. 46.
73
Cf. Nota 54, p. 46.
57

contrrio nasce do fato de considerar-se uma palavra, e indagar-se de seu


significado, isoladamente, 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 por ventura 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.74

A determinao dos nmeros como objetos autnomos deve excluir, de acordo com a
explicao de Frege no 60 da obra em questo, o uso de um termo numrico como predicado
ou atributo. Se um signo a deve designar um objeto, ento devemos, de acordo com Frege,
ainda no 62, dispor de um critrio que decida em todos os casos se a idntico a b,
ainda que nem sempre sejamos capazes de aplic-lo.
No 63, Frege utiliza o chamado princpio de Hume: Quando dois nmeros so
combinados de tal modo que um tenha sempre uma unidade correspondente a cada unidade do
outro, pronunciamo-los iguais75. Dessa forma, o princpio de Hume contribui para lanar luz
sobre a questo epistemolgica relativa maneira como ns apreendemos um determinado
nmero e como o reconhecemos como sendo o mesmo. Frege chama as sentenas que
possuem o papel especial de fixar referncia sentenas de reconhecimento; no caso dos
termos numricos, essas sentenas envolvem a relao de identidade. Neste caso, sentenas de
reconhecimento exigem um critrio de identidade para os nmeros. Se o princpio do
contexto interpretado como um princpio que governa a referncia, ele sugere que a
referncia a objetos abstratos e, especificamente, a objetos matemticos, pode ser conseguida
se tivermos estabelecido a verdade de certas proposies em que eles ocorrem.
Ao refletir sobre a definio de nmero, elabora o princpio de abstrao como mtodo
de introduo de objetos abstratos. Seu exemplo a introduo do abstrato direo de uma
reta a partir da relao de equivalncia entre retas paralelas. Frege parece reivindicar que ns
no poderamos derivar de um conhecimento da direo de uma linha a condio para duas
linhas terem a mesma direo. Ele ento, aparentemente, procedeu para derivar esta condio

74
Es ist also die Unvorstellbarkeit des Inhaltes eines Wortes kein Grund, ihm jede Bedeutung abzusprechen oder
es vom Gebrauche auszuschlieen. Der Schein des Gegenteils entsteht wohl dadurch, da wir die Wrter
vereinzelt betrachten und nach ihrer Bedeutung fragen, fr welche wir dann eine Vorstellung nehmen. So
scheint ein Wort keinen Inhalt zu haben, fr welches uns ein entsprechendes inneres Bild fehlt. Man mu aber
immer einen vollstndigen Satz ins Auge fassen. Nur in ihm haben die Wter eigentlich eine Bedeutung. Die
innern Bilder, die uns dabei etwa vorschweben, brauchen nicht den logischen Bestandteilen des Urteils zu
entsprechen. Es gengt, wenn der Satz als Ganzes einen Sinn hat; dadurch erhalten auch seine Teile ihren Inhalt.
(FREGE, 1983, p.246-247; FREGE, 1995, p. 92-3).
75
Wenn zwei Zahlen so kombiniert werden, da die eine immer eine Einheit hat, die jeder Einheit der andern
entspricht, so geben wir sie als gleich an. (FREGE, 1983, p. 248; FREGE, 1995, p. 94-95).
58

de uma definio explcita de um operador de direo. Mas o que na verdade ele reivindicou
foi que no poderamos de um conhecimento a priori, do que so direes, chegar apreenso
do conceito de linhas paralelas. O critrio de identidade, em termos desta relao, no foi ela
mesma uma definio ou parte de uma definio do operador de direo, mas a condio para
a correo de uma definio poderia ser correta apenas se o critrio fosse derivvel dele.76
Para definir nmeros, Frege introduz extenses de conceitos como objetos lgicos
por meio do princpio de abstrao: NxF(x) = NxG(x) Ex (F(x), G(x)) o nmero de Fs
idntico ao nmero de Gs se e somente se F e G so equinumricos.

2.3 5 A PRIORIDADE SINTTICA

Wrigth, em Freges conception of numbers as objects,77 interpreta o princpio do


contexto como uma tese da prioridade das categorias sinttica sobre as categorias ontolgicas,
e interpreta a expresso Bedeutung como referncia ou denotao. A idia de que as
categorias sintticas tm prioridade sobre as categorias ontolgicas sustentada por inmeras
passagens de Os fundamentos. Por exemplo, um objeto o sujeito de uma sentena que
expressa um juzo que tem um contedo singular. Um conceito um predicado de uma tal
sentena. Alm desses, Frege apresenta outros critrios sintticos para defender a tese de que
os nmeros so objetos: os numerais no so precedidos nem por plural, nem por artigo
indefinido; eles so precedidos apenas pelo artigo definido; eles aparecem em sentenas que
expressam uma relao de identidade e como esta relao de primeira ordem, ento os
nmeros significam um objeto.
A anlise lgica dos enunciados numricos leva ao resultado de que a indicao
numrica contm um enunciado sobre um conceito. Frege rejeita a suposio de que os

76
Dummett crtica a analogia de Frege no 64 de Os Fundamentos da Aritmtica entre o operador de
cardinalidade e o operador de direo. O operador de cardinalidade toma termos conceituais como argumentos
enquanto o operador de direes toma indivduos (linhas) como argumentos. Eles so, portanto, categoricamente
distintos. Alm do mais, um operador pertence a aritmtica e o outro pertence a geometria. Tendo em vista que
Frege enfatiza a diferena epistemolgica entre essas disciplinas duvidoso que esta analogia seja bem sucedida
no mbito epistemolgico. Dessa forma, tambm duvidoso que o argumento da prioridade conceitual da noo
de paralelismo sobre a noo de direo possa ser usada mutatis mutandis para argumentar a prioridade da noo
de equinumeridade sobre a noo de nmero.
77
Cf. WRIGHT, Crispin. The Context Principle. In: Freges Conception of Numbers as Objects. Aberdeen
University Press, 1983.
59

nmeros so conceitos de segunda ordem, pois, recorrendo a critrios sintticos, ele


caracteriza os nmeros como objetos autnomos. A determinao dos nmeros como objetos
autnomos deve excluir o uso de um termo numrico como predicado ou atributo, como ele
explica no 60. S poderemos empreender uma caracterizao geral da identidade numrica
se fixarmos as condies de verdade de uma equao numrica e apenas desta maneira que
estaremos justificados, do ponto de vista cientfico, a associar a um nmero individual um
termo numrico como o seu nome prprio. Dessa forma, um nmero no nos dado se
perguntarmos pelo significado de um termo numrico isoladamente, mas apenas no contexto
de uma proposio.
A tese da prioridade sinttica afirma que se uma expresso particular um candidato a
referir um objeto, uma questo do tipo de papel sinttico que ele exerce na sentena. Se um
termo se comporta sintaticamente como um termo singular ou como um nome prprio em
uma sentena com o sentido assegurado, ento, se a sentena verdadeira, o termo tem como
referente um objeto. Mas s reconhecemos o papel sinttico exercido por um termo no
contexto de uma proposio.
60

CAPTULO III
61

III

O PRINCPIO DO CONTEXTO APS OS FUNDAMENTOS DA ARITMTICA

No captulo anterior, fizemos uma anlise sistemtica de algumas das interpretaes


acerca do uso que Frege faz do princpio do contexto em Os fundamentos. Vimos que, apesar
da polmica que h em torno de qual seria a interpretao mais adequada, consenso que ele
exerce um papel fundamental alis o prprio Frege estabelece, pois ele um Grundsatz
(princpio fundamental) na obra, no sentido de que ele surge nos momentos essenciais da
argumentao fregeana a favor da natureza lgica dos nmeros. Mas a questo que, de fato,
divide seus intrpretes se ele ou no reafirmado implcita ou explicitamente em seus
trabalhos posteriores.
Para conduzirmos nossa anlise, dividimos este captulo em cinco partes. Nas trs
primeiras partes discutiremos algumas questes de exegese deste princpio a interpretao
do princpio do contexto depois da distino entre sentido e referncia, o princpio do
contexto e as definies contextuais e a polmica em torno da conciliao deste princpio e o
princpio de composicionalidade e, nas duas ltimas, discutiremos, respectivamente, as teses
do abandono e da manuteno do princpio do contexto.
Poderamos sintetizar esta discusso dividindo seus intrpretes em dois grupos
distintos, a saber, os comentadores que defendem a tese do abandono do princpio do contexto
nas obras posteriores a Os fundamentos e os comentadores que defendem a tese da
manuteno deste princpio.
62

Entre os que defendem a manuteno, destacamos, por exemplo, Michael Dummett,


considerado um dos maiores intrpretes de Frege; ele defende que no 10, do Vol. I do Die
Grundgesetze der Arithmetik, Frege apresenta o que Dummett chama de princpio do contexto
generalizado; outros comentadores de Frege tambm defendem a manuteno do princpio do
contexto nas obras posteriores, tais como: Currie, Beaney e Wright. Por outro lado, Angelelli
e Resnik, por exemplo, argumentam que Frege abandonou o princpio do contexto. Eles se
apiam em passagens escolhidas dos textos de Frege nas quais, segundo eles, h uma
contradio explcita com o princpio do contexto.

3.1 O PRINCPIO DO CONTEXTO E OS CONCEITOS DE SENTIDO E


REFERNCIA

O princpio do contexto aparece quatro vezes em Os fundamentos em quatro diferentes


formulaes que chamamos de F1, F2, F3 e F4. No 60, Frege apresenta a formulao F2:
suficiente que a proposio como um todo tenha sentido; isto faz com que tambm suas partes ganhem
78
contedo. Observemos que nessa formulao aparece a palavra contedo, em alemo
Inhalt. Essa palavra desempenha um papel-chave no projeto logicista de Frege porque:
primeiro, ela j surge no 9 do Begriffsschrift, em 1879, portanto, anterior a Os fundamentos,
em que Frege trata da questo da identidade; segundo, porque, em 1892, em seu famoso artigo
Sobre o sentido e a referncia, Frege faz a crtica ao conceito de Inhalt, como apresentado
no Begriffsschrift, o leitmotiv para a introduo dos conceitos de sentido e referncia,
conceitos-chave para sua filosofia a partir de ento. O que Frege faz, afinal, neste artigo
decompor a noo de contedo (Inhalt) em sentido (Sinn) e referncia (Bedeutung).
Dessa forma, poderamos interpretar a aplicao do princpio do contexto a partir das noes
desenvolvidas no artigo.
Essa possibilidade de interpretao bem explorada por Michael Beaney, que na
introduo de The Frege: Reader79 desenvolve com algum detalhe as conseqncias dessa
interpretao. Fazendo uma leitura retrospectiva de Os fundamentos, revela que nesta obra,
no havia ainda uma distino terminolgica rigorosa entre sentido e referncia de nomes

78
Vide nota 54, p. 46.
79
Cf. BEANEY, Michael. The Frege: Reader. London: Blackwell, 1997, p. 17.
63

prprios, expresses predicativas e sentenas declarativas. Assim, analisando o princpio do


contexto, depois da publicao do seu artigo Sobre o sentido e a referncia, surge a
possibilidade de reler o princpio do contexto de Frege, em sua formulao bsica, como
apresentado em Os fundamentos, levando em conta a distino entre sentido e referncia
que Frege, evidentemente, no poderia ter feito em 1884. As questes que agora se colocam
relativas ao uso que ele faz desses termos so: (1) O princpio do contexto est relacionado
referncia ou ao sentido? (2) Frege queria se referir, com esse princpio, a ambos? (3) Qual
das duas interpretaes a mais relevante? (4) So ambas de igual importncia?
Se a resposta questo (2) for afirmativa, ento Frege deveria ter formulado dois
princpios do contexto, um para o sentido e outro para a referncia:
(PCS) Deve-se perguntar pelo sentido de uma palavra no contexto de uma proposio e no
considerando-a isoladamente;
(PCR) Deve-se perguntar pela referncia de uma palavra no contexto de uma proposio e
no considerando-a isoladamente.
Segundo Currie,80 em Os fundamentos, Frege usa a palavra Bedeutung, em seu
sentido cotidiano, seu correlato na lngua inglesa seria meaning, a qual poderamos traduzir
para o portugus como significado. Posteriormente, Frege distingue a noo intuitiva de
significado por duas noes separadas: sentido e referncia. Dessa forma, teramos dois
princpios distintos: um sobre o sentido e outro sobre a referncia. Dummett81, Beaney82 e
Wright83 tambm distinguem dois princpios do contexto.
Matthias Schirn84 defende que o princpio do contexto se refere ao significado85 de
palavras. As investigaes mostram que o segundo princpio fundamental vlido para
palavras (expresses sub-sentenciais) de todos os tipos. Ao mesmo tempo, h boas razes para
se supor que Frege aplica o princpio fundamental aos termos singulares abstratos, dos quais
as expresses numricas formam uma classe particular.

80
Cf. CURRIE, 1982, p. 148-160.
81
Cf. DUMMETT, Michael. Frege and other philosophers. Oxford: Clarendon, 1991; Cf: idem. Frege:
philosophy of language. London: Duckworth, 1973.; idem Frege: Philosophy of Mathematics, Cambridge, MA:
Harvard University Press, 1991.; Cf. Idem. The Interpretation of Frege's Philosophy. Cambridge, MA: Harvard
University, 1981.
82
Cf. BEANEY, 1997, p. 17.
83
Cf. WRIGHT, Crispin. The Context Principle. In: Freges Conception of Numbers as Objects. Aberdeen
University Press, 1983, p. 1-52.
84
Cf. SCHIRN, 1993.
85
Para expressar a distino terminolgica de Frege Matthias Schirn utiliza os termos significado e sentido.
64

Resnik86 concorda que a palavra Bedeutung no usada de forma precisa e que, por
isso, podemos considerar duas leituras do princpio do contexto, uma relacionada ao sentido e
outra a referncia. Resnik especula se podemos analisar este princpio em Os fundamentos
luz dos conceitos de sentido e referncia, mas com isso ele no pretende afirmar que Frege
mantm as duas verses deste princpio nos escritos posteriores; ao contrrio, ele defende a
tese do abandono deste princpio.
Dessa forma, pode-se dizer, de acordo com os intrpretes dos textos de Frege, que ele,
de fato, utiliza a palavra Bedeutung em Os fundamentos de forma ambgua. No entanto,
devido ao grande nmero de interpretaes no chegamos a um denominador comum a
respeito da melhor interpretao para o possvel uso do princpio do contexto depois da
distino entre sentido e referncia feita em seu artigo.

3.2 O PRINCPIO DO CONTEXTO E AS DEFINIES CONTEXTUAIS

O papel do princpio do contexto na formulao da segunda tentativa de definio87


(62-65) tem sido muito debatida na literatura secundria. O problema desta interpretao
que Frege no apenas rejeita a definio contextual proposta nessa passagem, como prope
uma definio direta.88 O princpio de Hume, a definio contextual de nmero ou, mais
exatamente, a definio contextual do operador de cardinalidade, especifica um conceito de
segunda ordem que estabelece uma correspondncia um-a-um entre conceitos de primeira
ordem e certos objetos, a saber, os nmeros cardinais. Segue-se que se a definio contextual
se restringe referncia do operador de cardinalidade para um mapeamento particular do
conceito de primeira ordem para objetos, ento assume que a referncia de uma expresso
conceitual relevante foi fixada, a referncia de uma classe inteira de termos numricos
singulares tambm teria sido estabelecida.
Para Frege, as proposies que esto de acordo com uma regra especial estabelecem
questes de referncia, que so chamadas sentenas de reconhecimento: no caso de

86
Cf. RESNIK, M. The context principle in Freges Philosophy. In: Phylosophy and Phenomenological
Research 27. 1967 .p. 356-365.; Cf. idem. Freges Context Principle Revisited. In: SCHIRN, Matthias (ed).
Studien zu Frege. Oxford: Stuttgart-Bad Cannstait, 1976, p. 123-137.
87
A segunda tentativa de definio j foi discutida, vide seo 1.3.1, p. 25-30.
88
Cf. RUFFINO, Marco. Logicism: Fregean and Neo-Fregean. Manuscrito. 21:1,1998. p. 149-188.
65

expresses numricas envolvem a relao de identidade entre nmeros. O sculo XIX


acrescentou a idia de um critrio de identidade dado por meio de uma relao de
equivalncia, prtica de passar de uma estrutura quociente de classes de equivalncia
determinadas pela relao o que veio a ser conhecido como definio por abstrao (lgica).
Frege combina seu uso do princpio do contexto em Os fundamentos com a definio por
abstrao. Tendo determinado quais so as afirmaes de reconhecimento apropriadas para
uma classe de expresses numricas, ele procede inferncia da verdade de tais afirmaes
para o carter referencial das expresses desta classe. Esta inferncia ento suplementada
pelo apelo teoria das definies por abstrao, com a classe de equivalncias provando a
referncia de termos numricos singulares.
Dummett menciona a controvrsia acerca da ocorrncia do princpio do contexto no
62. Segundo ele, a afirmao do princpio do contexto nesse pargrafo tem a funo de
endossar a definio contextual. Mas se esse o caso, por que Frege adota no 68 uma
definio direta ao invs de uma definio contextual? A rejeio da definio contextual, na
segunda tentativa de definio, entraria em conflito com a descrio do princpio do contexto
como um princpio fundamental (Grundsatz) dada na introduo (F1)? Mas por que Frege
reafirma o princpio do contexto na recapitulao dos resultados do seu livro (F4)?

3.3 COMPOSICIONALIDADE X CONTEXTUALISMO

Podemos dizer que Frege o fundador da filosofia da linguagem moderna. E como


tal ele formula dois princpios semnticos diferentes: o princpio do contexto, que estabelece
que o significado das partes de uma sentena est em funo da sentena como um todo, e o
princpio de composicionalidade, que diz que o significado de um enunciado est em funo
do significado de suas partes e das regras de composio. Os estudiosos de Frege assinalam,
com freqncia, se no uma contradio, pelo menos, uma tenso entre esses princpios.
Frege, em Pensamentos compostos, explica de que modo, com um repertrio finito
de expresses dotadas de sentido, possvel construirmos sistematicamente um nmero
infinito de enunciados dotados de sentido.
66

surpreendente o que a linguagem consegue fazer. Com poucas slabas ela


consegue expressar um incalculvel nmero de pensamentos, a tal ponto que
at para um pensamento pela primeira vez apreendido por um ser humano,
ela encontra uma roupagem atravs da qual um outro ser humano capaz de
apreend-lo, ainda que esse pensamento lhe seja inteiramente novo. Isto no
seria possvel se no pudssemos distinguir no pensamento partes que
corresponde a partes de uma sentena, de modo que a estrutura das sentenas
sirva como imagem da estrutura do pensamento. verdade que falamos
figuradamente quando aplicamos ao pensamento a relao de todo e da
parte. Esta analogia porm to clara e, de modo geral, to pertinente, que
dificilmente nos deixaremos perturbar por suas eventuais imperfeies. Se
encararmos os pensamentos como compostos de partes simples, e se a estas
correspondem, por sua vez, partes simples da sentena, ento podemos
compreender como possvel formar, a partir de poucas partes da sentena
uma grande variedade de sentenas as quais, por sua vez correspondem uma
grande variedade de pensamentos. Cabe, aqui, perguntar como o pensamento
se constri e como suas partes so combinadas de modo que o todo se torne
algo mais do que as partes isoladamente. 89

Juntamente com o princpio de composicionalidade, Frege utiliza a lei da


substitutividade: duas expresses co-referenciais podem ser substitudas uma pela outra em
um enunciado, deixando inalterado o valor de verdade. A lei de substitutividade lembra o
princpio de Leibniz citado por Frege. Eis um exemplo de aplicao da lei de substitutividade:
se, no enunciado A estrela da manh um planeta, substituo um termo pela mesma
referncia, por exemplo, A estrela da tarde, a referncia do todo (isto , o valor de verdade
do enunciado) no muda. O princpio de composicionalidade e a lei da substitutividade vale
tambm para os enunciados compostos: a referncia ou o valor de um enunciado depende do
valor de verdade dos enunciados componentes e, substituindo um enunciado por outro co-
referencial (com o mesmo valor de verdade), a verdade do todo no muda.
Frege discute dois contra-exemplos de sua teoria: o discurso entre aspas e o discurso
indireto no respeitam nem a composicionalidade nem a substitutividade. O princpio de
composicionalidade no funciona mais e no posso aplicar a lei de substitutividade. Frege

89
Erstaunlich ist es, was die Sprache leistet, idem sie mit wenigen Silben unbersehbar viele Gedanken
ausdrckt, da sie sogar fr eine Gedanken, den nun zum ersten Male ein Erdbrger gefat hat, eine Einkleidung
findet, in der ihn ein anderer erkennen kann, dem er ganz neu ist. Dies wre nicht mglich, wenn wir in dem
Gedanken nicht Teile unterscheiden knnten, denen Satzteile entsprchen, so da der Aufbau des Satzes als Bild
gelten knnte des Aufbaues des Gedankens. Freilich sprechen wir eigentlich in einem Gleichnisse, wenn wir das
Verhltnis von Ganzem und Teil auf den Gedanken bertragen. Doch liegt das Gleichnis so nahe und trifft im
Ganzen so zu, da wir das hie und da vorkommende Hinken kaum als strend empfinden. Sieht man so die
Gedanken an als zusammengesetzt aus einfachen Teilen und lt man diesen wieder einfache Satzteile
entsprechen, so wird es begreiflich, da aus wenigen Satzteile eine groe Mannigfaltigkeit von Gedanken
entspricht. Hier liegt es nun nahe zu fragen, wie der Aufbau des Gedankens geschieht und wodurch dabei die
Teile zusammengefgt werden, so da das Ganze etwas mehr wird als die vereinzelten Teile. (Cf. FREGE,
Gottlob. Pensamentos compostos. Uma investigao lgica. In: ALCOFORADO, Paulo (Org.). Cadernos de
Traduo: Investigaes lgicas e outros ensaios. Trad. e notas de Paulo Alcoforado. So Paulo: EDIPE Artes
Grficas, 2001. p. 61-86; Cf. FREGE, Gottlob. Logische Untersuchungen, Gnther Patzig org.; Vandenhoeck
and Ruprecht, Gttingen, 1976. p. 72).
67

resolve o problema com um lance original, utilizando implicitamente o princpio do contexto.


Uma palavra s tem significado no contexto de um enunciado. Ele afirma, de fato, que o
sentido e a referncia no so propriedades absolutas das expresses lingsticas, mas
dependem do contexto do enunciado. Se uma expresso usada no contexto de um discurso
indireto como aquele regido por ...acredita que... , ento no tem mais seu sentido e
referncia normais.
Apesar dos princpios do contexto e de composicionalidade, primeira vista
contraditrios, podemos consider-los complementares. Como vimos, as expresses
completas da linguagem, em particular as proposies, se articulam em partes simples, as
palavras. O princpio do contexto estabelece que o significado das partes esto em funo do
significado do complexo a proposio princpio de composicionalidade, por outro lado,
pe o significado do complexo em funo das partes. Assim, consideramos as palavras por si
mesmas como portadoras de certo significado (embora este s se manifeste no contexto de
uma proposio na qual ela est inserida). Dessa forma, podemos entender o significado da
proposio atravs do significado das palavras e o significado das palavras recuperado a
partir do significado da proposio.

3.4 A TESE DO ABANDONO DO PRINCPIO DO CONTEXTO

O princpio do contexto tem confundido seus intrpretes e encantado seus sucessores.


O uso deste princpio nas obras posteriores a Os fundamentos uma questo polmica. De
fato, no h nenhuma afirmao explicita deste princpio em qualquer outro escrito, mas
tambm nenhuma negao.
Angelelli concorda que o princpio do contexto afirmado em Os fundamentos, mas
insiste que, em controvrsia com Hilbert, Frege manteve apenas o oposto do princpio do
contexto, ou seja, que as palavras devem ter um significado independente de seus contextos.
Angelelli afirma: Este princpio aparece pelo menos quatro vezes em Os fundamentos, e
tanto quanto eu sei, ele no ocorre em outro lugar.90 E segundo ele: A ltima atitude de

90
Freges later anti-Hilbert attitude suggests just the opposite of the principle, namely, that words must have a
meaning independent of their contexts. (Cf. Angelelli, Ignacio. Gottlob Frege and Traditional Philosophy,
Dordrecht: Reidel, 1967, p. 73-74).
68

Frege anti-Hilbert sugere apenas o oposto do princpio, a saber, que as palavras devem ter um
significado independente de seus contextos.91
Segundo Resnik, Frege usa o princpio do contexto para resolver uma bateria de
problemas em Os fundamentos. No entanto, posteriormente, Frege o abandona e oferece
solues alternativas para os problemas anteriormente solucionados por ele. Resnik adota um
princpio metodolgico em suas anlises dos textos de Frege, a saber:

se algum princpio principal mais tarde contrariado por Frege, ento


devemos concluir que ele reviu a sua posio. Eu acredito que pela aplicao
desta regra, interpretaes mais simples de Frege sero alcanados. A
diferena entre o Grundlagen e o seus trabalhos parecem ser justificados por
esta regra. 92

Um exemplo da aplicao deste princpio a mudana de perspectiva das anlises de


Frege da natureza do significado, da existncia dos nmeros e da sua crtica ao psicologismo.
Aps Os fundamentos, Frege continua refutando o psicologismo, no entanto, ele no apela ao
princpio do contexto nem acusa o psicologismo de perguntar pelo significado de uma palavra
isoladamente. Assim, para Resnik, Frege, explicitamente, contraria sua posio.
Michael Resnik tambm cita como uma contradio explcita do princpio do
contexto a passagem da ltima carta publicada de Frege a Peano 1896,93 na qual Frege afirma
que toda palavra deve possuir uma referncia, a mesma em todas as ocorrncias, independente
do resto da sentena, isto , do contexto. Nessa passagem, Frege discute os defeitos da
linguagem natural que no adequada para conduzir demonstraes. Esta no adequada,
porque as palavras tm muitos significados e, segundo Frege, para que uma demonstrao no
tenha lacunas, cada palavra deve ter apenas um significado independente do contexto em que
ela est inserida.
Outra possvel evidncia do abandono do princpio do contexto a afirmao de Frege
em Pensamentos compostos de que ns entendemos o sentido de uma sentena por
primeiro entendermos o sentido das palavras que a compem, as palavras deveriam ter sentido

91
This principle appears at least four times in Grundlagen, and as far as I know, it does not occur elsewhere. (Cf.
Angelelli, 1967, p. 73).
92
if some major principle therein in later contradicted by Frege, then we should conclude that he revised his
position. I believe that by applying this rule, much simpler interpretations of Frege will be reached. The
difference between the Grundlagen and his works would seem to justify this rule. (Cf. RESNIK, 1967, 356-357;
Cf. Resnik, 1976, p. 35-49).
93
Cf. FREGE, Gottlob. Philosophical and Mathematical Correspondence. Editado por Gottfried Gabriel, Hans
Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart. Resumido daedio alem por Brian McGuinness
e traduzido por Hans Kaal. Chicago: Brasil Blackwell, 1980; Cf. Idem. Wissenschafticher Briefwechsel. Editado
por Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart. (Hamburgo: Felix
Meiner Verlag). 1976.
69

por elas mesmas e quando isso no acontece devemos considerar uma falha da linguagem
natural. Neste artigo, Frege apela ao problema de como explicar nossa capacidade de entender
sentenas que ns nunca tnhamos ouvido antes. Ele adota palavras com sentido independente
e postula um isomorfismo entre a sentena e o pensamento em construo. O significado da
sentena, ao invs de conferir significado s palavras, torna-se uma funo do significado
destas. Frege, na passagem inicial de Pensamentos compostos, explica que ns entendemos o
sentido da sentena por primeiro entendermos o sentido de suas palavras componentes. Para
ele, as palavras deveriam ter um significado isoladamente e no o ter seria um erro da
linguagem natural.
Como vimos, a posterior hostilidade de Frege definio contextual tambm pode ser
ela mesma utilizada como uma prova do abandono do princpio do contexto no perodo de
maturidade. No entanto, Frege o retoma no 106 (4) na recapitulao dos principais resultados
deste livro. Frege ainda levanta trs objees para sua sugesto de definio contextual, s
duas primeiras ele responde (63-65), mas a terceira a qual sustenta (66-67). De acordo
com esta terceira objeo, tal definio, enquanto capacita-nos a determinar quando dois
nmeros so iguais, quando nos d como nmeros (como nmeros que pertencem a um certo
conceito), no nos diz exatamente o que os nmeros so, isto , o que os distingue de outros
objetos, tal como Jlio Csar ou Inglaterra. Isto o resultado de sua objeo que veio a ser
conhecida como o problema Jlio Csar. Por que Frege oferece definies explcitas ao
invs de termos de extenses de conceitos, significa que Frege rejeita o princpio do contexto
durante o curso de Os fundamentos? Isto seria claramente um conflito com a descrio do
principio na introduo como um princpio fundamental e o princpio reafirmado na
concluso.

3.5 A TESE DA MANUTENO DO PRINCPIO DO CONTEXTO

Frege nunca afirmou explicitamente o princpio do contexto depois de 1884. Mas,


apesar de haver consenso de que Frege no o afirma explicitamente em outras obras, alguns
intrpretes defendem a tese de que este princpio reaparece de forma implcita.
Segundo Currie, o princpio do contexto entendido por Frege como uma tese
semntica. Em Os fundamentos, ele usava a palavra Bedeutung de uma forma no tcnica,
70

podendo ser traduzida como significado. Posteriormente, Frege distingue a noo intuitiva
de significado por duas noes separadas: sentido e referncia. Dessa forma, teramos
dois princpios distintos: um sobre o sentido e outro sobre a referncia.
Michael Beaney afirma que no 56 Frege oferece definies explcitas ao invs de
definies em termos de extenses de conceitos. Isso significa que as definies contextuais e
conseqentemente o prprio princpio do contexto so rejeitados por Frege no curso de Os
fundamentos? Isto estaria claramente em conflito com a descrio do princpio do contexto na
introduo como um princpio fundamental e com a reafirmao deste na concluso tambm
como princpio fundamental. A resposta de Beaney que a definio contextual apenas
criticada como insuficiente, no como incorreta.

inteiramente presumvel que o princpio do contexto entendido por Frege


como uma tese semntica. No incio ele usava a palavra Bedeutung, a
traduo natural deste termo meaning. Posteriormente Frege distingue a
noo intuitiva de significado por duas noes separadas: sentido e
referncia. Dessa forma teramos dois princpios distintos: um sobre o
sentido e outro sobre a referncia. Algumas questes ento surgem: Qual das
duas interpretaes anterior? So ambas de igual importncia? Tomado
como uma tese dual sobre o sentido e a referncia, o conflito do princpio do
contexto com o ltimo modo de atribuio de sentido e referncia a
expresses como se estes sentidos e estas referncias fossem independentes
da existncia de entidades? Alguns tm argumentado que o princpio
conflitante com a ltima semntica de Frege e que portanto ele abandona o
princpio nos seus trabalhos posteriores (Ver Dummett 1973, p. 495-500;
Resnik 1976) Outros tm argumentado que ele no o abandona e que o
prprio princpio do contexto chave para entendermos o fato de que Frege
no, a despeito das aparncias, considera uma expresso sub-sentencial
como tendo existncia independentemente do sentido (Ver Sluga 1971 e
1977, Tugendhat 1970 e Hacker 1979)94

Quando formulou o princpio do contexto, Frege no tinha ainda feito sua famosa
distino entre sentido e referncia (Sinn e Bedeutung, em alemo) e, portanto, o fato de ele

94
It is widely assumed that the Context Principle was understood by Frege as a semantical thesis. In stating the
principle he used the word Bedeutung, a natural translation of which is meaning. Later, so the story goes, Frege
distinguished within the intuitive notion of meaning two separate components; sense and reference. The
assumption has been, then, that the principle contains two distinct but not distinguished principles, one a
principle about sense and the other about reference. A number of questions then arise: Which of the two
interpretations of the principle is primary? Are both of equal importance? Taken as a dual thesis about sense and
reference, does the Context Principle conflict with Freges later way of assigning senses and references to
expressions as if these senses and references were independently existing entities ? Some have argued that the
principle does conflict with Freges later semantics and that he therefore abandoned the principle in his later
work. (See Dummett [1973], pp.495-500 and Resnik [1976]). Others have argued that he did not abandon it and
that the Context Principle is itself one clue to the fact that Frege did not, despite appearances, regard sub-
sentential expressions as having independently existing senses (see Sluga [1971] and [1977], Tugendhat [1970]
and Hacker [1979]). (CURRIE, 1982. p.156).
71

ter usado o termo Bedeutung ao formul-lo pode no significar que tivesse em mente que o
princpio fosse vlido apenas para a referncia das palavras caso em que quer dizer que a
referncia de uma palavra nada mais do que sua contribuio para a referncia da frase
(segundo Frege, seu valor-de-verdade). De fato, uma outra interpretao razovel a de que o
princpio do contexto est relacionado ao sentido: o sentido de uma expresso nada mais do
que sua contribuio para o sentido da proposio (isto , segundo Frege, a proposio que ela
exprime).
Para Dummett, Frege, em seu perodo de maturidade, nem reafirma nem repudia
explicitamente o princpio do contexto. No entanto, uma das teses centrais de Frege j nesse
perodo, a tese que afirma que as sentenas so logicamente um tipo particular de nome
prprio complexo. Esta tese se no formalmente inconsistente, h ao menos uma grande
tenso com um princpio segundo o qual o nico papel lgico o da sentena. Segundo
Dummett, no entanto, a teoria do significado de Frege no pode ser coerente sem o
reconhecimento do princpio do contexto, tomado como uma tese relacionada ao sentido. Da,
na ausncia de alguma afirmao explcita por Frege depois de Os fundamentos a favor ou
contra o princpio do contexto como uma tese relacionada ao sentido, mais razovel
dizermos que ele no pode incorpor-la em sua doutrina oficial, mas que ele continua guiando
seus pensamentos, uma influncia que ele no poderia explicitamente reconhecer sem corrigir
sua doutrina.
O princpio do contexto como formulado por Frege em Os fundamentos primeira
vista trata-se de uma bvia falsidade, na medida em que o contedo semntico de uma palavra
apreensvel, independentemente de qualquer frase especfica em que ocorra; razovel
dizer, at, que essa circunstncia que faz com o significado das frases em que ocorre seja ele
mesmo compreensvel. Mas uma pista para compreender o alcance do princpio do contexto
est no fato de Frege t-lo usado para argumentar contra o psicologismo. Se considerarmos
cada palavra per se, argumenta Frege, temos a tendncia de identificar seu significado com
imagens mentais que lhe associamos e, assim, confundimos seu contedo semntico e
objetivo apenas com o contributo da palavra para as condies de verdade das frases em que
ocorre.
Segundo Dummett, as passagens citadas por Angelelli e Resnik so tendenciosas. A
afirmao feita por Frege em sua ltima carta a Peano, por exemplo, no justificada. Nessa
carta Frege est justificando a necessidade de uma notao conceitual para propsitos
cientficos. A linguagem natural no serviria para conduzir demonstraes, pois ela d
margem a ambigidades. No entanto, a finalidade da nossa linguagem cotidiana no
72

conduzir demonstraes, mas proporcionar a comunicao. Por isso, a necessidade de uma


notao conceitual, nela cada termo teria apenas um significado. Dessa forma, seria razovel
afirmar que, se somos capazes de estabelecer regras de inferncia que probam sofismas, toda
palavra deve, em todos os contextos, ter um nico e mesmo sentido.
Dummett analisa o significado de Os fundamentos e o considera a arquitetura do Die
Grundgesetze der Arithmetik e argumenta que o sistema filosfico desta obra j havia sido
afirmado completamente em Os fundamentos. Assim, este ltimo livro no representa
meramente uma fase isolada da filosofia de Frege, mas d forma a seu pensamento como um
todo. Dummett afirma sua tese de que Frege elimina em sua filosofia madura, a diferena
entre termos singulares e sentenas, visto que sentenas so consideradas simplesmente um
caso simples de nomes, isto , nomes de valores de verdades. Esta tese controversa e muito
discutida pelos scholars de Frege.
A tese central de Dummett que Frege conservou o princpio do contexto em Die
Grundgesetze der Arithmetik, mas de uma forma inteiramente diferente de sua formulao
anterior. De acordo com ele, a principal funo do princpio do contexto em Os fundamentos
relegar linguagem uma questo sobre a referencialidade de um certo termo. No entanto, em
Os fundamentos, Frege ainda no havia traado nenhuma distino entre um termo ser
significativo ou no.
Assim, no Die Grundgesetze Arithmetik, segundo Dummett, h uma nova formulao
do princpio do contexto, que ele chama de princpio do contexto generalizado. De acordo
com essa interpretao, o princpio do contexto teria um sentido mais forte. Ele garantiria a
referncia a todos os nomes envolvidos no sistema formal de Frege. A funo do princpio do
contexto generalizado se torna mais evidente, segundo Dummett, quando Frege prope uma
soluo para a indeterminao de termos no 10 do Die Grundgesetze Arithmetik, ou seja, o
problema Jlio Csar.95

95
Cf. DUMMETT, 1991; Cf. RUFFINO, Marco. Review of Frege: Philosophy of Mathematics. Manuscrito.V.
XVI No 2, 1993. p. 151-167.
73

CONCLUSO

No incio desse estudo, prometemos fazer uma anlise sistemtica do que veio a ser
conhecido como o princpio do contexto. Tentamos, na medida do possvel, dar conta de
algumas das inmeras questes que esto relacionadas a ele.
No encontramos na literatura secundria uma interpretao clara de qual seria o
papel do princpio do contexto no projeto logicista de Frege. Na verdade, o que encontramos
foi uma srie de questes que a princpio nos parecia totalmente conflitante.
Mas, no esprito de nossa proposta inicial, tentamos sistematizar (ordenar) essas
questes. E alguns resultados dessa sistematizao j podem ser colhidos.
Seguindo o mtodo cartesiano, partimos das questes mais simples para s ento
adentrarmos nas mais complexas. Dividimos, assim, nossa anlise em trs nveis de
complexidade crescente.
Comeamos analisando as passagens nas quais Frege faz um uso claro do princpio
do contexto e fizemos comentrios de alguns aspectos desse princpio que nos parecem
consensuais ou, pelo menos, pouco controvertidos.
Em um segundo momento, analisamos o uso do princpio do contexto na nica obra
em que ele aparece explicitamente, segundo a literatura secundria. consenso entre os
comentadores que o princpio do contexto exerce um papel importante em Os fundamentos,
mas mostramos a partir da anlise de algumas interpretaes dos comentadores que esse
consenso no se revela em um acordo acerca do uso que Frege faz nessa obra. Dividimos
essas interpretaes em cinco abordagens diferentes e em cada uma delas privilegiamos
74

alguns intrpretes. Nossa inteno, com essa sistematizao, no foi reduzir uma interpretao
a determinado comentador, nem tampouco delimitar o nmero de interpretaes existentes.
Sabemos que muitos comentadores adotam mais de uma interpretao, j que em Os
fundamentos h formulaes diferentes que nem sempre se equivalem. Essas interpretaes
geralmente no so excludentes, chegam mesmo a se entrecruzarem a tal ponto que, s vezes,
fica difcil delimit-las. Outros comentadores na disputa sobre qual seria a melhor
interpretao colocam em evidncia uma delas e negligenciam as demais.
No terceiro e ltimo momento da sistematizao, tocamos na questo do possvel uso
do princpio do contexto em obras posteriores. A questo a mais polmica, pois Frege no
cita explicitamente o princpio do contexto em nenhuma outra obra. Entre seus comentadores
tambm no h concordncia acerca dessa questo.
claro que h muito ainda por fazer, o que pretendemos desenvolver na continuao
desses estudos. A pesquisa em Cincias Humanas, particularmente em Filosofia, possui um
carter bibliogrfico. Propomos fazer uma anlise sistemtica do princpio do contexto e, para
tanto, nossa pesquisa, alm de ter um carter bibliogrfico, tambm teve um carter exegtico.
Analisamos alguns conceitos de Frege, como por exemplo, referncia (Bedeutung), sentido
(Sinn) e contedo (Inhalt). Por isso, achamos necessria a confrontao das tradues com o
original alemo. No desenvolvimento da pesquisa, sentimos a dificuldade natural de estudar
um tema cuja grande parte da bibliografia est em lngua estrangeira ingls e alemo.
O tema da nossa dissertao muito instigante e ao mesmo tempo desafiador.
Durante a pesquisa, deparamo-nos com um universo de questes a serem exploradas e
tentamos dar conta delas em uma anlise sistemtica, tal como prometida no ttulo. Entre os
frutos de nosso trabalho, podemos destacar: o mapeamos das questes acerca do princpio do
contexto e um levantamento bibliogrfico sobre o tema. A bibliografia adquirida durante os
nossos estudos de domnio pblico dos pesquisadores que desejem trabalhar questes
relacionadas a este tema.
75

REFERNCIAS

ANGELELLI, Ignacio. Gottlob Frege and Traditional Philosophy. Dordrecht: Reidel, 1967.

______. Freges Notion of Bedeutung In: Logic, Methodology and Philosophy of Science.
Amsterdam: North-Holland, 1982. p. 735-753.

BEANEY, Michael. The Frege: Reader. London: Blackwell, 1997.

BEANEY, Michael: Frege: Making Sense. London: Duckworth, 1996.

BENACERRAF, Paul; PUTNAM, Hilary. Philosophy of Mathematics. Cambridge University


Press, 1964.

BOOLE, George. An Investigation of The Laws of Thought on Which are Founded the
Mathematical Theories of Logic and Probabilities. Originally published by Macmillan,
London, 1854. Reprint by Dover, 1958.

______. The Mathematical Analysis of Logic, Being an Essay Towards a Calculus of


Deductive Reasoning. Originally published in Cambridge by Macmillan, Barclay, &
Macmillan, 1847. Reprinted in Oxford by Basil Blackwell, 1951.

DEMOPOULOS, William (Ed.). Frege's Philosophy of Mathematics. Cambridge, MA:


Harvard, 1995.
76

DUMMETT, Michael. Frege and other Philosophers. Clarendon Press: Oxford, 1991.

_______. Frege: Philosophy of Language. London: Duckworth, 1973.

_______. Frege: Philosophy of Mathematics, Cambridge, MA: Harvard University, 1991.

_______. The Interpretation of Frege's Philosophy. Cambridge, MA: Harvard University,


1981.

________. Truth and Other Enigmas. Cambridge, MA: Harvard University, 1978. p.87-115.

FREGE, Gottlob. Begriffsschrift. Eine der arithmetischen nachgebildete Formelsprache des


reinen Denkens, 1879; reedit. In: Begriffsschrift und andere Aufstze (Angelelli org.).
Hildesheim: Zrich, New York, George Olms Verlag, 1998.

______. ber den Zweck der Begriffsschrift, Sitzungsberichte der Jenaischen Gesellschaft fr
Medicin und Naturwissenschaft fr das Jahr 1882 (1883), 1-10; reedit. in Begriffsschrift
undandere Aufstze.

______. ber die Wissenschaftliche Berechtigunge iner Begriffsschrift, Zeitschrift fr


Philosophie und philosophische Kritik, 81, 48-56; reedit.in Begriffsschrift und andere
Aufstze.

______. Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung ber den
Begriff der Zahl, 1884. Universal-Bibliothek, 1995.

______. Die Grundgesetze der Arithmetik, begriffsschriftlich abgeleitet. Vol. I, II. (1893,
1903). George Olms Verlag, Hildesheim: Zrich, New York, 1998.

______. Funktion, Begriff, Bedeutung, Fnf logische Studien. Editado e introduzido por.
Gnther Patzig, Vandenho eckand Ruprecht: Gttingen, 1986.
77

______. Logische Untersuchungen Editado e introduzido por Gnther Patzig; Vandenhoeck


and Ruprecht, Gttingen:1976.

______. The Basic Laws of Arithmetic: Exposition of the System. Traduzido e editado por
Montgomery Furth. Los Angeles: University of California, 1964.

_______. Philosophical and Mathematical Correspondence. Editado por Gottfried Gabriel,


Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart. Resumido daedio
alem por Brian McGuinness e traduzido por Hans Kaal. Chicago: Brasil Blackwell, 1980.

_______. Nachgelassene Schriften. Editado por Hans Hermes, Friedrich Kambartel, Friedrich
Kaulbach, sob superviso de Gottfried Gabriel e Walburga Rdding. Hamburg: Verlag, 1983.

______. Os fundamentos da aritmtica: Uma investigao lgico-matemtica sobre o conceito


de nmero. Trad. Luiz Henrique Lopes dos Santos. In: Peirce-Frege. So Paulo: Abril
Cultural, 1983. (Col. Os Pensadores).

________. Sobre a justificao Cientfica de uma Conceitografia. Trad. Luiz Henrique Lopes
dos Santos. In: Peirce-Frege. So Paulo: Abril Cultural, 1983. (Col. Os Pensadores).

_______. Funo e Conceito. In: ALCOFORADO, Paulo. (Org). Lgica e Filosofia da


Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978.

_______. Sobre o Sentido e a Referncia. In: ALCOFORADO, Paulo. (Org). Lgica e


Filosofia da Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978.

________. Sobre o Conceito e o Objeto. In: ALCOFORADO, Paulo. (Org). Lgica e


Filosofia da Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978.

________. Digresses sobre o Sentido e a Referncia. In: ALCOFORADO, Paulo. (Org).


Lgica e Filosofia da Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo:
Cultrix/Edusp, 1978.

_______. Que uma Funo? In: ALCOFORADO, Paulo. (Org). Lgica e Filosofia da
Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978.
78

________. Aplicaes da Ideografia. In: ALCOFORADO, Paulo. (Org). Lgica e Filosofia da


Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978.

________. Sobre a Finalidade da Ideografia. In: ALCOFORADO, Paulo. (Org). Lgica e


Filosofia da Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978.

_______. O pensamento. Uma investigao lgica. In: ALCOFORADO, Paulo (Org.).


Cadernos de Traduo: Investigaes lgicas e outros ensaios. Trad. e notas de Paulo
Alcoforado. So Paulo: EDIPE Artes Grficas, 2001.

_______. A Negao. Uma investigao lgica. In: ALCOFORADO, Paulo (Org.). Cadernos
de Traduo: Investigaes lgicas e outros ensaios. Trad. e notas de Paulo Alcoforado. So
Paulo: EDIPE Artes Grficas, 2001.

_______. Pensamentos compostos. Uma investigao lgica. In: ALCOFORADO, Paulo


(Org.). Cadernos de Traduo: Investigaes lgicas e outros ensaios. Trad. e notas de Paulo
Alcoforado. So Paulo: EDIPE Artes Grficas, 2001.

_______. A generalidade lgica. In: ALCOFORADO, Paulo (Org.). Cadernos de Traduo:


Investigaes lgicas e outros ensaios. Trad. e notas de Paulo Alcoforado. So Paulo: EDIPE
Artes Grficas, 2001.

_______. Wissenschafticher Briefwechsel. Editado por Gottfried Gabriel, Hans Hermes,


Friedrich Kambartel, Christian Thiel, Albert Veraart. (Hamburgo: Felix Meiner Verlag).
1976.

HEIJENOORT, Jean van (Ed.). From Frege to Gdel: A Source Book in Mathematical
Logic, 1879-1931. To Excel, 1967. Reimpresso 2000.

KANT, Immanuel. Kritik der reinen Vernunft. Stuttgart: Reclam, 1985.

_______. Crtica da razo pura. So Paulo: Abril, 1983. (Coleo Os Pensadores)


79

KENNY, Anthony. Frege. An Introduction to the Founder of Modern Analytic Philosophy.


Blackwell Publishers, 2000. Penguin Books, 1995.

_______. The Oxford History of Western Philosophy. New York: University Press, 2000.

KNEALE, William; KNEALE, Martha. O Desenvolvimento da Lgica. 2. ed.. Lisboa:


Calouste Gulbenkian, 1980.

MILNE, Peter. Frege' Principle Context. Mind, New Series. Vol. 95 No 380. Out, 1986.

NETO, Fernando Raul. O Begriffsschrift de Frege. Revista de Filosofia, N, dezembro 2000.

_______. O Projeto logicista de Gottlob Frege. Anais do VIII SNHM Seminrio Nacional de
Histria da Matemtica. p. Abril 2001.

______. O ltimo texto de Frege. Perspectiva Filosfica. V. I, n o 25. Jan-Jun/2006.

NOONAN, Harold W. Frege: A Critical Introduction. Cambridge: Polity, 2001.

RESNIK, M. The context principle in Freges Philosophy. In: Philosophy and


Phenomenological Research 27.

______. Freges Context Principle Revisited. In: SCHIRN, Matthias (ed). Studien zu Frege,
Oxford: Stuttgart-Bad Cannstait, 1976.

RUFFINO, Marco. Context Principle, Fruitfulness of Logic and the Cognitive Value of
Arithmetic in Frege. History and Philosophy of Logic, 12 -1991.

______. Logicism: Fregean and Neo-Fregean. Manuscrito. 21:1, 1998.

______. The Primacy of Concepts and the Priority of Judgments in Freges Logic. Grazer
Philosophisch Studien V. 56 1998-1999.
80

______.Review of Frege: Philosophy of Mathematics. Manuscrito.V. XVI No 2, 1993.

SCHIRN, Matthias. O Contexto Proposicional e a Questo do Significado de Termos


Singulares Abstratos. Campinas: Manuscrito. XVI (2): 1- 4, outubro 1993.

_______. (ed). Studien zu Frege. Oxford: Stuttgart-Bad Cannstait, 1976

SILVA, Marilze Ferreira de Andrade e. Introduo Semntica de Gottlob Frege. Londrina:


CEFIL, 1999.

SCHRDER, Ernest. Review of Freges Conception Notation. 1980.

STEGMLLER, Wolfgang. A Filosofia Contempornea. V. I. EPU. So Paulo: 1977.

WEINER, Joan. Frege. New York: Oxford University, 1999.

WRIGHT, Crispin. The Context Principle. In: Freges Conception of Numbers as Objects.
Aberdeen University Press, 1983.

Você também pode gostar