FREGE E A FILOSOFIA DA LINGUAGEM1

FREGE AND THE PHILOSOPHY OF LANGUAGE Ablio Rodrigues Filho* Resumo certo que Frege contribuiu imensamente para a filosofia da linguagem. Entretanto, isso no o bastante para torn-lo um filsofo da linguagem. Com o objetivo de mostrar por que Frege no foi um genuno filsofo da linguagem, este artigo apresenta a distino fregiana entre o sentido e a referncia, enfatizando a origem da tese segundo a qual a referncia de uma sentena seu valor de verdade. Isso feito de um ponto de vista histrico, de modo a mostrar o desenvolvimento das doutrinas de Frege da Conceitografia, de 1879, at o artigo Sobre o sentido e a referncia, de 1892. Ao colocar a distino sentido/referncia em uma perspectiva histrica, fica claro que ela no foi designada como uma teoria semntica em geral, mas, antes, pretendia resolver problemas tcnicos da linguagem formal que Frege criou para levar a cabo seu projeto logicista. Palavras-chave: Frege, Sentido, Referncia, Linguagem. Abstract Frege made important contributions to the philosophy of language. However, this does not make him a genuine philosopher of language. In order to depict this idea, this paper presents Frege's doctrine of sense and reference emphasizing the origins of the thesis according to which the reference of a sentence is its truth-value. It is done from the historical point of view, in order to show the development of Frege's doctrines from 1879 Conceptual Notation to 1982's "On sense and reference". That same path shows that Frege's distinction between sense and reference was not primarily a general semantic theory, but rather was designed to solve technical problems of the formal language to be used in the logistic project. Key words: Frege, Sense, Reference, Language.

1 Introduo No resta dvida de que Frege contribuiu imensamente para a filosofia da linguagem, tal como ela foi feita no sculo XX e ainda hoje. Isso, entretanto, no torna Frege um filsofo da linguagem no sentido de algum preocupado em resolver problemas relativos estrutura e ao funcionamento da linguagem em geral. Para Frege ser considerado um filsofo da linguagem, necessrio que os problemas que ocuparam e ocupam aqueles que fazem o que chamamos de filosofia da linguagem sejam os mesmos problemas que ocuparam Frege. A filosofia da linguagem agrupa um tipo de investigao filosfica que vai desde investigaes acerca da linguagem propriamente dita at investigaes filosficas em geral que utilizam a anlise da linguagem como ferramenta. Mas o ponto a ser enfatizado aqui que o problema do significado sempre central para a filosofia da linguagem. E esse problema ou inclui a linguagem natural como um todo, ou procura delimitar e formalizar um fragmento da linguagem natural com o objetivo de eliminar problemas como vagueza e ambiguidade. Em ambas as alternativas est em questo de que modo a linguagem que usamos para falar do mundo se conecta com o mundo. E precisamente esse o ponto que estava fora dos interesses de Frege. A distino de Frege entre o sentido e a referncia, tema do artigo Sobre o sentido e a referncia (SSR), de 1892, considerada uma importante contribuio para uma teoria do significado em sentido amplo, que inclui a linguagem natural. certo que um sem-nmero de importantes investigaes acerca do funcionamento da linguagem foram motivadas pela distino sentido/referncia. Mas ser que essa era a inteno de Frege? Vou argumentar aqui que a resposta a essa pergunta negativa. Pretendo mostrar que os interesses de Frege eram muito diferentes daqueles que motivaram as investigaes sobre a linguagem realizadas, sobretudo no decorrer do sculo XX. Mais especificamente, Frege no estava interessado no funcionamento da linguagem natural e no modo pelo qual as expresses lingusticas se conectam com o mundo. Em outras palavras, Frege no tinha o menor interesse em construir uma teoria semntica aplicvel linguagem natural. Por essa razo, Frege no foi um filsofo da linguagem.2

