Escolar Documentos
Profissional Documentos
Cultura Documentos
SUMRIO
INTRODUO.......................................................................................................... 9
O Contexto da Obra de Frege............................................................................. 9
Dificuldades com o conceito de verdade..........................................................12
1. NOVIDADE DE SENTIDO E REFERNCIA NA FILOSOFIA DE FREGE.....................19
2. A ESTRUTURA FILOSFICA FREGIANA...............................................................37
2.1Objetividade e Subjetividade.......................................................................38
2.2Unidade no Pensamento e Sentido..............................................................47
2.3Referncia e Nomes Prprios.......................................................................61
2.4Conceito e Objeto na Conexo Lgica entre Linguagem e Mundo...............66
3. O VERDADEIRO: LGICO E ONTOLGICO.........................................................74
3.1 A Generalidade Quantificacional................................................................75
3.2 A concepo de existncia de Frege...........................................................80
3.3 O Verdadeiro e o Quantificador Existencial.................................................87
CONCLUSO......................................................................................................... 91
BIBLIOGRAFIA....................................................................................................... 95
INTRODUO
O Contexto da Obra de Frege
Gottlob Frege foi o filsofo matemtico que fundou o logicismo e, em certa
medida, a filosofia analtica. Da necessidade de fundamentar a prpria matemtica,
Frege se lanou lgica, com o intuito de retir-la da psicologia e do empirismo. As
mudanas de Frege, desde a introduo da funo como forma de clculo de
predicados na Conceitografia (Begriffsschrift, 1879), substituindo o binmio sujeitopredicado, alm de todas as inovaes acerca dos conceitos, transformou a lgica.
Todas as mudanas realizadas por Frege no decorrer de suas obras no se devem
apenas introduo de mtodos ou de alguns elementos complementares lgica,
mas sim a uma nova forma de articular o pensamento, no intuito de definir a relao
entre verdade e lgica de forma mais adequada do que at ento havia sido
possvel.
De acordo com Santos (2008):
A lgica funda, admitiria Frege, a arte de pensar corretamente, na exata
medida em que das leis lgicas podem ser derivadas prescries sobre
como pensar de acordo com a verdade, mas ela o faz na qualidade de
cincia do ser verdadeiro enquanto tal. A uma cincia impe-se, antes de
tudo, elucidar o contedo de seus conceitos primitivos e a natureza de seus
objetos mais caractersticos. lgica impe-se, antes de tudo, elucidar o
conceito de verdade e a natureza daquilo a que mais diretamente dizem
respeito as leis do ser verdadeiro, aquilo a que mais propriamente se aplica
esse conceito.1
10
11
levariam Bertrand Russell a comentar com ironia, que "as matemticas so uma
cincia em que no se sabe de que se fala nem se o que se diz verdadeiro 3".
Para Kneale,
Uma vez que dvidas foram jogadas sobre a fiabilidade da intuio espacial
como uma fonte de conhecimento matemtico, tornou-se necessrio
reexaminar todas as provas atualmente aceites, e o resultado foi uma
reconstruo radical da matemtica por homens como Cauchy e
Weierstrass. J foi dito, de fato, que nada foi satisfatoriamente comprovado
na anlise antes do sculo XIX. Agora tanto na anlise como na geometria o
rigor exige a formulao explcita de tudo que essencial para uma
demonstrao. E assim encontramos a ateno dirigida, no sculo XIX, para
as frmulas que fornecem definies implcitas dos vrios tipos de
expresses numricas.4
12
habituais da matemtica o trabalho de regresso na formalizao dedutiva e
a tentar fazer derivar o conjunto das noes e das verdades matemticas a
partir das noes e das verdades propriamente lgicas.6
13
14
15
apropriada para contornar esse problema. Frege encontra, como substitutos mais
adequados, a funo e o argumento, operaes prprias da Aritmtica e que, por
possurem um critrio baseado em saturao e insaturao, se aplicariam a
praticamente todas as situaes apresentadas pela linguagem, contendo a suficiente
generalidade.
O segundo motivo para comear pela aritmtica est no fato de que tanto a
matemtica quanto a lgica independeriam do mundo emprico e passariam a
depender unicamente do pensar para validar seus elementos. Dois campos nos
quais, segundo Frege, "a matria cede terreno e dominada pelo pensar" 8. De tal
maneira, Frege resguardaria tanto lgica quanto a aritmtica de cair nos domnios
seja da psicologia, seja do empirismo.
Ademais,
tanto
aritmtica
quanto
lgica
dependem
nica
16
Embora Frege afirme que a verdade cientfica passa por inmeros estgios
de certeza, e embora um dos processos seja partir de um nmero limitado de casos
particulares, por meio de inferncias lgicas que uma proposio geral ganha
solidez. Essa solidez dada pela conexo com outras verdades e estabelecida por
meio de inferncias que no dependem, necessariamente, da observao emprica.
O mtodo de consolidao da fundamentao de uma verdade cientfica, ao menos
o mais seguro, segundo o autor, no outro que o seguir as leis da lgica:
O mtodo de prova (Beweisfhrung) mais seguro consiste, obviamente, em
seguir estritamente a lgica, que, abstraindo as caractersticas particulares
das coisas, apoia-se exclusivamente nas leis sobre as quais se baseia todo
o conhecimento. Por esta razo, dividimos todas as verdades que requerem
prova em duas espcies: aquelas cuja prova pode ser conduzida por meios
puramente lgicos e aquelas cuja prova se apoia em fatos empricos. Mas o
fato de uma proposio ser da primeira espcie plenamente compatvel
com o fato de ela jamais se tornar consciente em um esprito humano, caso
no houvesse atividade sensorial. Portanto, o que est na base desta
diviso [das espcies de verdade] no a gnese psicolgica
(Entstehungsgeweise), mas o melhor mtodo de prova (Beweisfhrung)12.
FREGE, Gottlob; Prefcio Conceitografia, in: Lgica e Filosofia da Linguagem, pg. 43.
FREGE, Gottlob; Prefcio Conceitografia, in: Lgica e Filosofia da Linguagem, pg. 44.
17
18
definio de verdade mais formal e com uma funcionalidade lgica mais rigorosa,
inclusive em sua terminologia. Como resultado, em Der Gedanke (O Pensamento,
1918-19), Frege nos informa que o verdadeiro o objeto de toda a lgica. Essa
concepo parece ter uma conotao diferente do primeiro caso que observamos,
pois, na Conceitografia, a lgica parecia ser algo distinto e mais amplo do que as
verdades cientficas. Em O Pensamento, o que podemos perceber que toda a
lgica encontra-se orientada para o verdadeiro como objeto. Isso nos sugere que,
entre a Conceitografia e O Pensamento, Frege desenvolveu e ampliou sua
concepo acerca da verdade. O significado do termo objeto, conforme ser
explicitado no decorrer dessa dissertao, evidenciar uma trajetria que busca
delimitar o verdadeiro em um contexto diferente daquele que costuma caracterizar
as verdades cientficas, estabelecendo balizas muito consistentes entre a
considerao usual de verdade e aquela que caracterizar a mesma como objeto
lgico. O processo que estabelece esse rigor, que define o verdadeiro no apenas
como o objeto da lgica, mas como objeto lgico e que o distanciar das verdades
cientficas no somente no mtodo de prova, mas em toda sua aplicao,
resultado de uma importante ruptura na concepo fregiana no que tange distino
entre forma e contedo da proposio.
A proposta desta dissertao, portanto, estabelecer trs pontos:
a) Indicar em que sentido ocorre a ruptura na concepo de verdade fregiana
em relao concepo da tradio filosfica, representada pelos
modelos aristotlicos e kantianos;
b) A exposio dos elementos que compem o ncleo do logicismo fregiano,
concebendo o que significa tomar o verdadeiro como objeto da lgica;
c) A implicao do valor de verdade para a concepo de existncia de
Frege, tomando em considerao que o verdadeiro, enquanto objeto
privilegiado da lgica, assume posio fundamental na validao da
existncia de um pensamento.
19
20
aqui um projeto que j havia tido em vista no meu Begriffsschrift do ano de 1879 e
que anunciei em meus Fundamentos da aritmtica do ano de 1884. 14
Alm dessa continuidade anunciada, as modificaes que o autor enuncia
em seguida, como a modificao do sinal de equivalncia para o sinal de igualdade
e o acrscimo de outros sinais, devem-se, principalmente, ao que ele enuncia como
consequncias da evoluo de minhas concepes lgicas. 15
De fato, os elementos fundamentais, como o clculo proposicional baseado
na estrutura funo e argumento, atravessam toda a obra fregiana. No entanto,
duvidoso concluir que Frege concebia, j na Conceitografia, que o verdadeiro seja
um objeto (como apresentaremos a seguir), levando em conta as observaes feitas
at o momento.
A partir de Funo e Conceito, porm, essa associao torna-se explcita, e
suas repercusses no deixam de ser problemticas. Para compreendermos melhor
o problema que se apresenta, retomemos o fato de que, desde a Conceitografia,
Frege estrutura as proposies com base na funo e no argumento, deixando de
lado a nomenclatura sujeito e predicado. Quando tomamos uma expresso
alicerada em sujeito e predicado, temos um elemento, o sujeito, que recebe uma
propriedade, o predicado. Esse mesmo predicado, em outra expresso, pode ser o
sujeito e receber tambm uma propriedade. Ao estruturarmos como funo e
argumento, o comportamento das proposies ser diferente, pois funes so
elementos incompletos, que no podem atuar sozinhos sem que percebamos a
necessidade
de
complemento.
Um
argumento,
em
contrapartida,
teria
21
sucintamente o seguinte: um objeto tudo o que no uma funo, tudo
aquilo cuja expresso no contm um lugar vazio.16
16
22
A considerao da natureza positiva da verdade parece ser caracterizada
pela viso de que a verdade um objeto. Por essa razo, sua concepo de
verdade comumente vista como uma estranha "teoria da nomenclatura da
verdade" de acordo com a qual a verdade o objeto nomeado pelas
sentenas verdadeiras.19
19
Greimann, D. Did Frege Really Consider the Truth as an Object?, in: Essays on Freges Conception of Truth,
pg. 126.
20
FREGE, G. Funo e Conceito, in: Lgica e Filosofia da Linguagem, pg. 92.
23
24
A igualdade desafia a reflexo, dando origem a questes que no so
fceis de responder. ela uma relao? Uma relao entre objetos? Ou
entre nomes ou sinais de objetos? Em minha Begriffsschrift assumi a ltima
alternativa22.
Frege toma como ponto de partida o fato que objetos possuem nomes, e
que, havendo, pois, a igualdade, ela pode referir-se tanto igualdade entre objetos
quanto igualdade entre nomes ou sinais de objetos. Na Conceitografia, Frege
assume a ltima alternativa, entendendo a igualdade como equivalncia entre os
nomes dos objetos. Todavia, medida que o prprio autor prossegue, essa escolha
acarretar problemas. Quando dizemos que um objeto A igual a um objeto B, ou
simplesmente que A=B, estamos dizendo que dois objetos, de nomes distintos, so
a mesma coisa? Na Conceitografia, duas sentenas ou termos representados por
um sinal A e outro B sero consideradas iguais se seu contedo conceitual for o
mesmo. Mas o fato de serem designadas por nomes diferentes no acrescenta uma
diferena nos pensamentos asseridos? Para Frege, a designao diferente de um
mesmo objeto produz diferenas informativas significativas:
[...] a=a e a=b so, evidentemente, sentenas de valor cognitivo diferentes,
pois a = a sustenta-se a priori e, segundo Kant, deve ser denominada de
analtica, enquanto que sentenas da forma a = b contm, frequentemente,
extenses muito valiosas de nosso conhecimento, e nem sempre podem ser
estabelecidas a priori. A descoberta de que o sol nascente no novo cada
manh, mas sempre o mesmo, foi uma das descobertas astronmicas
mais ricas em consequncias.23
22
25
25
Ibidem.
26
referncia de estrela da tarde e estrela da manh a mesma, mas no o
sentido.26
26
27
27
28
relao com esse objeto, como uma relao de equivalncia. Essa informao
extremamente
importante,
caso
seja
verdadeira,
pois
se
essa
relao
29
KLEMENT, K.C. Putting Form Before Function: Logical and Grammar in Frege, Russell and Wittgenstein, in
Philosophers Imprint, Vol. 4, n.2, Agosto, 2004.
29
30
O que podemos perceber por essa citao que os princpios que formam
as leis do ser verdadeiro no so espaciais e nem temporais e, portanto, no
pertencem ao assentimento humano. H, portanto, uma distino quando falamos
de homens localizados no espao e no tempo, e quando falamos diretamente de leis
31
FREGE, G. Prlogo s Leis Bsicas da Aritmtica, (Trad. Celso R. Braida) pg. 08. Traduo revista: FREGE,
G. The Basic Laws of Arithmetic, pg. 15.
31
O motivo de Frege ampliar o campo dos argumentos tem a ver com sua
considerao acerca de sentido e referncia. Essa a segunda circunstncia
caracterstica. Para Frege, toda equao possui uma forma lingustica e toda forma
lingustica apresenta uma sentena assertiva, ela afirma algo. Em tais casos, a
sentena possui um sentido, um pensamento. Portanto, Frege trafega entre os
campos da aritmtica e da linguagem, posicionando qualquer sentena, bem como
qualquer pensamento, sob a estrutura de expresso funcional. Isso significa que as
questes referentes ao campo da aritmtica, bem como o posicionamento de Frege
em relao a ela, valero tambm para todo o campo de ampliao que Frege
realizou em Funo e Conceito, o que inclui a escolha feita por Frege, em relao s
opes tomadas tanto por Kant quanto por John Stuart Mill:
Considerando-se tambm a oposio entre analtico e sinttico, resultam
quatro combinaes, uma das quais, porm, a saber, analtico a posteriori,
impossvel. Aqueles que se decidiram com Mill em favor do a posteriori no
resta pois escolha, restando-nos ponderar ainda somente as possibilidades
sinttico a priori e analtico. Kant decidiu-se em favor da primeira. Neste
caso, no h praticamente outra alternativa seno apelar para uma intuio
32
32
pura como fundamento ltimo de conhecimento, embora aqui seja difcil
dizer se ela espacial ou temporal, ou de qualquer outra espcie. 33
33
35
TEXTOR, M. Idem. A citao de Textor, ao final da passagem, remete Crtica da Razo Pura, passagens B
15 16.
36
KANT, I. Crtica da Razo Pura, A715 B744.
37
34
Frege inviabiliza a atuao da intuio, tal como Kant a concebia, para lidar
com a amplitude da aritmtica. Afinal, se o domnio de tudo o que contvel excede
38
39
Idem.
FREGE, G. Fundamentos da Aritmtica, pg. 208.
35
o domnio dos objetos que podem ser conhecidos pela intuio espao-temporal,
ento precisamos de um elemento adicional, cuja capacidade de generalizao v
alm do caso restrito da intuio a priori. E, para tal, esse conhecimento deve estar
arraigado na aritmtica.
Vimos que a opo de Kant, de que o conhecimento aritmtico seja sinttico
a priori, acarreta a necessidade de recorrer a uma suposta intuio espao-temporal
que, em certa medida, se aproxima perigosamente de uma viso emprica da
aritmtica. Frege rejeita essa posio, e o faz por dois motivos: o primeiro deles
que a prpria aritmtica, em toda sua proporo, se estende para alm de quaisquer
relaes espao-temporais. Disso decorre que, se um juzo sinttico a priori s pode
ser justificado pela intuio espao-temporal, e essa intuio no o suficiente para
justificar todas as relaes da aritmtica, ento o conhecimento aritmtico s pode
ser analtico.
O segundo motivo que, para Frege, as complexas relaes da aritmtica
so coextensivas s relaes entre conceitos e objetos na construo do
pensamento, expressas pelo juzo, uma vez que tudo o que pode ser pensado pode
ser contado. Porm, as regras do juzo so as regras da lgica, o que faz com que a
aritmtica tenha uma relao muito profunda com as leis da lgica. E as leis da
lgica (leis do ser verdadeiro) so analticas.
Seguir, portanto, com o raciocnio de Mill, de que a aritmtica sinttica a
posteriori implica, em ltima instncia, que o mesmo se dir da lgica. E seguir o
raciocnio de Kant, por sua vez, acarretar sujeitarmos a lgica a uma intuio
espao-temporal restrita, desprovida de universalidade.
O projeto de Frege no de modo algum estrito, uma vez que sua anlise
da aritmtica conecta-o com a lgica e com a linguagem.
Frege expressa, em os Fundamentos da Aritmtica:
Do ponto de vista do pensamento conceitual, pode-se sempre assumir o
contrrio deste ou daquele axioma geomtrico, sem incorrer em
contradies ao serem feitas dedues a partir de tais assunes
contraditrias com a intuio. Esta possibilidade mostra que os axiomas
geomtricos so independentes entre si e em relao s leis lgicas
primitivas, e, portanto, sintticos. Pode-se dizer o mesmo dos princpios da
cincia dos nmeros? No teramos uma total confuso caso
pretendssemos rejeitar um deles? Seria ento ainda possvel o
pensamento? O fundamento da aritmtica no mais profundo que o de
todo saber emprico, mais profundo mesmo que o da geometria? As
verdades aritmticas governam o domnio do enumervel. Este o mais
36
inclusivo; pois no lhe pertence apenas o efetivamente real, no apenas o
intuvel, mas todo o pensvel. No deveriam, portanto, as leis dos nmeros
manter com as do pensamento a mais ntima das conexes?40
40
37
38
Objetividade e Subjetividade
39
todos os dois. Admitindo-se representaes latentes ou inconscientes,
haveria tambm dois inconscientes que, por sua vez tornar-se-iam mais
tarde conscientes. Com a sucesso das geraes nasceriam sempre novos
dois, e quem sabe se em milnios eles no se modificassem, de modo a 2 x
2 tornarem-se 5.42
40
de quatro, pois algum poderia concluir que os nmeros evoluem, de modo que, no
princpio, 2 + 2 era igual a 1, depois a 2 e, no presente momento, igual a 4. Nada
impediria tal pessoa de pensar que o prximo da lista seria 5. Mas tal representao
s seria possvel se os prprios nmeros e a concepo de suas relaes fossem
igualmente psicolgicas. Ainda segundo Frege, mesmo tal concluso acerca dos
nmeros no poderia ser questionada, pois ela seria verdadeira para aquela pessoa
e, sendo os nmeros representaes subjetivas, no haveria nenhuma referncia
que obrigasse uma pessoa a rever sua interpretao, exceto, talvez, o consenso
popular, que continuaria afirmando ser 2 + 2 = 4. Porm, em tal situao, ningum
poderia objetar que, talvez um dia, o consenso mudasse e se adequasse ao daquela
pessoa, e todos passassem a consentir que 2 + 2 = 5.
Logo, se existe o campo subjetivo, e se as representaes desse campo so
influenciadas pelas impresses internas de cada um, certamente existe um campo
objetivo, onde tais representaes devem se assentar e nele ser corrigidas e
adequadas. Nesse sentido, Frege afirma:
Habitualmente, "branco" faz-nos pensar em uma certa sensao,
inteiramente subjetiva, claro; mas j no uso ordinrio da linguagem,
parece-me, distingue-se frequentemente um sentido objetivo. Quando se diz
que a neve branca, pretende-se uma qualidade objetiva que, luz
ordinria do dia, reconhecida por uma certa sensao. Caso ela seja
iluminada por uma luz colorida, isto deve ser levado em conta no momento
do juzo. Dir-se- talvez: ela agora aparece vermelha, mas branca. 45
45
41
42
48
43
44
Portanto, no podemos dizer que um pensamento verdadeiro apenas no
caso de corresponder a um fato: se verdadeiro, ento ele j um fato, e
no existem duas coisas entre as quais a comparao tem que ser feita, a
fim de descobrir se elas correspondem.53
Dummett conclui que o uso que Frege faz de wirklich seria algo equivalente
a causalmente efetivo, no sentido de algo que exerce efeito sobre outra coisa. Dessa
forma, algo que no wirklich ainda assim poderia ser objetivo e real. Como vimos
anteriormente, o sentido de objetivo, para Frege, o de ser independente ao nosso
53
54
Ibidem.
DUMMETT, M. Objectivity and Reality in Lotze and Frege, In: Frege and Other Philosophers, pg. 98.
45
De tal maneira, concebe-se que as referncias, alm do domnio do objetivoefetivo, pertencem tambm ao domnio do objetivo no-efetivo. Elas so
independentes de ns e podem ser conhecidas pela razo. Objetos empricos
pertencem ao campo objetivo efetivo e sensvel. E nossas representaes
pertencem ao campo subjetivo. Mas e o que concerne ao sentido? O sentido, como
modo de apresentao do objeto, pertence ao campo subjetivo, objetivo no-efetivo
ou efetivo?
Poder-se-ia conceber que o sentido no seja pertencente ao campo efetivo,
mas tambm no seja especificamente prprio nem do campo objetivo no-efetivo,
nem do subjetivo, exclusivamente. Mas, sim, a ambos. Em parte porque o sentido
corresponde quela parcela interpretativa do objeto, pois ela denota certo relativismo
em relao referncia, considerando que possumos muitos sentidos para uma
nica referncia.
Por outro lado, o sentido, diferente da representao, no singular e pode
ser partilhado por uma comunidade de pessoas. Seria, portanto, intersubjetivo. Tal
concepo hbrida acerca do sentido no parece corresponder ao pensamento de
Frege. Acreditamos ser o sentido to objetivo no efetivo quanto a referncia.
Primeiramente, dizer que o sentido determina um modo de apresentao do
objeto no implica que o sentido seja contingente, ou que tenha uma parcela de
elemento psicolgico e, portanto, de representao. O fato de haver muitos sentidos
para um mesmo objeto no significa que esses sentidos sejam construdos
evolutivamente ou historicamente. E tambm no implica que eles sejam a
interpretao particular de algum acerca de um objeto e que teria progressivamente
ganho espao por consenso.
55
46
DUMMET, M. Objectivity and Reality in Lotze and Frege, In: Frege and Other Philosophers, pgs. 117 e 118
47
sentidos (Sinne), e ser fato se o pensamento for verdadeiro. E isso acarreta uma
guinada considervel em relao concepo empirista da verdade. o caso de um
pensamento ser verdadeiro que acarreta o fato, e no o contrrio.
Por fim, vemos uma conexo que transpareceu em todo esse primeiro
captulo que relaciona o sentido com o pensamento. Tomando como base que, a
partir desse ponto, estamos caminhando no domnio do objetivo no-sensvel,
verificaremos qual a relao entre sentido e referncia e o pensamento, e como um
pensamento pode ser considerado o verdadeiro ou, em outras palavras, como o
pensamento se torna um fato, ou um nome do verdadeiro, uma vez distanciados da
ideia de verdade como correspondncia.
Ele
formado
pelas
regras
da
linguagem?
Pelas
regras
48
49
De acordo com essa passagem, assim como duas pessoas podem atribuir
representaes diferentes para a mesma referncia, ambas poderiam atribuir
sentidos diferentes tambm. A grande diferena que um no conseguiria jamais
compreender a ideia do outro, embora ambos pudessem apreender os diferentes
sentidos atribudos referncia, pois, diferente das representaes que temos das
coisas, que so subjetivas, os sentidos so objetivos e, portanto, possuem
objetividade e independncia de minha imaginao ou de minhas concepes
pessoais e emoes, no pertencendo subjetividade. O sentido , portanto, o
pensamento.
Mas, nesse aspecto, considerando o pensamento algo objetivo, este
consistiria exatamente em qu? Seria o pensamento inanalisvel, uma totalidade
sem fragmentos, ou seria o pensamento um aglomerado de partes constituintes? Em
outros termos, o pensamento, tal como Frege o concebe, algo composto por
partes, ou um todo indiferenciado, que pode ser dividido, mas que originalmente
no seria assim? Para ns, torna-se relevante encontrar a estrutura do pensamento,
pois se este o que pode ser considerado verdadeiro, e se isso no se d por
comparao, ento devemos compreender qual a mecnica atuante para que
possamos traar uma linha que v do pensamento verdade.
58
59
50
51
ilustrar
essa
relao,
Haddock
elaborou
um
diagrama,
que
apresentamos abaixo:
Figura 1 - Diagrama de Haddock sobre a formao das sentenas.
HADDOCK, G.E.R. A Critical Introduction to the Philosophy of Gottlob Frege, pg. 70.
52
proposio seria dada pela equivalncia das relaes que circundam as partes
constituintes desse diagrama, enunciadas por , , e . Esses elementos
correspondem representao de relaes funcionais entre os sentidos e
referncias, de modo que eles no se complementam aleatria ou arbitrariamente,
mas segundo uma relao de funo. Esse pensamento ser verdadeiro se a
referncia da sentena for equivalente ao sentido da sentena, e isso dado por
suas partes constituintes. Portanto, para Haddock, a relao dada intrnseca
prpria proposio e suas conexes so necessrias e decorrentes do que foi
estabelecido entre as partes constituintes, cujos sentidos e referncias so
deduzidos dos nomes prprios e termos conceituais utilizados.
Haddock conclui:
De acordo com Frege, tanto o sentido das sentenas assertivas
(afirmaes) como o de de frases interrogativas que exigem um sim ou no
como resposta, seguido pela sentena assertiva correspondente - que
frequentemente omitida - um pensamento, enquanto o referente de uma
sentena assertiva - frases interrogativas no tem uma referncia - um
valor de verdade, ou seja, o Verdadeiro ou o Falso.64
53
65
54
66
55
KLEMENT, Kevin C. Frege and the Logic of Sense and Reference, pg. 59.
56
70
71
165-188.
72
57
58
59
Uma palavra parece assim no ter contedo se lhe falta uma imagem
interna correspondente. Deve-se, porm, atentar sempre a uma proposio
completa. Apenas nela tm as palavras propriamente significado. As
imagens internas que porventura nos venham mente no precisam
corresponder a elementos lgicos do juzo. suficiente que a proposio
como um todo tenha sentido; isto faz com que tambm suas partes ganhem
contedo.77
60
portanto, no pode ser a referncia da sentena; pelo contrrio, deve ser
considerado como seu sentido.78
78
79
61
62
Isto significa que ele no pensava ser possvel para ns nos colocarmos
fora dos limites da linguagem para ento considerar a relao entre
linguagem e mundo, porque, na sua viso, toda fala j pressupe esta
relao semntica.81
Uma vez expresso dessa forma, devemos considerar que toda sentena
ser uma sentena cujo contedo semntico ser um contedo acerca do universo,
desde que tais sentenas possuam uma referncia. Uma sentena que no possua
uma referncia no pode sequer ser considerada verdadeira ou falsa. Ela no possui
valor de verdade, pois no possui nenhuma referncia. O porqu de toda sentena
referir-se a uma certa referncia, e o motivo de, em todo juzo, ocorrer
necessariamente a passagem do sentido para a referncia em uma estrutura
assertiva so pontos relacionados concepo fregiana de existncia, como
veremos a seguir.
Segundo Haddock (2006)83, a referncia de todo nome prprio sempre um
objeto. E sempre que uma sentena possui um objeto como referncia, essa
sentena ou expresso considerada por Frege como sendo um nome prprio.
81
63
Entender, portanto, o que vem a ser um objeto nos leva a compreender o que
significa ser uma referncia para uma sentena.
Ainda que, de acordo com Haddock (2006) no seja claro o que vem a ser
um objeto, sabemos, desde a Conceitografia, que ele denotado por um nome
prprio. O objeto, portanto, aparece para ns por meio de um nome prprio (na
acepo em que Frege toma os nomes prprios). Haddock ainda afirma que os
nomes prprios no so a nica coisa que compe uma assero:
Existe outro constituinte das asseres que essencialmente diferente dos
nomes prprios, a saber, o que Frege denomina Begriffswrter, e eu
traduzirei literalmente como palavras conceituais. Para Frege, cada
sentena assertiva simples (isto , cada afirmao) pode ser decomposta
em uma palavra conceitual e um nome prprio. Essa decomposio no
nica, todavia, uma vez que sentenas assertivas simples comumente
admitem vrias decomposies em uma palavra conceitual e um ou dois
nomes prprios.84
84
85
64
86
87
65
referncias como partes constituintes, ligados por uma conexo ontolgica entre
nomes prprios/palavras conceituais a sentidos, e estes s referncias.
Essa conexo ontolgica, no entanto, no deixa de ser uma conexo lgica,
segundo uma sugesto de Frege em carta a Russell, como vemos abaixo:
decomposio da assero corresponde uma decomposio do
pensamento, e a essa tambm algo na regio dos referentes, e eu quero chamar
isso um fato lgico original.88
Mais uma vez, temos uma conexo entre a linguagem, o pensamento e a
regio das referncias como intrinsecamente correlacionados. De certa maneira,
temos uma interdependncia, na qual a decomposio de uma assero se segue
de uma decomposio do pensamento, mas tambm uma decomposio da
referncia, e tais cadeias de decomposies parecem ser simultneas, pois so
correspondentes e constituem, segundo Frege, um fato lgico original.
Isso nos sugere que o pensamento, a assero e a referncia encontram-se
ontologicamente conectados, e os fios de sua conexo no seriam outra coisa que
uma conexo lgica imanente.
No devemos considerar, no entanto, que essa conexo se d como uma
espcie de sntese kantiana que une ideias no ato de julgar. De acordo com
Greimann (2007)89, essa viso dos contemporneos de Frege no era partilhada
pelo autor que, assumindo caminho inverso, assume o caminho da relao e no da
sntese:
Ele assume que a unidade de um pensamento no constituda pelo ato de
sntese, mas por um mecanismo que ele chama saturao. Essa metfora
encapsula a ideia que a parte componente predicativa de um juzo o
conceito une a si mesma com a parte componente no-predicativa o
objeto para formar um contedo judicvel, sem que haja qualquer ato
psicolgico constituindo a unidade.90
88
66
67
FREGE, Funo e Conceito, in: Lgica e Filosofia da Linguagem, 2009, pg. 94.
Idem.
68
Por essas passagens, vemos que, a partir da funo e dos argumentos que
caram sob a funo, possvel identificarmos uma grande similaridade entre a
formulao matemtica e a formulao lgica, o que, por sua vez, nos remete ao
conceito, como Frege afirma:
Vemos assim quo estreitamente ligado est o que se chama, em lgica, de
conceito com o que chamamos de funo. Com efeito, pode-se dizer
imediatamente: um conceito uma funo cujo valor sempre um valor de
verdade.96
A parte saturada implica o objeto desta, que ser expresso por um nome
prprio, designador de um objeto, que tem as mesmas propriedades do argumento
matemtico. Frege, na realidade, coloca o termo objeto como o termo geral que
representa tudo o que no funo, ou seja, tudo o que no incompleto:
Vamos agora empreender a extenso [do termo funo] na outra direo, a
saber, ampliando o domnio dos possveis argumentos. No apenas
nmeros, mas objetos em geral, so agora admissveis, e aqui tambm
pessoas devem ser contadas entre os objetos. Os dois valores de verdade
j introduzidos so tambm possveis valores de uma funo. Devemos ir
ainda mais adiante e admitir [quaisquer] objetos, sem restrio, como
valores de funo.97
Idem.
Op. Cit., pgs. 95 96.
98
Idem, pg. 96.
99
FREGE, Gottlob, in: Lgica e Filosofia da Linguagem, pg. 117, nota 19.
97
69
70
71
tomada como uma definio propriamente dita. No se pode exigir que tudo
seja definido, da mesma maneira que no se pode exigir do qumico que
decomponha todas as substncias. O que simples no pode ser
decomposto, e o que logicamente simples no pode ter uma definio
propriamente dita.104
72
FREGE, G.; Digresses sobre Sentido e referncia, in: Lgica e Filosofia da Linguagem, pg. 162.
73
74
75
76
77
pode tambm ser chamada de silogismo categorial. Esse tipo de raciocnio abre um
horizonte de permutas e possibilidades que encantou os lgicos at Kant, mas que
ocultou muitas coisas importantes, como uma cortina de fumaa dentro da prpria
linguagem, mascarando a realidade das relaes lgicas que a fundamenta. A
principal relao ocultada a da primazia da generalidade sobre a particularidade.
De acordo com Ricketts:
A lgica tradicional, cega pela distino sujeito-predicado, atribui uma
posio privilegiada para os juzos categricos e, consequentemente,
deturpa a inferncia do geral para o especfico, como uma questo de
incluso-de-conceito.108
108
109
78
79
80
113
114
81
estamos
dizendo
que
Ao
conceito
homem
corresponde
algo
experiencivel.
Para Frege, no entanto, dois pontos so afirmados, contrariando o
argumento de Pnjer.
1 - Que afirmar a existncia de algo auto-evidente e, portanto,
desnecessrio.
2 - Que no correto afirmar que os termos , existe e h so
intercambiveis, sem nenhuma alterao no sentido das proposies.
O que Frege ressalta que todas as expresses utilizadas por Pnjer para
representar o termo , ou seja, a ideia que surge como afeco de algo, a ideia
que no uma iluso, o conceito ao qual corresponde algo de experiencivel,
alm de existente e ente, na realidade, correspondem mesma coisa, ao mesmo
problema. Todos esses termos, na prtica, no possuem sentido ou, como Frege
afirma, nenhum contedo atribudo. Em outras palavras, considerando que, para
Frege, sentido a forma como um objeto se apresenta, e sempre possui um valor
cognitivo, dizer que todas as expresses acima no acarretam sentido sentena,
s pode significar, como Frege o explicitar, que todos os termos implicam a
afirmao da prpria identidade consigo mesmos. Para Frege, dizer Esta mesa
existe ou Mesas existem o mesmo que dizer Mesas so iguais a si mesmas. 115
Diferente o caso da expresso H homens. Essa expresso, como
veremos adiante, contm um tipo diferente de existncia, que o autor denominar na
Carta a H. Liebmann de Esgiebtexinstenz, ou existncia-do-tipo-h. Diferente do
115
FREGE, G. Dilogo com Pnjer sobre a Existncia, in Lgica e Filosofia da Linguagem, pg. 183.
82
83
Nota nossa.
FREGE, G. Op. Cit., pg. 184.
119
FREGE, G. Digresses sobre Sentido e Referncia, in Lgica e Filosofia da Linguagem, pg. 159.
118
84
referncia aplicados a eles. Objetos caem sob conceitos, que engendram valores de
verdade. Se dois conceitos possurem o mesmo conjunto de objetos caindo sob
eles, o valor de verdade da sentena em que o conceito aparecer permanecer o
mesmo, ou seja, sua referncia no se altera, embora seja alterado o sentido da
sentena. Em uma definio intensional, essa alterao teria consequncias, mas,
para Frege, no mbito da lgica, o sentido s importa quando relacionado com a
referncia, pois referncia que se aplicam as leis lgicas.
Todavia, importante termos em conta que as extenses dos conceitos no
constituem sua referncia. esse equvoco que pode fazer pensar que sentido
atribudo ao conceito, e referncia ao objeto. Na realidade, embora a extenso
conceitual seja composta por objetos, a referncia de um termo conceitual um
conceito, e no um objeto. Apesar disso, essa concepo no contradiz o
extensionalismo da lgica fregiana, mas desperta a questo, da qual se ocupar
Frege, de saber precisamente em que sentido pode um conceito ser uma referncia.
E esse procedimento ser importante para ns, pois dele ser decorrente a
concepo lgica de existncia em Frege.
A dificuldade encontrada aqui que o conceito, sendo um tipo peculiar de
funo, insaturado, possui espaos vazios no nome e, para ser uma referncia
completa, precisa ser complementado por argumentos, que so objetos. Os
argumentos, assim como os espaos vazios, indicados por x, no pertencem ao
termo conceitual, propriamente dito, mas o mesmo s pode ter uma referncia
completa se for saturado por objetos. Essa natureza insaturada ou, no caso dos
conceitos, predicativa, o que cria toda a dificuldade quando temos de nos referir ao
conceito de modo a t-lo como referncia, mas, a um s tempo, considerando seu
valor de verdade (um objeto) e distanciando o dito conceito desse argumento.
Essa dificuldade ainda agravada quando no fica claro que, em uma
sentena, a chamada relao sujeito-predicado oculta dois tipos de relaes, a de
um objeto e um conceito, e a de um conceito com outro conceito. Como vimos, um
conceito possui naturalmente um carter predicativo. Como um tipo de funo, ele
sempre solicita algo sobre o qual predicar, que o complete. Todavia, tanto um objeto
pode vir a cair como argumento do conceito, como tambm um conceito pode
ocupar o lugar do argumento. Essa sutileza, quase sempre passada despercebida
85
na linguagem, possui, para a lgica, uma grande relevncia, como veremos no que
se segue.
A primeira e mais significativa diferenciao ocorre no que, em uma
sentena, aparece como igualdade, evidenciada pelo termo . Para Frege, objetos
podem ser reconhecidos como iguais, um nome prprio A pode ser declarado como
igual a um nome B, no sentido de identidade total. Podemos dizer, por exemplo, que
O professor de Alexandre, o Grande, Aristteles. Existe uma identidade entre
eles, e podemos dizer que so iguais. Frege, porm, encontra dificuldade em
asseverar o mesmo grau de igualdade, de coincidncia ou identidade total entre dois
conceitos:
Se dizemos A referncia do termo conceitual 'seco cnica' a mesma
que a do termo conceitual 'curva de segunda ordem' ou ainda O conceito
seco cnica coincide com o conceito curva de segunda ordem, ento as
palavras referncia do termo conceitual 'seco cnica so o nome de um
objeto e no de um conceito. Pois falta-lhes a natureza predicativa, a
insaturao, a possibilidade de serem usadas com o artigo indefinido.120
Idem, 163.
86
121
87
3.3
88
89
Aqui, o conceito de primeiro nvel desempenha um papel similar ao do
objeto no caso da subsuno, e o conceito de segundo nvel desempenha
um papel similar ao do conceito de primeiro nvel. Poder-se-ia neste caso
tambm falar de subsuno, mas essa relao [entre o conceito de segundo
nvel e o de primeiro nvel], embora similar, no igual [relao de]
subsuno de um objeto sob um conceito de primeiro nvel. Quero dizer que
um conceito de primeiro nvel cai (no sob, mas) em um conceito de
segundo nvel. A diferena entre conceitos de primeiro e segundo nveis
to radical quanto a diferena entre objetos e conceitos de primeiro nvel,
pois objetos nunca podem substituir conceitos. Assim sendo, um objeto
nunca pode cair sob um conceito de segundo nvel- o que no seria falso,
mas sem sentido.123
Idem.
Idem, pg. 193.
90
91
CONCLUSO
Primeiramente, partimos da concepo de sentido e vimos como Sinn se
identifica com o pensamento. Sendo o sentido algo objetivo e independente do
pensar subjetivo, o pensamento algo a ser apreendido, algo que, na medida em
que apreendido pelo pensar, o como uma unidade, uma totalidade estruturada. A
ocasio na qual o pensamento torna-se estruturado em partes na linguagem no
ato do juzo, cujo propsito o reconhecimento do verdadeiro em um pensamento.
Nessa situao, passamos do pensamento para o ncleo da proposio, entramos
no reino da linguagem e, como tal, decompomos o pensamento e buscamos passar
do sentido para a referncia.
Pela decomposio do pensamento, chegamos at as estruturas que
formam o mesmo, isto , as funes e os objetos. A relao entre eles uma relao
de saturao, na qual objetos so argumentos para os conceitos. O conjunto de
objetos caindo sob um conceito forma um percurso de valor, e sua definio
extensional. A igualdade entre conceitos no dada pelos sentidos, o que
corresponderia a uma definio intensional, mas sim pela igualdade de objetos que
caem sob ambos os conceitos. A relao entre os objetos e conceitos acarreta o
valor de verdade do conceito, cujos valores so o verdadeiro e o falso. Esses
valores so dados na medida em que um objeto sature a proposio de forma a
atender aos critrios dados pelo conceito.
Os conceitos, por sua vez, relacionam-se entre si e articulam-se em
conceitos de primeiro e segundo nvel. A relao entre os conceitos de primeiro nvel
chamada de subsuno. Nesses casos, o conceito que subsume o outro torna-se
nota do conceito subsumido, atribuindo sua caracterstica como propriedade dos
objetos que carem sob o conceito de primeiro nvel subsumido.
92
93
94
95
BIBLIOGRAFIA
BELL, D. Freges Theory of Judgement. New York: Ed.: Clarendon Oxford,
2002.
BLANCH, R.; DUBUCS, J. Histria da Lgica. Lisboa, Portugal: Ed.: 70,
2001.
DUMMETT, Michael. Frege Philosophy of Language. New York: 1 Ed.:
Harper & Row Publishers, 1973.
_________________. Frege Interpretation of Freges Philosophy. New
York: 1 Ed.: Harper & Row Publishers, 1981.
_________________. Frege Frege and Other Philosophers. New York: 1
Ed.: Harper & Row Publishers, 1996.
FREGE, Gottlob. Sobre o Sentido e a Referncia in Lgica e Filosofia da
Linguagem. So Paulo: Cultrix/Ed. Da Universidade de So Paulo, 1978.
_____________. Digresses sobre Sentido e Referncia in Lgica e
Filosofia da Linguagem. So Paulo: Cultrix/Ed. da Universidade de So Paulo, 1978.
_____________. Funo e Conceito in Lgica e Filosofia da Linguagem.
So Paulo: Cultrix/Ed. da Universidade de So Paulo, 1978.
_____________. Conceito e Objeto in Lgica e Filosofia da Linguagem. So
Paulo: Cultrix/Ed. da Universidade de So Paulo, 1978.
_____________. Prefcio Conceitografia, in Lgica e Filosofia da
Linguagem. So Paulo: Cultrix/Ed. da Universidade de So Paulo, 1978.
_____________. Carta de Frege a H. Liebmann, in Lgica e Filosofia da
Linguagem. So Paulo: Cultrix/Ed. Da Universidade de So Paulo, 1978.
_____________. O Pensamento, in Anais de Filosofia. So Joo Del Rey, n.
6, p. 283-298, jul. 1999.
96
97