A estrutura lingustica e o fundamento das verdades analticas

Celso R. Braida *

Resumo: Este texto analisa a estrutura, a fonte e contedo das verdades analticas com o propsito de mostrar a legitimidade desse conceito. Tradicionalmente o conceito de verdade analtica associado s noes de conhecimento a priori, de proposio necessria, e de validade irrestrita. Porm, tais verdades podem ser concebidas sem essa correlao. Este modo de conceber as sentenas cuja verdade alcanvel pela anlise ser aqui defendido e explorado. O objetivo mostrar que essa noo legtima e operacional, embora no para os propsitos que lhe deram origem, pois o seu contedo a prpria estrutura da significatividade lingustica. Palavras-chave: Analiticidade, Linguagem, Lgica, Semntica, Verdade Abstract: This paper examines the structure, source and content of analytical truths in order to show the legitimacy of this concept. Traditionally the concept of analytical truth is linked to notions of a priori knowledge, necessary proposition, and unrestricted validity. But such truths may be designed without such correlation. This way of conceiving the sentences whose truth is reached by the analysis will be here defended and exploited. The aim is to show that this notion is legitimate and operational, although not for the purposes which prompted it, because its content is the very significance structure of the language. Keywords: Analytical, Language, Logic, Semantics, Truth

O interesse na anlise da linguagem em filosofia se deve em grande parte ao problema das sentenas que parecem expressar sempre verdades ou sempre falsidades e cuja compreenso j propiciaria o necessrio para a determinao do seu valor de verdade. O valor de verdade dessas sentenas poderia ser alcanado pela sua anlise, ou seja, tais sentenas expressariam verdades analticas. Com efeito, a noo de verdade analtica tem sido utilizada, desde Leibniz e Kant, associada s noes de conhecimento a priori (no-emprico), de proposio necessria, e de validade irrestrita. Todavia, as verdades analticas podem ser concebidas de modo que nem sejam fonte de
* Professor do Departamento de Filosofia da UFSC. E-mail: braida@cfh.ufsc.br Artigo recebido em 27.04.2009, aprovado em 30.05.2009. Natal, v.16, n.25, jan./jun. 2009, p. 27-64

28

Celso R. Braida

conhecimento a priori, nem sejam necessrias metafisicamente, e nem vlidas universalmente, constituindo-se apenas como sentenas em que se explicita o modo como se estrutura o contedo semntico na linguagem particular de que elas so uma instanciao. Este modo de conceber as sentenas cuja verdade alcanvel pela anlise ser aqui defendido e explorado. Para isso, sero consideradas diferentes propostas, quanto estrutura, fonte e ao contedo das sentenas analticas. O objetivo mostrar que essa noo legtima e operacional, embora no para os propsitos que lhe deram origem. Verses da noo de verdade analtica A definio de verdade analtica contempornea, da qual partiremos, diz que um sentena analtica se a apreenso do sentido de suas partes suficiente para justificar a assero de sua verdade. O objetivo a elucidao da noo atravs da anlise das diferentes teses constitutivas do conceito atual de analiticidade. Esta definio, no entanto, o resultado de uma longa histria, remontando ao princpio praedicatum inest subjecto, o qual tem origem em Aristteles. Os autores modernos, tais como Locke 1 e Leibniz 2 , esto
1

Locke, com efeito, distinguiu verdade real, instrutiva das verdades verbais, noinstrutivas, baseadas no significado das palavras. Denominou proposies frvolas, as proposies de identidade e aquelas em que uma parte de idia complexa predicada do nome do todo, ou o gnero predicado da espcie. (Ensaio acerca do entendimento humano, IV, VIII). O diagnstico de Locke era de que sendo apenas acerca do siginificado das palavras (6) no contm nada nelas, a no ser o uso e aplicao destes sinais ( 6, 7, 13). Apesar da certeza que acompanha tais proposies, elas no trazem aumento ao nosso conhecimento, isto porque antes que uma pessoa forme qualquer proposio, supe-se que entende os termos que usa nela (7). Cf. tambm Proust, pp. 1022. 2 A caracterstica fundamental de uma proposio verdadeira, seja ela contingente ou necessria, que a conexo entre o sujeito e o predicado tem seu fundamento na natureza dum e doutro (Discours..., 13). O que significa dizer que a verdade depende nica e exclusivamente da noo-sujeito e da noo-predicado. Nenhum outro fator importa para a determinao da verdade de uma proposio. Mais ainda, efetivamente basta apenas o conhecimento completo da noo-sujeito para se saber a verdade de qualquer proposio acerca do objeto em questo. Por isso Leibniz pode dizer que toda verdade, de certo modo a priori, pois, com efeito,

A estrutura lingustica e o fundamento das verdades analticas

29

inteiramente de acordo acerca de um ponto: uma verdade analtica aquela em que o dito pelo termo-predicado est dito ou contido no que dito pelo termo-sujeito. Com efeito, tanto Leibniz quanto Locke entendiam que as propriedades das proposies hoje chamadas de analticas se devem a uma identidade explcita ou implcita entre os seus termos. Esses autores sempre apontam como relevante a relao contedo-continente ou parte-todo, e a relao de contradio enquanto relaes entre os conceitos ou representaes veiculados pelos termos da proposio. Pode-se dizer, ento, que nessa concepo a analiticidade uma relao entre determinadas representaes ou conceitos, p. ex., entre o conceito humanidade e o conceito animalidade. Por isso, o qualificativo analtica: a verdade da proposio alcanada pela mera anlise, ou exposio dos elementos primitivos (idias, conceitos) componentes da proposio 3 . O que significa dizer que o exame preciso do contedo conceitual articulado na proposio suficiente para garantir a assero de sua verdade ou falsidade. Admitindo-se que todo e qualquer contedo apenas possa se dar mediante tais idias ou conceitos, temos a vinculao entre analiticidade e conhecimento a priori de aspectos do mundo. A definio kantiana uma continuao dessa conceituao, no obstante a nova articulao conceitual em que ela inserida. Com efeito, tal definio considerava duas propriedades: a de incluso conceitual e a de negao auto-contraditria. A verdade

isto no depende da experincia. A noo que est por detrs da concepo de verdade de Leibniz a de identidade. No Discours o princpio para a verdade de proposies praedicatum inest subjecto. Sobretudo, convm lembrar que tanto o princpio da identidade ou no-contradio, quanto o princpio da razo suficiente, esto contidos, num certo sentido, diz Leibniz, na definio de verdade e falsidade, e isso nos remete de volta ao princpio da inesse. 3 Leibniz, Monadologia, 33: H duas espcies de verdades; as de raciocnio e as de fato. As verdades de raciocnio so necessrias e o seu oposto impossvel; e as de fato so contingentes e o seu oposto possvel. Quando uma verdade necessria pode encontrar-se a sua razo pela anlise, resolvendo-a em idias e em verdades mais simples at se chegar s primitivas.

30

Celso R. Braida

analtica primeiramente pensada como um juzo cujo conceitopredicado est incluso no conceito-sujeito.
Em todos os juzos em que for pensada a relao de um sujeito com o predicado (se considero apenas os juzos afirmativos, pois a aplicao aos negativos posteriormente fcil), essa relao possvel de dois modos. Ou o predicado B pertence ao sujeito A como algo contido (ocultamente) nesse conceito A, ou B jaz completamente fora do conceito A, embora esteja em conexo com o mesmo. No primeiro caso denomino o juzo analtico, no outro sinttico. Juzos analtcos (os afirmativos) so, portanto, aqueles em que a conexo do predicado com o sujeito for pensada por identidade; aqueles, porm, em que essa conexo for pensada sem identidade, devem denominar-se juzos sintticos. 4