Mas se isso verdade, por que h quem considere Frege um filsofo da linguagem? SSR contm de fato importantes anlises da linguagem natural. Mas se lermos SSR tendo em perspectiva o seu lugar na obra de Frege como um todo, percebemos que as anlises ali apresentadas, antes de terem a estrutura e o funcionamento da linguagem como foco, tm antes o objetivo de justificar modificaes na linguagem formal de Frege a ser utilizada na realizao do projeto ao qual Frege dedicou praticamente toda a sua carreira acadmica, a saber, provar que a aritmtica um ramo da lgica. Mais especificamente, em SSR, Frege tinha dois problemas a resolver: o funcionamento do signo de identidade de contedo e o valor semntico de sentenas. Tanto o problema da identidade que abre SSR como tambm a tese de que a referncia de uma sentena o seu valor de verdade tm origem em problemas tcnicos da linguagem formal que Frege apresentou na obra Conceitografia (CG), de 1879. Meu objetivo aqui mostrar como os problemas do signo da identidade de contedo e da noo de contedo conceitual, tais como foram apresentados em CG, determinaram as alteraes na linguagem formal de Frege, motivando a introduo da distino entre o sentido e a referncia, o abandono do signo de identidade de contedo, da noo de contedo conceitual e, sobretudo, a tese segundo a qual a referncia de uma sentena o seu valor de verdade. Esse objetivo ser alcanado por meio de uma anlise do caminho que comea em 1879 na CG e termina na distino sentido/referncia, tendo como pano de fundo o projeto de Frege como um todo. Veremos como os problemas que Frege trata em SSR tm origem em 1879. Este texto se divide em trs partes principais. Na seo 2, apresentarei brevemente o projeto de Frege e as suas principais obras, relacionadas realizao desse projeto. Na seo 3, veremos os problemas da noo de contedo conceitual, que na CG cumpria o papel do valor semntico de sentenas, e do signo de identidade de contedo. Na seo 4, dedicada ao artigo SSR, veremos como esses problemas determinaram uma nova leitura do signo da identidade e tambm a tese de que a referncia de uma sentena o seu valor de verdade. 2 O Projeto de Frege

Frege foi um matemtico que dedicou praticamente toda a sua obra realizao de um projeto: provar que a aritmtica um ramo da lgica, isto , provar que os axiomas da aritmtica podem ser obtidos a partir de um conjunto de axiomas, definies e regras de inferncia de carter estritamente lgico. Estava em questo, portanto, a justificativa das proposies da aritmtica. O projeto de Frege tinha um carter epistemolgico e pode ser compreendido como uma tentativa de aperfeioar as teses kantianas acerca da justificao do conhecimento matemtico. Para Kant, verdades matemticas, tanto da aritmtica quanto da geometria, eram a priori, posto que so universais e necessrias, mas eram tambm sintticas, pois, contrariamente s proposies da lgica, dependeriam de um recurso intuio. Frege concordava com Kant no que diz respeito geometria, que esta depende do recurso intuio do espao, mas discordava em relao aritmtica. Para Frege, a aritmtica constituda por proposies analticas no sentido anteriormente exposto de proposies que podem ser obtidas por meios estritamente lgicos e sem nenhum recurso a qualquer tipo de intuio. Provar essa tese, denominada logicismo, foi o objetivo principal de Frege at meados de 1906. Frege fracassou. Em 1902, quando o segundo volume da obra Leis bsicas da aritmtica (LBA), em que Frege apresentava o que seria a prova da tese logicista estava para ser impresso, Frege recebeu uma carta de Russell mostrando que um de seus axiomas dava origem a uma contradio, o chamado paradoxo de Russell. Grosso modo, o sistema de Frege permitia que se definisse um conjunto a partir da propriedade ser um conjunto que no pertence a si mesmo, isto , um conjunto R = {x : x x}. fcil perceber que R R se, e somente se, R R. O sistema de Frege, portanto, era inconsistente, e nele poder-se-ia provar qualquer coisa, como por exemplo 0 = 1 ou 2 + 2 = 5. Frege publicou em 1903 o segundo volume de LBA com um adendo em que tentava (sem sucesso) evitar a contradio. Por volta de 1906, Frege abandonou de vez a tese logicista. As principais obras de Frege de 1879 a 1903 foram todas designadas com o objetivo de provar a tese logicista. Para a execuo de seu projeto, Frege precisava de uma linguagem formal capaz de explicitar todos os passos realizados nas provas com preciso e sem ambiguidade. Frege apresentou sua linguagem formal em um pequeno

