Beruflich Dokumente
Kultur Dokumente
Inclui bibliografia.
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
RESUMO
ABSTRACT
SUMRIO
INTRODUO.......................................................................................................................10
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
CAPTULO I
15
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
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
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
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
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:
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
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
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
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.
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.
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
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
35
Cf. SILVA, Marilze Ferreira de Andrade e. Introduo Semntica de Gottlob Frege. Londrina: CEFIL,
1999.
36
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.
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:
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.
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
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
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
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
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:
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
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
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
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
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
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.
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
69
Cf. DUMMETT, Michael. The interpretation of Freges philosophy. Cambridge, Massachusetts: Harvard
University, 1981.
70
Cf. DUMMETT, 1981.
56
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
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.
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
CAPTULO III
61
III
78
Vide nota 54, p. 46.
79
Cf. BEANEY, Michael. The Frege: Reader. London: Blackwell, 1997, p. 17.
63
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.
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
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
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:
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.
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.
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
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.
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.
DUMMETT, Michael. Frege and other Philosophers. Clarendon Press: Oxford, 1991.
________. Truth and Other Enigmas. Cambridge, MA: Harvard University, 1978. p.87-115.
______. 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.
______. 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
______. The Basic Laws of Arithmetic: Exposition of the System. Traduzido e editado por
Montgomery Furth. Los Angeles: University of California, 1964.
_______. Nachgelassene Schriften. Editado por Hans Hermes, Friedrich Kambartel, Friedrich
Kaulbach, sob superviso de Gottfried Gabriel e Walburga Rdding. Hamburg: Verlag, 1983.
________. Sobre a justificao Cientfica de uma Conceitografia. Trad. Luiz Henrique Lopes
dos Santos. In: Peirce-Frege. So Paulo: Abril Cultural, 1983. (Col. Os Pensadores).
_______. Que uma Funo? In: ALCOFORADO, Paulo. (Org). Lgica e Filosofia da
Linguagem. Trad. e notas de Paulo Alcoforado. So Paulo: Cultrix/Edusp, 1978.
78
_______. 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.
HEIJENOORT, Jean van (Ed.). From Frege to Gdel: A Source Book in Mathematical
Logic, 1879-1931. To Excel, 1967. Reimpresso 2000.
_______. The Oxford History of Western Philosophy. New York: University Press, 2000.
MILNE, Peter. Frege' Principle Context. Mind, New Series. Vol. 95 No 380. Out, 1986.
_______. O Projeto logicista de Gottlob Frege. Anais do VIII SNHM Seminrio Nacional de
Histria da Matemtica. p. Abril 2001.
______. 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.
______. The Primacy of Concepts and the Priority of Judgments in Freges Logic. Grazer
Philosophisch Studien V. 56 1998-1999.
80
WRIGHT, Crispin. The Context Principle. In: Freges Conception of Numbers as Objects.
Aberdeen University Press, 1983.