Por conseguinte, na medida em que est fundada numa identidade, segue-se que a sua negao tem que ser autocontraditria: Todos os juzos analticos dependem inteiramente da lei de contradio... (o predicado de um juzo analtico afirmativo) no pode ser negado (do sujeito) sem contradio (Prolegmenos, 2, p. 15). Isto explica o carter necessrio de tais juzos. E, uma vez que a verdade do juzo depende apenas da sua constituio, segue-se o carter a priori: ...antes de recorrer experincia j possuo no conceito todas as condies para o meu juzo, conceito do qual posso extrair o predicado segundo o princpio de contradio (CRP, p. 27 (B12). Como se pode ver, o ponto bsico para Kant a incluso conceitual, para a qual W.R. De Jong prope a seguinte formalizao:
1. The judgement S is P (with S P) is analytic iff the predicate concept P is contained in the subject concept S, i.e., EI (P,S). 2. EI (P,S) iff the concept S can be analysed as a conjunction of concepts, with the concept P as one of its conjuncts, i.e.,
X
1

X 2...

S= X

...

with n 1 .

3. A judgement S is P (with S P ) is synthetic iff it is not analytic. 5

4 5

CRP, p. 27, B10-11. Kants analytic judgements, p. 628.

A estrutura lingustica e o fundamento das verdades analticas

31

O critrio da negao auto-contraditria pode ser facilmente explicado a partir desse modo de explanao, desde que se tome o princpio da contradio em relao ao conceito e no proposio: um conceito no pode ter e no ter uma caracterstica (nota). Pelo contrrio, se a noo de contradio pensada como aplicando-se proposio, ento Kant estaria confundindo dois tipos de incluso, a incluso de um conceito em outro, e a incluso lgica ou implicao de uma proposio por outra. Mas esta distino apenas pode ser apreendida completamente quando se abandona o foco nas representaes que compem a proposio e focaliza-se antes a forma da proposio, isto , quando se deixa de pensar a proposio como composta pela juno de partes autnomas. A noo clssica de verdade analtica comea a ser modificada por B. Bolzano, e esta mudana est associada justamente a uma reconceituao da noo de proposio. Com efeito, para Bolzano, as proposies analticas so importantes, no tanto porque elas podiam ser reduzidas a identidades entre representaes especficas, mas sim porque a sua verdade, ao contrrio, de certo modo no dependeria das representaes ou conceitos nela articulados, de tal modo que essas representaes poderiam ser permutadas, sob a condio de se manter a objetividade da inteira proposio 6 . A caracterstica bsica da proposio analtica, privilegiada por Bolzano, que ela independe dos conceitos e representaes em sua particularidade: a matriz das proposies, 7 que indiferente ao contedo, que
6

berhaupt deucht es mir, dass alle diese Erklrungen das, was jene Art von Stzen eigentlich wichtig macht, nicht genug hervorheben. Dieses besteht, wie ich glaube, darin, dass ihre Wahr- oder Falschheit nicht von den einzelnen Vorstellungen, aus denen sie bestehen, abhngt, sondern dieselbe verbleibt, was fr Vernderungen man auch mit einigen derselben vornimmt, vorausgesetzt, dass man nur nicht die Gegenstndlichkeit des Satzes selbst zerstret.(Wissenschaftlehre II, 148, s. 88; pgina 234 na edio de 1963.) 7 Ns seguidamente tomamos certas representaes numa dada proposio como sendo variveis e, sem muita conscincia disso, substitumos essas partes variveis por certas outras representaes e observamos o valor de verdade que estas proposies adquirem. (...) ( 147, p. 225). Dada uma proposio, ns podemos meramente questionar se ela verdadeira ou falsa. Mas, algumas propriedades

32

Celso R. Braida

determina a sua verdade. A propriedade essencial das proposies analticas no que elas sejam resolvveis em uma identidade; antes, uma certa forma ou estrutura de articulao de representaes que tem a propriedade de assegurar o seu valor de verdade apesar da permuta das representaes articuladas 8 . Este ponto de vista apenas faz sentido se a proposio no mais vista como um agregado formado a partir de blocos autnomos (ideis, conceitos ou representaes), mas antes como uma estrutura com propriedades prprias e independentes do contedo. O que acentuado a forma na qual as representaes so articuladas, sendo esta forma a responsvel pela verdade ou falasidade da proposio. Essa forma a base da justificao do valor de verdade de certas proposies. Com efeito, Bolzano trabalhava com uma distino fundamental, qual seja, a distino entre a operao de mostrar que algo o caso, ou que uma proposio verdadeira, que ele denominou certificao (Gewissmachungen) e a operao de mostrar porque assim, que ele denominou de fundamentao (Begrndungen). A noo de fundamentao baseava-se no conceito de dependncia objetiva entre verdades (objektiver Zusammenhang der Wahrheiten), que, por
muito interessantes de proposies podem ser descobertas se, alm disso, ns consideremos os valores de verdade de todas aquelas proposies que podem ser geradas a partir dela, quando ns tomamos algumas de suas representaes constituintes como variveis e as substitumos por quaisquer outras representaes. (idem, 147, p. 226) 8 Insonderheit ist leicht zu begreifen, dass kein Satz so gebildet sein knne, dass ihm die Beschaffenheit, von der wir jetzt sprechen, bliebe, auch wenn wir alle Vorstellungen, aus denen er bestehet, als vernderlich ansehen wollen. Denn drften wir alle in einem Satze befindliche Vorstellungen nach Belieben abndern: so knnten wir ihn in jeden belieben andern verwandeln, und folglich gewiss bald einen wahren, bald einen falschen Satz aus ihm machen. Wenn es aber auch nur eine einzige Vorstellung in einem Satze gibt, welche sich willkrlich abndern lsst, ohne die Wahr- oder Falschheit desselben zu stren; d.h. Wenn alle Stze, die durch den Austausch dieser Vorstellung mit beliebigen andern zum Vorscheine kommen, entweder insgesamt wahr oder insgesamt falsch sind, vorausgesetzt, dass sie nur Gegenstndlichkeit haben: so ist schon diese Beschaffenheit des Satzes merkwrdig genug , um ihn von allen, bei denen dies nicht der Fall ist, zu unterscheiden. (Ibidem, 148, s83; 1963, p. 231.)

A estrutura lingustica e o fundamento das verdades analticas

33

sua vez, tinha como base a relao de implicao (Abfolge) ou derivabilidade (Ableitbarkeit), ou relao de fundao e conseqncia entre proposies (Grund und Folge) (WL, 162, p. 297-300). Essa diferenciao ser decisiva para os destinos da lgica posterior, pois ela ao mesmo tempo que abre um campo de verdades no-empricas, introduz um modo de acesso e de validao para tais verdades que Frege e Husserl denominaro posteriormente de formais e que esto na base das teorias axiomticas e analticas contemporneas. A definio fregeana de verdade analtica, como verdade fundada nas leis lgicas gerais e em definies, prossegue a transformao operada por Bolzano e modifica ainda mais esta noo, ao fundir a relao de incluso conceitual e a idia de forma proposicional. A passagem mais citada de Frege explcita quanto a esse ponto:
Importa ento encontrar sua demonstrao e nela remontar at as verdades primitivas. Se neste caminho esbarra-se apenas em leis lgicas gerais e definies, tem-se uma verdade analtica, pressupondo-se que sejam tambm levadas em conta as proposies sobre as quais se assenta a admissibilidade de uma definio. Se no possvel, porm, conduzir a demonstrao sem lanar mo de verdades que no so de natureza lgica em geral, mas que remetem a um domnio cientfico particular, a proposio sinttica. Para que uma verdade seja a posteriori requer-se que sua demonstrao no se possa manter sem apelo a questes de fato, isto , a verdades indemonstrveis e sem generalidade, implicando enunciados acerca de objetos determinados. Se, pelo contrrio, possvel conduzir a demonstrao apenas a partir de leis gerais que no admitem nem exigem demonstrao,a verdade a priori. (Frege, Grundlagen, 3)

Nessa passagem se evidencia a modificao do conceito, na medida em que ali verdade analtica tem a ver com o modo de justificao de uma proposio. Isto indica que uma proposio analtica pelo modo como ela se articula em termos de relaes inferenciais com outras proposies. A noo de verdade analtica agora faz sentido apenas no contexto de um sistema dedutivo. Uma determinada proposio ser qualificada como analtica apenas enquanto parte de um raciocnio, enquanto momento de uma cadeia

34

Celso R. Braida

inferencial numa dada linguagem com uma gramtica bem determinada. No modelo fregeano, pode-se dizer, as leis lgicas gerais respondem pela forma ou estrutura proposicional, e as definies pela relao de incluso conceitual, de tal modo que tanto a definio de Kant quanto a de Bolzano so subsumidas como parciais. Frege pretendia apenas estar explicitando o conceito kantiano, no obstante apontar e corrigir trs dificuldades. A noo kantiana estava desenhada para aplicar-se apenas s proposies da forma sujeito-predicado; o critrio era psicolgico antes que lgico; e o carter metafrico e informal da noo de um conceito estar contido em outro 9 . Alm disso, Frege defende que as proposies analticas no so vazias, sob certo aspecto, pois elas conteriam toda uma cadeia de raciocnio 10 , sendo diretamente relevantes para o trabalho de descobrir e expor as relaes de conseqncia entre proposies 11 . Isto o leva a recusar a noo de incluso conceitual, sobretudo, por ela supor um conceito de conceito enquanto uma conjuno de notas caractersticas 12 . A definio fregeana aparece em toda a sua riqueza quando associada s outras distines, a saber, entre sentido e significado, e entre conceito e objeto. As verdades analticas constituiriam aquelas proposies que explicitam as relaes que se estabelecem entre os sentidos (Sinn), ou ainda entre os conceitos, independentemente dos
9

Die Grundlagen..., p. 27,3, n6.; Idem, pp. 120-1, 88. Idem, p. 47, 17: Jede wrde in sich eine ganze Schlussreihe fr den knftigen Gebrauch verdichtet enthalten, und ihr Nutzen wrde darin bestehen, dass man die Schlsse nicht mehr einzeln zu machen braucht, sondern gleich das Erbebnis der ganzen Reihe aussprechen kann. 11 Ibidem: Statt eine schlussreihe unmittelbar an eine Tatsache anzuknpfen, kann man, dise dahingestellt sein lassend, ihren Inhalt als Bedingung mitfhren. Indem man so alle Tatsachen in einer Gedankenreihe durch Bedingungen ersetzt, wird man das Ergebnis in der Form erhalten, dass von einer Reihe von Bedingungen ein Erfolg abhngig gemacht ist. Diese Wahrheit wre durch Denken allein, oder, um mit Mill zu reden, durch kunstfertiges Handhaben der Sprache begrndet. 12 Grundlagen..., 88.
10

A estrutura lingustica e o fundamento das verdades analticas

35

fatos particulares. As verdades analticas, aquelas em cuja justificao no se remetido a nenhum fato particular, fundar-se-iam apenas atravs do pensamento (Denken). Desse modo, fica claro que a estrutura constitutiva de uma verdade analtica, para Frege, uma estrutura de sentido (Sinn) ou pensamento (Gedanken): uma proposio analiticamente verdadeira em virtude da estrutura de sentido nela estabelecida, independentemente dos indivduos particulares ou fatos, enfim, independentemente da referncia (Bedeutung) das expresses utilizadas. A sugesto de Frege resta indeterminada enquanto no se esclarece o que ele entende por lei lgica geral e definio. Uma primeira indicao a qualificao de sinttica para as proposies que remetem a um domnio cientfico particular. Uma segunda, a qualificao de proposio a posteriori como remetendo a questes de fato e no-genricas e implicando enunciados acerca de objetos determinados. Analticas seriam aquelas proposies que valem para qualquer domnio, no estando restritas a nenhum em particular, e para cuja justificao recorrer-se-ia apenas a enunciados genricos. Frege supunha que as leis lgicas aplicavam-se a todos os domnios, a tudo o que ns podemos inteligivelmente pensar, aplicavam-se no apenas ao que efetivo, no apenas ao que intuvel, mas a tudo o que pensvel 13 . Paul Boghossian sugere que a concepo de Frege apenas pode ser mantida sob duas pressuposies no explicitadas: (1) Facts about synonymy are knowable a priori, e (2) the truths of logic are knowable a priori 14 . Dadas estas duas premissas, seguir-se-ia que a verdade das sentenas analticas seria conhecvel a priori. Quanto primeira premissa, entretanto, Boghossian teria que mostrar que Frege trata sinonmia e definio como um mesmo conceito. Uma coisa defender a transparncia de uma definio em uma linguagem regimentada, outra defender a transparncia da relao de sinonmia em geral. Frege no est comprometido com a tese que

13 14

Idem, 14. Analyticity reconsidered, pp. 366-67.

36

Celso R. Braida

Boghossian lhe atribu, a saber, a transparncia do significado (meaning). Antes, Frege est comprometido com a definio prvia dos termos utilizados em uma linguagem formalizada. Quanto segunda, convm ater-se noo de a priori que Frege utiliza, a saber, independncia em relao fatos particulares. Esta noo de modo algum implica em imediatidade das leis e dos conceitos lgicos. Para Frege tais apenas so alcanadas atravs de uma investigao. Embora em Bolzano e Frege a noo de verdade analtica j seja pensada em termos semnticos, essa noo ainda propriamente relativa a uma linguagem. A circunscrio da noo de analiticidade esfera do lingustico apresentada nas obras de L. Wittgenstein e R. Carnap. Rudolf Carnap concebia a analiticidade como uma noo da teoria que trata das relaes entre uma linguagem, natural ou construda, e o domnio de referncia. Esta teoria, ele a dividia em duas partes, uma relativa extenso e a outra relativa intenso de sentenas e expresses subsentenciais. A analiticidade concebida como uma noo da teoria da intenso: a sentence is analytic if it is true by virtue of the intensions of the expressions occurring in it 15 . Para tais sentenas, suficiente a sua compreenso para estabelecer a sua verdade. O conceito de intenso pretende apanhar teoricamente a noo ordinria de significado de uma expresso. A intenso de uma expresso a condio geral que um objeto tem que preencher para ser denotado pela expresso 16 . As verdades analticas, desse modo, so inteiramente relativas a uma linguagem regimentada, sobretudo, na qual as relaes lgicas entre os significados dos termos no-lgicos esto formalmente especificadas:
It must be emphasized that the concept of analyticity has an exact definition only in the case of a language system, namely a system of semantical rules, not in the case of an ordinary language, because in the latter the words have no clearly defined meaning. 17

15 16

Meaning and necessity, Meaning and synonymy in natural languages, p. 233. Idem, p. 234. 17 Quine on analyticity (1952), p. 427.

A estrutura lingustica e o fundamento das verdades analticas

37

No obstante ser a noo de regras semnticas central para a teoria de Carnap, ao formular precisamente uma explicao da noo de analiticidade, utilizando a noo de meaning postulates, ele o faz em termos que prescindem inteiramente das regras de designao para os termos envolvidos. Dados dois termos, B e M, suficiente introduzir um postulado de incompatibilidade entre as duas propriedades (termos): (P1) (x) (Bx ` ~Mx), para que se infira a formao de verdades analticas.
Even now we do not give rules of designation for B and M. They are not necessary for the explication of analyticity, but only for that of factual (synthetic) truth. But postulate P1 states as much about the meanings of B and M as is essential for analyticity, viz., the incompatibility of the two properties. 18

A ocorrncia de sentenas analiticamente verdadeiras, ento, decorre exclusivamente da sintaxe da linguagem em questo. Isto est de acordo com o que ele havia estabelecido em The logical syntax of language:
it depends entirely on the formal structure of the language and of the sentences involved, whether a certain sentence is analytic or not; or whether one sentence is deducible from another or not (p6). An analytic sentence is not actually concerned with anything, in the way that an empirical sentence is; for the analytic sentence is without content. 19

As formulaes de Carnap oscilam entre uma abordagem semntica e uma abordagem sinttica da analiticidade. No obstante o privilgio da relao de designao, em ltima instncia so os aspectos intra-lingisticos ou sintticos, que do conta da analiticidade, pois os postulados semnticos no fornecem regras de designao dos termos envolvidos. O que importa em ltima instncia so as regras da linguagem:

18 19

Meaning and necessity, Meaning postulates, p. 224. The logical syntax of language, p. 7.

38

Celso R. Braida Aqui ns reencontramos certas questes tericas concernentes s formas que pode ter o sistema das matemticas, e certas questes prticas concernentes escolha a ser feita entre as diversas possibilidades. Em algumas destas formas, a matemtica ser um ramo da lgica, e em outras ela ser associada lgica. O ponto essencial que em cada caso, o sistema pode ser construdo de modo que todos os teoremas da matemtica sejam analticos ao mesmo ttulo dos da lgica, quer dizer de modo que a sua verdade no dependa dos fatos exteriores linguagem, mas sejam determinados unicamente pelas regras da linguagem. 20

Analticas, primeiramente so as regras ou proposies baseadas nas definies permitidas pelas regras semnticas da linguagem. A estrutura da analiticidade para Carnap, ento, resultante dos postulados semnticos que instituem uma determinada linguagem. Disso resulta a definio final de Carnap, verdade analtica como verdade em todos os mundos possveis 21 , pois os postulados unicamente determinam apenas as extenses das sentenas. Esta definio recupera a idia de sentena cuja verdade depende apenas do significado de suas partes componentes e da independncia da contingncia dos fatos:
To me it had always seemed to be one of the most important tasks to explicate [the distinction between logical and factual truth], in other words, to construct a definition of logical truth or analyticity. Im my search for an explication I was guided, on the one hand, by Leibniz' view that a necessary truth is one which holds in all possible worlds, and on the other hand, by Wittgenstein's view that a logical truth or tautology is characterized by holding for all possible distributions of truth-values. Therefore the various forms of my definition of logical truth are based either on the definition of logically possible states or on the definition of sentences describing those states (state-descriptions) 22

Destas consideraes pode-se resumir a posio de Carnap como sendo a tentativa de tornar o contedo dos termos no-lgicos
20

Curso Philosophy and logical analysis, 1936, Archives 081-03-01, p10; Apud Proust, p. 461. 21 Meaning and Necessity, p. 9. 22 R. Carnap, Intellectual autobiography, p. 64; P.A.Schilpp, The philosophy of R. Carnap; La Salle, Indiana, Open Court Publishing Co., 1963.)

A estrutura lingustica e o fundamento das verdades analticas

39

permeveis e determinados pelas mesmas leis lgicas gerais, unificando assim todo o contedo veiculado por uma proposio. Dissolve-se a dualidade entre forma lgica e contedo conceitual como elementos da estrutura da analiticidade. As proposies analticas so, para Carnap, verdades apenas em funo da estrutura lgica, externa ao contedo descritivo dos termos no-lgicos. Com efeito, os postulados semnticos regimentam (logicizam) as propriedades inferenciais dos termos no-lgicos, de tal modo que as operaes semnticas com tais termos tornam-se controlveis pela estrutura lgica apenas. Alm disso, mesmo sendo denominados semnticos, tais postulados podem ser visto como a tentativa de manter a noo de verdade analtica (verdade-em-L) inteiramente regimentada pela sintaxe da linguagem 23 . Em outras palavras, de resolver todas as relaes entre os contedos descritivos atravs de postulados estruturais (sintticos). No se trata mais de proposies analticas, mas antes de sentenas. A concepo contempornea, entretanto, tem suas razes tambm nos trabalhos de A. Tarski. Diferentemente de Carnap 24 , em Tarski, os aspectos semntico-referenciais so explcitos, e a analiticidade define-se pela indiferena ao referente: Uma classe de sentenas pode ser chamada de analtica se toda seqncia de objetos
23

General syntax proceeds according to a formal method, taht is to say, in the investigation of the expressions of a language it considers only the order and syntactical kind of the symbols of an expression. We have already seen that this formal method can also represent concepts which are sometimes regarded as not formal and designated as concepts of meaning (or concepts of a logic of meaning), such as, for instance, consequence-relation, content, relations of content, and so on. Finally we have established the fact that even the questions which refer to the interpretation of a language, and which appear, therefore, to be the very opposite of formal, can be handled within the domain of formal syntax (LSL, 62, p. 233). 24 I enphasize the distinction between semantics and syntax, i.e. between semantical systems as interpreted language systems and purely formal, uninterpreted calculi, while for Tarski there seems to be no sharp demarcation. (...) Tarski seems to doubt whether there is an objective difference or whether the choice of a boundary line is not more or less arbitrary [between factual and logical truth] (Introduction to semantics, p. vii).

40

Celso R. Braida

um seu modelo 25 . A significao dos termos pensada em termos extensionais, ou seja, a significao constitutiva de uma linguagem determinada pela relao de referncia a um domnio extralingstico. Contudo, justamente o aspecto formal, isto , a completa independncia em relao ao significado dos termos nolgicos, que Tarski pretende capturar. Ele considerava imprecisa a idia de que as proposies analticas fossem tautolgicas, nada dizendo acerca da realidade 26 . Isto parece ser o reflexo da abordagem extensionalista da significao. Dizer que uma sentena no tem nenhuma referncia com a realidade o mesmo que dizer que ela nada significa. A sada consiste em conceber a significao para uma linguagem como contendo todas as possibilidades de estados da realidade, de tal modo que se possa pensar na totalidade das substituies de um termo referencial por outro. Aquelas sentenas que permanecem verdadeiras sob qualquer substituio so analticas, no seguinte sentido: a sua verdade independente de qualquer fator extra-sentencial, devendo-se unicamente forma de articulao. As sentenas analticas seriam justamente aquelas que expressariam a estrutura lgica das possibilidades de estados de coisas 27 , nesse ponto aproximando-se da concepo de Bolzano. No entanto, diferentemente deste, Tarski sugere que, em ltima instncia, a separao entre sentenas analticas e no-analticas decorrente de uma escolha, qual seja, a escolha dos termos da linguagem que sero considerados formais ou lgicos:
... that we shall be compelled to regard such concepts as logical consequence, analytical statement, and tautology as relative concepts which must, on each occasion, be related to a definite, although in greater or less degree arbitrary, division of terms into logical and extra-logical. 28

Desse modo, a matriz proposicional, ou forma lgica, definidora de uma classe de sentenas torna-se relativa a um sistema
25 26

On the concept of logical consequence, p. 418. Idem, pp. 419-20. 27 G. Sher, The bounds of Logic, pp. 135-8. 28 On the concept of logical consequence, p4. 20.

A estrutura lingustica e o fundamento das verdades analticas

41

dedutivo, ou melhor, escolha de um aparato formal. No obstante isso, o principal ponto de Bolzano mantido, qual seja, o da invariabilidade diante de diferentes interpretaes 29 . Os termos lgicos comportam-se como pontos fixos em torno dos quais as configuraes dos indivduos e das propriedades variam. A estrutura da relao analtica Admitida a definio inicial, verdade analtica como verdade em funo do significado das expresses componentes, temos agora duas perspectivas de elaborao dessa noo: ela pode ser pensada como uma relao entre as representaes (conceitos, significaes) veiculadas pelos termos da proposio, ou como uma propriedade de uma forma ou matriz definidora de uma classe de sentenas. Atualmente, estas duas concepes so claramente separadas 30 :
Nem todas as proposies analiticamente verdadeiras so tambm logicamente verdadeiras. Ns temos que distinguir entre as proposies que so analiticamente verdadeiras (ou falsas) com base no significado das palavras conteudsticas (como p.ex. solteiro e casado), e aquelas proposies que so analiticamente verdadeiras (ou falsas) com base em sua forma lgica, ou seja, com base no significado de palavras formais (como todo, e, no). 31

Entretanto, enquanto no se justificar adequadamente a separao entre expresses conteudsticas e expresses formais, esta distino resta obscura. Na apresentao de E. Tugendhat e U. Wolf,
29

G. Sher, The bounds of logic: To be a logical constant in a Tarskian logic is to have the same interpretation in all models (p. 48); being formal is, semantically, being invariant under all nonstructural variations of models(p. 53); being formal is being invariant under isomorphic structures (p. 53). 30 Quine, Two Dogmas...: verdades lgicas e verdades que podem ser transformadas em uma verdade lgica substituindo-se sinnimos por sinnimos. 31 Nicht alle analytisch wahren Stze sind nmlich logisch wahr. Wir mssen unterscheiden zwischen denjenigen Stzen, die analytisch wahr (oder falsch) sind aufgrund der Bedeutung von inhaltlichen Wrtern (wie z.B. Junggeselle und verheiratet), und sochen Stzen, die analytisch wahr (oder falsch) sind aufgrund ihrer logischen Form, und d.h. aufgrund der Bedeutung von Formwrtern (wie alle, und, nicht). (Tugendhat/Wolf, 1983, pp. 44-45.)

42

Celso R. Braida

as verdades analticas, de ambos os tipos, so um subproduto da instituio de uma linguagem significativa, na medida em que nelas se instancia uma estrutura de significados: os dois tipos de proposies analiticamente verdadeiras o so em funo do significado das palavras. Dessas consideraes podemos retirar a seguinte hiptese: as sentenas analticas possuem uma peculiar caracterstica, a saber, a de apresentarem nelas mesmas a evidncia ou razo de sua determinao como verdadeiras ou no. A sua compreenso seria suficiente para o conhecimento do seu valor de verdade, tendo em vista que a determinao desse valor seguir-se-ia da sua prpria constituio. Em outras palavras, os elementos e fatores envolvidos na constituio dessas sentenas implicariam a determinao do seu valor de verdade. As sentenas no-analticas no exibem elas mesmas a evidncia ou razo de seu valor de verdade, sendo este determinado por um fator exterior sua constituio, derivando disso o carter sinttico, pois envolveria a juno do que dito com algo distinto. Do que se segue que a sua mera anlise no fornece tudo o que necessrio para a sua determinao como verdadeira ou falsa. As sentenas analticas, assim, constituiriam a classe das sentenas que exibem em si mesmas a determinao do seu valor de verdade, ou melhor, que so ou verdadeiras ou falsas em funo apenas da sua prpria constituio. O que significa dizer, as sentenas analticas apresentam uma auto-suficincia semntica, no sentido de que os fatores semnticos nelas articulados determinam o seu valor de verdade: o conhecimento completo do que dito, do expresso, ou do contedo, suficiente para o conhecimento do seu valor de verdade. A propriedade de ser semanticamente auto-contida, por sua vez, seria a base das duas outras propriedades comumente atribudas a tais sentenas, a saber, aprioridade e necessidade 32 . No obstante as diferenas entre as verses da analiticidade propostas pelos autores acima, eles compartilham a tese da
32

S. Kripke, Naming and Necessity, pp. 39 e 122, n63: an analytic truth is one which depends on meanings in the stricte sense and therefore is necessary as well as a priori.

A estrutura lingustica e o fundamento das verdades analticas

43

composicionalidade semntica, a qual em ltima instncia est comprometida com a idia de que a contribuio semntica das expresses significativas de uma linguagem pode ser analisada ou decomposta em unidades semnticas bsicas. Tais unidades ou primitivos semnticos seriam a base de toda e qualquer significncia, constituindo os elementos a partir dos quais toda e qualquer significao seria composta 33 . Uma vez analisada a contribuio semntica dos termos de uma sentena analtica, revelar-se-ia uma estrutura semntica reiterativa, em que componentes de significao so repetidos, ou em que componentes articulados mantm relaes de incluso e excluso uns com os outros. Desse modo ela noinformativa, no porque seu contedo seja vazio, mas sim porque a estrutura semntica nela veiculada e por ela pressuposta tal que ela apenas pode ter um valor de verdade, estando fechada para as variaes dos estados do domnio de referncia ou mundo. Uma sentena expressa uma verdade analtica se a sua verdade segue-se ou somente da estrutura formal que a constitui (lgica), ou da estrutura formal combinada com uma articulao reiterativa de significao dos termos descritivos. Esta definio aparentemente se contrape ao mote verdade em funo do significado, ao acentuar os aspectos estruturais como base da analiticidade. Todavia, se entendermos que a estrutura formal uma explicitao do significado dos termos e partculas lgicas, e que a explicitao da estrutura semntica de um termo descritivo fornece o seu significado, recuperaremos a idia de verdade em funo do significado. A definio acima capaz de prever os casos problemticos, a partir dos quais costuma-se impugnar a noo de sentena analtica. Empiricamente, solteiro e no-casado efetivamente podem no constiturem, quando articulados, uma estrutura reiterativa. Isto , bem pode acontecer de estas palavras serem usadas de modo a no expressarem a articulao semntica [Masculino-sem-vnculosmatrimoniais]. Disso no se pode inferir que a analiticidade uma
33

A noo de primitivos semnticos est sendo usada aqui de modo anlogo de traos semnticos. Todavia, a noo de trao semntico de modo algum est comprometida com a idia de elemento primitivo ou bsico, isto , inanalisvel.

44

Celso R. Braida

noo espria, mas to somente que ela determina uma propriedade rara e que apenas se revela atravs de um aparato de descrio semntica. Todavia, se uma comunidade tem duas ou mais palavras, ou articulaes de palavras, para expressar uma mesma articulao semntica, e no diferencia semanticamente o seu uso, reconhecendo no seu uso conjugado um caso tpico de pleonasmo ou redundncia, a definio acima confirmar a ocorrncia de analiticidade. Dito assim, no entanto, fica evidente o que se est a perder, ao mesmo tempo que se revela o motivo da impugnao. O ataque noo de verdade analtica tem a ver com o fato da analiticidade estar associada a noo de conhecimento a priori, quer dizer, conhecimento emprico adquirido de maneira no-emprica. Ora, ao vincularmos a noo de estrutura reiterativa ao uso, ou mesmo a regras semnticas, estamos rompendo o nexo a priori entre significar e conhecer, pois, essa estrutura se origina do uso e das prticas, sendo portanto pragmtica, convencional e contingente. A crtica aos pressupostos da noo de verdade analtica O ponto de virada em relao noo de verdade analtica ocorre justamente naqueles autores mais influenciados pelas idias de Carnap. O ataque noo comea com Goodman e White e fixado por Quine 34 . A crtica de Quine dirige-se sobretudo contra a noo de analiticidade baseada na noo de sinonmia e na noo de significado (meaning). Em Dois dogmas do empirismo, ele pretende mostrar que a noo de verdade analtica est ancorada em outras noes no menos problemticas. Depois, entretanto, Quine oferece uma tese positiva, a da indeterminao da traduo e do significado,
34

Morton G. White, The Analytic and the Synthetic: an untenable dualism (1950); W. V. Quine, Two dogmas of empiricism (1951). N. Goodman, apesar de no atacar diretamente a distino analtico-sinttico, em On likeness of meaning (1949) defendeu que no two different words have the same meaning (pp. 228-9) e, portanto, the relation of exat synonymy between diverse predicates is null (p. 230). Na concluso do referido texto, Goodman sugere que a noo de analiticidade como repetio e incluso de significado torna-se problemtica, bem como o carter necessrio, restando apenas uma analiticidade e uma necessidade more or less nearly so (p. 230).

A estrutura lingustica e o fundamento das verdades analticas

45

como argumento geral. No obstante a posio de Quine tornar-se padro, vrios autores tm se manifestado contrrios, questionando as teses semnticas pressupostas e rejeitando as concluses negativas de Quine. Um modo de expor a tese de Quine dizer que ele problematizou a autonomia semntica das sentenas analticas, ao mesmo tempo que questionou a inteligibilidade e a objetividade dos conceitos envolvidos, sobretudo as noes de sinonmia, de definio e regras semnticas, na distino entre enunciados analticos e sintticos 35 . Ele mostra que os critrios propostos no so satisfeitos por nenhuma distino puramente formal de uma classe de sentenas da linguagem, sejam esses critrios de analiticidade pensados em termos de forma lgica, conveno, definio, regras semnticas e ou revisabilidade emprica. O argumento sempre que o suposto critrio ou falha em marcar a distino desejada ou inclui termos que o pressupe. Como concluso geral, contra a pretenso de Carnap, Quine conclui que no h como manter a distino entre questes de armao lingstica (formais) e questes cientficas (factuais). A concluso que ... a boundary between analytic and synthetic statements simply has not been drawn. That there is such a distinction to be drawn at all is an unempirical dogma of empiricists, a metaphysical article of faith 36 . Disso resulta que a noo de analiticidade ininteligvel, no sentido de no ser possvel estabelecer claramente a sua extenso. S. Haack resume:
a estratgia de Quine consiste em argumentar que no pode dar-se nenhuma explicao satisfatria da segunda clusula ou da concepo de sinonmia na qual descansa: (1) as explicaes no conseguem cobrir todos os casos de verdades analticas; (2) ou ento as explicaes dependem de alguma outra noo intensional mais obscura que a prpria noo de analiticidade (regras semnticas; definies, sinonmia, necessrio...). as explicaes da analiticidade nunca podem sair de um

35

Our problem... is analyticity; and here the major dificulty lies not in the first class of analytic statements, the logical truth, but rather in the second class, which depends on the notion of synonymy (Two dogmas..., 1, p. 65). 36 Idem, 4, p. 74.

46

Celso R. Braida crculo intensional de conceitos que no so mais claros que o que est sendo explicado 37

O que Quine tenta mostrar que no podem existir sentenas analticas, se a definio de analiticidade a fregeanacarnapiana, tendo em vista a inseparabilidade entre o componente lingstico e o componente factual. Esta inseparabilidade o gancho para a postulao do holismo epistemolgico. Todavia, do fato de que no tenha sido apresentado um argumento cogente para a separao entre os componentes formais e os fatuais de um enunciado, no se segue que no exista tal separao. Ou seja, Quine precisaria argumentar em favor do holismo semntico, alm do holismo da crena. Com efeito, a aceitao de que toda crena envolve outras crenas, e de que uma proposio cientfica nunca confirmada isoladamente, perfeitamente compatvel com uma semntica no-holista. Contra a definio proposta por Carnap, entretanto, Quine observa que ela no genrica o bastante, pois no definida para qualquer sentena e qualquer linguagem, mas antes est referida a um conjunto particular de regras semnticas. Alm disso, semantical rules determining the analytic statements of an artificial language are of interest only in so far as we already understand the notion of analyticity; they are of no help in gaining this understanding 38 . Esta objeo , apesar de ser uma observao lateral, a mais sria, pois coloca sob suspeita o projeto de Carnap de explicitar e determinar os conceitos ordinrios atravs da construo de um aparato formal onde aqueles conceitos estariam delimitados. As crticas de Quine tambm podem ser vistas como a recusa ou abdicao do tratamento estrutural-sinttico do contedo e da significao. Pois, o que a tese da indeterminao da traduo diz justamente que o contedo das sentenas referenciais no se deixa capturar por nenhum aparato formal. Boghossian, no texto Analyticity, procura mostrar que as crticas de Quine so vlidas parcialmente, a saber, quando aplicadas interpretao metafsica da
37 38

Filosofia de las logicas, pp. 197-98. Two Dogmas..., 4, p. 74.

A estrutura lingustica e o fundamento das verdades analticas

47

noo de verdade analtica, mas no valem quando esta interpretada como uma noo epistemolgica.
Epistemic analyticity: certain sentences are such that, if someone knows the relevant facts about their meaning, then that person will be in a position to form a justified belief about their truth (p357). A statement is true by virtue of its meaning provided that grasp of its meaning alone suffices for justified belief in its truth (p334). ...grasp of a sentences meaning justify someone in holding it true... (p337).

Segundo esta distino, a analiticidade enquanto noo epistemolgica perfeitamente inteligvel. O seu fundamento a relao de sinonmia entre as expresses lingsticas. Convm, no entanto, notar que embora a noo de analiticidade seja melhor interpretada epistemologicamente, isto nada diz acerca do valor epistemolgico dessa noo. Com efeito, a proposta de Boghossian esvazia as sentenas analticas do valor epistemolgico a elas associadas, seja por Kant seja pelos logicistas ou ainda pelos positivistas lgicos. Ela est muito mais prxima da concepo de Locke, para quem as sentenas analticas eram jogos de palavras sem valor cognitivo. A seguir, apresento duas propostas de recuperao da noo de verdade analtica, as quais, no obstante estarem ancoradas em perspectivas tericas distintas, procuram relativizar ou mesmo refutar os resultados de Quine. Estas propostas, embora ofeream uma conceituao positiva da analiticidade o fazem de um modo que a noo fica destituda dos principais atrativos epistmicos e metafsicos antes a ela associados, nesse sentido estando de acordo com o desejo de Quine. J. Katz tem defendido 39 que a crtica de Quine apenas se aplica definio de analiticidade na forma como Carnap a formulou, a saber, como um conceito puramente lgico que se aplica s relaes entre as extenses. A objeo de Katz tem dois aspectos. O primeiro, diz respeito reduo da analiticidade verdade devida
39

The problem in twentieth-century philosophy, 1998 ; The new intensionalism, 1992.

48

Celso R. Braida

forma lgica; o segundo, refere-se tentativa de Carnap de fornecer um tratamento lgico ao contedo semntico dos termos no-lgicos atravs dos postulados semnticos. Embora as objees de Katz crtica da distino analtico-sinttico seja negativa, ele oferece uma alternativa positiva que permite uma redefinio da analiticidade, todavia deslocando-a da epistemologia para a lingstica. Com relao ao primeiro aspecto, Katz procura mostrar que a distino entre verdades analticas e sintticas no pode ser apresentada dentro da lgica. O seu argumento que nem todas as sentenas analticas o so em funo da forma lgica. A sua tese que analiticidade e contraditoriedade so relaes internas aos sentidos das sentenas de uma linguagem, e no relaes entre sentenas e mundo 40 . Esta tese tem dois aspectos a serem considerados: primeiro, a analiticidade no concebida como uma propriedade referencial (extensional); segundo, por conseguinte, a analiticidade no uma caracterstica ligada verdade. Antes, a analiticidade, para Katz, uma relao que se estabelece entre os sentidos das expresses que formam a estrutura semntica de uma sentena 41 . A noo de sentido com a qual Katz opera inteiramente gramatical: sense structure is an intrinsic aspect of the grammar of sentences, independent of truth and reference 42 . Por conseguinte, a sua concepo de analiticidade est radicada inteiramente na linguagem, na medida em que a entende como uma propriedade intensional no-referencial. O segundo aspecto de sua objeo a Quine passa pela crtica da noo de postulados semnticos, com a qual Carnap tentou captar e formalizar a noo de significado.
Meaning postulates serve as constraints on the assignment of extensions to sentences, but they cannot explain the property common to the
40

The problem in twentieth-century philosophy, p. 570; The new intensionalism, p. 712. 41 Analyticity is not the referential property of truth by virtue of meaning. Analyticity is a matter of a sentence having a sense with a certain internal structure, while truth is a matter of the facts in the domain of the language being as the sense of a sentence says they are (The new intensionalism, p. 712). 42 The new intensionalism, p. 696.

A estrutura lingustica e o fundamento das verdades analticas

49

sentences they enumerate. (...) Carnaps referential semantics provides us with no adequate basis for deciding among extensionally equivalent answers. Meaning postulates are incapable of distinguishing synonymous expressions from necessarily co-extensive expressions because they cannot provide the fine-grained notion of meaning required to explicate meaning in natural language. They cannot do this because, as representations of the external (that is, logical) structure of the extralogical words, they do not have access to the internal (that is, sense) structure of those words. 43

Sendo assim, a concepo de Carnap estava aberta s crticas de Quine. Mas, disso no se segue que a abordagem positiva de Katz tambm seja impugnada pelas mesmas objees. Com efeito, Katz, partidrio da tese de que o sentido no se confunde com e nem determina a referencialidade, pode dizer que a proposta de Carnap incapaz de explicar as propriedades e relaes intensionais, a saber, analiticidade e sinonmia, aceitando as crticas de Quine, ao mesmo tempo em que recusa que estas crticas sejam uma refutao de toda e qualquer explicao daquelas propriedades e relaes 44 . Para isso, Katz introduz uma conceito de sentido (sense) puramente lingstico, como o aspecto da estrutura gramatical das expresses e sentenas, tornando-o desconectado da referencialidade. Com efeito, a noo de sentido assim definida: Sense is the aspect of the gramatical structure of expressions and sentences responsible for properties and relations like meaningfulness, ambiguity, synonymy, redundancy, analyticity, and analytic entailment. 45 Desse modo, as noes de analiticidade, sinonmia, redundncia, etc., representam relaes entre expresses e sentenas em uma estrutura gramatical. O que significa dizer que a analiticidade, alm de ser relativa a uma linguagem particular, nada tem a ver com a conexo linguagemmundo. Ao contrrio, a estrutura constitutiva da analiticidade a predicao redundante:

43 44

The problem in twentieth-century philosophy, p. 553. Idem, p. 703. 45 Idem, pp. 698-99.

50

Celso R. Braida Analyticity is redundant predication: the predicational structure of an analytic sentence is a part of the sense content of its term structure 46 . The definition says that the property of being analytic is that of having a redundant predication the referential upshot of which is that the truth conditions of the sentence (on its analytic sense) are automatically satisfied once its terms take on reference 47 .

A predicao redundante, por sua vez, explanada em termos de repetio e incluso de contedo semntico:
...there is some term in the proposition which contains the full content of the proposition, i.e., its predicate(s) and each fo the other terms. (...) Let S be a sense of a simple sentence consisting of an n-place predicate P with terms T1, ... , Tn occupying its argument places. Then, the generalization is the following: (A) S is analytic (and the sentence expressing S is analytic on one of its senses) in case there is a term of S, Ti, consisting of an m-place predicate Q (m n) with terms occupying its argument places such that P is contained in Q and that, for each term Tj of T1... , Ti-1, Ti+1, ... , Tn in P, Tj is contained in the term which occupies the argument place in Q corresponding to the argument place occupied by Tj in P. 48

Estas consideraes so suficientes para delinear os pontos de J. Katz: (1) as relaes inferenciais entre sentenas tambm so determinadas pelo contedo semntico dos termos no-lgicos. (2) Analiticidade, sinonmia, contraditoriedade so relaes e propriedades constitudas pelas relaes inferenciais, antes que pelas referenciais. (3) A forma lgica no suficiente para selecionar todas as sentenas analticas. Desse modo, no apenas a noo de analiticidade retomada e definida, mas tambm sentenas problemticas segundo a concepo tradicional so agora explanadas. Entretanto, ao fazer a analiticidade depender inteiramente da noo de sentido (gramatical), Katz despotencializa a noo, tornando-a incua do ponto de vista epistemolgico e ontolgico.

46 47

Idem, p. 703. Metaphysics of meaning, p. 192. 48 The new intensionalism, p. 702.

A estrutura lingustica e o fundamento das verdades analticas

51

L. Weitzman, no texto Necessity, apriority, and logical structure 49 , investiga a possibilidade e a natureza de relaes necessrias e a priori (N/AP) entre sentenas simples ou atmicas, procurando mostrar que a noo de estrutura ou forma lgica incapaz de explanar todos os casos de sentenas necessrias e a priori. Alm disso, sustenta que se a noo de analiticidade pode ser aplicada s sentenas atmicas, isto , sentenas sem estrutura lgica, ento, a sua fonte tem que ser o significado (meaning) dos termos componentes no-lgicos:
... that individual words meaning must be responsible for the particular comparisons implied by particular atomic sentences. These same word meanings, with all that is implicit in them, can then naturally be seen as the ultimate sources of the N/AP relations in which particular atomic sentences stand (p38). ...If analyticity is at the root of N/AP relations among atomic sentences, it is an analyticity that has nothing to do with logical structure (p39). ...that the origin of the necessity and apriority of these relations among particular atomic sentences lies in the meanings of their component nonlogical words (p45).

A razo pela qual tais relaes se estabelecem entre sentenas sem complexidade lgica est nas propriedades semnticas de seus termos, ou melhor, da linguagem de que elas fazem parte. De fato, a origem de tais relaes a existncia de termos cujos significados formam uma estrutura ou um campo do qual cada termo expressa um elemento ou lugar. Este aspecto torna as sentenas simples noindependentes e, portanto, capazes de manter entre si relaes de implicao, no sentido de haver uma relao entre o valor de verdade de uma sentena e o valor de verdade de outra. Atomic sentences have a feature that makes them intrinsically susceptible to interrelatedness by entailment and by mutual exclusion (p34). Essas caractersticas esto relacionadas com o significado das palavras componentes: sentenas cujos termos estabelecem comparaes ou classificaes; sentenas cujos termos mantm relaes de incluso-excluso entre si.

49

Erkenntnis, 46 (1997).

52

Celso R. Braida

A caracterstica bsica que d origem s relaes de implicao e incompatibilidade entre sentenas simples o fato de elas dizerem algo acerca do seu contedo (p36), o fato de que elas classificam ou inserem o contedo em uma estrutura conceitual, e no apenas echo their subject matter without saying anything about it (37). Este aspecto apresenta-se nas linguagens formalizadas atravs dos postulados de significao (Carnap), os quais so regras semnticas que regimentam o uso de uma palavra em relao a outras palavras. Weitzman admite que esta uma idia antiga, e aponta como novidade a irredutibilidade estrutura lgica:
What is new here, however, is the idea that the necessity- and aprioritygenerating aspect of word meanings is ineliminable without abolishing the comparison-implying function of atomic sentences a function that is not reducible to matters of logical structure (p48, n9).

As concluses de Weitzman colocam em cheque tanto aquelas propostas que fazem a analiticidade depender unicamente da forma lgica como aquelas outras que pretendem eliminar aquela noo como sendo suspeita. De certo modo, o que ela mostra que a noo de sentena analtica perfeitamente inteligvel e realizvel, mas que relativa a linguagens com propriedades especficas. Alm disso, importante frisar, como a analiticidade depende da existncia de termos classificadores, a partir do que se estabelecem relaes de comparao-implicao, a existncia de sentenas analticas nas linguagens naturais uma previso quase que imediata. O ponto a ser retido do trabalho de Weitzman que a origem da necessidade e da aprioridade das relaes entre sentenas atmicas particulares est nos significados das palavras componentes no-lgicas (p45). Ora, este resultado confirma as anlises de J. Katz, no obstante Weitzman operar dentro da tradio referencialista da semntica. Ambos esses autores podem ser tomados como ponto de partida para uma reviso da crtica noo de analiticidade, a qual passa a ser explicitamente uma noo relacionada com a estruturao semntica, ou seja, a estruturao do modo como linguagem e domnio de referncia esto articulados. As

A estrutura lingustica e o fundamento das verdades analticas

53

consideraes fornecidas por Katz e Weitzman reforam a distino entre proposio analtica e proposio sinttica. Todavia, o restabelecimento de uma distino apenas um passo, pois pode bem ser o caso que a distino seja inteiramente irrelevante, ou ainda, que a distino agora tenha um sentido inteiramente distinto daquele pela qual ela tinha sido impugnada 50 , o que sugere que sua aplicao e utilidade tambm se alterem. Da fonte da analiticidade Diante dessas alternativas conceituais, uma pergunta tem que ser reconsiderada: qual a origem da analiticidade? Uma resposta consiste na tese de que por detrs das sentenas analticas est uma forma lgica ou estrutura gramatical e que esta forma determina o valor de verdade das sentenas que a instanciam. Admitir, entretanto, que o valor de verdade seja determinado pela forma ou estrutura ainda no explica qual a origem dessa forma: sentidos, propriedades, significados, conceitos, regras de uso, etc.. Contemporaneamente, a analiticidade pensada como uma propriedade lingstica, isto , uma propriedade cuja fonte ou origem a linguagem. Dada uma linguagem (lxico, regras de formao e designao, regras transformao, enfim, uma gramtica), certas sentenas sero analticas, isto , a sua verdade pode ser estabelecida a partir de uma anlise que toma como base apenas a sintaxe e a semntica dessa linguagem. Modificando-se a linguagem, certas sentenas deixaro de ser e outras viro a ser analticas 51 . Para
50

Os livros de Coffa e Proust evidenciam justamente este aspecto da histria do conceito de proposio analtica. 51 Carnap, Quine on analyticity, pp. 431-2: The difference between analytic and synthetics is a difference internal to two kinds of statements inside a given language structure; it has nothing to do with the transition from one language to another; (...) an analytic sentence... remains true and analytic as long as the language rules are not chaged. Coffa, Op. Cit., The discovery of syntax: The linguistic (better, semantic) theory of the apriori that would emerge decades later in the writings of Wittgenstein and Carnap would simply say that all necessity is semantic necessity, that all a priori truth is truth ex vi terminorum, that when a statement is necessary, it is because its rejection would be no more

54

Celso R. Braida

Carnap, apesar de sua abordagem ser referencial, this is not a matter of knowledge but of decision 52 , ou melhor, is a matter of postulation 53 , uma vez que as regras e os postulados semnticos, constituidores de uma linguagem, que estabelecem os fatos de significao, so uma questo de escolha, isto , nenhum fato determina a significatividade 54 . A no-factualidade do significado, no mnimo, indica que, sendo as sentenas analticas verdades em funo do significado, elas no podem ser base para nenhum conhecimento, exceto o da linguagem a que pertencem. Como tal, a analiticidade uma noo meta-lingstica, devendo ser definida para cada linguagem, o que a torna ineficaz do ponto de vista epistmico, no mais sendo uma propriedade absoluta de certas sentenas 55 , mas to somente uma propriedade interna de uma linguagem particular. Em oposio a esta assimilao da analiticidade s propriedades internas de uma linguagem, a radicalizao da concepo semntica exige a considerao da conexo da linguagem com o no-lingstico. Esta posio pode ser remetida a Bolzano, Frege e Tarski, uma vez que para tais autores, as propriedades e relaes semnticas, no obstante serem lingsticas, esto vinculadas ao modo como a linguagem se conecta com o mundo, isto , ao modo como se d a relao de designao-significao. Se radicalizada esta intuio, tomando como princpio semntico que ... le langage suppose toujours autre chose que lui-mme 56 , a origem das propriedades e relaes semnticas no mais ser interna linguagem, mas, no mnimo, tambm incluir a conexo entre o sistema simblico, a linguagem, e um domnio de referncia ou

than a misleading way of rejecting the language (the system of meanings) to which it belongs, p. 139. 52 Meaning and Necessity, p. 225 53 Quine on analyticity, p. 428 54 Coffa, Cap. 17, Semantic conventionalism and the factuality of meaning, pp. 322-6. Boghossian, pp. 348-9. 55 Proust, J. IV, III, p. 353. 56 Martin, R. Pour une logique du sens, p. 238.

A estrutura lingustica e o fundamento das verdades analticas

55

mundo. A fonte da analiticidade seria no mais as estruturas internas da linguagem, mas antes o modo como a linguagem e o domnio de referncia so efetivamente articulados sempre que uma linguagem significativa. Dito assim, fica claro que o modo de conceber a analiticidade como tendo origem lingstica apenas faz sentido se a prpria linguagem for concebida como tendo significao independentemente de qualquer outro fator. Isto significa dizer que por detrs da tese da origem lingstica das propriedades semnticas, sustentando-a, est a tese de que a significatividade interna a linguagem. Contra esta tese, uma concepo semntica defende que a origem da verdade analtica a conexo semntica, no sentido de que a instituio de uma estruturao do domnio de referncia e a vinculao dessa estruturao a um sistema de expresso que determina quais significaes implicam (incluem, envolvem, excluem, pressupem, etc.,) quais outras significaes. A prpria instaurao de um sistema de dizibilidade acarreta o estabelecimento de sentenas inegveis em virtude da estruturao que aquela instaurao pressupe. As sentenas utilizadas para expressar tais sentenas, entretanto, podem variar segundo as circunstncias e os usos do sistema de expresso. O contedo das verdades analticas Do ponto de vista do que expresso pela sentena, a analiticidade aparece como uma propriedade da proposio, esta entendida como uma estrutura complexa de funes semnticas. Para Kant tais sentenas no eram informativas 57 , e essa opinio tem sido mantida por diferentes autores, em geral sob a tese de que elas so vazias de contedo, ou ainda que elas nada dizem acerca do mundo. Faz parte do fascnio e do enigma das sentenas ditas analticas que no seja
57

Juzos analticos nada dizem no predicado que j no tenha sido pensado no conceito do sujeito, mesmo que no to claro e com a mesma conscincia (Prol, 2, p. 15). Tais juzos no acrescentam nada atravs do predicado ao conceito do sujeito, mas meramente explicitam os conceitos constituentes que j haviam sido pensados nele, s que confusamente (A 7/B11).

56

Celso R. Braida

claro qual o seu contedo. Se, por um lado, em termos referenciais elas parecem ser no-informativas, em termos inferenciais elas podem ser vistas como explicitaes da armao formal que estabelece as possibilidades do que pode ser dito ou pensado e as relaes entre as expresses ou conceitos, tendo assim um valor heurstico importante. Esta posio, convm relembrar, aparece em Frege:
Substituindo-se assim em um raciocnio todos os fatos por condies, o resultado obtido ter a forma do estabelecimento da dependncia de uma conseqncia com relao a uma srie de condies. Esta verdade fundamentar-se-ia apenas pelo pensamento, ou, para falar como Mill, pela manipulao artificiosa da linguagem. No impossvel que as leis numricas sejam desta espcie. Seriam ento juzos analticos, embora nada exigisse que fossem descobertos exclusivamente pelo pensamento; pois no est aqui em questo a maneira de descobrir, mas sim a natureza das razes da demonstrao... (...) Cada uma conteria, concentrada em si, toda uma cadeia de raciocnio para uso futuro, e sua utilidade consistiria em no ser mais preciso perfaz-la passo a passo, mas em ser possvel enunciar o resultado da srie total imediatamente. 58

Esta posio pode ser denominada de interpretao lgica do contedo das sentenas analticas, uma vez que as valoriza enquanto instrumentos lgico-inferenciais. Por outro lado, Wittgenstein e Carnap 59 defenderam uma verso lingstica, durante um certo perodo, entendendo que tais sentenas se distinguem das demais pelo papel que elas exercem no processo de tornar possvel dizer alguma coisa. Tais sentenas funcionariam como regras semnticas, no obstante a sua aparncia de sentenas designativas ou conteudsticas comuns, atravs das quais a dizibilidade mesma seria instaurada. Elas implicitamente estabeleceriam o campo semntico no qual se pode dizer ou desdizer algo com sentido, sendo logicamente primeiras em relao as demais sentenas, pois atravs delas que o lxico e tambm as regras de formao e transformao seriam institudas. A sentena Todo solteiro no casado pode ser vista como uma afirmao descritiva,
58 59

Os fundamentos da Aritmtica, 17, pp. 216-7. Coffa, pp. 260, 265.

A estrutura lingustica e o fundamento das verdades analticas

57

mas tambm como uma definio ou introduo de solteiro a partir homens no casados e vice-versa; (ou ainda, o mais provvel, como apropriao-regimentao de um termo prvio para um novo uso). A sentena Hoje Sexta, amanh Sbado, pode ser vista como introduzindo o significado de alguns de seus termos e, simultaneamente, fornecendo um padro de inferncia, isto , fornecendo o modo de uso ou o sentido dos termos. Se estas duas sentenas so tidas como falsas por algum, ou mesmo como contingentes e revisveis a partir de novas experincias, ento, esse algum usa uma linguagem diferente do portugus atual. Esse algum seria desqualificado como falante da lngua portuguesa (, o que de modo algum implica desqualific-lo como falante). Nessa perspectiva, a analiticidade seria o indicador de que as sentenas em questo pertencem ao grupo constituidor da linguagem, o que significa dizer que neg-las seria o mesmo que mudar de linguagem, ou mudar a linguagem. Em termos carnapianos, tais sentenas apenas tm a aparncia de sentenas empricas, como sendo da linguagem-objeto, portanto, como descritivas, mas na verdade so tradues em linguagem-objeto de regras semnticas 60 O contedo da sentena, p.ex., Ningum pai de si mesmo caracteriza o modo de emprego de uma expresso, ser pai de, e analtico, pois segue-se apenas das regras da linguagem. Uma vez que as lnguas naturais apresentam-se como estruturas de reiterao e articulao, plausvel supor-se que nelas tambm ocorram tais relaes. Supor o contrrio nada mais do que pressupor a sua ilogicidade, ou melhor, que as lnguas naturais no contm elementos formais reiterveis. Uma outra concepo do contedo das sentenas analticas pode ser formulada de modo que a fonte da analiticidade no seja a linguagem e o seu contedo no seja a redundncia, nem a repetio de informao nos casos materiais, e nem a tautologia nos casos formais. A propriedade analiticidade, e as relaes de redundncia, tautologia, sinonmia, antonmia, enquanto aspectos estruturais,
60

LSL, 74, p. 285; 63, p. 233-37; Cf. Proust, pp. 378-81.

58

Celso R. Braida

seriam concebidas como tendo origem no elemento lgico-formal subjacente linguagem, e o seu contedo justamente ser as propriedades lgico-estruturais inerentes a uma dada linguagem, mas no enquanto propriedades dessa linguagem particular, e sim enquanto propriedades estruturais possibilitadoras de linguagem. A analiticidade seria a manifestao das propriedades e relaes lgicas gerais independentes de qualquer linguagem particular. Tais propriedades e relaes tambm estariam por detrs das propriedades e relaes dos domnios de objetos ou mundos. O que significa dizer que tais sentenas expressam a trama de relaes formais das propriedades gerais que se manifestam nos estados de coisas e so significadas pelas sentenas de uma dada linguagem. A sentena Ningum pai de si mesmo pode ilustrar esse ponto. Na verso lingstica de Carnap, esta sentena expressa uma verdade analtica na medida em que por detrs dela existiria por definio uma sentena puramente sinttica que garante a sua validade, a saber, ser pai de uma expresso de relao Lirreflexiva. Ora, pode-se argumentar que a irreflexividade da propriedade ser pai de que garante a validade da sentena puramente sinttica. Portanto, que em ltima instncia o modo como as coisas so que determina que sentenas sero analticas. Esta posio pode ser denominada de verso ontolgica do contedo das verdades analticas, na medida em que apela para a noo de propriedade e de modo como as coisas so. Recusando essas perspectivas, defende-se nesse texto que as verdades analticas expressam o modo como a linguagem se conecta com o no-lingstico, isto , o modo como ela torna-se significativa, tendo um contedo primariamente semntico. Em termos conceituais, tais sentenas explicitam a trama de relaes entre os conceitos-sentidos utilizados para apreender o real e express-lo atravs de uma dada linguagem. Desse modo as diferentes interpretaes (lgica, lingstica, ontolgica) do contedo das verdades analticas constituem na verdade tentativas de reduzir e apresentar todo o complexo semntico a um de seus elementos. Uma interpretao semntica das sentenas analticas, elaborada a partir de

A estrutura lingustica e o fundamento das verdades analticas

59

Bolzano e Tarski, supe a separao entre linguagem e domnio de referncia, concebendo tais sentenas como expresses da estruturao da relao de significao que nos d tanto a linguagem quanto o domnio ou mundo. As sentenas analticas, em geral, tm sido pensadas como base de conhecimento a priori: conhecimento obtido atravs da anlise conceitual, ou do significado, sem recurso experincia. Alm disso, a elas est associada a idia de no-revisabilidade e de validade universal. Tais sentenas representariam um acesso privilegiado ao conhecimento, tendo, portanto, um contedo epistmico. Qual seria este valor epistmico? Qual o contedo do conhecimento, se que h, manifesto em uma proposio analtica? Analticas seriam as sentenas em que, de algum modo, os conceitos envolvidos j mantivessem relaes de incluso ou excluso entre si, ou ainda, em que as diferentes partes componentes da sentena expressassem o mesmo conceito, como caso em Solteiros so no casados. Bem analisada, esta sentena expressaria uma conexo entre a noo ser-solteiro e a noo ser-casado. Estas duas noes podem ser analisadas, por sua vez, em noes mais simples, a saber, [humano, masculino, com/sem vnculo matrimonial]. Sendo assim, a anlise das noes envolvidas suficiente para revelar que o que proposto inferencialmente verdadeiro, no sentido de decorrer apenas das relaes interconceituais. Isto fica claro se tomarmos a sentena Pedro solteiro, ou ainda Os solteiros so sem-terra, para contraste. A anlise das noes a envolvidas no fornece nenhuma pista capaz de determinar a verdade ou a falsidade da proposio expressa, na medida em que as noes veiculadas no entretm nenhuma conexo, e por isso preciso algo extra, conectando as noes, para determinar seu valor de verdade. Quando verdadeiras, tais sentenas o so referencialmente. Segue-se disso que as sentenas inferencialmente verdadeiras so verdadeiras a priori? Apenas sob a pressuposio da total transparncia da linguagem para o falante, isto , sob a suposio de que saber o significado de uma sentena implica em saber todas as sentenas expressveis em uma linguagem e todas as conexes inferenciais entre tais sentenas. (Ou, dito de outro

60

Celso R. Braida

modo, que conhecer um conceito implica conhecer todos os seus vnculos com todos os outros conceitos.) A aceitao de sentenas verdadeiras a priori, nesse sentido, de modo algum implicaria em admitir-se verdade cientfica a priori, mas to somente em admitir-se que dada uma certa estrutura terico-conceitual certos enunciados sero vlidos na medida em que se tome aquela estrutura como verdadeira. Ou melhor, em termos sentenciais, uma vez constitudo um aparato gerador de sentenas em que certos termos (estruturais e conteudsticos) estabelecem relaes inferenciais, certas sentenas tero seu valor de verdade determinado pela simples assero de outras sentenas. O refro bastante comum, O contedo fatual de uma proposio analtica nulo, tem gerado uma srie de confuses. Primeiro, a partir desse refro chega-se a tese de que a verdade de um enunciado analtico no depende da realidade. A confuso se d porque, primeiro, se isola a significao da realidade (ou a linguagem da realidade), e depois se diz que o enunciado verdadeiro em virtude apenas da significao de suas partes. Porm, do fato de que uma concatenao de significaes seja tal que no possa no ser verdadeira, e apenas em virtude dessas significaes e do modo de concatenao, no se segue que a significao nada tenha a ver com o mundo. Uma outra confuso tambm segue-se porque no se percebe que a articulao de significaes que gera a analiticidade, e no o ato de significar. Nesse sentido, admitir a existncia de verdades analticas no admitir, como prope Boghossian (p335-6), que our meaning p by S makes it the case that p. Antes, a articulao semntica que constitui S que a torna verdadeira, independentemente do modo como ns a veiculamos. A tese que estou defendendo que a ocorrncia de sentenas analticas depende do modo como a significatividade se estabelece, isto , depende da semntica subjacente a um sistema de expresso. Claramente a analiticidade seria uma propriedade de linguagens nas quais os termos no so autnomos, ou cujos termos tm seu valor semntico determinado por regras semnticas (Carnap, Katz, Weitzman). Por termos no autnomos entenda-se aqueles termos

A estrutura lingustica e o fundamento das verdades analticas

61

que pertencem a um mesmo determinvel e que ocupam um espao lgico excludente ou includente, isto , termos que mantm relaes de excluso, antonmia, incluso entre si. A analiticidade seria assim uma propriedade essencialmente semntica, pois estaria vinculada s conexes formais entre os contedos das expresses de uma linguagem significativa. Um aparato sinttico, no obstante apresentar formaes redundantes, de modo algum pode constituir uma sentena ou proposio analtica, pois isto depende de uma interpretao das posies e dos sinais sintaticamente concatenados, isto , do modo como um aparato gerado por regras sintticas acoplase a um domnio de referncia. Considerem-se os nomes da Tabela Peridica. As seguintes sentenas so permitidas pela estrutura da tabela: Ouro metal; Carbono no metal; Ouro no Carbono. Estas sentenas expressam sentenas analticas para quem aprende o uso dos termos envolvidos tendo a Tabela Peridica como referncia; mas, para quem aprendeu o uso de tais termos atravs da lngua natural, no. No nem necessrio nem a priori que Ouro no seja Carbono, ou que Carbono no seja Ouro, dada a lngua natural. Mas, dada a Tabela Peridica, necessrio e a priori que Ouro no seja Carbono, pois, na Tabela, ouro e carbono designam lugares distintos e excludentes, pelo prprio modo de constituio da tabela. Se entendermos que a tabela na verdade a expresso grfica da estrutura conceitual da Qumica, ento, compreenderemos que uma sentena do tipo Ouro metal est prevista, ou est implcita, e pode apenas ser verdadeira, em funo das regras de constituio da tabela, isto , de constituio de sentenas qumicas. Por outro lado, se entende-se que Ouro designa uma determinada substncia e Carbono outra, que tm respectivamente as propriedades [Au2] e [C2] como essenciais, ento, tambm Ouro no Carbono analtica. No entanto, a fonte da analiticidade agora ontolgica, e no mais semntica, pois a causa da excluso a priori no propriamente lingstica. E, se tomamos Ouro e Carbono como nomes prprios distintos para substncias individuais distintas, ento, necessariamente no pode ser o caso que Ouro seja Carbono,

62

Celso R. Braida

mas o motivo ftico: o fato de tais nomes terem sido introduzidos para designar objetos ou substncias distintas e, por isso, designarem em qualquer outra situao estas substncias, se elas existirem no momento da introduo desses nomes. Estes exemplos nos autorizam dizer que uma vez estabelecida uma estrutura semntica, como o caso da Tabela Peridica, certas correlaes esto implicadas e, por conseguinte, certos enunciados sero vlidos e inegveis enquanto se tome aquela estrutura como correta. De modo algum isto implica em tornar aceitvel a noo de conhecimento cientfico a priori, pois, a estrutura semntica que torna significativa a tabela peridica o resultado de conhecimentos experimentais e formais a posteriori. Isto refora a idia de que nas sentenas analticas desvela-se a estrutura semntica de um determinado modo de dizer ou expressar um contedo. Em outras palavras, o contedo, o que expresso por uma sentena analtica no pode ser algo acerca do domnio de referncia, pois, ao invs de produzir uma sentena falsa, a sua negao destri a significatividade. Esse contedo o modo como o nexo semntico, fundante tanto da linguagem quanto do mundo, est constitudo. Por isso, apesar de tais sentenas poderem ser vistas como tautolgicas ou redundantes, elas so heuristicamente importantes, uma vez que elas explicitam os nexos e remisses que esto na base da dizibilidade do mundo, os quais fundam e garantem as passagens inferenciais e referenciais de expresses significativas para outras expresses significativas: uma sentena verdadeira analtica explicita a forma dos nexos semnticos da linguagem. Referncias BOLZANO, B. Wissenschaftlehre I/II. Hamburg, Felix Meiner, 1963. BOGHOSSIAN, P. A. Analyticity reconsidered, Nos 30 (1996): 360391. CARNAP, R. Meaning and Necessity: a study in semantics and modal logic. 2.ed. Chicago, UC Press, 1958. _____. The logical syntax of language. Transl. A. Smeaton. Paterson, Littlefield, 1959.

A estrutura lingustica e o fundamento das verdades analticas

63

_____. Philosophy and logical analysis, 1936, Archives 081-03-01, p10; Apud Proust, p. 461. _____. Introduction to Semantics and Formalization of Logic. Cambridge, Harvard Univ. Pr., 1975. _____. Intellectual autobiography in P. A. Schilpp, The philosophy of R. Carnap; La Salle, Indiana, Open Court Publishing Co., 1963.) _____. Quine on Analyticity. In R. Creath (ed.), Dear Carnap, Dear Van. Berkeley (CA): University of California Press, 1990; pp. 427432. COFFA, J. A. The semantic tradition from Kant to Carnap: to the Vienna Station; ed. L. Wessel. Cambridge UP, 1991. DAUER, F. W. In defense of the coherence theory of truth. Journal of Philosophy 71 (1974), 791-811. FREGE, G. Die Grundlagen der Arithmetik. Hrsg. J. Schulte. Stuttgart, Reclam, 1987. GOODAMN, N. On likeness of meaning (1949) HAACK, S. Filosofia de las logicas. Madrid, Catedra, 1982. LEIBNIZ. Discours de mtaphysique; ed. L. Bouquiaux. Paris, Gallimard, 1995. _____. Monadologia. So Paulo: Abril Cultural, 1983. LOCKE, J. Ensaio acerca do entendimento humano. So Paulo: Abril Cultural, 1983. KATZ, J. J. The Metaphysics of Meaning. Cambridge, MIT Press, 1990. _____. The new intensionalism. Mind, 101, n404 (1992): 689719. _____. The problem in twentieth-century philosophy, 1998 ; KANT, I. Crtica da Razo Pura. So Paulo: Abril Cultural, 1983. _____. Prolegmenos. So Paulo: Abril Cultural, 1983. KRIPKE, S. Naming and Necessity. Harvard, 1980. JONG, W.R. Kants analytic judgements, Journal of the History of Philosophy 33 (1995), pp. 613641. MARTIN, R. Pour une logique du sens. Paris, PUF, 1992. PROUST, J. Questions de forme: Logique et proposition analytique de Kant Carnap. Paris, Fayard, 1986.

64

Celso R. Braida

W. V. Quine, Two dogmas of empiricism (1951). _____. From a logical point of view. 2.ed. Cambridge, Harvard UP, 1980. SHER, G. The bounds of logic: a generalized viewpoint. Cambridge, MIT Pr., 1991. _____. Semantics and logic. In LAPPIN, S. (ed.) The Handbook of contemporary Semantic theory. Oxford, Blackwell, 1995. TARSKI, A. Logic, semantics, metamathematics; ed. by J. Corcoran, and transl. by J.H.Woodger. 2.ed. - Indianapolis, Hackett, 1983. TUGENDHAT, E. & WOLF, U. Propedutica Lgico-semntica. Petrpolis, Vozes, 1998. WEITZMAN, L. Necessity, apriority, and logical structure, Erkenntnis, 46 (1997). WHITE, M. The Analytic and the Synthetic: an untenable dualism in HOOK, John Dewey..., New York, Dial, 1950; pp. 316330.