livro de 1879, j mencionado aqui, denominado Conceitografia (CG)3. Ao criar tal linguagem, ele criou nada menos do que a lgica moderna. Na CG, considerada por muitos a mais importante obra de lgica desde Aristteles, encontramos um sistema completo de lgica proposicional e de predicados, essencialmente o mesmo que encontramos nos livros modernos de lgica. Apesar disso, a obra CG foi praticamente ignorada pelos contemporneos de Frege. Em 1884, Frege lanou Fundamentos da aritmtica (FA) (1980), em que so apresentados de maneira informal, os argumentos em defesa da tese logicista. Ao contrrio de CG, FA no um livro predominantemente tcnico, mas, sim, de carter explicitamente filosfico. Entretanto, embora em FA encontremos indicaes metodolgicas que vo ao encontro do modo de se fazer filosofia caracterstico da filosofia da linguagem contempornea, FA trata de um problema que pertence filosofia da matemtica. Entre 1891 e 1892, Frege lanou trs artigos: Funo e conceito (FC), Sobre o sentido e a referncia (SSR) e Sobre o conceito e o objeto (SCO)4. Esses textos no so predominantemente tcnicos. Pelo contrrio, so considerados, junto com FA, os textos de Frege de carter mais filosfico. Neles, encontramos importantes reflexes sobre a linguagem. Mas o ponto que precisa ser enfatizado aqui que a funo principal desses textos no projeto de Frege, especialmente FC e SSR, consertar a linguagem formal de Frege, evitando os problemas da CG j mencionados, e tambm apresentar de modo informal, na forma de elucidaes, noes centrais necessrias para a realizao do seu projeto. Tais elucidaes no pertencem teoria propriamente dita, mas tm carter propedutico. Nelas, Frege frequentemente faz uso de exemplos da linguagem natural, como na apresentao da distino sentido/referncia. Entretanto, o ponto de tais explicaes informais no uma anlise da linguagem natural, mas, sim, explicar, de fora do sistema, noes tcnicas do sistema de Frege. Em 1893, logo aps a publicao desses artigos mencionados, Frege lanou o primeiro volume das Leis bsicas da aritmtica (LBA) (1964), obra que deveria ser o ponto culminante de toda uma carreira acadmica. Mais uma vez, o livro no foi muito bem recebido pelos contemporneos de Frege, o que atrasou a publicao do segundo

volume, lanado dez anos depois, em 1903. Mas, como j foi mencionado, o sistema de LBA era inconsistente e o projeto de Frege fracassou. importante aqui observar que o projeto de Frege era, sem dvida, um projeto filosfico no apenas por ter um carter epistemolgico, mas tambm por se colocar em uma postura crtica e em relao aos fundamentos da aritmtica. Entretanto, tratase claramente de uma investigao restrita filosofia da matemtica. 3 Identidade e Contedo Conceitual na Conceitografia Nesta seo, veremos as tenses entre as duas caracterizaes da noo de contedo conceitual que Frege apresenta na CG e tambm os problemas do signo de identidade de contedo . Mas, antes de iniciarmos a anlise do texto de Frege, importante esclarecer dois pontos fundamentais para a discusso que ser realizada aqui: a noo de valor semntico e o princpio de composicionalidade. A linguagem formalizada que Frege apresentou na CG tinha como objetivo ser uma ferramenta para que Frege provasse a tese logicista. Os signos da linguagem formal de Frege no podiam ser signos vazios, isto , tinham que ter significado. Em outras palavras, as expresses da linguagem que Frege estava construindo precisavam ter o que hoje chamamos de valor semntico. O valor semntico de uma expresso um item no-lingustico, que chamarei aqui de v, que ser associado a . A expresses de tipos diferentes correspondem itens no-lingusticos diferentes. Por exemplo, considere-se a sentena (1) Aristteles grego. O valor semntico do nome prprio Aristteles um indivduo, o filsofo grego Aristteles, e do predicado x grego pode ser considerado um conceito, o conceito ser grego, ou ento, como feito nos atuais livros de lgica, o conjunto de todos os gregos. Em outras palavras, o valor semntico de um nome prprio um indivduo que pertence ao universo de discurso e o valor semntico de um predicado um subconjunto do universo de discurso. Portanto, a uma expresso lingustica de um

