Anda di halaman 1dari 23

Departamento de Filosofia

1
HERANAS CONCEITUAIS NO PENSAMENTO DE GOTTLOB FREGE


Aluno: Pedro Henrique Passos Carn
Orientador: Oswaldo Chateaubriand Filho



Se Frege morresse em 1880, seu lugar na histria da filosofia, como o criador da lgica-
matemtica moderna, estaria assegurado. Ainda assim, sua importncia vai alm deste fato
(DUMMETT 1973, p. 665)
. No relatrio que ora se inicia, concorda-se plenamente com esta afirmativa de
Michael Dummett, presente em seu livro Frege, Philosophy of Language, obra fundamental para
a redescoberta dos resultados alcanados e dos problemas lanados por este pensador alemo, o
qual, tal como afirma Bertrand Russell em carta remetida a Jean Van Heijenoort, teve a maioria
de seus trabalhos ignorada em proveito de homens infinitamente menos competentes
(RUSSELL
1967, p. 127)
. Pouco lido, mas profundamente influente, almeja-se nas linhas que se seguem
apresentar uma figura de Gottlob Frege, um esquema para as principais obras, bem como uma
breve explanao de seus principais conceitos, de modo a caracteriz-lo, simultaneamente, como
um herdeiro de uma longa tradio filosfica e como o fundador de uma nova.
Traos biogrficos, muitas vezes, se apresentam esclarecedores para o bom entendimento
de uma obra filosfica. Contudo, embora Frege seja um pensador contemporneo, de sua vida e
de sua personalidade pouco se sabe
(ALCOFORADO 1978, p. 11)
. Ainda que uma biografia mais ou
menos completa de sua vida esteja disponvel aos olhares curiosos de um pblico vido por estes
esclarecimentos muitas vezes propiciado [1], o trabalho filosfico de Frege se impe de tal
maneira que, para se valer de uma violenta terminologia, torna sua biografia algo dispensvel.
Para situ-lo geograficamente, de modo sumrio, ele nasce na cidade de Wismar no ano de 1848, e
morre em 1925 na cidade de Badkleinen, para a qual se retira em 1918, desenvolvendo toda a sua
atividade intelectual na Universidade de Jena (sem, contudo, jamais ter sido condecorado por esta
universidade com a titularidade plena). Ao longo desta trajetria, seu pensamento influenciou
pensadores da magnitude de Bertrand Russell, Rudolf Carnap, Ludwig Wittgenstein, Edmund
Husserl e Giuseppe Peano, seja por intermdio de suas obras, seja atravs de intensa
correspondncia, da mesma maneira que foi influenciado por pensadores da grandeza de Kant,
Leibniz, Spinoza, Berkeley, e, por que no, Plato e Aristteles, seja atravs de leitura direta de
suas obras, seja por intermdio de coletneas.
Dentro deste panorama, faz-se necessrio bem estabelecer os limites de trabalho. A figura
de Frege que aqui ser exposta concentra-se no perodo de desenvolvimento do programa de
pesquisa logicista, projeto que almejava reduzir a verdade das sentenas proferidas pela
Aritmtica quelas verdades das leis lgicas. Ainda que semelhante projeto tenha fracassado
frente aos paradoxos derivados por Russell a partir do quinto axioma pressuposto (ao qual o
prprio Frege havia imposto restries) [2], as distines conceituais por ele apresentada ao
Departamento de Filosofia
2
longo de seu desenvolvimento possibilitam uma extrapolao para toda a discusso filosfica, e
no apenas quela restrita aos crculos lgico-matemticos. De tal maneira que pares conceituais
como sentido e referncia, e conceito e objeto, intrinsecamente conjugados a uma notao
bidimensional, demandam para si uma ateno e um esclarecimento especial, ao mesmo tempo
em que a influncia de matriz realista exercida por parte de Aristteles e aquela de cores
idealistas por Immanuel Kant.
Esta pesquisa foi intitulada ressaltando as heranas conceituais no pensamento de Frege,
mas bem se poderia ter modificado a preposio utilizada. Bem se poderia intitul-la de tal modo
que visvel se apresentassem as heranas conceituais do pensamento de Frege, ou seja, o seu
legado para a Filosofia. A escolha aqui efetuada no se apresenta arbitrria, muito menos casual.
Ela expressa a primazia concedida a uma determinada discusso frente outra. Obviamente, esta
primazia no deve ser compreendida em termos de relevncia filosfica, mas como um
pressuposto para as discusses futuras. Devido sua vasta influncia, muitas foram as
apropriaes recebidas pela obra fregeana, a comear pela aproximao com uma filosofia da
linguagem empreendida por Michael Dummett na supracitada obra. Neste texto que ora se tem
em mos, contudo, acredita-se que a deciso acerca da compreenso de mundo de Frege, se
realista ou se idealista, antecederia toda a discusso que partilhe de tal natureza. De maneira a
concordar com a forte afirmao de Oswaldo Chateaubriand que considera, em sua viso, ser
metafsico, e no lingstico, o carter fundamental da lgica
(CHATEAUBRIAND 2001, p. 16)
.
II A Begriffschrift e sua herana aristotlica
A fim de apresentar a primeira traduo completa da Begriffsschrif [3] para a lngua
inglesa, Jean van Heijenoort considera que apesar de ser um pequeno livro de oitenta e oito
pginas, este , talvez, o mais importante trabalho jamais escrito em lgica
(VAN HEIJENOORT 1967, p.
1)
. Considerao que corroborada por William e Martha Kneale em sua clssica obra acerca da
histria da lgica, na qual eles enunciam que a obra de Frege contm tudo o que essencial em
lgica moderna, e no injusto, nem para os seus precursores, nem para os seus sucessores, dizer
que 1879 foi o ano mais importante da histria da lgica
(KNEALE & KNEALE 1980, p. 515)
. De fato, estas
so as matrizes dos comentrios enunciados acerca deste trabalho publicado por Frege
excetuando-se, talvez, os pareceres daqueles admiradores do sistema lgico de Boole , e o
objetivo deste captulo se voltar para a breve apresentao das teses que neste texto se
encontram presentes, com o intuito de argumentar posteriormente em favor de uma herana
conceitual aristotlica presente em tal obra.
A abordagem que Frege dirigir Lgica, neste que seu primeiro trabalho em tal
domnio, ser pautada por uma concepo instrumental e cientfica da mesma, considerando-a
como o conjunto de leis no qual todo o conhecimento se acomoda. Geradora das regras da
verdade, sua principal tarefa consistir em garantir a analiticidade das sentenas proferidas pela
Aritmtica, amparando-as frente a um trabalho de reduo conceitual. Deste modo, para
exemplificar semelhante objetivo, afirma ele no prefcio que seu passo inicial foi atentar
Departamento de Filosofia
3
reduo do conceito de ordenado numa seqncia para o conceito de conseqncia lgica, e, a
partir deste, progredir em direo ao conceito de nmero
(FREGE 1997a, p. IV)
[4]. Auxiliado por uma
linguagem metafrica, seu objetivo se traduzir na necessidade de se desenvolver uma linguagem
simblica para precisar, tal como um microscpio, as sutis distines conceituais demandadas
pelos diversos empreendimentos cientficos, afinal, a linguagem natural, por conta de sua vasta
aplicabilidade, apresentar-se-ia insuficiente para semelhantes fins.
As contribuies legadas por esta pequena obra, contudo, ultrapassam em muito o
objetivo pretendido por Frege, o qual ser referido futuramente como o projeto logicista de
reduo da aritmtica lgica [5]. Para Jean van Heijenoort, estas contribuies seriam vastas e
plurais, como, por exemplo, o clculo proposicional de funes de verdade, a anlise da
proposio em termos de funo e argumento (ao invs de sujeito e predicado), um sistema
lgico no qual as derivaes so sustentadas exclusivamente pela forma das expresses, a teoria
da quantificao, e, por fim, uma definio lgica da noo de seqncia matemtica
(VAN
HEIJENOORT 1967, p. 1)
. De fato, neste conjunto podem ser encontrados os pilares sobre os quais se
erigir toda a lgica moderna: a anlise da proposio em termos de funo e argumento, e a
teoria da quantificao. Procurar-se-, doravante, expor o esquema desta obra to importante para
a histria da Lgica, respeitando as suas formulaes conceituais. Sua notao bidimensional,
ironicamente, ser suprimida por conta de um princpio de economia espacial. Diz-se
ironicamente porque, quando se detm nas diversas crticas de Schrder ao seu sistema, uma das
quais se fundamentar exatamente neste princpio de economia espacial, Frege argumentar em
favor da inteligibilidade de sua notao, a qual auxilia fortemente na distino entre o que da
ordem do contedo de uma sentena e aquilo que se refere forma lgica da mesma, ao passo
que a linguagem sugerida por este e por outros booleanos ser considerada como ininteligvel por
misturar ambas as coisas.
Em que consiste, desta forma, a Begriffsschrift? Dividida em trs partes, ela almeja se
constituir como uma linguagem formal para o pensamento puro modelada de maneira anloga
aritmtica, de modo tal que possibilite a expresso de um contedo mediante sinais escritos de
maneira mais precisa e mais clara do que seria possvel atravs de palavras
(FREGE 1978e, p. 142)
.
Desenvolvida em uma linguagem bidimensional, semelhante ao procedimento matemtico, a
linguagem simblica ali descrita apresenta, de acordo com sua concepo, esquemas vazios para
serem preenchidos por frmulas inteiras ou por equaes extensas. A elucidao deste fato
almeja responder ao entendimento corrente de sua teoria, que dela afirmava ser uma simples
representao da lgica abstrata, diferentemente do denso sistema lgico de Boole. Desta
maneira, a ideografia se vale da dupla dimenso da superfcie em que se escreve, ao permitir que
os contedos afirmados se sucedam de cima para baixo, enquanto que cada um destes se estende
da esquerda para a direita. Assim, cada um dos contedos so claramente separados uns dos
outros, e tambm suas relaes lgicas so facilmente apreendidas
(idem, p. 149)
. Isto significar que
a desvantagem da perda de espao da ideografia transforma-se vantajosamente em
Departamento de Filosofia
4
inteligibilidade e a vantagem da conciso de Boole transforma-se desvantajosamente em
ininteligibilidade
(idem)
.
Na primeira parte desta obra (1-12), ento, ser definido todo o simbolismo utilizado ao
longo de sua argumentao, o qual ser decisivo em seu pensamento de maturidade. No que
consistir um juzo (2-4), quais as letras e os signos que sero utilizados (1), as regras para a
utilizao do condicional (5-6), da negao (7), da identidade (8), e do quantificador (11-12),
bem como a definio de uma funo (9-10). Esta ltima, a grande inovao de sua obra, por
substituir a anlise predicativa oriunda de Aristteles, ser definida da seguinte maneira: se, em
uma expresso (cujo contedo no se constitui como um juzo), um signo simples ou composto
possui uma ou mais ocorrncias, e se ns observamos que este signo substituvel em todas ou
algumas de suas ocorrncias por algum outro (em todos os lugares pela mesma coisa), ento, ns
podemos chamar a parte que permaneceu invariante na expresso de funo, e a parte substituvel
de argumento da funo
(FREGE 1997a, p. 15 (9))
. Auxiliado pela introduo da quantificao
(generalidade) nos pargrafos subseqentes, Frege traduzir para a sua linguagem simblica o
famoso quadro das oposies de Aristteles, a fim de concluir a apresentao de seu simbolismo.
Esta simples traduo, contudo, ainda no ser a herana que aqui se reivindica.
Intitulada Representaes e derivaes de alguns juzos do pensamento puro, a segunda
seo da obra de Frege apresentar os axiomas do sistema e algumas das proposies que destes
so derivadas. Deve-se ressaltar, tal como o faz Peter Sullivan, que adotando este modelo [o
axiomtico], Frege oferece para a Lgica o estatuto de cincia, distanciando suas concepes
daquelas de seu mais importante antecessor, Kant, e de seu mais importante sucessor,
Wittgenstein
(SULLIVAN 2004, p. 670)
[6]. Afinal, ambos acreditavam que a lgica era um adjunto ou
um auxlio para a cincia, e no uma cincia ela prpria
(idem)
. Ao assumir que estes axiomas
representam os princpios do pensamento puro [7], bem como algumas regras para a manipulao
dos smbolos apresentados na primeira seo, Frege alcanar diversas leis para a orientao do
pensamento puro, ou os juzos do pensamento puro. A distino entre estas regras e os axiomas
apresentados, ou, entre os princpios do pensamento puro e os juzos do pensamento puro, para
Sullivan, sero interessantes apenas do ponto de vista interno ao sistema fregeano, pois, de um
ponto de vista externo, se estaria empregando o mesmo tipo de justificativa para ambas as
modalidades. Esta distino, contudo, seja de um ponto de vista interno ou externo, ser
fundamental para a boa compreenso do sistema, pois distingue as suas bases das suas leis, ou
seja, os seus pressupostos das teses que destes so derivadas, as quais sofreriam a ao das regras
de manipulao de seus smbolos (ou regras de inferncia). A terceira seo, por sua vez,
apresentar alguns tpicos para uma teoria geral das seqncias, a fim de estabelecer a reduo
conceitual j enunciada no prefcio e citada anteriormente, seja esta a reduo do conceito de
ordenado numa seqncia para o de conseqncia lgica. Por se constituir como uma discusso
nos domnios da matemtica, isto , fora do escopo delimitado por este texto, constitui-se como
informao suficiente este breve apontamento sumrio.
Departamento de Filosofia
5
Revisitando Frege, Oswaldo Chateaubriand sinaliza para a herana aristotlica que se
encontraria presente nas diversas teses enunciadas por ele quando da criao de seu simbolismo
lgico ao longo da Begriffsschrift. Em seus prprios termos, a distino entre funo e
argumento, junto do fato de o contedo conceitual ser o mesmo em diferentes anlises, a base
da eliminao da tradicional distino sujeito-predicado como um explcito componente
notacional de seu sistema. O ponto importante, contudo, que a distino ela mesma no
eliminada, mas enriquecida; ainda que no seja em termos ontolgicos
(CHATEAUBRIAND 2001, p. 263)
.
Considerando-se que as questes ontolgicas no constituem o cerne da discusso deste trabalho
fregeano, o qual possui como foco, tal como expresso em seu prefcio, no tratar
expressamente de nada desprovido de significado para a seqncia inferencial
(FREGE 1997a, p. IV)
,
as afirmaes de Chateaubriand coadunam-se com aquele objetivo para este captulo enunciado,
qual seja, aproximar de maneira analgica o pensamento de Frege daquele expressado pelo mais
famoso discpulo de Plato.
Ao apresentar os sinais que por ele sero utilizados, com efeito, duas barras sero
antepostas a um contedo conceitual expresso: uma barra na horizontal (anterior ao mesmo) e
uma barra na vertical (anterior barra horizontal). A barra horizontal, ou barra de circunstncia,
simplesmente considera o contedo conceitual expresso, ao passo que a barra vertical pode ser
pensada como uma expresso do predicado um fato, um predicado que transforma o contedo
conceitual considerado em um juzo. De acordo com suas palavras, se uma linguagem contiver
um nico predicado para todos os juzos, este ser precisamente, um fato
(idem, p. 4 (3))
, bem
como, no caso de ser introduzido um quantificador para qualificar um juzo, isto sustenta que,
para o juzo, quaisquer que sejam seus argumentos, a funo ser um fato
(idem, p. 19 (11))
. Possuir
um nico predicado para todos os juzos ou para todas as proposies uma tese que bem poderia
ser encontrada na lgica desenvolvida por Aristteles com dois milnios de antecedncia, pois,
com efeito, aquela fora apresentada como uma anlise do pensamento humano enquanto
pensamento da realidade
(COPLESTON 1993, p. 278)
, ou seja, do pensamento humano enquanto
pensamento de fatos. Desta maneira, a tese de enriquecimento interpretativo da noo de
predicado quando da introduo da anlise de um juzo em termos funcionais, levantada por
Oswaldo Chateaubriand, pode ser compreendida como uma herana conceitual do pensamento
aristotlico na lgica desenvolvida por Frege em sua Begriffsschrift.
III O Grundlagen e sua herana kantiana
Decorridos alguns anos da publicao de sua Begriffsschrift, poucas foram as apreciaes
recebidas por esta obra singular. Poucas, porm, constantes. A mais constante almejava
aproximar este trabalho daquele projeto levado a cabo alguns anos anteriores por George Boole,
matemtico britnico que procurou tornar a Lgica um instrumento algbrico, inventando uma
linguagem de frmulas para ela com o auxilio dos smbolos aritmticos. Frege explcito ao
afirmar durante uma conferncia, intitulada Sobre a Finalidade da Ideografia, que
Departamento de Filosofia
6
quando consideramos a linguagem de frmulas de Boole como um todo, verificamos
que ela uma vestimenta da Lgica abstrata com roupagem de sinais algbricos; ela no
adequada para veicular um contedo, e tambm no esta a sua finalidade. Mas esta
precisamente a minha inteno. Quero fundir os poucos sinais que introduzo com os
sinais j disponveis da Matemtica para formar uma nica linguagem por frmulas.
Nela, os sinais existentes da Matemtica correspondem, aproximadamente, aos radicais
das palavras da linguagem corrente, ao passo que os sinais por mim anexados so
comparveis aos sufixos e formadores de palavras (Formwertern) que relacionam
logicamente os contedos encerrados nos radicais
(FREGE 1978e, p. 145)
.
De modo que, em 1884, para melhor delinear sua posio, ele publica Os Fundamentos da
Aritmtica, livro que veicula como seu subttulo a motivao de se constituir como uma
investigao lgico-matemtica sobre o conceito de nmero [8].
Nesta obra, a investigao se detm na melhor maneira de se caracterizar aquele objeto
que o mais prximo e o mais indefinido de toda a Aritmtica: o nmero. Ora, no
vergonhoso para a cincia estar to pouco esclarecida acerca de seu objeto mais prximo, e
aparentemente to simples?
(FREGE 1997b, p. II)
, pergunta-se logo no incio do prefcio. Ele
procurar esclarecer, deste modo, a sua posio com relao ao estatuto do nmero, analisando as
mais diversas opinies correntes acerca desta temtica, tendo em vista a refutao de cada uma
para o melhor estabelecimento da sua. Assim, mais da metade de sua obra ser dirigida ao
questionamento de teses alheias, adotando princpios rigidamente estabelecidos ao incio de sua
obra. So eles: separar precisamente o psicolgico do lgico, o subjetivo do objetivo; perguntar
pelo significado das palavras no contexto da proposio, e no isoladamente; e no se perder de
vista a distino entre conceito e objeto
(idem, p. X)
. Tal como foi feito com sua Begriffsschrift,
desta forma, apresentar-se- na seqncia um esquema da argumentao empreendida no
Grundlagen a fim de posteriormente se reivindicar a existncia de uma herana conceitual de
natureza idealista, esgotada pela figura de Immanuel Kant.
Duas so as maneiras de se apresentar esquematicamente o Grundlagen: pela sua diviso
interna em cinco partes distintas (acrescida de uma introduo e um prefcio) ou pelos diversos
problemas que nele so propostos, todos precisamente orientados. Nestas linhas, unir-se-o
ambas as maneiras, adotando como pressuposto de exposio que a organizao de Frege para os
problemas propostos estritamente vinculada com a sua diviso por partes, assim como o fato de
ambas serem vinculadas aos princpios norteadores da obra. De modo tal que, aps a breve
introduo, a primeira parte intitula-se opinies de alguns autores sobre a natureza das
proposies aritmticas, para questionar, em primeiro lugar, a possibilidade de demonstrao das
mesmas; este questionamento seguido por outro que se dirige ao estatuto das leis da aritmtica,
cogitando se seriam elas verdades indutivas, por um lado, ou se elas seriam sintticas a priori ou
analticas, por outro. Fiel ao seu segundo princpio, na segunda parte Frege apresentar as
opinies de alguns autores sobre o conceito de nmero, problematizando o fato de serem os
nmeros uma propriedade das coisas exteriores, por um lado, ou se eles seriam algo de natureza
subjetiva, por outro; por fim, ser colocada em dvida a tese que afirma ser o nmero um
Departamento de Filosofia
7
conjunto. Afirmou-se a sua fidelidade ao segundo princpio enunciado devido ao fato de ele
somente pensar a natureza do nmero aps ter se detido longamente no questionamento acerca da
natureza da proposio aritmtica, ou seja, apenas perguntar pelo significado de um nmero no
contexto de uma proposio aritmtica.
Adotando como o tema da terceira parte opinies sobre unidade e um, Frege a inicia
questionando se o numeral um exprimiria uma propriedade de objetos, para em seguida
problematizar a questo da identidade da unidade [9]. A partir deste momento, ele comear a
especular sobre algumas tentativas de se superar esta dificuldade apresentada pelo tpico anterior,
acerca da identidade, para, ao final, esboar uma soluo para a mesma (o nmero seria uma
atribuio feita a conceitos, logo, pelas categorias disponveis em seu sistema, um objeto).
Concludas estas etapas preliminares, inicia-se a quarta parte de seu tratado: o conceito de
nmero. Nesta, Frege no tem por objetivo o enfraquecimento de outras teorias, mas a sumria
apresentao da sua. Esta seo do texto afirmar que, notadamente, cada nmero singular um
objeto independente, que para se obter o conceito de nmero, deve-se estabelecer o sentido de
uma identidade numrica [10], para, em seguida, complementar e confirmar sua definio e, ao
final, tratar do caso especfico dos nmeros infinitos. Na concluso de seu trabalho, Frege ainda
procurar oferecer uma caracterizao de outros nmeros que no os cardinais, antes de
recapitular toda a discusso que fora levada a cabo.
Por ser uma obra em que o engenho filosfico de Frege apresenta-se eminente, muitas so
as discusses que dela so derivadas. Oswaldo Chateaubriand, por exemplo, orientar sua
argumentao para o fato de o Grundlagen ser mais diretamente relacionado com problemas
ontolgicos [do que a Begriffsschrift]
(CHATEAUBRIAND 2001, p. 265)
. Uma teoria ampla que se
relaciona com muitas das teses expressas ao longo deste extenso tratado, o qual discute
diretamente com figuras j eminentes como Leibniz, Hume e Kant, e outras, hoje extremamente
elevadas, como Dedekind e Cantor. Aqui, contudo, procurar-se- encontrar apenas os traos que
atestariam a existncia de uma herana conceitual de natureza idealista por parte da influncia
exercida por Immanuel Kant, sem analisar pormenorizadamente os vrios problemas da
deduzidos. De modo que no existe melhor lugar para se empreender semelhante busca do que
nos prprios princpios que orientam toda a argumentao levada a cabo nesta obra...
parte da reformulao semntica empreendida por Frege nos pares conceituais
apresentados no segundo prefcio Crtica da Razo Pura (analtico e sinttico; a priori e a
posteriori), fundamentais para uma boa compreenso dos objetivos desta obra, os princpios
enunciados ao final do seu prefcio possibilitam uma interessante aproximao com esta que a
primeira obra do projeto crtico de Kant, bem como com as concepes por ele expostas em seu
Manual dos Cursos de Lgica Geral (editado por Gottlob Benjamin Jsche). Atente-se,
primeiramente, a esta longa passagem do texto de Kant, quando de sua caracterizao da Lgica:
alguns lgicos pressupem, verdade, princpios psicolgicos na Lgica. Mas
introduzir semelhantes princpios na Lgica precisamente to absurdo quanto buscar a
Departamento de Filosofia
8
Moral na vida. Se tirssemos seus princpios da psicologia (Psychologie), isto , das
observaes sobre o nosso intelecto, veramos apenas como o pensamento procede e
como ele sob uma variedade de impedimentos e de condies subjetivos, o que nos
levaria ao conhecimento de leis meramente contingentes. Mas, na Lgica, no se trata de
regras contingentes, mas necessrias, no de como pensamos, mas de como devemos
pensar. Por isso, as regras da Lgica devem ser tomadas no do uso contingente do
intelecto, mas de seu uso necessrio, que encontramos em ns sem nenhuma psicologia.
Na Lgica, no queremos saber como o intelecto e pensa e como at agora procedeu ao
pensar, mas como deveria proceder. Ela deve nos ensinar o uso correto do intelecto que
concorda consigo mesmo
(KANT 2003, AK13)
.
Acrescente-se o fato de ela ser
uma cincia racional no segundo a mera forma, mas segundo a matria; uma cincia a
priori das leis necessrias do pensamento, no, porm, relativamente a objetos
particulares, mas a todos os objetos em geral; portanto, uma cincia do uso correto do
intelecto e da razo em geral, no, porm, subjetivamente, isto , segundo princpios
empricos (psicolgicos), sobre como o intelecto pensa, mas, objetivamente, isto ,
segundo princpios a priori, sobre como ele deve pensar
(idem, AK16)
,
Para se encontrar de maneira germinal, porm explcita, o primeiro princpio enunciado por Frege
e expressado pela mxima de que deve-se separar precisamente o psicolgico do lgico, o
subjetivo do objetivo
(FREGE 1997b, p. X)
.
Com relao ao segundo princpio de Frege, a aproximao com as concepes kantianas
apresenta-se mais delicada. Este princpio, com efeito, afirma que se deve perguntar pelo
significado das palavras no contexto da proposio e no isoladamente
(idem)
. Pois bem, na
segunda parte de sua Crtica da Razo Pura, nomeadamente a Lgica Transcendental [11], Kant
almejar oferecer uma decomposio de todo o nosso conhecimento a priori nos elementos do
conhecimento puro do entendimento
(KANT 2001, A64 // B69)
. Esta decomposio, por sua vez, ser
possibilitada pela pressuposio de uma idia da totalidade do conhecimento a priori do
entendimento e [pela] diviso, determinada a partir dessa idia, dos conceitos que o constituem,
por conseguinte pela sua interconexo num sistema
(idem)
. De tal maneira que, aps a
apresentao da sua idia da lgica transcendental, Kant tratar do fio condutor para a
descoberta de todos os conceitos puros do entendimento (o uso lgico do entendimento em geral,
a funo lgica do entendimento nos juzos e os conceitos puros do entendimento ou das
categorias), bem como da deduo dos conceitos puros do entendimento (seo que ser
extremamente diferente nas duas edies desta Crtica). Uma advertncia acerca da Lgica
Transcendental, contudo, para os fins aqui propostos, faz-se necessria:
diversas representaes so reduzidas, analiticamente, a um conceito (questo de que
trata a lgica geral). Mas a lgica transcendental ensina-nos a reduzir a conceitos, no as
representaes, mas a sntese pura das representaes. O que primeiro nos tem de ser
dado para efeito do conhecimento de todos os objetos a priori o diverso da intuio
pura; a sntese desse diverso pela imaginao o segundo passo, que no proporciona
Departamento de Filosofia
9
ainda conhecimento. Os conceitos, que conferem unidade a esta sntese pura e consistem
unicamente na representao desta unidade sinttica necessria, so o terceiro passo para
o conhecimento de um dado objeto e assentam no entendimento
(idem, A78 // B104)
.
Deste modo, partindo do pressuposto que o conhecimento de todo o entendimento, pelo menos
do entendimento humano, um conhecimento por conceitos, que no intuitivo, mas discursivo
(idem)
, e que este o terceiro passo necessrio reduo da sntese pura, seguir-se- na exposio
de semelhante aproximao com o supracitado princpio.
Se o conhecimento de todo entendimento um conhecimento que se processa atravs de
conceitos e, por conseguinte, apresenta-se como um conhecimento discursivo, Kant no se furtar
em admitir que a faculdade do entendimento no pode fazer outro uso desses conceitos a no
ser, por seu intermdio, formular juzos
(idem, A68 // B93)
. Afirmao que o permitir reduzir a
juzos todas as aes do entendimento, de tal modo que o entendimento em geral pode ser
representado como uma faculdade de julgar
(idem, A69 // B94)
. Uma faculdade de julgar que
considerar os juzos como funes de unidade entre as nossas representaes; dado que uma
funo compreendida como a unidade da ao que consiste em ordenar diversas
representaes sob uma representao comum
(idem, A68 // B93)
, e que as nossas representaes
perpassam outros estgios, precedentes a sua submisso espontaneidade do pensamento.
Considerando-se, tambm, que a interconexo dos conceitos num sistema ser proporcionada por
uma idia de totalidade, sero encontradas todas as funes do entendimento se pudermos expor
totalmente as funes da unidade dos juzos
(idem, A69 // B94)
. A partir destas teses, Kant expor a
funo lgica do entendimento nos juzos, explicitada pela sua tbua dos juzos puros, dividida
em quatro rubricas, cada uma contendo trs momentos. So estas: a quantidade dos juzos
(universais, particulares, singulares), a qualidade (afirmativos, negativos e infinitos), as relaes
(categricos, hipotticos e disjuntivos) e, por fim, as suas modalidades (problemticos,
assertricos e apodticos).
Se a mesma funo, que confere unidade s diversas representaes num juzo, d
tambm unidade mera sntese de representaes diversas numa intuio

(idem, A79 // B105)
, e se
esta funo poder ser devidamente designada como um conceito puro do entendimento (ou
categorias, em honra de Aristteles), ser admitido por parte de Kant uma equivalncia numrica
entre estes conceitos e aquelas funes lgicas de todos os juzos possveis, dado que o
entendimento possui a sua ao esgotada nesses juzos, assim como possui a sua referncia a
priori aos objetos esgotada por estes conceitos. Assim, os conceitos puros do entendimento
tambm sero divididos de acordo com a sua quantidade (unidade, pluralidade e totalidade), a
sua qualidade (realidade, negao e limitao), suas relaes (inerncia e subsistncia,
causalidade e dependncia, e comunidade), e suas modalidades (possibilidade impossibilidade,
existncia no existncia, necessidade contingncia). Este esgotamento ser proporcionado,
com efeito, pelo mesmo princpio que afirma ser o entendimento uma faculdade de julgar
completa em si mesma. De modo que, ainda sejam consideradas como simultneas ambas as
tbuas, pela condio transcendental de semelhante faculdade, sua definio como uma
Departamento de Filosofia
10
faculdade de julgar acaba por oferecer uma precedncia da tbua dos juzos frente tbua das
categorias. Afinal, enquanto as formas lgicas dos juzos so fixadas, a tbua das categorias tem
o seu carter puro derivado de uma analogia com aquelas. Delimitada esta precedncia, ainda
que tnue seja sua apresentao, poder ser concretizada aquela aproximao com o segundo
princpio fregeano. Acerca do terceiro princpio de Frege, no se perder de vista a distino
entre conceito e objeto
(FREGE 1997b, p. X)
, Kant categrico em afirmar, ao incio de sua Esttica
Transcendental, que por intermdio, pois, da sensibilidade so-nos dados objetos e s ela nos
fornece intuies; mas o entendimento que pensa estes objetos e dele que provm os
conceitos
(KANT 2001, A17 // B31)
. Afirmao que, por estabelecer uma diferena de origem entre os
conceitos e os objetos, corroborar aquele princpio fregeano, assim como encerrar as
aproximaes propostas como existentes entre as teses expostas no Grundlagen e alguns tpicos
do idealismo transcendental de Immanuel Kant.
IV 1891-93 e o Legado de Frege
Aps a breve apresentao das influncias recebidas por Frege no incio de seu
pensamento nos domnios da Lgica, tratadas sob a alcunha de heranas conceituais, tratar-se-
neste momento das distines conceituais que Frege legou a toda uma gerao de pensadores
subseqentes. De modo sumrio, ser abordado nesta seo o seu pensamento de maturidade,
compreendido pela trade de artigos publicada nos anos de 1891-92 (Funo e Conceito, Sobre
o Sentido e a Referncia e Sobre o Conceito e o Objeto), e pelo primeiro volume de sua obra
mxima As Leis Bsicas da Aritmtica (1893), expressamente o prefcio e a introduo, nas quais
se veicula a motivao e as bases filosficas que sustentam tal obra.
O motor desta exposio, com efeito, distancia-se em muito daquele que motivara as
sees precedentes. Afinal, enquanto ao longo dos primeiros captulos almejava-se aproximar a
figura de Gottlob Frege de slidos filsofos, da magnitude de Aristteles e Kant, com o intuito de
marcar as heranas conceituais existentes em seu pensamento, neste captulo pretende-se
descobrir o lugar por ele ocupado no curso da histria da filosofia, inspirado pelo ttulo do ltimo
captulo da obra Frege, Philosophy of Language, publicada por Michael Dummett. Para tanto,
procurar-se- expor as interessantes distines conceituais componentes de seu sistema lgico-
matemtico, fundamentais ao seu projeto logicista de reduo das verdades aritmtica s verdades
lgicas. Estas distines conceituais, por sua vez, estiveram presentes em uma grande parte da
discusso filosfica desenvolvida no perodo que o sucedeu, dentro e fora dos domnios da
considerada filosofia analtica (por exemplo, nos trabalhos de Bertrand Russell, Rudolf Carnap e
Ludwig Wittgenstein, bem como no trabalho de Jean-Franois Lyotard). De modo que, se for
atentado apenas a discusso que delas se derivam, o lugar ocupado pela figura de Gottlob Frege
na histria j se encontra garantido, fato que torna ainda mais interessante uma investigao
apurada dos conceitos por ele sugeridos ao longo deste perodo.
A Funo e Conceito (1891)
Departamento de Filosofia
11
A distino inicial de Frege entre funo e argumento [(apresentada na Begriffsschrift)]
no possui a mesma nfase que possuir sua distino entre funo e objeto
(CHATEAUBRIAND 2001,
p. 263)
. Esta afirmao de Oswaldo Chateaubriand oferecer o espao necessrio para que outra
sentena, de maior amplitude filosfica, seja afirmada. Afinal, se a nfase diferente, ento o que
se ter agora sero duas categorias ontolgicas fundamentais: funes e objetos. Ambas so
tomadas como primitivas, como as noes de percurso de valores, sinais, sentidos
(idem, p.
268)
. Esta afirmao, por sua vez, ser corroborada pelos prprios termos fregeanos, quando este
considera, naquilo que tange a semelhantes conceitos, que impossvel uma definio regular,
j que temos aqui algo que, por sua simplicidade, no admite decomposio lgica. S possvel
indicar o que se quer dizer. Aqui s se pode dizer sucintamente: um objeto tudo que no uma
funo, de modo que uma expresso dele no contm lugar vazio
(FREGE 1997c, p.18)
. Almejar-se-,
desta forma, oferecer uma anlise do primeiro artigo publicado por Frege dentro do conjunto
selecionado sem invadir o mbito conceitual trabalhado pelos demais. Com efeito, este
tratamento difcil de ser delimitado, pois o que fica latente aps uma leitura detalhada que a
distino entre o sentido (sinn) e a referncia (bedeutung) se encontra presente em todos eles
[12], desempenhando um papel fundamental nesta primeira fase da maturidade fregeana (a
segunda ser delimitada pela publicao do Grundgesetze). Feitas estas pequenas consideraes
acerca do tratamento devido ao artigo, vamos a ele!
O ponto de partida de Frege neste artigo aquilo que se chama de funo em Matemtica.
De acordo com sua concepo, dados os progressos obtidos em Matemtica com o auxlio desta
ferramenta, a partir da descoberta da Anlise superior, se perderam de vista muitas de suas
definies primrias, como a distino fundamental por ela efetuada entre a forma e o contedo,
ou entre o sinal e o designado. preservao desta distino que Frege direcionar as suas
consideraes, sempre com o pressuposto de que a diversidade de designao no justifica, por
si s, uma diversidade de designados
(idem, p. 3)
, afinal, as diferentes expresses correspondem a
diferentes concepes e aspectos, porm, sempre mesma coisa
(idem, p. 5)
. Poder-se-ia objetar
que esta uma simples questo de definio, ao passo que Frege contraporia imediatamente o
fato de mesmo uma definio no ser criadora de novos objetos ou de propriedades de objetos, a
ponto de poder dar a uma coisa propriedades que esta coisa no tenha; no mximo, ela dar a uma
coisa a propriedade de se exprimir e designar aquilo para o que a definio a introduz como
sinal
(idem, p. 4)
. Em uma definio, menciona em uma nota, apenas se associa, a um sinal, um
sentido e uma referncia. Onde faltam integralmente sentido e referncia, no se pode
propriamente falar de um sinal, nem de uma definio
(idem, Nt. D)
.
Aps a introduo destes pressupostos, Frege procurar caracterizar aquilo que ele
compreende por funo. Para tanto, estabelecer a diferena existente entre um argumento e uma
funo, se valendo de um exemplo retirado dos domnios da geometria:
isto pode ser comparado com a diviso de uma reta num ponto. Fica-se inclinado,
assim, a associar o ponto de diviso a ambas as semi-retas. Mas se se quer fazer a
diviso de maneira rigorosa, de modo a no contar duas vezes, nem deixar nada de fora,
Departamento de Filosofia
12
tem-se que associar o ponto de diviso a apenas uma das semi-retas. Esta semi-reta se
tornar inteiramente fechada em si mesma e pode ser comparada ao argumento,
enquanto que outra semi-reta faltar alguma coisa. O ponto de diviso, que poderia ser
denominado de seu ponto terminal, no lhe pertence. Somente completando-a com este
ponto terminal ou uma reta com dois pontos terminais obtm-se algo completo
(idem, p.
7)
.
Com o auxlio destas consideraes, pode-se asseverar que uma expresso possui em sua
estrutura a possibilidade de decomposio (em termos de funo e argumento), assim como o fato
de uma funo ser, em si mesma, incompleta ou insaturada. Quando completada por um
argumento, denominamos quilo em que resulta a funo, o valor da funo para este
argumento
(idem, p. 8)
.
Neste momento, auxiliado por uma noo do sinal de igualdade como apresentando uma
coincidncia completa e no apenas uma concordncia parcial, Frege introduz a concepo de
igualdade entre percurso de valores de funes [13], possuidora de referncias completas em si
mesmas, como uma generalizao da simples igualdade entre expresses, a qual seria indefinida,
valendo-se para tais fins do mtodo intuitivo da geometria analtica. Com a ressalva de que a
possibilidade de entender a generalizao de uma igualdade entre valores de funes como uma
igualdade, a saber, como uma igualdade entre percursos de valores, no pode ser demonstrada,
mas deve ser considerada uma lei fundamental da Lgica
(idem, p. 10)
, ele acrescentar ao conjunto
de sinais formadores de expresses funcionais a igualdade, de modo que seu julgamento acerca
de uma identidade se pautar por valores extremamente determinados, quais sejam, o verdadeiro
e o falso. Assim digo: o valor de nossa funo um valor de verdade e distingo entre o valor
de verdade do verdadeiro e o valor de verdade do falso. Chamo o primeiro, para abreviar, de o
verdadeiro, e o segundo, de o falso
(idem, p. 13)
. Considerando-se que a presena do artigo definido
nesta expresso no casual, pois dizemos o nmero e no um nmero; com o artigo
definido indica-se que h apenas um nico nmero
(idem, p. 5)
, obtm-se, de fato, os dois objetos
ontolgicos fundamentais da teoria fregeana, quais sejam, o verdadeiro e o falso.
O prximo passo de sua argumentao, aps a clarificao das noes de funo, objeto e
igualdade de percurso de valores, ser aproximar aquilo que ele entende por funo em
Matemtica daquilo que entende por conceito em Lgica. Com efeito, pode-se dizer
imediatamente: um conceito uma funo cujo valor sempre um valor de verdade
(idem, p. 15)
.
Do mesmo modo que podemos designar como extenso de um conceito o percurso de valores de
uma funo cujo valor, para qualquer argumento, um valor de verdade
(idem, p. 16)
. Delimitada a
noo de conceito, Frege poder deter-se na sua concepo de objeto, na qual aquela afirmao
anteriormente citada possui um papel fundamental, qual seja, a afirmao da impossibilidade de
definio de um objeto que no seja contrastando-o com uma funo, de modo que uma
expresso dele no contm lugar vazio
(idem, p. 18)
. Lanadas estas bases, pode-se pensar que uma
sentena assertiva no contm lugar vazio, e, portanto, deve-se considerar que a sua referncia
um objeto. Esta referncia, porm, um valor de verdade. Logo, ambos os valores de verdade so
Departamento de Filosofia
13
objetos
(idem)
. As ltimas consideraes efetuadas por Frege no tocante sua concepo de um
conceito se referiro ao fato de as extenses conceituais, tais como os percursos de valores de
uma funo, serem objetos, bem como o fato de o conceito poder ser tanto de primeiro nvel,
quando aquilo que cai sob ele um objeto, quanto de segundo nvel, quando o que cai sob ele
um conceito de primeiro nvel (distino que ser mais bem explorada na seqncia). Feitas estas
ltimas consideraes, passa-se a anlise do segundo artigo desta trade, seja este Sobre o
Sentido e a Referncia, tecendo-se ao final algumas breves consideraes sobre o ltimo destes
(Sobre o Conceito e o Objeto).
B Sobre o Sentido e a Referncia & Sobre o Conceito e o Objeto (1892)
O problema da igualdade pode ser eleito, com efeito, como um fio condutor para toda a
obra de Gottlob Frege. Ele aparece j no prefcio da Begriffsschrift, trabalhado ao longo do
Grundlagen, e inaugura o artigo que concentra as atenes neste instante. Logo em sua primeira
frase afirmado que a igualdade desafia a reflexo dando origem a questes que no so muito
fceis de responder. ela uma relao? Uma relao entre objetos ou entre nomes ou sinais de
objetos?
(FREGE 1997d, p. 25)
. Com vistas a sanar este problema que pode ser referido aos dilogos
platnicos, s leis leibnizianas, ou s acuradas distines kantianas , Frege introduzir a sua
distino conceitual entre o sentido (sinn) e a referncia (bedeutung), acreditando ser possvel
que exista, unido a um sinal, alm daquilo por ele designado, que pode ser chamado de sua
referncia, ainda o que gostaria de chamar de o sentido do sinal, onde est contido o modo de
apresentao do objeto [Art des Gegebenseins]
(idem, p. 26)
. De tal maneira que a conexo regular
entre o sinal, seu sentido e sua referncia de tal modo que ao sinal corresponde um sentido
determinado e ao sentido, por sua vez, corresponde uma referncia determinada, enquanto que a
uma referncia (a um objeto) no deve pertencer um nico sinal [isto , um sentido
determinado]
(idem, p. 27)
[14].
Esta conexo regular, contudo, no absoluta. Tal como Aristteles em seu Tratado
Sobre a Interpretao, Frege reconhece a existncia de sentenas que no levantam uma
pretenso de verdade, as quais, de acordo com sua terminologia, apresentariam um sentido, mas
no uma referncia (seriam sentenas sem valor de verdade, ou sentenas nem verdadeiras nem
falsas). Esta constatao o conduzir a distinguir maneiras diferentes de se utilizar uma sentena,
de modo que se as palavras so usadas de modo corrente, o que se pretende falar de sua
referncia
(idem, p. 28)
, ou seja, se pretende falar de sua referncia costumeira, contrastando esta
modalidade com o discurso indireto, no qual a referncia apresentar o sentido costumeiro das
palavras, isto , apresentar uma referncia indireta. Neste momento, Frege tambm menciona a
existncia de um sentido indireto, ainda que em nenhum momento de seu artigo ele venha a
caracteriz-lo. Esta qualificao do sentido e da referncia, entretanto, tem como um de seus
objetivos centrais no apenas discrimin-los em costumeiros e indiretos, mas distinguir ambos da
noo de representao (Vorstellung), a qual possui uma natureza estritamente subjetiva. Com
efeito, ele continuar a sustentar aquela lei enunciada no prefcio de seu Grundlagen, segundo a
Departamento de Filosofia
14
qual no se deve perder de vista a distino entre o subjetivo e o objetivo; e ainda que, por vezes,
mal-entendidos ocorram, confundindo a classificao entre conceitos e objetos com a distino
entre sentido e referncia, de tal modo que se admita associar, por um lado, sentido e conceito, e
por outro, referncia e objeto
(1997e, p. 128)
, Frege no permitir que aquela outra confuso ocorra,
de modo que a referncia de um nome prprio o prprio objeto que por seu intermdio
designamos; a representao que dele temos inteiramente subjetiva; entre uma e outra est o
sentido que, na verdade, no to subjetivo quanto a representao, mas que tambm no o
prprio objeto
(1997d, p. 30)
[15].
Aps valer-se da esclarecedora metfora do telescpio e da lua para exprimir a distino
entre o sentido e a referncia, e da relao de ambos com o olhar, com o intuito de distingui-los
da representao, Frege passar a investigar quais seriam o sentido e a referncia de uma
sentena assertiva completa. Esta sentena, dentro de sua concepo, expressaria um pensamento,
mas colocado como o foco do problema se este seria o sentido ou a referncia da mesma. Caso
se considere aquilo que j fora afirmado no artigo Funo e Conceito, que a sentena assertiva
contm como sentido um pensamento ou, pelo menos, se prope a conter e este pensamento ,
em geral, verdadeiro ou falso; isto , em geral, ele possui um valor de verdade, que deve ser
considerado como a referncia da sentena
(1997c, p. 16)
, a pergunta levantada assume um mero
carter retrico: o pensamento ser considerado como o sentido da sentena.
Tal como ocorre com relao ao nome prprio, desta maneira, ser permitido na teoria
fregeana a existncia de sentenas que s apresentem um pensamento, ou seja, sentenas que
apresentam uma falha na referncia. Esta caracterstica recebe o estatuto de falha porque todo
aquele que no admite que o nome tenha uma referncia no lhe pode atribuir nem negar um
predicado
(1997d, p. 33)
, e se podemos conceber a natureza de um conceito como uma natureza
predicativa, tal como permitido pelas suas Digresses Sobre o Sentido e a Referncia, a
relao lgica fundamental ser a de cair um objeto sob um conceito
(1997e, p. 128)
. A esta
concepo adicionada a razo pela qual problematizada a ausncia de referncia de um termo,
qual seja, que , pois, a busca da verdade, onde quer que seja, o que nos dirige do sentido para a
referncia
(1997d, p. 33)
. Afinal, toda sentena assertiva, em face referncia de suas palavras,
deve ser, por conseguinte, considerada como um nome prprio
(idem)
, e sua referncia, deste
modo, ser sempre um valor de verdade. E Frege completa afirmando que entende por valor de
verdade a circunstncia de ela ser verdadeira ou falsa. Por brevidade, chama-se a um de o
verdadeiro e a outro de o falso
(idem, p. 34)
. Deste modo, antes de se dedicar questo das
sentenas subordinadas, a qual ocupar todo o restante de seu artigo, e que se referem
possibilidade de substituio de uma sentena por outra que possua o mesmo valor de verdade
[16], a fim de se manter a referncia da sentena, alterando-se unicamente o seu pensamento,
Frege assevera a tese que ocupar diversos lgicos e filsofos ao longo do sculo XX: se o valor
de verdade de uma sentena sua referncia, ento, por um lado, todas as sentenas verdadeiras
tm a mesma referncia e, por outro lado, o mesmo ocorre com todas as sentenas falsas
(1997d, p.
35)
[17].
Departamento de Filosofia
15
Na concluso de seu artigo, retomando o problema enunciado no primeiro pargrafo de
seu texto, qual seja, o problema da igualdade cognitiva de enunciados sintticos a priori e
analticos, Frege considerar que
se, em geral, julgamos que o valor cognitivo de a = a e a = b diverso, isto se
explica pelo fato de que, para determinar o valor cognitivo, to relevante o sentido da
sentena, isto , o pensamento por ela expresso, quanto sua referncia, a saber, seu valor
de verdade. Se a = b, ento realmente a referncia de b a mesma que a de a, e,
portanto, tambm o valor de verdade de a = b o mesmo que o de a = a. Apesar
disso, o sentido de b pode diferir do de a e, portanto, o pensamento expresso por a =
b pode diferir do expresso por a = a; neste caso, as duas sentenas no tm o mesmo
valor cognitivo
(idem, p. 50)
.
De tal modo que, aps aproximar as noes de funo e conceito (aprofundamento da
Begriffsschrift) e introduzir a distino entre sentido e referncia (preservando uma das leis do
Grundlagen), resta apenas a distino existente entre o conceito e o objeto (tambm uma lei do
Grundlagen) para finalizar este quadro conceitual esboado por Frege no perodo que antecede a
publicao de seu Grundgesetze. Como se observar, breve a tarefa de Frege quanto a esta
ltima distino.
Tecido como uma resposta s consideraes efetuadas por Benno Kerry acerca do
Grundlagen [18], o artigo Sobre o Conceito e o Objeto possui um alcance limitado por conta
das teses j expostas nos artigos analisados anteriormente. Caso se queira considerar apenas o
artigo Funo e Conceito, no haver nenhuma nova distino conceitual apresentada naquele
artigo que j no se encontre exposta detalhadamente neste. O trabalho de Frege neste artigo
reduz-se a aproximar as teses expostas em 1884 no Grundlagen das teses expostas nestes dois
ltimos anos (1891-92), detalhando as novidades presentes em sua maneira de considerar o tema
tratado, marcando as devidas diferenas, bem como resolvendo as dvidas levantadas por Kerry.
Duas marcaes aqui efetuadas so dignas de notas. Em primeiro lugar, aquela distino, j
exposta no Grundlagen (53), entre uma propriedade de um objeto e uma nota de um conceito
[19]; e em segundo lugar, o nivelamento existente entre os conceitos, que se procede de tal modo
que
o comportamento do conceito ser essencialmente predicativo, mesmo onde se predica
algo dele; conseqentemente, ele s pode ser substitudo por outro conceito, nunca por
um objeto. Assim, a predicao que feita de um conceito no adequada para um
objeto. Os conceitos de segundo nvel, sob os quais caem conceitos, so
fundamentalmente diferentes dos conceitos de primeiro nvel, sob os quais caem objetos.
A relao de um objeto com um conceito de primeiro nvel sob o qual ele cai diferente,
embora semelhante, da relao de um conceito de primeiro nvel com um conceito de
segundo nvel. Se se quisesse considerar ao mesmo tempo a distino e a semelhana,
poder-se-ia dizer que um objeto cai sob um conceito de primeiro nvel, e que um
conceito cai em um conceito de segundo nvel. Deste modo, a distino entre conceito e
objeto conserva toda a sua nitidez
(1997f, p. 201)
.
Departamento de Filosofia
16
Assim, podem-se considerar introduzidos no sistema de Frege estes componentes
logicamente simples (conceito e objeto), os quais, por esta mesma razo, no comportam uma
definio precisa, mas apenas uma sugesto de denominao. Afinal, a linguagem no contm
originalmente uma expresso que lhes corresponda. Acrescidos da distino epistemolgica entre
sentido e referncia, e da escrita conceitual apresentada na Begriffsschrift, tem-se o esboo
completo da pintura que ser exposta por As Leis Bsicas da Aritmtica, ou simplesmente, o
Grundgesetze.
C Grundgesetze (1893)
Uma obra que apresenta o projeto de uma vida intelectual. Estas palavras bem definem o
texto apresentado por Frege em 1893, para o qual escolhido o ttulo de As Leis Bsicas da
Aritmtica [20]. Curiosamente, no acrescentado a esta obra nenhum subttulo que almeje
determinar de modo mais preciso aquilo que ser trabalhado ao longo do texto, diferentemente do
que ocorrera com as obras precedentes. Se a Begriffsschrift era, de fato, uma linguagem formal
para o pensamento puro modelada de maneira anloga aritmtica, bem como o Grundlagen se
apresentava como uma investigao lgico-matemtica sobre o conceito de nmero, o
Grundgesetze esgotar suas pretenses em seu prprio ttulo: estabelecer as leis bsicas da
aritmtica, compondo todos os resultados alcanados por Frege em suas obras anteriores
(acrescidas das devidas revises) [21]. De tal modo, esta obra ser dividida em trs partes ao
longo de dois volumes, com o primeiro volume encerrando as duas primeiras partes. A primeira
parte, ento, se constituir de uma exposio do sistema notacional presente na Begriffsschrift
(smbolos e regras de inferncia), acrescido da fundamental noo de percurso de valores,
introduzida no Grundlagen a fim da caracterizar a identidade numrica, e que fora simbolizada de
forma notacional no artigo Funo e Conceito de 1891. Esta noo, com efeito, ser essencial
para o conjunto de axiomas que veiculado ainda nesta primeira parte da obra (um conjunto
menor do que aquele apresentado pela obra de 1879). A segunda e a terceira parte, na seqncia,
consistiro de uma exposio das leis bsicas dos nmeros naturais e reais, respectivamente. O
prefcio e a introduo desta obra, por fim, veicularo a motivao e os pressupostos filosficos
considerados por Frege no acabamento de seu sistema, e ser sobre ambos que incidir a anlise
aqui empreendida.
O incio desta obra ser marcado pela mesma advertncia j efetuada por Frege em seu
artigo Funo e Conceito. Se neste artigo, naquilo que tange a definio regular de um objeto,
ele considera que temos aqui algo que, por sua simplicidade, no admite uma decomposio
lgica
(FREGE 1997c, p. 18)
, no prefcio de seu Grundgesetze a mesma espcie de asseverao ser
dirigida sua concepo de um mtodo cientfico estrito prximo daquele desenvolvido por
Euclides para a Geometria, seja este o mtodo axiomtico. Para ele, no interior de uma cincia
que pressuponha semelhante mtodo, no pode ser esperado que tudo seja provado, porque isto
impossvel; o que ns podemos esperar que todas as proposies usadas sem a anuncia de
uma prova tenham este seu carter explicitado, de modo que fique aparente sobre o qu toda a
Departamento de Filosofia
17
construo est baseada
(1997g, p. VI)
. Afinal, mesmo se um nmero cada vez maior de defensores
est sendo conquistado pela opinio de que a Aritmtica um desenvolvimento expansivo da
Lgica, de que uma fundamentao mais rigorosa das leis aritmticas as reduz a leis puramente
lgicas, e a tais leis apenas
(1997c, p. 15)
, isto , mesmo se o projeto logicista conquiste cada vez
mais novos adeptos, deve ser considerado acerca desta perspectiva que isto permanece em
disputa h tanto tempo que as transies ocorridas nas provas no se encontram mais de acordo
com as leis lgicas, mas aparecem fundamentadas por um conhecimento intuitivo. Apenas se
estas transies forem analisadas como simples passos lgicos pode algum ser convencido que
nada diferente da Lgica repousa na base
(1997g, p. VII)
.
Se nada diferente da Lgica deve repousar na base da Aritmtica, quais sero os
componentes desta Lgica por ele considerada? Respeitando-se os seus recentes artigos, as
noes de conceito (uma funo cujo valor sempre um valor de verdade) e objeto
desempenharo um papel fundamental em todo o programa apresentado no Grundgesetze, pois
ser por seu intermdio que Frege aprimorar aquela definio de nmero oferecida h nove anos
em seu Grundlagen. Da mesma maneira, sero extremamente caras ao seu sistema as noes de
sentido e referncia, as quais permitiro a Frege considerar de maneira mais apropriada o
contedo de uma assero, evoluindo aquelas teses expostas h tempos em sua Begriffsschrift.
Sua notao simblica tambm sofrer algumas substituies (por exemplo, o sinal de identidade
de contedo () pelo sinal de igualdade (=)), bem como receber alguns acrscimos (como o
sinal que expressar o artigo definido da linguagem ordinria), possibilitando uma ampla
reformulao de sua escrita conceitual. Esta reformulao permitir a Frege reduzir o nmero de
axiomas com relao sua Begriffsschrift (de nove para seis, ressaltando-se a absoluta diferena
dos componentes deste conjunto), e a ampliao do nmero de regras de inferncia consideradas.
Destaque-se, ainda, a introduo dos sinais que designaro o percurso de valores de uma
funo na sua Lei Bsica V [22]. Esta lei, por conseguinte, expressa que a identidade existente
entre percursos de valores pode ser compreendida como uma generalizao da igualdade. Com
relao a esta tese, afirma ele que a possibilidade de entender a generalizao de uma igualdade
entre valores de funes como uma igualdade, a saber, como uma igualdade entre percursos de
valores, no pode ser demonstrada, mas deve ser considerada uma lei fundamental da Lgica
(1997c, p. 10)
. E ser em virtude de sua definio de nmero em termos de extenses de conceitos, e
da definio de extenso conceitual em termos de percurso de valores, que Maria Cordeiro
afirmar que o recurso a curso de valores a mais importante das inovaes introduzidas no
Grundgesetze
(CORDEIRO 1975, p. 67)
. Por conta desta considerao que afirmar Frege, quando da
resposta carta de Russell na qual este o comunicava dos paradoxos em que incorria a incluso
de semelhante axioma, que parece, ento, que transformar a generalizao de uma igualdade em
uma igualdade de curso de valores (9 do meu Grundgesetze) no sempre permitido, que minha
Lei V (20) falsa, e que minhas explicaes no 31 no so suficientes para assegurar que
minhas combinaes de sinais possuam um sentido em todos os casos. Devo refletir
posteriormente no assunto. Tudo se torna mais srio uma vez que, com a perda de minha Lei V,
Departamento de Filosofia
18
no somente os fundamentos da minha aritmtica, mas tambm os fundamentos possveis de toda
aritmtica parecem perecer
(FREGE apud RUSSELL 1967, p. 127)
.
***
Foram analisadas anteriormente as possveis heranas conceituais presentes no sistema de
Frege, polarizadas nas figuras de Aristteles e de Kant. Estas referncias nada mais expressariam
do que concepes metafsicas de matrizes realistas, em face de um idealismo transcendental,
respectivamente. Na argumentao aqui empreendida, a cada uma destas influncias foi
identificada uma obra especfica, ainda que fosse possvel encontrar argumentos de ambas as
tendncias em cada obra particular, de modo que se tornasse clara a possibilidade de uma
ambivalncia filosfica circundando o projeto fregeano. Esta ambivalncia, contudo, necessita de
uma resoluo para que o seu legado se efetive. E a resoluo ser oferecida pelo prprio Frege
em seu prefcio, quando em uma longa passagem afirma que
o que crucial para o tratamento da cincia da lgica a concepo das leis lgicas, a
qual, por sua vez, se conectar com a maneira pela qual a palavra verdade
compreendida. Que as leis lgicas devam ser princpios norteadores para o pensamento
no estabelecimento da verdade geralmente admitido de sada; mas isto facilmente
esquecido. A ambigidade [Doppelsinn] da palavra lei crucial aqui. Por um lado, ela
sustenta o que , enquanto que por outro, ela prescreve o que deve ser. Apenas no ltimo
sentido podem as leis lgicas serem consideradas leis do pensamento, fundamentando
como algum deve pensar. Qualquer lei que sustenta o que [de fato] pode ser
concebida como prescrevendo que o pensamento se d de acordo com ela, e, desta
forma, neste sentido que uma lei do pensamento
(FREGE 1997g, p. XV)
.
E deste modo, as leis lgicas apenas merecem o nome de leis do pensamento com propriedade
se por elas forem expressas uma sinonmia com aquelas leis mais gerais, as quais prescrevem
universalmente como algum deve pensar de modo absoluto
(idem)
.
Muitas so as abordagens possveis acerca desta obra de Frege, seja privilegiando seus
aspectos formais ou as suas distines conceituais, assim como so muitas as interpretaes
reivindicadas para a obra deste filsofo alemo. Ao se intitular semelhante trabalho monogrfico
como Heranas Conceituais no Pensamento de Gottlob Frege, contudo, esta simples e breve
abordagem a melhor maneira de trat-la, apresentando o carter decisivo de seu pensamento,
qual seja, suas afirmaes acerca do carter prescritivo da verdade lgica.
V Concluso
um fato amplamente conhecido o resultado do projeto desenvolvido por Frege: a
descoberta do paradoxo das classes proveniente da lei bsica nmero cinco por Bertrand Russell
s vsperas da publicao do segundo volume do Grundgesetze. A tentativa de resoluo deste
paradoxo por parte de Frege imediata, porm, seus esforos no conseguem satisfazer a
questo, de modo que sua honestidade intelectual prevalece e faz com que ele comunique, ao
Departamento de Filosofia
19
final do segundo volume, a existncia deste paradoxo, acrescida de uma fracassada tentativa de
resoluo. Russell, rememorando este perodo, afirma que
quando penso em atos de grandeza e de integridade, apercebo-me que no conheo
nenhum comparvel dedicao de Frege verdade. Encontrava-se ele a um passo de
completar a obra da sua vida, a maioria dos seus trabalhos fora ignorada em proveito de
homens infinitamente menos competentes, seu segundo volume estava prestes a aparecer
e, ao ter conhecimento que seu pressuposto fundamental era errneo, reagiu com prazer
intelectual, reprimindo todo sentimento de decepo pessoal. Era algo quase que sobre-
humano e um indicador daquilo de que os homens so capazes quando se dedicam ao
trabalho criador e ao conhecimento, ao invs do rude af de dominarem e tornarem-se
famosos
(RUSSELL 1967, p. 127)
.
O fracasso do projeto logicista, contudo, no descaracterizou a trajetria de seu empreendimento.
Tambm Plato, a partir de seu Parmnides, teve de se confrontar com paradoxos oriundos da
noo de participao, fundamental para a sua Teoria das Formas, e mesmo Kant deixou muitas
questes abertas na tentativa de reconciliar, com o auxlio da terceira crtica, a experincia
apartada pelas duas precedentes. Com a dignidade de um grande filsofo, Frege desenvolveu sua
teoria de modo a ultrapassar os seus prprios limites, at o momento em que a possibilidade de
derivao de paradoxos se apresentou mesma. Se o resultado deste projeto se apresenta
negativo, as distines conceituais apresentadas ao longo de sua composio, bem como seus
processos e percursos argumentativos, no o so. De tal modo que, ao longo desta jornada
intelectual, se salvaguardaro os traos presentes em seu estilo. Repousando este sobre a
fundao a mais profunda do conhecimento, sobre a essncia das coisas, na medida em que
permitido conhecer a essncia em formas visveis e apreensveis
(GOETHE 2005, p. 65)
, s quais, para
Frege, como para muitos outros anteriores e posteriores a ele, se coadunaro com as prprias
Formas Lgicas.
Referncias:
[1] Escrita por Lothar Kreiser e intitulada Gottlob Frege: Leben Werk Zeit.
[2] Uma disputa pode surgir aqui, at onde posso ver, apenas com relao minha lei
fundamental que concerne sobre os percursos de valores (V), a qual, talvez, ainda no tenha sido
expressamente formulada pelos lgicos, embora se a tenha em mente quando, por exemplo, se
fala acerca de extenses de conceitos
(FREGE 1997g, p. 195)
.
[3] Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.
[4] Paginao original oferecida pela edio de Michael Beaney.
[5] A maior publicao de Frege representa trs estgios no projeto que o ocupou durante toda a
sua vida. Subseqentemente denominado de logicismo, este projeto almejava demonstrar que as
leis da aritmtica so analticas e conseqentemente a priori, ou, em sua madura terminologia,
que a aritmtica uma parte da lgica e no precisa corroborar nenhum fundamento ou prova
com dados da experincia ou da intuio
(SULLIVAN 2004, p. 660)
.
Departamento de Filosofia
20
[6] Deixe-se claro que esta a opinio de Peter Sullivan; outros pensadores elegero outros
filsofos como os mais importantes predecessores e sucessores de Frege, por exemplo, Hegel ou
Russell etc.
[7] So eles, com efeito, em notao moderna:
1. (a (b a));
2. (c (b a)) ((c b) (c a));
3. (d (b a)) (b (d a));
4. (b a) (a b);
5. (a a);
6. (a a);
7. c d (f(c) f(d));
8. c c;
9. a f(a) f(c).
[8] Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung ber den Begriff
der Zahl.
[9] Problema que j se encontra presente na Begriffsschrift (quando a identidade foi introduzida
como um de seus operadores), e que, deve-se ressaltar, iniciar o mais famoso artigo de Frege
Sobre o Sentido e a Referncia.
[10] Na traduo efetuada por J. L. Austin (1953) esta seo intitula-se para obter o conceito de
um nmero, deve-se estabelecer o sentido de uma identidade numrica. A traduo de Beaney
(1997b), por sua vez, se refere equao, e no identidade, noo tambm empregada por Luis
Henrique dos Santos (1974) quando de sua traduo ao portugus. O termo utilizado por Frege no
texto original Zahlengleichung, o qual corresponde integralmente traduo que dele foi feita
por Austin, e apenas parcialmente s noes utilizadas por Beaney e Luis Henrique dos Santos,
pois apenas em uma significao estrita compreende-se uma equao como uma identidade
numrica.
[11] Com efeito, a Lgica Transcendental divide-se em uma Analtica Transcendental e numa
Dialtica Transcendental. Aquela, por sua vez, subdivide-se em uma Analtica dos Conceitos e
em uma Analtica dos Princpios. Todo o tratamento ulterior aqui trabalhado encontra-se, deste
modo, alojado na Analtica dos Conceitos. Acerca da distino estabelecida por Kant entre a
Lgica Geral e a Lgica Transcendental faz-se interessante a consulta, alm da introduo a esta
seo da Crtica da Razo Pura, o artigo de Mary Tiles intitulado Kant: from general to
transcendental logic
(In GABBAY & WOODS 2004b)
.
[12] Tal , por exemplo, a concepo de Oswaldo Chateaubriand, quando afirma que tanto o
Funo e Conceito quanto o Sobre o Conceito e o Objeto contm referncias ao Sobre o
Sentido e a Referncia, bem como utilizam os mesmos conceitos delineados neste
(2001, p. 291 [Nt.
17])
.
[13] Noo que se aproximar da concepo de nmero enunciada por Frege no Grundlagen,
entendido como a igualdade de referncia da extenso do conceito F e do conceito G, isto , o
fato de o conceito F ser equinumrico ao conceito G.
Departamento de Filosofia
21
[14] Com relao a esta conexo existente entre um sinal, seu sentido e sua referncia, Frege
acredita que as variaes de sentido possudas por uma referncia devem ser evitadas na
estrutura terica de uma cincia demonstrativa, e no devem ter lugar numa linguagem perfeita
(idem, Nt. B)
.
[15] Um nome prprio, para Frege, consistir na forma de se designar um objeto.
[16] Tese j veiculada no Grundlagen, e atribuda a Leibniz, quando afirmado que Eadem sunt
quorum unum potest substitui alteri salva veritate [so iguais as coisas que, salvo a verdade,
podem ser substitudas uma pela outra]
(FREGE 1997b, p. 76 (65))
.
[17] Para uma discusso detalhada acerca desta tese, bem como a oferta de uma soluo ao
problema por ela suscitado, confrontar com o captulo Arguments for Freges thesis, de
Oswaldo Chateaubriand (2001).
[18] Este, com efeito, publicara oito artigos intitulados Sobre a Intuio e sua Elaborao
Fsica, em alguns dos quais as concepes de Frege, em especial a distino entre conceito e
objeto, so criticadas.
[19] No meu modo de falar, uma coisa pode ser simultaneamente uma propriedade e uma nota,
mas no da mesma coisa. [...] Se o objeto X tem as propriedades A, B e C, ento posso combin-
las em P, de modo que seja a mesma coisa dizer que X tem a propriedade P ou dizer que X tem as
propriedades A, B e C. Chamo, pois, A, B e C de notas do conceito P e, simultaneamente, de
propriedades de X
(FREGE 1997f, p. 201)
.
[20] Grundgesetze der Arithmetikic.
[21] Segundo Oswaldo Chateaubriand, a tentativa de Frege de combinar nas suas Leis Bsicas
da Aritmtica as suas novas concepes de sentido, referncia, e valores de verdade, com a sua
antiga doutrina contextual, especialmente a doutrina concernente introduo de objetos
lgicos de maneira a ampliar a verso de identidade do princpio do contexto, teve conseqncias
desastrosas mesmo independentemente dos paradoxos
(2001, p. 274)
.
[22] J apresentados de forma notacional no artigo Funo e Conceito, e de maneira conceitual
no Grundlagen.

Bibliografia:
ALCOFORADO, P. 1978: Introduo. In FREGE 1978. Pp. 9-32.
BEANEY, M. (Ed.) 1997: The Frege Reader. Oxford, Blackwell Publishing.
CHATEAUBRIAND, O. 2001: Logical Forms. Truth and Description. Parte 1. Campinas,
Coleo CLE.
COPLESTON, F. (S.j.) 1993: A History of Philosophy. Greece and Rome. Vol. 1. New York,
Image Books.
CORDEIRO, M. 1974: A Begriffsschrift de Frege uma viso evolutiva. Orientador: Paulo
Alcoforado. Dissertao de Mestrado PUC-Rio.
Departamento de Filosofia
22
DUMMETT, M. 1973: Frege: Philosophy of Language. New York, Harper & Row.
FREGE, G. 1953: The Foundations of Arithmetic. Trad. J. L. Austin. New York, Harper &
Brothers.
_________ 1967: Begriffsschrift. In VAN HEIJENOORT (Ed.) 1967. Pp. 1-82.
_________ 1974: Os Fundamentos da Aritmtica. Trad. Luis Henrique dos Santos. Coleo Os
Pensadores. So Paulo, Ed. Abril Cultural.
_________ 1978: Lgica e Filosofia da Linguagem. Trad. Paulo Alcoforado. So Paulo, Ed.
Cultrix.
_________ 1978a: Funo e Conceito. In FREGE 1978. Pp. 33-57.
_________ 1978b: Sobre o Sentido e Referncia. In FREGE 1978. Pp. 59-86.
_________ 1978c: Sobre o Conceito e o Objeto. In FREGE 1978. Pp. 87-103.
_________ 1978d: Digresses Sobre o Sentido e a Referncia. In FREGE 1978. Pp. 105- 116.
_________ 1978e: Sobre a Finalidade da Ideografia. In FREGE 1978. Pp. 139-152.
_________ 1997a: Begriffsschrift (1879). Trad. M. Beaney. In BEANEY 1997. Pp. 47-78.
_________ 1997b: The Foundations of Arithmetic (1884). Trad. M. Beaney. In BEANEY 1997.
Pp. 84-129.
_________ 1997c: Function and Concept (1891). Trad. P. Geach. In BEANEY 1997. Pp. 130-
148.
_________ 1997d: On Sinn and Bedeutung (1892). Trad. M. Black. In BEANEY 1997. Pp.
151-171.
_________ 1997e: Comments On Sinn and Bedeutung (1892). Trad. P. Long & R. White. In
BEANEY 1997. Pp. 172-180.
_________ 1997f: On Concept and Object (1892). Trad. P. Geach. In BEANEY 1997. Pp. 181-
193.
_________ 1997g: Grundgesetze der Arithmetik, Volume 1 (1893). M. Beaney. In BEANEY
1997. Pp. 194-223.
GABBAY, D. & WOODS, J. 2004b: Handbook of the History of Logic. The Rise of Modern
Logic From Leibniz to Frege. Vol. 3. Amsterdam, Elsevir.
GOETHE 2005: Imitao simples da natureza, maneira, estilo (1789). Trad. M. A. Werle.
Departamento de Filosofia
23
KANT, I. 2001: Crtica da Razo Pura. Trad. Manuela Pinto dos Santos &Alexandre Fradique
Morujo. Lisboa, Fundao Calouste Gulbekian.
________ 2003: Manual dos Cursos de Lgica Geral. Trad. Fausto Castilho. Campinas, Ed.
UNICAMP.
KNEALE, W. & KNEALE, M. 1980: O Desenvolvimento da Lgica. Trad. M. S. Loureno.
Lisboa, Fundao Calouste Gulbekian.
RUSSELL, B. 1967: Gottlob Frege Letter to Russell. In VAN HEIJENOORT 1967. Pp. 126-
128.
SULLIVAN, P. 2004: Freges Logic. In GABBAY & WOODS 2004. Pp. 659-750.
VAN HEIJENOORT, J. (Ed.) 1967: From Frege to Gdel. A Source Book in Mathematical
Logic. Cambridge, Harvard University Press.
_____________________________: Gottlob Frege. In VAN HEIJENOORT 1967. Pp. 1-3.