determinado tipo, associamos um item no-lingustico tambm de um determinado tipo. Segundo o princpio de composicionalidade, o valor semntico de uma expresso composta depende do valor semntico de suas partes constitutivas. Sendo v o valor semntico de uma expresso f, se f parte de uma expresso maior (f), v ter um papel na determinao do valor semntico de (f). Alm disso, se (f) for uma sentena, v ter um papel na determinao do valor de verdade de ( f), mesmo que o valor semntico de sentenas no sejam valores de verdade. Na CG, Frege no tinha ainda estabelecido explicitamente a distino entre objeto e conceito, que s vai aparecer claramente nos textos do incio da dcada de 1890. Mas se tomarmos emprestada essa terminologia posterior e a utilizarmos na leitura da CG, veremos que o problema do valor semntico de nomes prprios e predicados j estava resolvido. O valor semntico de um nome prprio um objeto e o de um predicado um conceito. Resta o problema do valor semntico de sentenas. Na CG, a noo de contedo conceitual que cumpre esse papel. Na seo 3 de CG, Frege introduz a noo de contedo conceitual de sentenas, que caracterizada em termos inferenciais: duas sentenas A e B tm o mesmo contedo conceitual quando so intersubstituveis, preservando correo de inferncias. Isso significa, em outras palavras, que tudo o que podemos obter de uma sentena podemos tambm obter da outra. Exemplo de sentenas com mesmo contedo conceitual seriam (2) Aristteles foi discpulo de Plato e (3) Plato foi mestre de Aristteles. Notem que todas as concluses que podemos obter de (2) podemos tambm obter de (3), e vice-versa. Frege no esclarece devidamente o que ele entende por correo de

inferncias, mas certamente a noo fregiana de inferncia correta no corresponde exatamente nossa noo de consequncia lgica. Entretanto, certo que nossa noo de conseqncia lgica condio necessria para identidade de contedo conceitual, isto , sentenas que no so logicamente equivalentes no tm o mesmo contedo conceitual. Os problemas graves surgem na seo 8, na qual Frege introduz o smbolo de identidade de contedo . Estranhamente, a identidade de contedo se comporta de maneira diferente dos outros smbolos da linguagem formal. Quando formamos uma sentena a partir de outras duas e dizemos (4) A B os signos A e B esto no lugar dos seus contedos conceituais, isto , no sobre os signos A e B que estamos falando, mas, sim, dos contedos conceituais representados por A e B. J no caso de (5) A B, diferentemente, no estamos falando dos contedos de A e B, mas, sim, dos prprios signos. O que (5) quer dizer que os smbolos A e B tm o mesmo contedo conceitual e que em qualquer lugar em que um ocorre podemos colocar o outro, e vice-versa. O que causa estranheza aqui que, caracterizado dessa forma, no um signo da linguagem objeto, mas da metalinguagem. Isso produz uma ambiguidade, por exemplo, em (6) A B (f(A) f(B)), que diz que, tendo A e B o mesmo contedo conceitual, podemos substituir A por B em um contexto, representado por f(). Em (6), as ocorrncias de A e B em A B representam os prprios signos A e B, ao passo que, em (f(A) f(B)), A e B representam seus contedos conceituais. Por essa razo, (6) ambgua.

Mas os problemas no param por aqui. A caracterizao do contedo conceitual de nomes prprios ir criar tenses com os contedos conceituais de sentenas. Frege usa um exemplo da geometria e fala em diferentes formas de determinar um ponto, e a cada uma dessas formas corresponde um nome. Se pensarmos em termos de descries definidas, isto , expresses da forma o tal e tal que (pretendem) designar um nico objeto e se tomarmos emprestada a terminologia posterior, Frege est dizendo na seo 8 da CG que duas descries que designam um mesmo objeto, por exemplo, (7) O autor de tica a Nicmaco e (8) O tutor de Alexandre da Macednia tm o mesmo contedo conceitual. A intersubstitutividade de expresses com o mesmo contedo conceitual se aplica tanto a sentenas quanto a nomes prprios. Se (7) e (8) tm o mesmo contedo conceitual, portanto, deveriam ser intersubstituveis, preservando correo de inferncias. Mas isso claramente no o caso. Consideremse as sentenas (9) Plato foi mestre do tutor de Alexandre da Macednia e (10) Plato foi mestre do autor de tica a Nicmaco. fcil perceber que, ao contrrio de (2) e (3), ns no podemos tirar as mesmas concluses de (9) e (10). De (10), por exemplo, podemos somente concluir que existe uma obra chamada tica a Nicmaco, mas no podemos faz-lo apenas com (9). (9) e (10) no so logicamente equivalentes, o que condio necessria para identidade de contedo conceitual.

H ainda na CG um terceiro problema: o colapso dos contedos conceituais de sentenas de identidade. As sentenas (11) 16 22 e (12) 651 647 68 17, segundo a caracterizao do signo de identidade de contedo, so verdadeiras porque, em cada uma, as expresses esquerda e direita do signo tm o mesmo contedo conceitual, o nmero 4. Mas fcil perceber que, alm disso, (11) e (12) enquanto sentenas, tm o mesmo contedo conceitual que (13) 4 4! O ponto que todas as sentenas de identidade da aritmtica acabam tendo um mesmo tipo de contedo conceitual: a afirmao de que um nmero igual a si mesmo. Na CG, alm dos problemas relativos ao signo de identidade de contedo, que um smbolo da metalinguagem usado como se fosse da linguagem objeto, h pelo menos dois problemas decorrentes da noo de contedo conceitual: (i) as tenses entre a caracterizao do contedo conceitual de sentenas em termos do papel inferencial e de nomes prprios como o objeto designado, e (ii) todas as sentenas de identidade da aritmtica acabam por ter o mesmo tipo de contedo conceitual, o que no plausvel. A noo de contedo conceitual, portanto, no poderia cumprir o papel de valor semntico de sentenas. Esses problemas sero corrigidos por Frege nos artigos de 1891/1892, especialmente em SSR. 4 Identidade e Valor Semntico de Sentenas em Sobre o Sentido e a Referncia

Frege comea o artigo SSR com o famoso problema da identidade. A pergunta de Frege a seguinte: a identidade uma relao entre objetos ou entre nomes de objetos? A seguir, examinada cada uma dessas alternativas. Considerem-se as sentenas (15) A Estrela da Manh a Estrela da Manh, (16) A Estrela da Manh a Estrela da Tarde. Note que os contedos cognitivos de (15) e (16) so diferentes. Em (15), temos uma mera tautologia, pois afirmamos apenas que um determinado objeto idntico a si mesmo. Por outro lado, a verdade de (16) o resultado de uma descoberta astronmica, a saber, que a ltima estrela vista pela manh e a primeira estrela vista ao entardecer so um nico e mesmo corpo celeste, o planeta Vnus. (16) no afirma uma trivialidade como (15). Suponha que a identidade seja uma relao entre objetos. Nesse caso, o contedo cognitivo de (15) e (16) seria o mesmo: que o planeta Vnus igual ao planeta Vnus. Em outras palavras, se a identidade for apenas uma relao entre objetos, todas as sentenas de identidade seriam equivalentes a sentenas do tipo a = a, o que no pode ser o caso, pois isso no explica o contedo cognitivo de sentenas como a (16). Descartada a hiptese de a identidade ser apenas uma relao entre objetos, Frege examina se a identidade pode ser uma relao entre nomes de objetos. Essa hiptese tambm rejeitada, pela seguinte razo: podemos atribuir arbitrariamente nomes a objetos e construir sentenas de identidade. Temos que (17) 4 = IV. Mas o fato dos signos 4 e IV designarem um mesmo nmero apenas uma conveno. Nada nos impede de arbitrariamente criar uma linguagem em que o smbolo nomeie o nmero 4 e afirmar que

(18) 4 = . Na medida em que a atribuio dos smbolos 4, IV e ao nmero 4 arbitrria, as sentenas (17) e (18) no tm um contedo cognitivo relevante, isto , no constituem um acrscimo de conhecimento como a sentena (16). Mas isso o que esperamos em muitas ocasies em que usamos a identidade, por exemplo, na aritmtica. importante ressaltar aqui que a preocupao de Frege com sentenas de identidade certamente tem origem na sua prtica como matemtico. Sentenas como (19) 4 = 16 no so triviais como a = a nem arbitrrias como (18). (19) tem um contedo cognitivo relevante, algo que precisa ser provado, que no foi estabelecido arbitrariamente. A concluso de Frege que, alm do smbolo e daquilo que nomeado pelo smbolo, que agora denominado referncia, precisamos de mais um elemento, que o sentido. Frege caracteriza o sentido, no caso de nomes prprios, como o modo de apresentao do objeto designado. A identidade no mais, como na CG, uma relao entre nomes, mas tambm no uma relao apenas entre objetos. A identidade uma relao entre objetos, mas mediada pelo sentido. Note-se a semelhana entre a introduo da noo de sentido e a caracterizao do signo de identidade na CG. L, Frege fala em diferentes formas de determinar um mesmo ponto, e aqui, em SSR, trata-se de diferentes modos de apresentar um mesmo objeto. Alm disso, importante perceber que o problema do valor cognitivo de sentenas de identidade que Frege aponta em SSR intimamente relacionado com o problema discutido na seo 2, o colapso dos contedos conceituais de sentenas de identidade em coisas do tipo a = a. O problema que Frege se prope resolver em SSR tem origem em 1879. A identidade agora no mais um smbolo da metalinguagem e foi eliminada a ambiguidade de sentenas como (6).

Agora, de SSR em diante, a noo referncia que cumpre o papel de valor semntico das expresses da linguagem formal de Frege. Aps estabelecer a distino entre o sentido e a referncia de nomes prprios, Frege pergunta se tal distino tambm deve ser estendida a sentenas. Frege ir concluir que a referncia (i.e. o valor semntico) de uma sentena o seu valor de verdade. O argumento em que Frege defende a tese de que a referncia de uma sentena o seu valor de verdade se divide em trs passos: (i) Frege descarta o pensamento como referncia de sentenas; (ii) Frege conclui que sentenas tm referncia; e (iii) Frege conclui que a referncia de uma sentena o seu valor de verdade. Frege parte do pressuposto de que uma sentena expressa um pensamento e pergunta se o pensamento pode ser a referncia da sentena. Frege considera tambm um princpio de composicionalidade da referncia segundo o qual a referncia de uma expresso composta depende das referncias das suas partes constitutivas: (PCR) se a e b tm a mesma referncia, ento (a) e (b) tm a mesma referncia. Frege j mostrou que os nomes prprios (16) Estrela da Manh e (17) Estrela da Tarde tm diferentes sentidos, mas mesma referncia. Se o pensamento fosse a referncia, e baseado em PCR, as sentenas (18) A Estrela da Manh um corpo iluminado pelo Sol e

(19) A Estrela da Tarde um corpo iluminado pelo Sol deveriam expressar o mesmo pensamento, mas isso no o caso. Logo, o pensamento no pode ser a referncia, mas deve ser o sentido da sentena. Descartada a hiptese de a referncia ser o pensamento, Frege pergunta se, afinal, sentenas tm referncia. A resposta positiva, e o argumento o seguinte. possvel que partes de uma sentena no tenham referncia, mas nesse caso no podemos perguntar pelo valor de verdade da sentena. Uma sentena somente tem valor de verdade se todas as suas partes constitutivas tm referncia. Se uma parte de uma sentena no tem referncia, por exemplo, um nome prprio que nada designa, no h como determinar o valor de verdade da sentena. Frege d o seguinte exemplo: (20) Ulisses foi desembarcado profundamente adormecido em taca. Do ponto de vista de uma investigao cientfica, a sentena (20) no tem valor de verdade, porque Ulisses um personagem fictcio. No existe o indivduo acerca do qual podemos ou no aplicar o predicado x desembarcou adormecido em taca. A sentena (20) expressa um pensamento (i.e. tem um sentido), mas no tem referncia. uma sentena da fico, e, nesse caso, nos interessa apenas o sentido. Mas quando se trata de uma investigao cientfica, as sentenas tm algo a mais: todas as suas partes tm referncia e a sentena completa tem um valor de verdade. A concluso de Frege que sentenas tm referncia. Note-se que at aqui valores de verdade podem ser considerados apenas candidatos ao papel de referncia. Se as partes de uma sentena tm referncia, a sentena completa tem referncia e, alm disso, tem valor de verdade. Mas da forma como o argumento apresentado, nada impede que a referncia de uma sentena no seja o seu valor de verdade. No terceiro e ltimo passo do argumento apresentado em SSR, Frege simplesmente conclui que a referncia de uma sentena o seu valor de verdade, e testa essa concluso com PCR. Sendo os conectivos lgicos funes de verdade, como o caso da linguagem formal de Frege, a substituio de sentenas com o mesmo valor de

verdade em sentenas com a negao ou com o condicional de fato preserva o valor de verdade da sentena composta.5 Em outros lugares em que Frege apresenta o argumento em defesa dos valores de verdade como referncias de sentenas (uma carta a Russell e um texto publicado postumamente), o princpio PCR aparece como uma premissa. Posto que valores de verdade satisfazem PCR, Frege conclui que a referncia de uma sentena o seu valor de verdade. Mas fica a seguinte questo: satisfazer PCR condio necessria, mas no suficiente para que um determinado item seja a referncia de sentenas. Em princpio, nada impede que algo diferente de valores de verdade fosse a referncia de sentenas, algo que estivesse em um meio-termo entre a intencionalidade dos pensamentos e o carter puramente extensional dos valores de verdade. aqui que precisamos trazer de volta discusso os contedos conceituais da CG. A terceira alternativa entre pensamentos e valores de verdade seriam justamente os contedos conceituais da CG. Mas vimos que contedos conceituais no poderiam cumprir o papel de valor semntico de sentenas. Descartados os contedos conceituais da CG, Frege tinha apenas duas opes: o pensamento ou o valor de verdade. E de fato, nesse caso, apenas o valor de verdade satisfaz PCR. O que se conclui da reconstruo do argumento de Frege apresentada que, considerando seus pressupostos, especialmente a sua anlise das descries definidas em termos do objeto designado, Frege no tinha alternativa alm dos valores de verdade para o papel de referncia (i.e. valor semntico) das sentenas da sua linguagem formal. H duas observaes a fazer aqui acerca da tese de Frege de que a referncia de uma sentena o seu valor de verdade. Em primeiro lugar, essa uma tese muito estranha do ponto de vista de uma teoria do significado. Leitores de Frege desavisados, interessados em uma teoria semntica aplicvel linguagem natural, veem uma importante ferramenta de anlise na distino sentido/referncia aplicada a nomes prprios. E com estranheza que tais leitores recebem a tese de que a referncia de uma sentena um valor de verdade e que sentenas to diferentes como

(21) Aristteles grego e (22) 2 + 2 = 4 tm a mesma referncia. Alm disso, para Frege, valores de verdade so objetos, pertencendo do ponto de vista lgico mesma categoria, por exemplo, de indivduos como Aristteles e nmeros naturais. Consequentemente, isso coloca, do ponto de vista da linguagem, sentenas na mesma categoria de nomes prprios, uma tese indesejvel para uma teoria do significado. E de fato, nas LBA, o signo de identidade = pode ser ladeado tanto por nomes de objetos quanto por sentenas, nesse ltimo caso funcionando como o nosso signo da bicondicional material . Frege, quando conclui que a referncia o valor de verdade de uma sentena, no est nem na metade do artigo SSR. Da em diante, ele vai examinar possveis excees sua tese, por exemplo, sentenas do tipo (23) Bush sabe que Lula o presidente do Brasil. Ns j vimos que a referncia de uma sentena depende das referncias das suas partes constitutivas. Se trocarmos uma parte por outra com a mesma referncia, a referncia da sentena deve permanecer a mesma. Mas fcil ver que isso no acontece com (23). Podemos perfeitamente trocar a sentena Lula o presidente do Brasil por outra com o mesmo valor de verdade, mas que produza uma sentena falsa. Alm disso, mesmo no nvel dos nomes, podemos formular um contraexemplo para PCR, bastando usar uma designao para Lula que no seja do conhecimento de Bush.

Frege argumenta que contraexemplos desse tipo so apenas aparentes e no comprometem a tese de que a referncia de uma sentena seu valor de verdade. A ideia bsica a seguinte: nesses contextos ocorre o que Frege chama de referncia indireta: a referncia da expresso no a referncia usual, mas o seu sentido. Tais contextos so, por exemplo, sentenas do tipo X gostaria que S, X pensa que S, X acredita que S etc. Nesses contextos, h uma sentena S que tem um sentido, e S pode ser substituda por sentenas que expressem o mesmo pensamento, isto , com o mesmo sentido, mas no por sentenas com o mesmo valor de verdade. Frege gasta a maior parte de SSR analisando as possveis excees para a tese de que a referncia de uma sentena o seu valor de verdade, o que nos leva a concluir que, de fato, o objetivo principal desse artigo era apresentar e defender essa tese, que a princpio talvez tenha parecido estranha para Frege. Por fim, importante enfatizar que a principal diferena entre a semntica de CG e a de SSR (e LBA) a tese segundo a qual a referncia de uma sentena seu valor de verdade. 5 Concluso Na construo da sua linguagem formal, que foi feita no apenas em CG, mas tambm em FC, SSR e BLA, Frege tinha que analisar determinados aspectos do funcionamento da linguagem em geral. Isso era esperado, posto que a linguagem da CG iria substituir a linguagem natural no contexto especfico da investigao de Frege. Ao fazer isso, Frege deu muitas contribuies posterior filosofia da linguagem, mas essas contribuies devem ser vistas como um resultado secundrio do seu projeto como um todo. Frege era um matemtico que tinha um projeto muito bem determinado: provar que a matemtica era um ramo da lgica. Sua obra, mesmo os artigos menos tcnicos e com carter mais filosfico, no foi designada como uma contribuio teoria do significado. importante enfatizar a diferena entre, de um lado, ser primariamente interessado em como a linguagem em geral funciona, incluindo a linguagem natural e, do outro, apresentar uma anlise de como a linguagem funciona, que vinculada s exigncias de um projeto que pertence a um domnio de pesquisa especfico. Frege estava envolvido com a segunda alternativa. verdade que isso no implica que insights

e teses de Frege no possam ser posteriormente desdobrados de modo a contribuir para a anlise da linguagem natural, mas, por outro lado, indica que as doutrinas de Frege no podem sem maiores consideraes ser aplicadas a anlise do funcionamento da linguagem em geral. Notas
1

Este texto corresponde aula inaugural do curso de Filosofia da UFSJ, ministrada no dia 21 de

agosto de 2008.
2

H uma extensa discusso na literatura especializada se Frege, afinal, foi um filsofo da

linguagem. Dummett (1973) se destaca como um defensor da tese de que Frege foi um filsofo da linguagem. Por outro lado, Weiner (1990), Chateaubriand (2001) e Sluga (1980) se alinham em defesa da tese contrria, a qual eu sustento aqui ser a correta interpretao de Frege.
3

A Conceitografia de Frege encontra-se em Frege (1999). Neste artigo, sero usadas as

seguintes abreviaturas: para Conceitografia, CG; para o artigo Sobre o sentido e a referncia, SSR; para Leis bsicas da aritmtica, LBA; e para os trs artigos: Funo e conceito, FC; Sobre o sentido e a referncia, SSR; e Sobre o conceito e o objeto, SCO;
4

Esses trs artigos encontram-se na coletnea Frege (1960). importante tambm observar que em FC Frege apresentou a tese de que, na sua linguagem

formal, conceitos so funes cujos valores so valores de verdade. Isso o mesmo que afirmar que a referncia (i.e. o valor semntico) de uma sentena o seu valor de verdade.

Referncias
CHATEAUBRIAND, O. Logical forms. Campinas: UNICAMP-CLE, 2001. v. 1. DUMMETT, M. Frege: philosophy of language. Cambridge: Harvard University Press, 1973. FREGE, G. Translations from the philosophical writings of Gottlob Frege. Oxford: Blackwell, 1960. ______. The basic laws of arithmetic: exposition of the system. Los Angeles: University of California Press, 1964. v. 1. ______. Posthumous writings. Oxford: Basil Blackwell, 1979.

______. The foundations of arithmetic: a logico-mathematical enquiry into the concept of number. Illinois: Northwestern University Press, 1980. ______. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. In: VAN HEIJNOORT, J. (Ed.). From Frege to Gdel. Lincoln: toExcel Press, 1999. p. 1-82. SLUGA, H. Gottlob Frege. London: Routledge, 1980. WEINER, J. Frege in perspective. New York: Cornell University Press, 1990.

Dados do autor: *Ablio Rodrigues Filho Bacharel e Mestre em Filosofia UERJ Doutor em Filosofia PUC-Rio e Professor Adjunto I UFSJ Endereo para contato: Endereo eletrnico: abilio@ufsj.edu.br Data de recebimento: 8 ago. 2008 Data de aprovao: 26 jan. 2009