Professional Documents
Culture Documents
Pierre Jacob
Traducao
Teresa Campello,
Romulo Gaudencio do Rego
e Giovanni S. Queiroz
2
Agradecimentos iii
Prefacio 1
Eplogo
A renovacao do realismo 199
Tarski e o realismo . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
A teoria causal da referencia . . . . . . . . . . . . . . . . . . . . . . 207
2
G. Canguilhem, 1975, p. 186.
3
M. Foucault, 1969, p. 16-22.
4
M. Serres, 1972, p. 214.
Prefacio 3
fsicos e os qumicos de blusa branca? Esta opiniao foi defendida pelos po-
sitivistas logicos do Crculo de Viena, mais por conviccao moral do que por
necessidade logica. Existe alias um puritanismo salutar na doutrina positi-
vista que se restringe ao discurso sensato, a deducao e a experiencia. Nada
obriga os filosofos a se interessarem pela ciencia. Mas em epistemologia e
melhor se perguntar sobre as razoes do sucesso da fsica do que se interrogar
sobre as ciencias humanas. Talvez a fsica seja menos puritana do que acre-
dita o positivismo, mas sempre havera tempo para reabilitar a fantasia da
imaginacao.
O manuseio da logica ou da lingustica nao torna seus defensores mopes
ou surdos diante do caos da nossa epoca. Mas entre a filosofia analtica e
a epistemologia pos-bachelardiana, sempre permanecera um abismo se esta
continuar afirmando seus objetivos e seus metodos atraves da luta titanica
dos tres grandes mestres da suspeita contra os tres H (Hegel, Husserl e
Heidegger13 ). A filosofia analtica se constroi como uma aversao em respeito
ao idealismo alemao pos-kantiano, notadamente o hegelianismo: para a filoso-
fia analtica, Kant e o ultimo dos grandes filosofos classicos e a fenomenologia
transcendental lhe e estrangeira.
Como pode verificar um observador atento14 ha no coracao da fenome-
nologia husserliana uma crenca segundo a qual se pode, gracas a um olho
mental ter a visao dos universais, logicos ou matematicos, por exemplo. E
o que Husserl denominava de intuicao eidetica. Quaisquer que tenham
sido os esforcos de Husserl para dissociar, sob o efeito das crticas de Frege,
o percurso da fenomenologia do psicologismo, a descida obscura e laboriosa
de fenomenologo as camadas sedimentadas do ego transcendental nao traz
nenhuma luz a uma filosofia que se inspira em Frege, Russell e sobretudo em
Wittgenstein. Imaginem o que pode pensar desta orgia egologica o autor das
seguintes sentencas15 : Por que um cao nao pode simular a dor? Ele e muito
honesto? (...) Diz-se que um cachorro pede que seu dono lhe bata; mas nao
que o seu dono o bata amanha. Porque?
Contra a pesada abordagem dos gigantes sonolentos do pos-kantismo,
os fundadores da filosofia analtica, tais como os liliputianos, opoem as cor-
reias, as flechas e as cordas cortantes da logica, das sentencas curtas e do
ingles comum16 .
Em 1914, Russell se contentava com o zelo excessivo que confere o sen-
timento de realizar uma revolucao, em comparar o que ele denominava o
13
Cf. V. Descombes, 1979.
14
E. Tugendhat, 1972, p. 257.
15
L. Wittgenstein, 1953, trad. inglesa G. E. M. Anscombe, 1953 250, p. 90 e 650, p.
116.
16
M. White, 1956, p.vii.
Prefacio 7
17
B. Russell, 1914a, p. 14.
18
W. V. O. Quine, 1960, p. 1.
19
M. Dummett, 1973; 1978; e I. Hacking, 1975.
8 O Empirismo Logico
nao demonstram nenhum interesse pelas ideias de Frege. Frege manteve uma
pequena correspondencia com os matematicos Dedekind e Zermelo. Hilbert
menciona seus trabalhos. Mas foi com Russell e Carnap que este homem
taciturno e isolado manteve, direta ou indiretamente, seus contatos mais sig-
nificativos.
Russell consolou e consternou Frege, simultaneamente. Gracas ao apendi-
ce consagrado a Leis Fundamentais da Aritmetica, de Frege, reunido, in
extremis, no volume de seus Principles of Mathematics em 1903, depois
mencionando-o no seu celebre artigo Sobre a Denotacao, em 1905, Rus-
sell divulgou e tornou Frege conhecido do publico ingles. Mas a agitacao
efetiva e intelectual de Russell, cujas ideias evoluam com uma rapidez muito
grande, colocou as ideias de Frege sobre sentido e referencia, numa grande
confusao. Alem disso, no momento em que Frege colocava o ponto final em
Grundgesetze, Russell lhe comunicava, numa carta de 1902 que se tornou
famosa, a descoberta de um paradoxo que desacreditava toda a reconstrucao
logica da aritmetica (cf. captulo II, secao I). Sessenta anos depois, Russell
descrevia o comportamento de Frege nos seguintes termos20 :
Quando penso em seus atos de integridade e grandeza, percebo
que nao conheci ninguem que pudesse rivalizar com a devocao que
Frege tinha para com a verdade. A obra de toda a sua vida estava
para ser acabada; a maior fonte de seus trabalhos foi ignorada por
homens infinitamente menos competentes; seu segundo volume estava
pronto para ser editado quando descobriu que sua hipotese fundamen-
tal estava errada; ele reagiu com uma satisfacao intelectual, superando
qualquer sentimento de decepcao pessoal. Foi quase sobre-humano e
um sinal revelador do que os homens sao capazes, a partir do momento
em que se debrucam sobre o trabalho criador e sobre o conhecimento,
em lugar de procurar dominar ou se fazer conhecido.
21
B.Russell, 1959, p. 216.
22
Ibid., p. 225-244.
23
G.E. Moore, in P.A. Schilpp, ed., 1942, p.14.
Prefacio 11
um dos precedentes como degraus para se elevar acima deles. Ele deve,
por assim dizer, rejeitar a escada apos ter subido.
O episodio crucial da nossa historia e o positivismo ou o empirismo logico.
Entre as duas guerras, em Viena, Berlim, Praga, Varsovia, logicos como
Godel e Tarski procuravam a criacao de uma linguagem formal capaz de
exprimir a matematica; descobrem que certas propriedades de uma lingua-
gem sao indizveis nesta linguagem. Inquietos com as nuvens polticas que
ameacavam a Europa Central e enjoados pela grandiloquencia pontificante
do idealismo alemao, os positivistas logicos tem dois objetivos: utilizar a
nova logica para rebater as pretensoes metafsicas do idealismo pos-kantiano
e reconciliar o velho sonho de toda a filosofia das ciencias - o empirismo
com a existencia de verdades logicas. Eles acreditavam descobrir a chave no
Tractatus.
Na metade da decada de 30, no grande exodo dos intelectuais anti-
nazistas, eles levaram consigo seus programas de pesquisas, e emigraram
para a Inglaterra e sobretudo para os Estados Unidos. Apos ter-se instalado
em Chicago, Carnap se dedica a logica modal, retomando o velho problema
de Leibniz de uma semantica dos mundos possveis. Em toda a sua vida
guardou suas conviccoes socialistas. Mas o mundo real deveria ser suficien-
temente pacfico para deixar passear sua imaginacao de mundo possvel a
mundo possvel.
Os representantes do empirismo logico, como Carnap, Reichenbach e
Hempel poem fim, ao mesmo tempo, ao ecletismo de Russell e ao tom mor-
daz de Wittgenstein. Eles oferecem um exemplo de probidade excepcional:
ciclicamente, reconhecem seus erros e modificam suas ideias. Com eles, a
argumentacao se parece, sobretudo, com a argumentacao cientfica. Sua
preocupacao com as objecoes e seu desejo de convencer sem seduzir, sao,
provavelmente, unicos na historia da filosofia. Estas duas qualidades, reu-
nidas em Carnap, o distinguem do gosto da aventura intelectual de Russell,
da violencia atormentada de Wittgenstein, do desejo de Popper de vencer o
adversario e da atracao de Quine pelas antinomias. Quine conta que, estando
num congresso em 1935, teve que suportar uma violenta crtica do autor de
The Great Chain of Beings; Carnap lhe respondeu, da maneira que lhe era
muito caracterstica, explicando que se Lovejoy queria dizer A, entao p, e
se ele queria dizer B, entao q27 . Carnap era um filosofo engenheiro que
utilizava a logica como uma tecnologia.
Em seguida, tres personalidades imprimem, com a crtica que formularam
sobre o empirismo logico, as caractersticas de suas personalidades: Popper,
Quine e Goodman. Popper, como Wittgenstein, nasceu em Viena (em 1902)
27
W.V.O. Quine, 1976, p.42.
Prefacio 13
Desde que voces abram os olhos, voces verao, por toda parte,
exemplos que os confirmam: o mundo tornou-se repleto de verificacoes
da teoria. (...)Um marxista nao pode abrir o jornal sem descobrir,
em cada pagina, uma prova de sua interpretacao da historia. (...)
Quanto aos analistas freudianos, eles sistematicamente afirmam que
suas observacoes clnicas verificam constantemente suas teorias.
das palavras com o fato de que as palavras mudam de sentido, isto e, que as
pessoas associam a crencas diferentes, no curso da historia, o referente das
palavras.
Certos representantes da epistemologia pos-bachelardiana acolheram com
sarcasmo a traducao francesa do famoso livro de Kuhn, procurando acentuar
as diferencas que os separava32 . Porque nao ficaram contentes de encontrar,
finalmente, autores anglo-saxonios que adotam uma concepcao descontnua
da historia das ciencias? Eu vejo duas razoes para isto. A primeira e que
Kuhn afirma, em alto e bom som, o que a epistemologia pos-bachelardiana
pensa baixo: as mudancas das teorias cientficas conferem aos conceitos uma
significacao de tal maneira diferente que, antes e depois de uma revolucao ci-
entfica, o mundo nao e mais o mesmo. Este e, com efeito, o unico argumento
a favor da descontinuidade historica. Sem ele, a descontinuidade e simples-
mente uma impressao. Ora, sua formulacao explcita torna a conclusao ide-
alista, portanto, dificilmente aceitavel pela epistemologia pos-bachelardiana
que se acredita portadora de uma solucao miraculosa do problema antigo da
relacao entre corpo e alma, entre materia e mente. Esta solucao estava en-
carregada de transcender o dilema entre o idealismo e o materialismo vulgar.
O idealismo tinha razao em reprovar o materialismo quando este considera os
processos cognitivos como reflexo passivo da materia. O materialismo tinha
razao de reprovar no idealismo a supremacia da consciencia. A epistemologia
pos-bachelardiana acreditou encontrar em Marx uma terceira via. A humani-
dade introduziu, na evolucao, uma situacao inteiramente nova: pela primeira
vez, a natureza se submeteu a um conjunto de praticas sociais que a trans-
formam constantemente. O conhecimento cientfico e somente uma pratica
de apropriacao da realidade. Todos os processos cognitivos sao praticas: a
ciencia, a arte, os discursos sao praticas. A realidade e o resultado de uma
atividade humana e entre as diferentes atividades humanas se encontra a
pratica cientfica.
Se a epistemologia pos-bachelardiana excomungou Kuhn, foi, simples-
mente, porque ele nao invoca, ritualmente, a palavra magica pratica. Mas
ja e tempo de render-se a evidencia: o recurso as palavras nao resolve pro-
blemas. A menos que se acredite no behaviorismo. O estudo dos processos
cognitivos nao avanca uma polegada com a pretensao de atribuir as ciencias
e aos discursos a mesma qualidade que tem as viaturas e os refrigerantes -
32
Cf. D. Lecourt, 1974, p. 152-162. Em duas paginas, Lecourt comete, no mnimo
quatro erros: diz que Popper nasceu no fim do seculo passado, escreve que a filosofia
analtica originou-se dos trabalhos do Crculo de Viena (desta forma nem Frege, nem
Russell, nem Moore, nem Wittgenstein, nem a filosofia da linguagem fazem parte); afirma
que Popper partilhou do ponto de vista do Crculo de Viena antes de distanciar-se, e
escreve que Kuhn e o discpulo mais conhecido de Popper (p. 152-153).
Prefacio 17
2
M. Dummett, 1973, p. 664-684.
3
Ibid. e M. Dummett, 1978, p. 88-89.
4
Para uma compreensao geral, cf. J.T.Merz, 1904-1912. Para maiores detalhes sobre as
escolas dos fisiologistas berlinenses, o materialismo, o reducionismo, e as ideias de homens
como Johannes Muller, Robert Mayer, Rudolf Virchow, Emil Dubois-Reymond, Iberman
von Helmholtz, Carl Vogt, Ludwig Buchner e outros, cf. W. Coleman, Biology in the
Nineteenth Century, New York, John Wiley & Sons Inc., 1971 e principalmente T. S. Kuhn,
op. cit.; E. Mendelsohn The biological sciences in nineteenth century. Some problems
and sources, History of Science, 3, 1964, pp.39-59; Revolution and Reduction: The
sociology of methodological and philosophical concerns in nineteenth century biologyin
Y. Elkano, ed., 1974, p.407-426; O. Temkin Materialism in French and german phisiology
of the early nineteenth century, Bull. Hist. Med, 20, 1946; R.S.Turner The growth of
professorial research in Prussia, 1818 to 1848. Causes and context in R. McCormmach,
ed., Historical Studies in Physical Sciences, 3, 1971.
A realidade dos objetos logicos e matematicos:
o logicismo de Frege, Russell e Moore 21
13
Cf. B. Russell, My mental development in P. A. Schilpp, ed., 1944, p. 12.
14
Cf. B. Russell, 1959, p. 54.
15
P. Hilton, 1978.
1.2 O estatuto das proposicoes no atomismo platonico 25
condicoes duas proposicoes sao identicas? Frege tem uma resposta elegante
e convincente19 : as proposicoes existem. Cada uma delas e o conteudo do
sentido (Sinn) de uma sentenca declarativa. Como o sentido de uma pro-
posicao e funcao do sentido dos termos que compoem a sentenca da qual a
proposicao e o sentido, duas proposicoes tem o mesmo sentido se, e somente
se, os termos que compoem a sentenca de uma tem o mesmo sentido dos
termos que compoem a outra sentenca.
No seu manifesto The Nature of Judgement20 Moore postula, assim
como Frege, a existencia das proposicoes. Mas seu pensamento e mais con-
fuso, como testemunha notadamente o fato de que ele nao faz ainda nenhuma
diferenca entre uma proposicao e um juzo. Ele analisa as nocoes de ver-
dade, de proposicao (ou juzo) e de conceito, com o objetivo geral de propor
uma concepcao da qual tenha desaparecido toda referencia mentalista a
consciencia humana.
No caso da nocao de verdade, este princpio geral toma a forma de uma
inesperada oposicao a uma tese por ele atribuda a Bradley segundo a qual a
verdade e a falsidade dependem da relacao entre nossas ideias e a realidade.
O fato de esta tese ter sido sustentada por Bradley nao a torna totalmente
absurda, nem, sobretudo, facilmente refutavel. Como ela parece confundir-se
com a doutrina da verdade como correspondencia, dizia-se que Moore nao
tinha outra alternativa senao defender a doutrina da verdade como coerencia.
Isto e paradoxal, pois Moore tende sempre em direcao ao realismo, no qual
seus defensores sao, habitualmente, apreciadores da teoria da verdade como
correspondencia, ao mesmo tempo em que os idealistas gostam excessiva-
mente de sua rival. Mas - e este e o segundo sinal da confusao reinante - seu
desejo de abolir toda alusao aos estados mentais fazem-no passar por cima
do seu realismo e o impede de falar de ideias. Para nao escolher entre
dois males, Moore decreta que as nocoes de verdade e de falsidade nao sao
definveis. Sao nocoes logicamente primitivas: Nao se pode definir o genero
de relacoes que torna uma proposicao verdadeira, ou uma outra falsa; nao se
pode senao reconhece-la imediatamente (p. 180). Alias, Moore fornece um
argumento para justificar a ideia de que a verdade e um datum ultimo, lo-
gicamente anterior a toda proposicao. E um argumento do tipo do terceiro
homem platonico21 : suponhamos que a verdade de um juzo depende da con-
formidade entre algumas ideias e a realidade (no espaco e no tempo). Para
determinar esta conformidade, teremos necessidade de um segundo juzo.
Para determinar o valor de verdade deste segundo juzo, precisamos de um
19
Cf. G. Frege, Uber Sinn und Bedeutung, trad. franc. Cl. Imbert, 1971.
20
Cf. G. E. Moore, 1899.
21
G. E. Moore, 1899, p. 192.
1.2 O estatuto das proposicoes no atomismo platonico 27
de existencia por uma relacao unica que torna verdadeira a proposicao. Con-
sequentemente, mesmo as proposicoes existenciais mais simples devem ser
consideradas como proposicoes necessarias de uma especie particular (p.
191).
Em Necessity22 , um ano depois, Moore explica porque todas as pro-
posicoes (mesmo existenciais) sao, nao somente necessarias, mas sinteticas.
E que toda proposicao contem pelo menos dois conceitos (seja aquele de
existencia), irredutveis um ao outro, e uma relacao entre eles. Ora, pode-se
sempre afirmar sem contradicao a negacao desta proposicao, pois a relacao
nunca esta contida em um ou outro conceito. Argumentos exatamente se-
melhantes foram desenvolvidos nas conferencias de Russell sobre Leibniz,
transformadas em livro publicado em 1900. Estes argumentos fundamentais
explicam porque Russell manteve, ate o encontro com Wittgenstein, uma
filosofia da matematica tao original como a sua.
Duas distincoes escapam a Moore em 1899-1900. Suas ausencias explicam
a confusao de seu primeiro manifesto. As duas distincoes estao presentes nos
Principles: uma parece ter sido tomada por emprestimo provisoriamente por
Russell a Meinong, antes de ele encontrar um meio mais elegante de resolver o
problema ao qual ela se destinava. E a distincao entre ser e existir. A outra
distincao parece ter sido inventada por Russell, podendo isso ter ocorrido
parcialmente gracas a sua leitura de Frege, apos o verao de 1900, ainda que,
se este e o caso, ele tenha deformado as categorias empregadas por Frege. E
a distincao entre uma coisa e um conceito, ambos tomados como termos.
Grosso modo, os nomes proprios logicos, que formam uma classe mais ampla
que os nomes proprios das lnguas naturais, correspondem a palavras que so
podem ocupar o lugar de sujeito gramatical na sentenca. A posicao de Frege
era a mesma26 . As palavras que indicam os conceitos sao, portanto, os ver-
bos e os adjetivos - aqueles que podem tambem ocupar o lugar de predicado
gramatical na sentenca. Sobre esta questao ha um desacordo bastante signi-
ficativo entre Russell e Frege. Em geral, para Russell, uma palavra indicando
um conceito (denotativo) e prefixada de um quantificador (um, certos,
nao importa qual, todos). Assim, em Todos os homens, temos uma
relacao com o conceito de homem.
O que e preciso observar imediatamente e que, para Russell, em 1903, as
palavras que indicam conceitos, portanto as entidades denotativas, nao tem
nenhuma funcao referencial. Ha, entre o emprego moderno da nocao de re-
ferencia e o uso russeliano, em 1903, da nocao de denotacao, duas diferencas
fundamentais: inicialmente, a nocao moderna de referencia e uma proprie-
dade pertencente ao seres lingusticos (por exemplo, os nomes proprios ou
as expressoes indexicais como eu ou aqui). A nocao russelliana de de-
notacao, em 1903, e uma propriedade pertencente a certas entidades logicas,
indicadas pelas palavras. Da, deixando de lado algumas diferencas, as
palavras que hoje em dia sao associadas a uma funcao referencial e as pala-
vras que Russel associa (em 1903) a uma funcao de denotacao, pertencem a
duas classes opostas: grosso modo, as primeiras sao as palavras na posicao
de sujeito gramatical. As segundas sao as palavras na posicao de predicado
gramatical. Logo, a concepcao moderna e aquela encontrada ja em Frege.
A discussao feita por Russell da distincao fregeana entre sentido (Sinn)
e referencia (Bedeutung) de uma expressao lingustica no Apendice A dos
Principles e extremamente confusa. Frege desejava, antes de tudo, explicar
como uma assercao de identidade pode ser ao mesmo tempo verdadeira e
informativa (ou seja, nao ser uma tautologia). Quando dizemos, com efeito,
A estrela da noite e a estrela da manha, nao se faz a mesma assercao que
corresponde em dizer A estrela da manha e a estrela da manha. A primeira
assercao e o resultado de uma descoberta astronomica, a segunda nao. Em
Uber Sinn und Bedeutung (1892) (infelizmente traduzido para o frances
como Sentido e denotacao, mais tarde por Sentido e referencia27 ), Frege
nocao de termo como uma nocao mais geral do que coisa e conceito ele termina por
emprega-la como sinonimo de coisa.
26
G. Frege, 1892b, trad. franc., Cl. Imbert, 1971.
27
Infelizmente, como espero, minhas observacoes o demonstram. Alias, a traducao
canonica em ingles feita por P. Geach e M. Black, eds. 1970, e On sense and reference.
Uma observacao e que o sentido, para Frege, nao tem nenhuma das conotacoes psicologicas
atribudas a representacao (traducao francesa, p. 105-106) ou a coloracao (ibidem, p.
32 O Empirismo Logico
131).
28
Cf. p. 40 e L. Linsky, 1967, trad. franc. Ph. Devaux et al., 1974.
29
Sobre esta questao, ha uma literatura abundante que exprime, em geral, um senti-
mento de ultraje em relacao as deformacoes que Russell faz com Frege. Cf., por exemplo,
A. Church, 1943; R. J. Butler, 1954; J. R. Searle, 1957-1958; a melhor discussao, em minha
opiniao, e a realizada por C. E. Cassin, 1970.
1.3 Denotacao segundo Russell em 1903 e referencia segundo Frege 33
33
Ibidem, p. 134-135.
34
Ibidem, p. 131.
40 O Empirismo Logico
tura logica das proposicoes, segundo a qual toda proposicao sensata tem a
forma sujeito - predicado, no modelo de Socrates e homem. Com Peano,
Frege, Moore e Russell, na virada do seculo, duas descobertas colocam em
cheque a analise tradicional: a primeira, a descoberta da ambiguidade logica
da copula e, tal como empregada nas lnguas naturais. Quando se diz
Platao e o discpulo de Socrates emprega-se e no sentido de identidade
entre um nome proprio e uma descricao definida. Quando se diz Socrates
e homem, utiliza-se e para afirmar a pertinencia de um indivduo deno-
minado Socrates a classe dos homens. Usa-se a notacao do signo de
pertinencia de um elemento a uma classe (ou a um conjunto) para este uso
de e. Se se diz Os homens sao mamferos, emprega-se e para indicar
a inclusao de uma classe dentro de outra, com a notacao . Quando se diz
Certos mamferos sao bpedes, emprega-se e no sentido do quantificador
existencial seguido da conjuncao: Existem mamferos e sao bpedes. Se se
diz Todos os homens sao racionais emprega-se e no sentido do quantifi-
cador universal: Para todo x, se x e um homem, entao x e racional.
A segunda descoberta e a de que numerosos enunciados (principalmente
na matematica, mas nao somente nela) contem relacoes que nao podem ser
transcritas na forma sujeito - predicado. Se digo: Paris esta a leste de Nova
Iorque e se desejo dar a este enunciado a forma logica sujeito - predicado,
devo decidir se Paris e o sujeito, e neste caso o predicado e esta a leste de
Nova Iorque ou se Nova Iorque (por que nao?) e o sujeito e neste caso o pre-
dicado e esta a oeste de Paris. Toda a aparelhagem fregeana dos conceitos,
seres funcionais nao saturados, e os das funcoes proposicionais russellianas,
destinam-se a levar em conta, elegantemente, os fenomenos relacionais que a
logica sujeito - predicado nao pode tratar normalmente.
Como de habito, Frege permanece mudo sobre as consequencias filosoficas
globais desta revolucao, que Russell e Moore jamais a perdem de vista. Em
sua visao, toda a metafsica tradicional esta equivocada adotando aquilo que
ele chama o axioma das relacoes internas que afirma que toda relacao se
apoia na natureza dos termos associados38 . Russell distingue, na tradicao,
uma bifurcacao entre aqueles que ele denomina de monistas e aqueles que
ele denomina de monadistas. Entre os primeiros ele coloca Spinoza, He-
gel e Bradley; entre os segundos, Leibniz e Lotze. Para os monistas existe
uma e somente uma Substancia a qual pertencem diversos atributos e diver-
sos modos. Para um monista, toda proposicao convenientemente analisada
consiste em predicar um modo ou um atributo da Substancia. Para um
monadista, existe uma infinidade de substancias (as monadas leibnizianas
ou as substancias individuais aristotelicas), cada uma com uma infinidade
38
B. Russell, 1910, p. 139.
1.5 A realidade das relacoes e a crtica do monismo e do monadismo 43
39
G. E. Moore, 1919-1920, in G. E. Moore, 1922, p. 276.
40
B. Russell, 1900, trad. franc. 1908, 10, p. 13-16.
44 O Empirismo Logico
41
B. Russell, 1903, 215, p. 225 e 94, p.95.
42
Ibidem, 200, p. 212.
1.6 Por que Russell e Moore acreditaram que a logica e sintetica? 45
43
G. Frege, 1884, trad. franc. Cl. Imbert, 1969, 89, p. 213.
44
B. Russell, 1900, trad. franc. J. e R. Ray, 1908, 12, p. 27.
45
B. Russell, 1903, 434, p. 457.
46
G. E. Moore, 1900.
47
G. Frege, 1884, trad. franc., 87, p. 211.
48
Ibidem, 88, p. 211.
49
Ibidem, 14, p. 141-142.
48 O Empirismo Logico
50
Ibidem, p. 142.
51
Ibidem, 88, p. 212.
52
Ibidem.
1.6 Por que Russell e Moore acreditaram que a logica e sintetica? 49
53
Ibidem, 26, p. 153-154.
54
B. Russell, 1903, 427, p. 450-451.
55
Cf. W. V. O. Quine, 1969.
50 O Empirismo Logico
56
A. N. Whitehead e B. Russell, 1970, p. v.
57
B. Russell, 1907, in D. Lackey, ed., 1973, p. 273-274.
58
B. Russell, 1900, trad. franc. J. e R. Ray, 10-11, p. 13-25.
1.6 Por que Russell e Moore acreditaram que a logica e sintetica? 51
59
Ibidem, p. 24.
60
G. E. Moore, 1900, p. 294-295.
52 O Empirismo Logico
dade destas verdades nao se pode deduzir nada a respeito de sua eternidade,
universalidade ou certeza superior. Estes outros predicados so podem ser as-
segurados das verdades em questao atraves de enunciados sinteticos. Isto, diz
Moore, retira toda importancia da nocao de necessidade. Se, ao contrario,
a necessidade das verdades analticas nao e identica ao fato delas serem
analticas, entao o fato delas serem necessarias representa uma proposicao
sintetica.
Fazendo eco aos argumentos de Russell destinados a mostrar a incoerencia
do criterio leibniziano de analiticidade, Moore estabelece que os princpios do
terceiro excludo e de nao-contradicao nao podem ser analticos61 . Dizer que
estes princpios sao analticos e dizer que a nocao de proposicao tem a mesma
significacao que a propriedade de ser verdadeiro ou falso ou que a proprie-
dade formada da negacao da conjuncao de ser verdadeiro e falso. Isto quer
dizer que as palavras proposicao e e verdadeiro ou falso ou nao e ver-
dadeiro e falso sao sinonimas, ou que ser verdadeiro ou falso ou nao ser
verdadeiro e falso definem a palavra proposicao. Neste caso as negacoes do
princpio de nao-contradicao ou do princpio do terceiro excludo nao seriam
proposicoes autenticas. A primeira diz: E falso que seja falso que uma pro-
posicao seja verdadeira e falsa. A segunda diz: E falso que toda proposicao
seja verdadeira ou falsa. Mas se os princpios em questao sao proposicoes
autenticas entao suas negacoes deveriam gozar do mesmo estatuto. Alias,
se estes dois princpios sao analticos entao nao poderia existir proposicao
contraditoria. Mas uma tautologia e a negacao de uma proposicao contra-
ditoria. Portanto, nenhuma tautologia poderia ser uma proposicao autentica.
Ora, segundo Moore, afirmar que o princpio de nao-contradicao (ou que o
terceiro excludo) e analtico e dizer que e uma tautologia. Da dizer que ele
e analtico e o mesmo que negar que ele seja uma proposicao autentica.
Suponhamos entao que o defensor da analiticidade do princpio de nao-
contradicao ensaie a seguinte manobra: Vos que negais a analiticidade deste
princpio, utilizais em vosso argumento a negacao do princpio. Ora, isto e
um absurdo, pois uma tal negacao nao e verdadeira nem falsa. Mas isto
seria uma causa perdida, pois a negacao do princpio de nao-contradicao
nao afirma que nenhuma proposicao nao seja verdadeira ou falsa. Ele se
contenta em negar que todas as proposicoes o sejam. E aqui voltamos a
afirmar que certas proposicoes nao sao verdadeiras nem falsas. De uma so
vez, o partidario da analiticidade do princpio de nao-contradicao pode, sem
se contradizer, afirmar que o princpio e sua contradicao tem um valor de
verdade - simplesmente ele considera a possibilidade que o princpio seja
falso e sua negacao verdadeira.
61
Ibidem.
1.6 Por que Russell e Moore acreditaram que a logica e sintetica? 53
tal lei ou que repousaria sobre sua negacao. Mas, justamente, para deter-
minar a necessidade desta lei ou de leis semelhantes, seria necessario poder
confrontar uma descricao da realidade conforme a lei e uma outra conforme
sua negacao, e decidir qual representa mais fielmente a realidade. Por mais
irrealizavel que seja esta tarefa, sua postulacao utopica nao demonstra que
a certeza mental define melhor parte dos limites da imaginacao humana que
as leis da necessidade natural.
Captulo 2
(3) (x)(x)
2
B. Russell, 1905, in R. C. Marsh, ed. 1956, p. 48. Toda minha analise da teoria das
descricoes se apoia em Russell, 1905 e Whitehead e Russell, 1910 - 1913, notadamente a
Introducao da segunda edicao, captulo III e 14, secao B, parte I. Uma discussao mais
util da teoria se encontra em L. Linsky, 1962.
58 O Empirismo Logico
(5) (x)(x)
(6) afirma que existe um e um so rei da Franca e que ele nao e calvo. Logo,
(6) e falsa. Em compensacao, (7) afirma que nao existe indivduo que seja
rei da Franca e que seja calvo. Logo, (7) e verdadeiro.
Consideremos um enunciado, cuja ambiguidade dependa da precedencia
entre os quantificadores e um operador modal significando e possvel que
e simbolizado por . Consideremos o seguinte enunciado O atual presi-
dente da Republica francesa poderia nao ser o atual presidente da Republica
2.1 O legado de Russell: a teoria das descricoes e a teoria simples dos tipos 59
(8), que afirma que existe um unico indivduo satisfazendo a propriedade ser-
atualmente-presidente-da-Republica-francesa e este indivduo nao poderia ter
esta propriedade, e verdadeira. Mas (9) afirma que e possvel que um unico
indivduo satisfaca e nao satisfaca a propriedade em questao e e falsa.
Um ultimo caso de ambiguidade pode vir da combinacao de uma descricao
definida com um operador de crenca. Russell menciona a seguinte conversa
entre um proprietario exigente de um iate e um de seus convidados. Este
diz aquele: Eu acreditava que seu iate fosse maior do que ele e, Nao,
responde-lhe seu anfitriao, meu iate nao e maior do que e3 . Do mesmo
modo, a seguinte inferencia e aparentemente impecavel. Mas sua conclusao
e, entretanto, falsa:
contexto formado por George IV queria saber se, que tem a precedencia.
A ocorrencia da expressao descritiva (ou daquilo que a substitui) e, entao,
em (a), secundaria. Ou para evitar concluir (c), a partir de (a) e de (b),
Russell exclui a possibilidade de substituir Scott por o autor de Waverly,
se a ocorrencia de o autor de Waverly nao e primaria. Se se interpretar
(a) no sentido de (a), a ocorrencia de o autor de Waverly nao e primaria.
Logo, a substituicao fica interditada. Simbolicamente, antes da eliminacao
da expressao descritiva, (a), interpretada no sentido de (a), escreve-se:
(10) X((x)(x)),
x W (x x)
W W (W W ).
6
Cf. G. H. von Wright, 1958; P. Engelmann, 1967; G. H. von Wright e B. F. McGuin-
ness, eds., 1974.
7
Carta de Wittgenstein a Russell de 12 de junho de 1919, in G. H. von Wright e B. F.
McGuinness, eds. 1974, p. 70.
8
Carta de Wittgenstein a Russell de 19 de agosto de 1919, ibidem, p. 71.
2.2 O impacto do Tractatus 63
9
Carta de Wittgenstein a Russell em 7 de junho de 1920, ibidem, p. 89.
10
B. Russell, 1912, p. 127-30.
11
B. Russell, 1914a, trad. fr. Ph Devaux, p. 25.
12
B. Russell, 1919a, in R. C. Marsh, ed., 1956, p. 177.
13
B. Russell, 1919, trad. fr. G. Moreau, 1970, p. 243.
14
Cf. B. Russell, My mental development, in P. A. Schilpp, ed. 1944, p. 19 e G. E.
Moore, A reply to my critics, in P. A. Schilpp, ed. 1942, p. 67.
15
B. F. McGuinness, 1966; cf. J. Bouveresse, 1973a, cap. I.
64 O Empirismo Logico
18
Citado por G. Holton, 1970, in G. Holton, 1973, p. 148-49. Holton cita tambem esta
sentenca de Bohr, mais wittgensteiniana: Nao se pode conhecer ninguem a luz do amor
e da justica ao mesmo tempo.
66 O Empirismo Logico
uma coisa que ela nao pode representar, que e sua propria forma pictorial, ou
seja, sua forma logica. Ela pode apenas deixar esta ultima mostrar-se (es
weist sie auf ; it display it, Tr. 2.172). De onde esses numerosos aforismos:
As proposicoes podem representar a totalidade da realidade, mas nao aquilo
que elas tem em comum com a realidade para poder representa-la - a saber
sua forma logica. Para poder representar sua forma logica, nos devamos
poder nos colocar, com nossas proposicoes, em algum lugar no exterior do
mundo (Tr. 4.12). As proposicoes mostram mas nao representam a forma
logica que tem em comum com a realidade. Aquilo que pode ser mostrado,
nao pode ser dito (Tr. 4.1212).
Varias crticas a filosofia da logica de Russell e Frege se seguem, notada-
mente as tres seguintes. Todas as proposicoes da logica tem o mesmo esta-
tuto. Nenhuma e mais primitiva que outra (Tr. 6.127). Toda apresentacao
axiomatica e arbitraria e nao revela nenhuma precedencia logica autentica. A
realidade nao contem nenhuma hierarquia entre proposicoes elementares (Tr.
5.556). As hierarquias sao independentes da realidade (Tr. 5.5561). Segue-se
que toda a aparelhagem extralogica e erronea e superflua: cabe a logica se
ocupar dela mesma (Tr. 5.4373). Do mesmo modo, as proprias leis logicas
nao podem ser sujeitas as leis da logica (Tr. 6.123). Portanto, se a teoria
dos tipos, por exemplo, tem razao de afirmar que nenhuma proposicao pode
fazer uma assercao sobre si mesma (Tr. 3.3332), ela comete, entretanto, dois
erros: hipostasia uma hierarquia perfeitamente arbitraria (Tr. 5.556-5.5561)
e introduz na logica a mencao da referencia dos signos (Tr. 3.3331). Enfim,
as constantes logicas (ou, e, etc.) nao tem denotacao (Tr. 4.0312): nao sao
signos que tomam o lugar de uma realidade diferente deles. Por exemplo,
p (chove) e p ou nao nao p (e falso que seja falso que chove)
querem dizer a mesma coisa. Isto mostra, segundo Wittgenstein, que nada
na realidade corresponde ao signo (Tr. 4.062). Do mesmo modo os
signos (ou) e (se... entao) nao denotam mais relacoes do que
os signos dos parenteses (Tr. 5.4-5.43 e 5.461). Isto e, nao existem objetos
logicos ou constantes logicas como requeria o realismo platonico de Frege
e Russell. O sinal de negacao nao designa uma negatividade platonica.
No Tractatus encontram-se tracos da influencia de Frege. Mas sua in-
terpretacao exige uma exegese particularmente complicada. Wittgenstein
utiliza os termos fregeanos Gedanke (pensamento), Gegenstand (objeto),
Sinn (sentido), Bedeutung (referencia), porem numa moldura antiplatonica,
contraria a moldura fregeana. Wittgenstein recusa sustentar a existencia dos
objetos como nomes ou constantes logicas. Ele emprega Gedanke num sentido
estritamente psicologico19 , banido por Frege. Ele nao distingue, tao clara-
19
Sobre esta questao espinhosa, cf. carta de Wittgenstein a Russell de 19 de agosto de
2.2 O impacto do Tractatus 67
20
Carta de Wittgenstein a Russell de 19 de agosto de 1919, op. cit., p. 71.
21
B. Russell, 1956, p. 114.
2.2 O impacto do Tractatus 69
admite uma prova formal. Mas, no mesmo ano, abria uma nova era da logica
e da matematica, provando a incompletude de toda linguagem (como a logica
do Principia Mathematica) capaz de exprimir a aritmetica elementar. Ele
inventou um metodo de construcao de sentencas da linguagem de primeira
ordem dentro da notacao da teoria elementar dos numeros. Gracas a este
metodo, demonstrou que todo sistema capaz de exprimir a aritmetica contem
ao menos uma sentenca bem formada demonstravel se e somente se for falsa.
Se as regras da prova sao validas e uma tal formula e verdadeira, entao ela e
indecidvel. A este teorema se junta um corolario que poe fim as esperancas
(alimentadas, principalmente por David Hilbert) de provar a consistencia (a
nao-contradicao) absoluta de todo sistema logico ou matematico. Hilbert
conseguiu provar todos os axiomas e teoremas da geometria euclidiana com
os axiomas e teoremas da teoria dos numeros e que o primeiro seria tao con-
sistente quanto o segundo. Em outros termos, se nao se deduz um teorema
e sua negacao, a partir dos axiomas da teoria dos numeros, nao se deduz um
teorema e sua negacao, a partir dos axiomas da geometria. Restava provar
a consistencia da teoria dos numeros sem pressupor a consistencia de outra
teoria. Godel provou justamente que isso e impossvel: nao se pode jamais
provar que uma teoria e consistente sem recorrer a outra teoria cujos axiomas
sao mais fortes. A esperanca de descobrir um metodo de prova de teoremas
de consistencia absoluta logo se volatilizou em fumaca22 .
A dupla prova de Godel da incompletude (ou indecidibilidade) da arit-
metica e da impossibilidade de toda prova de consistencia absoluta esta tao
longe da obsessao de Wittgenstein pelo indizvel quanto uma prova formal
esta da intuicao. Porem o Tractatus cria um clima de inquietude, ao qual
Russell foi refratario. Tratando dos sistemas formais, que gozavam da maior
confianca dos logicos, ele esboca a curvatura de seus limites, deixando a
outros o cuidado de os edificar pacientemente.
A complementaridade entre Russell e Wittgenstein nao existe sem evo-
car a dualidade quase contemporanea entre Einstein e os defensores da meca-
nica quantica, Heisenberg e o proprio Bohr. As grandes contribuicoes de
Russell e Einstein se fazem na mesma epoca. Eles realizam, cada um, uma
revolucao espetacular, um em logica, outro em fsica. Einstein, mais que
Max Planck, e o criador da teoria quantica. Porem ele nao tolera a indeter-
minacao introduzida pelo princpio da incerteza de Heisenberg. Nao adere ao
princpio de complementaridade, introduzido por Niels Bohr, para conciliar
a descricao ondulatoria e a descricao corpuscular de uma partcula atomica.
As sugestoes de Hans Reichenbach de adotar uma logica (verdadeiro, falso
22
Cf. J. van Heijenoort, ed., E. Nagel e J. R. Newman, 1958, e H. Wang, 1974.
70 O Empirismo Logico
27
P. Forman, 1971.
28
S. Hook, 1929.
29
E. Nagel, 1936, in E. Nagel, 1956, p. 196-97. Cf. M. Turk, 1975.
72 O Empirismo Logico
alternativas.
A esse ttulo, o domnio da sintaxe logica se confunde, inicialmente, com
aquele de uma metateoria das formas lingusticas requeridas pelos diversos
sistemas logicos e matematicos mencionados em A Sintaxe Logica da Lin-
guagem, aparecido em 1934; Carnap generaliza duas ideias, uma antecipada
por Hilbert e Russell, outra por Hilbert e Wittgenstein, independentemente
um do outro. O programa hilbertiano, que visava construir as provas de
consistencia absoluta, redirecionado por causa dos resultados de Godel, foi
concebido como um conjunto de teorias metamatematicas, tendo cada qual,
uma teoria matematica por objeto. O objetivo formalista da teoria metama-
tematica era considerar a teoria objeto como um conjunto de signos, submisso
as regras estritamente formais. Uma dessas ideias foi evocada por Russell em
seu prefacio ao Tractatus. A, admite que Wittgenstein tem razao em pensar
que nao se pode descrever a totalidade da estrutura de uma linguagem L
no interior de L. Estava, acima de tudo, em conformidade com a moral da
teoria simples dos tipos aplicada ao sistema de notacao. Sugeria, por sua vez,
a possibilidade de uma hierarquia infinita de linguagem superpostas: para
qualquer linguagem Lm1 , existiria uma linguagem Lm no interior da qual se
podia descrever a estrutura de Lm1 . Todavia, Wittgenstein (que parece ter
inventado a expressao) desejava banir da sintaxe logica toda consideracao
do significado dos smbolos (Tr. 3.33), da mesma maneira que Hilbert bania,
fora dos enunciados metamatematicos, toda assercao nao formal que nao
estivesse sob a forma de smbolos. Esta e a razao pela qual Wittgenstein
nao aceitava a interpretacao semantica, proposta por Russell, de sua propria
teoria dos tipos (Tr. 3.331)40 .
De um lado, Carnap se curva ao argumento logicista contra o formalismo
estrito: somente a reconstrucao logicista dos objetos numericos da conta da
significacao de cinco em minha mao direita tem cinco dedos41 . De
outro lado, e sensvel ao risco, mencionado por Wittgenstein, do uso de uma
nocao evanescente de significacao dos smbolos logicos ou matematicos:
uma teoria metalogica ou metamatematica puramente sintatica, concer-
nindo apenas regras de concatenacao de smbolos, sem considerar seu Sinn
nem seu Bedeutung e confortavelmente verificavel42 . Entretanto, como teste-
munha o paragrafo 19 de A Sintaxe, o interesse do metodo de aritmetizacao
da sintaxe, devido a Godel, que permite coordenar a cada sentenca da lingua-
gem logica dos Principia uma formula da teoria elementar dos numeros, e o
seguinte: no lugar de se restringir as assercoes metalogicas sobre a existencia
40
Cf. carta de Wittgenstein a Russell de 19 de agosto de 1919, op. cit., p. 72.
41
Cf. R. Carnap, 1934, trad. ingl., A. von Zeppelin, 1937, p. 326; e R. Carnap, in P.
A. Schilpp, ed., 1963, p. 48.
42
E o que sugere V. Kraft, 1953 e H. Bohnert, in P. A. Schilpp, ed., 1963, p. 412.
2.4 A sintaxe logica da linguagem segundo Carnap 77
o absurdo intrnseco das mas proposicoes metafsicas. Por fim, gracas a uma
distincao que ele acreditava sintatica, entre idioma formal e idioma material,
acreditava poder mostrar que enunciados metafsicos, que nao sao intrinseca-
mente absurdos mas tem a pretensao de falar da realidade, sao, na realidade,
recomendacoes lingusticas disfarcadas.
Nos temos, hoje, uma visao mais clara da fronteira entre sintaxe e seman-
tica, gracas a lingustica. A lingustica transformacional, criada por Noam
Chomsky, no incio dos anos 1950, tem acumulado provas convincentes da
existencia de regras transformacionais de movimento puramente sintaticas,
dentro da gramatica das lnguas naturais. Estas regras consistem em, por
exemplo, deslocar constituintes gramaticais da direita para a esquerda para
transformar uma sentenca declarativa numa sentenca interrogativa, ou numa
sentenca ativa em sentenca passiva. Elas parecem nao dever nada nem ao
sentido nem a referencia dos constituintes.
Porem, vinte anos antes, a situacao era tao menos clara que os logicos se
interessavam pelas linguagens naturais apenas para dissipar as ambiguidades
e as imprecisoes. O modelo das linguagens formais lhes fazia crer que as
linguagens naturais eram destitudas de regras.
Trinta anos antes de A Sintaxe Logica da Linguagem, aderindo a uma
filosofia platonica, Frege e Russell nao experimentaram nenhum escrupulo em
postular a existencia de objetos correspondentes as assercoes da logica e da
matematica. Para eles, era evidente que a analise da forma logica passa por
uma teoria semantica. Contudo, a influencia tanto do empirismo, como das
teorias formalistas e do misticismo de Wittgenstein tornaram a semantica
suspeita para os positivistas logicos. A semantica e, com efeito, a teoria
da relacao entre a linguagem e as entidades nao lingusticas mencionadas
pela linguagem. Ora, a preocupacao da verificabilidade, cara do empirismo,
parece jamais se satisfazer com o emprego de nocoes semanticas como sentido,
significacao, referencia de palavras e verdades de sentencas. E justamente
isso que incita o formalismo a conceber uma teoria matematica como um
jogo formal. Finalmente, e a teoria da relacao entre a linguagem e aquilo do
qual ela e um modelo que Wittgenstein decretou inefavel.
Neste perodo de gestacao das fronteiras entre a sintaxe e a semantica,
Carnap e seus amigos do Crculo de Viena aderiram a triparticao das pro-
posicoes efetuada pelo Tractatus: a metafsica tradicional engendra pro-
posicoes sem sentido (unsinnig) por ignorancia da nova logica; a atividade
filosofica corretamente conduzida e uma elucidacao logico-lingustica. Ela
se compoe de assercoes metalingusticas, que servem para descrever a estru-
tura de diversas linguagens e avalia os usos respectivos. Tais proposicoes,
como todas as proposicoes da logica e da matematica, sao tautologicas ou
contraditorias. Elas sao sinnlos: nao dizem nada sobre a realidade. Sao
2.5 Sintaxe e semantica 81
49
Cf. K. Popper, in P. A. Schilpp, ed., 1963, p. 191 e W. V. O. Quine, in D. F. Pears,
ed., 1972, p.4. Eu me refiro a E. Husserl, 1a. ed., 1901, 2a. ed., 1913, trad. franc., H. Elie
et al., 1962, tomo 2.
82 O Empirismo Logico
E pouco plausvel declarar que (d) e (e) nao tem significacao (unsinnig, no
sentido de Wittgenstein) pois suas negacoes sao verdadeiras. E o que e pior,
Wittgenstein trataria as negacoes de (d) e (e) como tautologias, que fixam,
respectivamente, o emprego das palavras irmao, primo e filho. Entre-
tanto, se as suas negacoes sao tautologias, entao (d) e (e) sao contradicoes.
Sao, entao, sinnlos, porem nao unsinnig. E apenas num uso deturpado que
(f) e (g) podem ser consideradas violando a teoria dos tipos; a menos que se
considere esta como uma teoria das categorias semanticas. Quanto a Husserl,
se ele tratasse os cinco enunciados como absurdos sinteticos (ou materiais),
se chocaria com a objecao de Wittgenstein e Carnap ja mencionada, que se
aplica, em todo caso, a (d) e (e).
Em 1942, Carnap arrepende-se de nao haver dado lugar a semantica em
sua metateoria51 . E que em 1935 Alfred Tarski restitua a confianca dos
logicos de inclinacao empirista, mostrando que os conceitos da semantica
estao assentados numa base solida52 . Os escrupulos formalistas e antime-
tafsicos que cercaram, em particular, o uso dos predicados verdadeiro e
51
R. Carnap, 1942, 39, p. 246-50.
52
A. Tarski, 1936a, trad. frac. dirigida por G. Granger, 1974, vol. 1, p. 157-269; A.
Tarski, 1944, p. 268-305.
84 O Empirismo Logico
falso podem ser postos de lado. Por sua vez, a verdade e a falsidade pare-
cem ser duas nocoes inelutavelmente prisioneiras da indissoluvel controversia
entre o realismo e o convencionalismo. Para a primeira doutrina, uma teo-
ria e verdadeira se corresponde a realidade. Para a segunda, uma teoria e
verdadeira se for coerente (um teorema e verdadeiro se for dedutvel a partir
de axiomas admitidos no incio). Assim, os paradoxos semanticos conservam
um clima de suspeita com relacao a estas nocoes. Por fim, seria legtimo
perguntar a qual genero de entidade pertence a verdade: de qual categoria
de objeto depende? De qual tipo de objeto ela e propriedade?
Estas duas questoes evocam irresistivelmente o percurso de Frege no tema
dos numeros. Alias, Frege teve uma resposta a tais questoes; e sua resposta
platonica suscitou a desconfianca dos positivistas: o verdadeiro e o falso sao
as duas referencias possveis das sentencas declarativas. Sao objetos, como
sao todos os referentes de expressoes lingusticas, tendo, por sua vez, um
sentido e uma referencia. Nos nao percebemos estes objetos com nossos
orgaos sensoriais, porem tambem nao percebemos os numeros.
Quanto aos paradoxos semanticos, eles sugerem que o emprego do pre-
dicado verdadeiro, deve ser regulado pelo princpio do crculo vicioso de
Russell. Os paradoxos semanticos resultam do emprego das palavras verda-
deiro ou falsono interior de uma sentenca, da qual se pergunta em seguida,
se e verdadeira ou falsa. Portanto, nao tem nada a ver com o fenomeno da
ambiguidade que se encontra, por exemplo, em uma sentenca como Eu nao
vi um gato na rua53 ; naquela acepcao familiar, nao quer dizer literalmente
aquilo que ela diz. Uma tal sentenca pode ser verdadeira, ainda que eu tenha
visto mais de um desses felinos que se nomeia gato. A sentenca nao e de
forma alguma paradoxal, mas a palavra gato e ambgua neste contexto.
Pode-se formular um paradoxo semantico de tres maneiras equivalentes.
(A) Epimenides, o Cretense, diz: Todos os cretenses sao menti-
rosos. Ele mente ou diz a verdade?
Se for verdade, como diz Epimenides, que todos os cretenses sao mentiro-
sos, entao ele mente. Portanto, se diz a verdade, mente. Se mentir, verifica-se
que todos os cretenses sao mentirosos. Portanto, se mente, diz a verdade.
Chamemos p a sentenca impressa no quadro da pagina 84 deste livro.
Consideremos agora a sentenca seguinte:
53
Je nai pas vu un chat dans la rue pode ser traduzida tambem por Eu nao vi
ninguem na rua, da a ambiguidade de que fala o texto (N.T.).
2.5 Sintaxe e semantica 85
( T ) X e verdadeiro se e somente se p,
86 O Empirismo Logico
54
A. Tarski, 1936b, vol. 2, p. 137.
55
A. Tarski, 1936c, vol. 2, p. 149.
56
A. Tarski, 1936b, vol. 2, p. 137.
2.5 Sintaxe e semantica 87
contentaremos apenas com uma teoria semantica no dia em que seus concei-
tos prenderem-se naturalmente a logica ou a fsica!
Em seguida, se a hierarquia das linguagens permite escapar as antino-
mias semanticas, como a teoria simples dos tipos permite escapar aos para-
doxos logicos, de modo algum escapa as limitacoes descobertas por Godel dos
sistemas formais. Desse ponto de vista, o conceito metateorico puramente
sintatico de consequencia logica nao cobre completamente o conceito intui-
tivo. Suponhamos que a teoria elementar dos numeros, formalizada, contem
proposicoes tais que57 :
4
O. Neurath, 1932-1933, trad. ingl. G. Schick, in A. J. Ayer, ed., 1939, p. 199-208.
5
R. Carnap, 1932b, 1932c, 1935, 1936-1937.
6
N. Goodman, in P. A. Schilpp, ed., 1963, p.546-551.
3.1 A inducao e o reducionismo 93
7
K. R. Popper, in P. A. Schilpp, ed., 1963, p. 189-212; trad. fran. P. Jacob, 1980.
8
R. Carnap, in P. A. Schilpp, ed., 1963, p. 46-50.
94 O Empirismo Logico
pois, segundo ele, toda afirmacao desta ordem e desprovida de sentido. Ele
a deixou aflorar na sua escolha lingustica do fisicalismo.
Deve-se a Karl Popper ter percebido a ligacao entre a interpretacao epis-
temologica do fenomenalismo e a justificacao da inducao. Onze anos mais
novo que Carnap, Popper que se lembra prazerosamente que Neurath o
chamava de oposicao oficial nunca pertenceu ao Crculo de Viena; como
Wittgenstein, ele nunca sentiu a menor fascinacao pelo inefavel nem pela
ideia de que, diferentemente das proposicoes cientficas, as proposicoes me-
tafsicas sao intrinsecamente absurdas, ou sao proposicoes metalingusticas
disfarcadas; em qualquer hipotese, desprovidas de todo valor cognitivo. Sua
Logik der Forschung (a logica da investigacao, mais do que da descoberta
cientfica) lancado em 1934, e uma crtica contundente do positivismo, da
estar ausente todo sentimento de crise, de eminencia do desastre, de ne-
cessidade premente de destruir toda metafsica. Atacando tudo aquilo que
a seus olhos e somente a repeticao, em uma nova linguagem, dos erros do
velho positivismo, ele se alinha serenamente a tradicao filosofica classica. De
um lado coloca em questao a metafsica indeterminista que ele percebe
atuando na interpretacao da teoria quantica, fundada sobre o princpio de
incerteza de Heisenberg9 . Por outro, declara-se herdeiro de Kant na medida
em que este soube formular o problema da demarcacao entre ciencia e me-
tafsica, e herdeiro de Hume, que demonstrou que a inducao e logicamente
injustificavel10 .
Em 1919, em uma Viena sacudida por sobressaltos polticos do pos-guerra,
Popper foi, de repente, iluminado: ele percebeu a diferenca fundamental entre
as teorias cientficas e as demais teorias. Por que no ano de 1919? Porque
em Viena, nesta epoca, discutia-se bastante as teorias psicanalticas e as
marxistas. Mas, sobretudo, em 29 de marco de 1919, espalhou-se a novidade
de que uma equipe de fsicos ingleses dirigidos por Eddington confirmou uma
previsao crucial da teoria da relatividade. Aplicada aos fotons componentes
dos raios da luz, a teoria gravitacional de Einstein predizia que os raios
sofreriam uma curvatura quando da passagem na vizinhanca de um corpo
com uma massa importante, devido a acao gravitacional do corpo sobre os
fotons. Durante um eclipse total do Sol, Eddington observou a curvatura dos
raios luminosos emitidos por uma estrela proxima ao Sol11 .
Popper fascina-se pela diferenca da audacia entre Einstein e os defenso-
res do marxismo e da psicanalise: o gosto do risco cuidadosamente calcu-
lado do primeiro e a prudencia confortavel dos segundos. Ele, alias, estava
9
K. R. Popper, 1934, trad. ingl., 1959; trad. fr. 1973, cap. IX.
10
K. R. Popper, 1972, p. 4.
11
K. R. Popper, 1963, p. 33-39; K. R. Popper, 1976, p. 31-44.
3.1 A inducao e o reducionismo 95
14
R. Carnap, 1936-1937; C. G. Hempel, 1958; C. G. Hempel, in P. A. Schilpp, ed., 1963.
15
C. G. Hempel, 1950 e 1951, trad. fran. P. Jacob, 1980.
98 O Empirismo Logico
17
K. R. Popper, in P. A. Schilpp, ed., 1963, p. 207-209.
18
R. Carnap, in P. A. Schilpp, ed., 1963, p. 879-880.
19
R. Carnap, 1932a, trad. ingl. A. Pap, in A. J. Ayer, ed. 1959, p. 66-67.
100 O Empirismo Logico
que Goethe, na sua polemica com Newton como tambem outros positivis-
tas parecia ter na cabeca. Mas e verdadeiro - e e um fato emprico, nao
uma necessidade logica - que nao e possvel ter um sistema de leis ao mesmo
tempo forte e eficaz21 .
Mas este era o objetivo formulado por Bridgman em A Logica da Ciencia
Moderna, no qual defende que um conceito so faz parte de uma teoria fsica
quando for sinonimo de um conjunto correspondente de operacoes22 . Mas
esta formulacao levanta mais problemas do que resolve: se a um conceito
teorico como massa, carga eletrica ou campo magnetico, associam-
se varios procedimentos ou manipulacoes experimentais, qual o caminho a
seguir? Deve-se afirmar que as mesmas expressoes lingusticas designam
tantos conceitos diferentes quanto procedimentos experimentais diferentes?
Postular-se-ia a existencia de um superconceito escondendo todos os con-
ceitos particulares definidos por procedimentos experimentais diferentes e,
no entanto, desprovido de definicao operacional?
Os trabalhos de Carnap em Testabilidade e Significacao publicados em
1936-1937, colocam um ponto final no programa operacionalista. Como dira
Hempel, resumindo o enterro do operacionalismo23 , o que nenhuma definicao
operacional pode exprimir e o fato de que massas, temperaturas, cargas e ou-
tras propriedades atribudas aos corpos fsicos sub-existem - mesmo quando
estas grandezas nao sao medidas. Dito de outra maneira, a exigencia de si-
nonmia entre o sentido de um conceito fsico e um conjunto de manipulacao
experimental e negada pelo fato de que as propriedades que compoem o
conceito em questao nao sao simplesmente manifestas mas potenciais.
Neste sentido, acreditar na verdade de uma lei cientfica e acreditar na ver-
dade de um enunciado condicional contrafactual correspondente: acreditar
na verdade da gravitacao universal e acreditar que, se minha maquina nao
fosse sustentada por uma mesa, ela cairia no chao. Este e, em todo caso, um
postulado de base de toda a fsica colocado em questao pela teoria quantica
acerca dos constituintes do atomo.
Testabilidade e significacao e uma obra de transicao por tres razoes: e a
refutacao de toda esperanca operacionalista e, correlativamente, o fisicalismo
e protegido do fenomenalismo; e o primeiro artigo de Carnap redigido em
ingles na epoca de sua emigracao de Praga para Chicago; e finalmente o
autor exprime, neste livro, sua preferencia pela etiqueta empirismo logico
mais do que positivismo logico. Na sua conclusao, Carnap examina a
escolha entre quatro criterios de admissao dos termos teoricos no interior de
21
R. Carnap, 1932a.
22
Bridgman, 1928.
23
Hempel 1954.
3.3 A crtica ao operacionalismo 103
uma linguagem empirista: (do mais rgido para o mais flexvel), o requisito
da testabilidade completa, o requisito da confirmacao completa, o requisito
da testabilidade parcial, o requisito da confirmacao parcial. Ele escolheu o
ultimo, o mais liberal.
Rigorosamente formulado, o operacionalismo pretendeu que os termos
pertencentes ao vocabulario teorico (VT ) pudessem receber uma definicao
explcita formulada, estritamente, nos termos que pertenceu ao vocabulario
observacional (VO ). Se se pode demonstrar que os termos ditos disposicio-
nais nao podem ser definidos por termos pertencentes a VO , entao e possvel
concluir que, a fortioni, os termos de VT tambem nao podem. Os termos dis-
posicionais sao aqueles que estao na periferia mais observavel do vocabulario
teorico: eles sao frutos de uma propensao ou disposicao como soluvel,
fragil ou maleavel.
Para que um termo Q receba uma definicao explcita e preciso que ele
ocupe o lugar do definiendum numa formula do tipo (D)
Esta definicao quer dizer que: um corpo e soluvel se, e somente se, quando
colocado na agua no instante t, funde-se no instante t. Pelas propriedades
logicas do bicondicional, o definiendum e naturalmente definido quando o
definiens e verdadeiro e, pelas propriedades logicas do condicional, este e
verdadeiro se o antecedente (a expressao a esquerda do ) e falso, qual-
quer que seja o valor de verdade do consequente (a expressao a direita do
). Em consequencia, o condicional sera verdadeiro em todos os casos em
que a expressao E(x, t) nao for verificada. Dito de outra forma, o termo
soluvel (ou a expressao S(x)) sera definida cada vez que um corpo nao
104 O Empirismo Logico
for colocado na agua: ele sera portanto aplicavel aos corpos que nunca serao
submetidos ao teste experimental crucial que determinaria a solubilidade.
Este argumento prova que o termo disposicional soluvel nao pode receber
a definicao explcita formulada estritamente nos termos de VO , se se admitisse
naturalmente que uma tal definicao deve obedecer as regras de quantificacao
logica.
Mais do que revisar a logica, Carnap propoe abandonar o operacionalismo
e substituir as definicoes explcitas de termos disposicionais em termos de
VO por uma ligacao mais leve, os enunciados ditos de reducao bilateral.
Suponhamos que se deseja introduzir um predicado mais ou menos teorico,
Q3 na nossa linguagem atraves de enunciados de reducao especificando
cada uma condicao experimental a que obedece Q3 .
[R1 ] Q1 (Q2 Q3 )
[R2 ] Q4 (Q5 Q3 )
Para que [R1 ] seja um enunciado de reducao para Q3 , e preciso que
(Q1 Q2 ) nao seja verdadeiro. [R1 ] e [R2 ] podem ser respectivamente
reescritos:
(Q1 Q2 ) Q3 e
Q3 (Q4 Q5 ).
Sob esta forma, percebe-se que o par [R1 ] [R2 ] permite introduzir Q3
na nossa linguagem, na condicao que ((Q1 Q2 ) (Q4 Q5 )) nao seja
verdadeiro. Segue-se que nem Q3 nem Q3 seriam determinados por
[R1 ] e [R2 ].
Agora suponha o caso particular no qual Q1 e Q4 e tambem Q2 e
Q5 sao equivalentes, respectivamente e, por consequencia, intercambiaveis.
Pode-se entao eliminar Q4 e Q5 em [R2 ] e reescrever [R1 ] e [R2 ] sob a
forma de uma conjuncao,
[Q1 (Q2 Q3 )] [Q1 (Q2 Q3 )]
cujo valor de verdade e o mesmo de
Q1 (Q3 Q2 ).
E este ultimo enunciado que Carnap denomina um enunciado de reducao
bilateral. Substituamos Q1 , Q2 , Q3 respectivamente por nossos predi-
cados iniciais que E e F e S. Na condicao de excluir que (x)(Q1 (x))
pudesse ser verdadeiro, ou que e a mesma coisa, que (x)(t)(E(x, t))
fosse verdadeira, pode-se introduzir soluvel na nossa linguagem por meio
de reducao bilateral assim
3.4 O empirismo, o convencionalismo e a teoria da relatividade restrita 105
G P 0 Q 0 A 0 C 0
B
E P Q A C
Figura 1
30
Cf. R. Carnap, 1956, p.46-47; C. G. Hempel, 1958; E. Nagel, 1961, p. 90-105.
31
R. Carnap, 1939, p. 61-65; R. Carnap, in P. A. Schilpp, ed., 1963, p. 78-79; H. Feigl,
1970, p. 5-6.
3.5 O dilema do teorico 113
O 1 T C O2
T C (O1 O2 )
O 1 O2
O1
Entao, O2
(3) (x)(P x T x)
(4) (x)(P x V x)
(7) (x)(Ix F x)
Por modus ponens, a premissa que falta so pode ser R T C T C que exprime
a totalidade dos enunciados analticos da teoria38 .
E surpreendente que Carnap tenha levado esse artifcio a serio. Que o
enunciado de Ramsey ofereca a formalizacao possvel da distincao entre a
classe dos enunciados analticos e a classe dos enunciados sinteticos de uma
teoria e uma coisa. Mas, independentemente do metodo de Ramsey, o que
se entende pela distincao, nao e o formalismo que o explicara.
37
R. Carnap, 1966, trad. fr. J.-M. Luccioni e A. Soulez, 1973, p.246.
38
Ibidem, p. 257-265.
118 O Empirismo Logico
Captulo 4
4
T. Adorno, 1968, passim, sobretudo p. 368-369.
5
Cf. B. Kuklick, 1977.
6
W. V. O. Quine, 1976, p. 42.
Como fazer a barba de Platao com a navalha de Occam 121
pado por Cambridge, antes de 1914, e por Viena, entre as duas guerras. Com
duas diferencas: de um lado, as duas grandes universidades britanicas per-
manecem lugar de eleicao da filosofia analtica: gracas a presenca de Moore
e Wittgenstein em Cambridge, durante os anos 1940 e gracas a atividade dos
analistas da linguagem ordinaria em Oxford, no decenio seguinte. Porem,
a diferenca dos empiristas logicos e seus herdeiros americanos, os analistas
ingleses do pos-guerra negligenciaram a ciencia. De outro lado, a vida inte-
lectual dos Estados Unidos nao esta exclusivamente concentrada na estreita
banda costeira do Nordeste, entre Boston e Nova York; ela esta disseminada
nas Universidades do Meio-Oeste e da Costa Oeste. Entretanto, apesar des-
tas restricoes, Cambridge, Mass., tera um lugar proeminente. Sem duvida, a
antiguidade (relativa aos Estados Unidos) das tradicoes da Nova Inglaterra,
o vigor de seu puritanismo, o rigor de seu clima, a proximidade eletrizante de
Nova York, seu cosmopolitismo, conferem a regiao de Boston uma vitalidade
incomparavel.
Em torno de Harvard, onde ensina doravante Quine, elabora-se uma
versao do empirismo que Carnap nunca deixara de julgar indefensavel, ou
no limite, ininteligvel11 . Esta versao, que constroem Quine e Goodman, em
colaboracao com Norton White, traa, na opiniao de Carnap, um princpio
fundamental legado pelo Tratactus de Wittgenstein: a divisao entre assercoes
relacionadas ao mundo e assercoes relacionadas a linguagem.
17
Cf. W. V. O. Quine, 1953 e W. V. O. Quine, 1951, in W. V. O. Quine, 1976, p.
203-211.
4.3 A reabilitacao da ontologia e o novo ordenamento da linguagem 127
23
Eu partilho a opiniao expressa por B. Russell, 1959, p. 238-245; W. V. O. Quine,
1976, p. 137-57 e M. Dummett, 1978, p. IX-LI e 24-38.
24
Cf. as analises de J. C. Pariente, 1969, p. 129-44 e S. Y. Kuroda, 1979, p. 201-208.
132 O Empirismo Logico
(x)(y)(xRy)
Recorde-se das duas dificuldades postas pelo belo edifcio construdo por
Frege (Cf. captulo I, secao 4): todo signo de objeto e todo signo de conceito,
quando tem, respectivamente, um objeto ou um conceito por referencia, tem
um sentido, que e uma entidade platonica, que nao se confunde nem com
sua referencia, nem com o estado mental do locutor. Logo, o sentido nao
pode ser o que Frege chama um conceito; assim, o sentido de um signo de
conceito seria confundido com sua referencia; e, tambem, os signos de objeto
seriam dotados de sentido. E, portanto, difcil saber quais entidades sao os
sentidos ou os pensamentos (que nao sao representacoes mentais) e dispor
de criterio de sua individuacao: como diferenciar um pensamento de outro?
Admitindo-se que o sentido da palavra three seja o mesmo que o da palavra
tres, qual seria o das palavras cheese e queijo?
Em segundo lugar, numa sentenca na qual os signos nao tem sua referencia
ordinaria tem por referencia oblqua seu sentido comum. O que torna, neste
caso, o sentido oblquo de um signo, tendo por seu sentido ordinario uma
referencia oblqua? A questao se poe claramente quando se introduz uma
134 O Empirismo Logico
sentenca cujos signos tem seu referente ordinario num contexto em que os
signos perdem sua referencia ordinaria e lhes confere, por referencia, seu
sentido comum:
(4) e falsa e seus constituintes tem sua referencia ordinaria. (5) e verda-
deira e seus constituintes, no interior da sentenca, perderam sua referencia
ordinaria.
Adotando o princpio da extensionalidade, Quine se desembaraca das di-
ficuldades encontradas por Frege. Segundo tal princpio, deve-se distinguir
entre linguagens extensionais e linguagens intensionais. Nos enunciados que
compoem as primeiras, as variaveis ligadas estao em posicao diretamente
referencial, mas nao nos enunciados que compoem as segundas. Uma lingua-
gem extensional e uma linguagem segura, pois da lugar a generalizacao
existencial. Suponhamos que (6) seja verdadeira:
De (6), pode-se inferir que existem espioes. Porem, suponhamos que (7)
seja verdadeira:
De (7) nao se pode inferir que existem espioes. (6) pertence a uma lin-
guagem extensional e (7) a uma linguagem intensional.
Nos anos 194026 , Quine propos um teste que permite determinar se uma
linguagem e extensional ou intensional, se as variaveis ligadas de um enun-
ciado estao em posicao diretamente referencial ou se estao referencialmente
opacas, quer dizer, se um enunciado se presta normalmente a generalizacao
existencial ou nao. Este teste e a substituicao salva veritate de uma expressao
no constituinte de uma sentenca verdadeira que lhe fosse co-extensiva ou co-
referencial: se, numa sentenca verdadeira pode-se trocar um constituinte por
uma expressao co-referencial, ou co-extensiva, sem afetar o valor de verdade
da sentenca, entao a sentenca e referencialmente transparente. De outro
modo, ela e referencialmente opaca. Se for referencialmente opaca, pertence
a linguagem intensional. Se for este o caso, entao ela nao permite a genera-
lizacao existencial e a logica quantificacional fica em perigo.
Suponhamos que (8) e (9) sejam verdadeiras:
26
W. V. O. Quine, 1943, in L. Linsky, ed., 1952; Quine, 1953; L. Linsky, ed. 1971.
4.4 A opacidade referencial e a analiticidade 135
Pode-se perceber que sao ambguos: (13) diz que Ernesto caca um leao
especfico ou que esta a caca de um leao. Na primeira interpretacao, pode-se
inferir de (13) que existe um leao. Porem, na segunda interpretacao, (13) e
verdadeira, mesmo se a floresta em que caca Ernesto nao tenha leoes.
Representemos cada interpretacao pelas duas formas logicas seguintes:
Para explicar porque (16) e verdadeira, diz-se que todo indivduo veri-
ficando o predicado ser solteiro verifica tambem o predicado ser nao ca-
sado. Os dois termos sao co-extensivos. Porem, esta verdade pode ser um
simples acidente. (16) poderia ser falsa? Existem circunstancias nas quais
seria plausvel afirmar a negacao de (16), por exemplo (17)?
(17) Eu encontrei um solteiro cuja esposa era charmosa.
Se nao se recorre a expedientes pragmaticos que consistiriam em tomar
esta sentenca semanticamente aceitavel em funcao de um contexto ad hoc,
entendendo (17) normalmente um ouvinte do frances ficaria tentado a con-
siderar, senao como uma contradicao pura e simples, ao menos como uma
sentenca equvoca.
Um defensor da nocao de analiticidade tiraria partido destes fatos seman-
ticos para afirmar que nao sao suficientes explicar a verdade de (16) - o que
se pode fazer evocando o fato de que as duas expressoes sao co-extensivas
e se aplicam aos mesmos indivduos. Ele afirmaria que (16) e nao apenas
verdadeira, mas analtica. Como explicaria o fato de (16) ser analtica?
Pode-se imaginar duas estrategias: a primeira consiste em dizer que (16)
e analtica porque e necessariamente verdadeira; a segunda consiste em dizer
que (16) e analtica porque fixa a significacao da palavra solteiro. Quine
examina alternativamente estas duas estrategias.
Dizer que (16) e uma verdade necessaria ou que (16) fixa a significacao da
palavra solteiro e dizer que solteiro e pessoa nao casada sao sinonimos.
E dizer que estas expressoes sao sinonimas e mais do que dizer que sao co-
extensivas. Para um defensor do platonismo como Frege, seria possvel ex-
plicar as duas expressoes evocando um princpio de identidade do sentido
das expressoes lingusticas. Poder-se-ia dizer, por analogia com o caso das
criaturas que possuem coracao e das criaturas que possuem rins, que
nao somente solteiro e pessoa nao casada designam uma unica e mesma
classe, e mais, que tem o mesmo sentido: no lugar de exprimir dois atribu-
tos, elas exprimem apenas um. Para Quine, esta explicacao e inadmissvel:
repousa sobre um erro semantico e seu custo ontologico e exorbitante. En-
contrar uma explicacao a analiticidade de (16) e, portanto, explicar a im-
putacao de sinonmia as expressoes descritivas (extralogicas) que compoem
(16). Examinamos, portanto, as duas explicacoes possveis.
Dizer que (16) e uma verdade necessaria, e afirmar (18):
(18) Todos os solteiros sao necessariamente pessoas nao casadas.
O que se ganha quando se explica o enunciado (16) e analtico afirmando
a verdade de (18)? Pode-se crer que (18) se infere naturalmente de uma
verdade logica, como (19):
138 O Empirismo Logico
Quine afirma que (22) e pura e simplesmente falsa28 . Outros, como Arthur
Smullyan, afirmam que quando se trata a descricao definida o numero de
planetas do sistema solar em (22) pelo metodo de Russell, (22) e ambgua:
se o operador de modalidade tem um alcance superior ao dos quantificadores
resultantes da eliminacao da expressao descritiva, entao o enunciado e ab-
surdo. Se os quantificadores tem um alcance maior, entao (22) e verdadeira29 .
Entretanto, como o fez notar Quine, suponhamos que se obtem, gracas ao
metodo de Russell, a segunda interpretacao de (22), entao isto da sentido a
nocao de que uma expressao pode designar uma entidade que possui necessa-
riamente uma propriedade, enquanto a mesma entidade designada por uma
outra expressao nao possuiria necessariamente esta propriedade: o numero 7
designado pela expressao numerica 7 possuiria necessariamente a propri-
edade de ser inferior a 9; mas o mesmo numero, designado pela expressao
o numero de planetas do sistema solar, nao teria mais esta propriedade
necessaria.
28
W. V. O. Quine, 1953, p. 143-49.
29
A. Smullyan, 1948, in L. Linsky, ed., 1971.
4.5 Quine e a doutrina lingustica das verdades logicas 139
(II)
(28) Um solteiro e uma pessoa nao casada.
(29) Uma lebre e um coelho nao domestico.
(30) Se Socrates e homem, entao Socrates e mortal.
Toda a tradicao, a incluindo Wittgenstein e Carnap, amalgamou as duas
classes sob a etiqueta de analtico. Obscurecidos pela diferenca entre enun-
ciados necessarios e enunciados contingentes, aqueles que sao verdadeiros a
priori e aqueles que sao verdadeiros a posteriori, aqueles que sao analticos
e aqueles que sao sinteticos, a tradicao escamoteou o problema da reducao
30
W. V. O. Quine, 1936 e W. V. O. Quine, in P. A. Schilpp, ed. 1963, p. 387.
31
R. Carnap, 1952.
4.5 Quine e a doutrina lingustica das verdades logicas 141
dos enunciados da classe (II) aqueles da classe (I). Ora, como ja se viu, esta
reducao e extremamente problematica, enquanto nao se dispor de um criterio
de sinonmia entre expressoes descritivas. E tal criterio nao nos e fornecido
pelo recurso a assercao de que os enunciados da classe (II) sao necessarios.
Supondo-se que se conhece o uso das palavras logicas e que se compreende
cada enunciado da classe (I), entao cada enunciado da classe (II) e a definicao
de uma palavra descritiva (solteiro, lebre ou homem).
Porem, ao adotar a ideia de que, gracas a uma compreensao previa dos
enunciados da classe (I), os enunciados da classe (II) sao definicoes de pala-
vras descritivas, nao se teria dado a estes enunciados o estatuto privilegiado
procurado. Pois, se uma definicao garante a equivalencia extensional, de
forma alguma garante a sinonmia entre o definiendum e o definiens, a me-
nos que esta propria definicao nao seja uma verdade necessaria.
Curiosamente, a menos que um defensor da ideia tradicional de analiti-
cidade nao invoque a nocao de convencao para distinguir as assercoes nao
analticas, estas exprimiriam uma simples equivalencia extensional, e as as-
sercoes analticas exprimiriam uma relacao de sinonmia. E bem a isto que
Carnap e Wittgenstein parecem se referir quando dizem que um enunciado
analtico nao diz nada sobre a realidade mas fixa a significacao de palavras.
Se uma convencao, como aquelas que formam as definicoes de um di-
cionario, detem um privilegio epistemologico comparavel aquele que e tradi-
cionalmente atribudo as verdades analticas (certeza e necessidade), entao o
convencionalismo deveria explicar o estatuto particular das verdades logicas.
O convencionalismo diz: as verdades logicas sao verdadeiras por convencao.
Porem, por convencao, pode-se apenas definir um numero finito de verda-
des logicas. Mas a ideia de convencao implcita e misteriosa. Como existe
um numero infinito de verdades logicas, pode-se produzir todas a partir de
convencoes apenas se se juntar a estas convencoes a logica, permitindo-se
derivar das convencoes todas as verdades nao definidas por convencao. Dito
de outra forma, o convencionalismo ou a doutrina lingustica das verdades
logicas pretende derivar as verdades logicas de convencoes e da logica32 !
Como notou Quine33 , o que esta errado no convencionalismo e na ideia de
que existem verdades analticas logicas ou matematicas, e a ideia de que al-
gumas verdades individuais sao verdadeiras devido a uma decisao arbitraria
e que guardam esta propriedade exclusiva uma vez por todas. Consideremos
as verdades as quais o convencionalismo deveria se aplicar: as verdades da
geometria euclidiana. Estas verdades descrevem fatos do espaco tridimen-
sional. A totalidade da geometria euclidiana depende parcialmente de fatos
32
W. V. O. Quine, 1936 e W. V. O. Quine, in P. A. Schilpp, ed. 1963, p. 384-406.
33
Ibidem, p. 391-397.
142 O Empirismo Logico
Nada mostra melhor a que ponto este debate tornou-se um dialogo de sur-
dos que a resposta de Carnap a contribuicao de Quine ao volume destinado
a celebrar a importancia da obra de Carnap36 . Para Quine, as verdades da
logica elementar sao evidentes: isto quer dizer, como para Moore cinquenta
anos mais cedo, que um locutor frances daria seu assentimento a uma pro-
posicao e verdadeira ou falsa cada vez que se lhe perguntasse. Isto nao quer
dizer que o princpio do terceiro-excludo e uma convencao lingustica ou
uma definicao da palavra proposicao(para nao se recair nas dificuldades
sublinhadas por Moore). Isto quer dizer que um locutor do frances reagi-
ria diante da questao Uma proposicao deve ser verdadeira ou falsa? como
diante da questao Chove? quando chove: nestes dois casos, a resposta e
evidente para ele. Mesmo que o princpio do terceiro-excludo esteja mais
afastado da periferia observacional do esquema conceitual que a resposta a
questao Chove?, e, portanto, mais difcil de verificar (ou falsificar), o
locutor acredita na verdade do princpio do terceiro-excludo em parte por
causa da contribuicao deste princpio para sua descricao geral da realidade
(aquela do senso comum e aquela da ciencia).
Carnap pode admitir apenas que Quine qualifique uma verdade logica
de evidente se, por evidente entende o rotulo aplicavel a um enunciado
sintetico trivial: a evidencia emprica que acompanha a assercao de Eu te-
nho cinco dedos na mao direita seria, para Carnap, confundir a evidencia
puramente intelectual que acompanha a assercao Se nao existe homem vir-
tuoso em Sodoma, entao todos os homens de Sodoma nao sao virtuosos.
Se, para Carnap, e absurdo confundir os dois tipos de evidencia, para
Quine o que e absurdo e crer, conforme a doutrina lingustica das verdades
logicas, que as sentencas seguintes devem sua verdade exclusivamente as
regras da linguagem e da logica e que elas nao revelam nada sobre a realidade:
Nao ha mais razao em pretender que (31) e uma regra, fixando o uso das
palavras vermelho e verde, que uma descricao de fatos nao lingusticos;
nem que (32) fixa o uso da palavra cor mais que descreve um fenomeno
fsico ou fisiologico; nem, enfim, que (33) fixa o uso de objeto material
mais que descreve a ontologia do senso comum. As regras da linguagem e
os fatos nao lingusticos contribuem conjuntamente para tornar verdadeiro o
36
R. Carnap, in P. A. Schilpp, ed., 1963, p. 916-917.
144 O Empirismo Logico
A naturalizacao do empirismo
e absurda).
Quine incumbe-se de duas tarefas: mostrar que seu ceticismo sobre as
explicacoes disponveis do conceito de analiticidade justifica sua recusa em
acreditar na existencia de verdades determinadas, conhecveis a priori e ne-
cessarias; e elaborar uma alternativa empirista, de acordo com a sua rejeicao
da analiticidade.
quais circunstancias elas seriam falsas. Nao sao as leis logicas convencionais,
fixando, sem relacao com a realidade, as regras do jogo da ciencia, inde-
pendentes das crencas que temos sobre a realidade. Nos temos, atraves das
ciencias empricas (da fsica a geografia), certas crencas sobre a realidade,
em parte por que aderimos a logica classica e, em parte por que procuramos
nossa descricao da realidade de acordo com as nossas percepcoes. Se os mar-
cianos, por exemplo, nao aderem espontaneamente, como nos, as leis logicas
classicas, sua descricao do universo sera, possivelmente, um tanto diferente
da nossa.
Mas, como saber se as leis logicas classicas sao verdadeiras a priori, se
exprimem verdades necessarias e se, consequentemente, e natural que seu
conhecimento nos pareca perfeitamente certo? Uma coisa e ter, como Quine,
demolido a doutrina lingustica das verdades logicas: isto prova que esta
doutrina nao tem as virtudes explicativas que Wittgenstein e Carnap lhe
atribuam. Mas outra coisa e provar que nenhuma verdade e analtica, ne-
cessaria, certa e a priori, em uma palavra: irrevogavel.
No dia em que a ciencia total livrar-se da logica classica, nos saberemos
que as verdades logicas classicas nao eram nem analticas, nem necessarias,
nem certas, nem a priori. Enquanto esperamos, sera possvel dar um argu-
mento que refute a imputacao de analiticidade as verdades logicas? Sempre
e possvel discutir a priori a plausibilidade da revisao das leis logicas.
Quine afirma com justa razao que pelo menos cinco verdades, na historia
das ciencias, estiveram na condicao de gozar do estatuto de verdade analtica
e depois foram revogadas. Antes de Copernico, o geocentrismo era uma ver-
dade analtica. Antes de Kepler, o movimento circular dos planetas era outro.
Antes de Einstein, a crenca na existencia de eventos simultaneos muito distn-
tes, independente de todo o sistema de referencia, tambem o era, segundo
a caracterstica euclidiana do espaco fsico. Antes de Darwin, a fixidez das
especies constitui o ultimo exemplo. Quine cita, entao, o fato de que o
abandono do terceiro excludo tem sido proposto como uma consequencia da
mecanica quantica: E qual diferenca existe, em princpio, entre tal mudanca
e a mudanca segundo a qual Kepler substituiu Ptolomeu, Einstein a Newton,
ou a Darwin a Aristoteles?11 .
A invocacao das revolucoes intelectuais certamente permite colocar a
questao em pauta, mas permite-lhe responder? Podemos por inducao, a
partir da mudanca na geometria, na cosmologia, ou na biologia, presumir
(para nao falar predizer) uma mudanca eventual na logica? Nao e justa-
mente cometer uma peticao de princpio o fato de postular uma analogia
entre a historia da geometria, a historia da fsica ou de biologia e o destino
11
W. V. O. Quine, 1953, p. 43.
156 O Empirismo Logico
No final da conversacao (A), um dos protagonistas conclui que ele nao acre-
dita em seu interlocutor. No final de (B), ele conclui que ele nao o compre-
ende.
Na sua resposta a crtica feita por Quine a doutrina lingustica das verda-
des logicas14 , Carnap faz exatamente a mesma distincao que Grice e Straw-
son. Ele imagina dois linguistas em desacordo sobre a questao de saber se a
sentenca seguinte exprime um enunciado analtico.
contradicao: este princpio pode se revelar falso; mas, sua negacao podera se
revelar falso ulteriormente, e assim por diante.
Em 1962, e depois em 1978, Hilary Putnam, que comunga com Quine a ir-
ritacao diante dos abusos da distincao entre enunciados analticos e sinteticos,
encarregou-se de complicar ainda mais o quadro, defendendo a existencia de
uma classe inofensiva de enunciados analticos. Segundo ele15 , as leis fun-
damentais da fsica nao sao nem irrevogaveis, nem refutaveis por uma ex-
periencia isolada. Elas nao se enquadram bem em uma divisao exaustiva
entre enunciados analticos (verdadeiros por convencao) e sinteticos (verda-
deiros ou falsos, segundo o veredicto da experiencia). A chegada da relati-
vidade, por exemplo, modificou a quantidade fsica associada ao conceito de
energia cinetica. Mas a mudanca nao representa uma simples mudanca de
definicao: o termo era, antes da vinda da relatividade, associado a uma
certa famlia de leis; e e, apos a vinda da relatividade, associado a uma
famlia diferente.
Para Putnam, desde que um termo se encontra preso a uma famlia de
leis (o que e o caso para todos os conceitos da fsica), nenhum dos enunciados
nos quais ele figura e analtico. Em troca, o termo solteiro que figura no
exemplo (16) da secao 4, do captulo IV, parece, a primeira vista, desprovido
de ligacoes sistematicas com qualquer famlia de leis. Podemos predizer que
continuara sempre neste estado? E isto que propoe Putnam.
Se a classe de solteiros e um puro artefato jurdico, parece racional falar
que o termo celibatario nunca fara parte de uma teoria cientfica. Se esta
classe nao forma uma especie natural, entao se pode, sem correr o risco de
se enganar, predizer que nenhuma lei cientfica nao lhe sera aplicada. Mas,
como saber?
Sem ter provas conclusivas, podemos simplesmente utilizar nossos conhe-
cimentos disponveis. Eles nos dao razoes para dizer que, excetuando o fato
de adotarmos uma nova definicao da palavra solteiro, nos nao encontra-
mos nenhum fato experimental que nos conduza a mudar de opiniao sobre
o valor de verdade de (16).
Nestas circunstancias, podemos qualificar (16) de analtica sem re-
morso, isto e, tratar (16) como ponto inamovvel de nossa linguagem. Mas a
afirmacao de que (16) e analtica torna-se uma afirmacao refutavel. Ela sera
refutada se descobrirmos que uma lei cientfica se aplica a todos os solteiros
e somente a ele: se, por exemplo,fosse verificado que sofrem de uma neurose
de frustracao sexual propria. Predizer que (16) e analtica e, portanto, fazer
uma aposta sobre o futuro da ciencia: esta aposta pode ser, por sua vez,
racionale revisvel.
15
H. Putnam, 1962b.
160 O Empirismo Logico
Alias, sua resposta parece compatvel com o ponto de vista de Quine. Por
mais que este tenha sugerido que todo enunciado pode ser revisto, ele sus-
tentou tambem que a revogabilidade das leis logicas e dos enunciados ob-
servacionais mais proximos da periferia de um sistema conceitual seria uma
operacao mentalmente improvavel17 . O conservadorismo nos impede de re-
avaliar um enunciado observacional periferico, quando estamos acometidos,
por exemplo, por uma alucinacao. Portanto, a revisao de um enunciado
observacional sem ser uma impossibilidade logica, torna-se um tanto menos
plausvel quando se adere ao princpio do empirismo.
Uma vez que se queira a revisao das leis logicas, somos, segundo Quine,
atrados por duas forcas contrarias18 : o conservadorismo e o desejo de sim-
plificar o esquema conceitual. O conservadorismo nos impede de revisar as
leis logicas, pois elas ocupam o centro de nosso esquema conceitual. Mas,
justamente por que as leis logicas ocupam esta posicao central, sua revisao
poderia bem representar a simplificacao mais radical de nosso sistema con-
ceitual global.
Ora, e este conservadorismo que, aos olhos de Quine, tornou tao sedutora
a doutrina lingustica das verdades logicas. E devido ao fato das verdades da
logica classica serem tao centrais que nos julgamos os meritos de uma logica
nao classica (como o intuicionismo, que pretende livrar-se do princpio do
terceiro excludo) por referencia a logica classica. E pela mesma razao que se
um antropologo estudando uma cultura totalmente estranha traduzisse
uma assercao indgena como p ka bu p (na qual p representa uma sentenca
qualquer) por p e nao-p, faria melhor se revisse a sua traducao de ka e
de bu por e e nao; tal revisao seria melhor que qualquer justificativa
que invocasse a famosa doutrina de Levi-Bruhl, segundo a qual certos po-
vos sao pre-logicos: a pre-logicidade e um conceito introduzido por maus
tradutores19 . Dito de outra forma, e razoavel seguir uma estrategia conser-
vadora em antropologia. O erro da doutrina lingustica das verdades logicas
e acreditar que estas sao verdadeiras por convencao. Mas este erro provem
do fato de que para nos e difcil pensar sem elas.
O que, segundo Putnam, torna-se nao-concebvel o estado de realidade
correspondente a negacao do princpio minimal da nao-contradicao qualitati-
vamente diferente de ser inconcebvel a realidade fsica correspondente a uma
geometria nao euclidiana, antes do advento da realidade e o seguinte fato.
Os fsicos que tem racionalmente comparado os meritos da relatividade
geral e da teoria newtoniana da gravitacao poderiam examinar calmamente
17
W. V. O. Quine, 1970a, p. 4-5.
18
W. V. O. Quine, 1950, p. 2-5.
19
W. V. O. Quine, in P. A. Schilpp, ed., 1963, p. 387; cf. tambem Quine, 1970c, trad.
fran. J. Largeault, 1975, cap. 6 e 7 e Quine, 1960, 13, p. 58-60.
162 O Empirismo Logico
(3) I am hungry.
Jai faim.
notacao logica, quais entidades devem constituir o domnio dos valores das
variaveis ligadas das sentencas reunidas.
Assim como ele ensaiou verificar sua traducao da expressao Gavagai
procurando o estmulo-significacao, ele desejara simplesmente achar na sua
lngua uma sentenca que lhe seja estmulo-sinonimo. De maneira geral, ele
procurara estabelecer as correlacoes de estmulo-sinonimo entre cada sentenca
indgena e uma sentenca de sua lngua. Agora, ele procura as correlacoes de
sinonmia entre os termos constitutivos das sentencas indgenas e os termos
constitutivos das sentencas de sua lngua. E, para sua grande surpresa, per-
cebera, acreditando-se em Quine, que o estmulo-significacao das sentencas
nao lhe serve para nada.
Com todas as incertezas mencionadas, ele decidiu traduzir Gavagai por
coelho. Agora, ele desejaria saber se Gavagai quer dizer Olha, um coe-
lho, ou Olha, tres coelhos, ou Olha, coelhos.... Ele desejaria saber quais
sao, na lngua indgena de seu informante, os sinais que exprimem quanti-
ficacao. Se a expressao Gavagai e uma sentenca, ela deve ter uma estrutura
sintatica. O antropologo deve, portanto, formular algumas hipoteses sobre
a estrutura sintatica da sentenca, objetivando, especialmente, determinar os
termos referenciais e os sinais de quantificacao. Ele devera perguntar ao seu
informante, enquanto mostra um coelho: Este e um e somente um Gava-
gai?
O antropologo descobre, para seu grande espanto, que cada vez que ele
aponta um coelho e registra uma aquiescencia da parte de seu informante,
ele verifica quatro hipoteses sobre a estrutura interna das sentencas: Olha,
um coelho; Olha, uma manifestacao de coelhice; Olha, partes nao desta-
cadas de um coelho; Olha, partes temporais de coelho. Para separar estas
hipoteses, ele deve confrontar, de cada vez, suas suposicoes sobre os sinais
gentlicos que representam um quantificador ou o sinal de igualdade com os
dados observaveis. Mas, segundo Quine, todos os dados observaveis contidos
no estmulo-significacao das sentencas ja foram utilizados para estabelecer
os estmulos-sinonmia entre as sentencas nao analisadas da lngua do an-
tropologo. Nao ha, portanto, mais dados observaveis suscetveis de testar as
hipoteses sobre a estrutura quantificacional interna das sentencas indgenas.
As hipoteses sobre a estrutura quantificacional das sentencas indgenas
vao, segundo Quine, alem das informacoes contidas no estmulo-significacao
de sentencas nao analisadas. Quine chama estas hipoteses de hipoteses
analticas. Elas sao, segundo ele, privadas de valor de verdade, pois elas
nao sao nem verificaveis, nem refutaveis somente pelos dados fornecidos pelo
comportamento lingustico observavel: os pares formados de sentencas e de
seus estmulos-significacao submetidos a aprovacao ou a desaprovacao dos
locutores.
170 O Empirismo Logico
de cor primitivo verul. Para defini-lo em frances, nos diramos que ele se
aplica a todas as coisas examinadas antes do instante t (por exemplo, o ano
2000) e verdes, e a todas aquelas nao examinadas antes de t e azuis. Mas,
para os locutores desta linguagem imaginaria, verul seria tao primitivo
quanto azul e verdepara nos. Para o locutor que empregaria verul
espontaneamente, azude seria um outro predicado de cor primitivo: sao
azudes todas as coisas examinadas antes de t e azuis, ou nao examinadas
antes de t e verdes.
Apos todas as observacoes efetuadas antes de t, as esmeraldas satisfa-
zem especialmente, o predicado verul e as safiras o predicado azude.
Perguntamos-nos qual cor atribuiremos, por inducao simples, a primeira es-
meralda a ser examinada apos t. Por inducao simples, como todas as esme-
raldas examinadas antes de t sao confirmadas verdes, nos fazemos a previsao
de que a primeira esmeralda a ser examinada apos t sera verde. Mas, um
locutor da linguagem que contem verul, considerara todas as observacoes
anteriores a t sobre as esmeraldas, o que lhe permite afirmar que toda esme-
ralda examinada antes de t e verul, pois ela e verde. Portanto, ele fara a
previsao de que a primeira esmeralda a ser examinada apos t sera verul.
Mas, uma esmeralda verule nao examinada antes de t e azul. Portanto,
ele fara a previsao de que a primeira esmeralda a ser examinada apos t sera
azul.
Para nos, verul nao faz parte dos predicados projetaveis: nao nos
imputamos naturalmente aos objetos nao examinados a propriedade de se-
rem veruis a partir do exame de objetos veruis. Alem do mais, nao
imputamos por inducao aos objetos nao examinados a propriedade de serem
examinados. Poderamos, entretanto, imaginar uma linguagem contendo o
predicado veruexaminado que se aplicaria a todos os objetos examinados
antes de t e verdes. Todas as esmeraldas examinadas antes de t sao veru-
examinadas. Por que nao fazemos a previsao de que a primeira esmeralda
a ser examinada apos o instante t sera veruexaminada? Por que, em nossa
linguagem, a propriedade de ser uma esmeralda antes de t e aquela de ser
uma esmeralda veruexaminada sao contraditorias.
Mas a incerteza indutiva, inerente a toda inferencia indutiva que trata
de um caso nao examinado, tira-nos qualquer garantia de que nossa previsao
estara mais de acordo com a realidade observada que a previsao do locutor
da linguagem qeu contem verul. Nos faremos a previsao de que a primeira
esmeralda observada apos o momento t sera verde. Ele fara a previsao de
que sera azul. Nada, logicamente, nos dara razao.
Como havia observado Donald Davidson23 , para nos, todas as esme-
23
D. Davidson, 1966 e D. Davidson, 1970. Cf. N. Goodnam, 1973, cap. IV e W. V. O.
174 O Empirismo Logico
Por exemplo4 :
razoavel.
Suponhamos, que foram lancadas 20 vezes uma moeda e que se observou
10 vezes cara e 10 vezes coroa. Toda hipotese sobre o conjunto infinito dos
lancamentos possveis da moeda inferidos das observacoes teria uma proba-
bilidade nula. Mas a previsao que a moeda sera cara, quando do proximo
lancamento, tera uma probabilidade igual a 1/2.
Para Popper, o valor real de uma hipotese cientfica nao pode nunca ser
medido pela probabilidade que lhe conferem os dados observaveis. Se, se-
gundo Popper, a probabilidade que os dados observaveis conferem a uma
hipotese fosse a medida adequada do valor da hipotese, entao a melhor
hipotese seria sempre aquela que mantem com os dados a relacao mais tau-
tologica. A melhor hipotese entre aquelas que foram ainda refutadas e, se-
gundo Popper, aquela que tem o maior risco em relacao aos dados aquela
que tem o conteudo informativo mais elevado, ou a classe de falsificado-
res potenciais mais ampla. Ora, segundo Popper, o valor informativo de
uma hipotese se mede, nao por sua probabilidade, mas pela sua improbabi-
lidade (o inverso da probabilidade) em relacao aos dados. O grau de corro-
boracao (Bewahrung), a corroborabilidade ou a testabilidade (Bewahrbarkeit
ou Prufbarkeit) de uma hipotese correspondente entao a improbabilidade
da hipotese em relacao aos conhecimentos disponveis, ponderados pela sua
resistencia efetiva aos testes.
O debate entre o papel atribudo por Carnap ao grau de confirmacao de
uma hipotese identificado a probabilidade que lhe conferem os dados ob-
servaveis e o papel atribudo por Popper ao grau de corroboracao de uma
hipotese identificada a seu valor informativo na elaboracao de uma teoria
da racionalidade cientfica e muito complexa para ser analisada aqui. Mas
um dos argumentos usados por Popper contra Carnap vale a pena menci-
onar. Popper nao se contenta em opor as vantagens da corroboracao e as
desvantagens do conceito carnapiano de confirmacao. Ele tenta ainda mais,
mostrar que o ponto de vista de Carnap e incoerente.
Consideremos um dado nao viciado, cujas 06 fases sao equiprovaveis13 .
Designamos por x a sentenca: Deve-se obter um seis; designamos por
y a negacao de x ; e designamos por z a sentenca: Deve-se obter um
numero par. As possibilidades de x, y e z, que sao independentes,
sao as seguintes:
(i) p(x, z) > p(x) p(y, z) < p(y) p(x, z) < p(y, 2).
(ii) quer dizer que, apesar do fato de que z corrobora x e nao y, a probabili-
dade condicional de y em relacao a z e superior a probabilidade condicional
de x em relacao a z.
Em seguida, Popper propoe ver o que ocorre com (ii) quando se identifica
o grau de confirmacao de x em relacao a z e o grau de confirmacao de y em
relacao a z e ao grau de confirmacao de y em relacao a z as probabilidades
respectivas de x e y em relacao a z (assim como propoe Carnap). Substitui-se
entao p(x, z) por C(x, z) e p(y, z) por C(y, z), e obtem-se (iii):
Popper pretende que (iii) e uma contradicao logica. E conclui que se (iii)
e valida, entao e a identificacao das probabilidades respectivas de x e y em
relacao a z ao seu grau de confirmacao respectivo que e responsavel pelo
absurdo de (iii).
Mas como lembra Carnap14 (iii) mostra simplesmente que o conceito pop-
periano de corroboracao e conceito carnapiano de confirmacao sao diferentes.
Este argumento nao mostra de forma alguma que a identificacao carnapiana
do grau de confirmacao a uma probabilidade e absurda ou incoerente. Em
compensacao, o que e verdadeiro, e que a insistencia de Carnap sobre o pa-
pel das probabilidades na logica indutiva e o papel do conteudo informativo
das hipoteses, e inconciliavel. Para um, ser racional consiste em escolher a
hipotese mais provavel. Para outro, ser racional e escolher a hipotese mais
arriscada e mais informativa.
14
R. Carnap. 1963 in P. A. Schilpp, ed. 1963 p. 998, nota 50.
186 O Empirismo Logico
uma lei e uma generalizacao acidental. Goodman sugeriu que uma lei, ao
contrario de uma generalizacao acidental, confere um suporte indutivo a um
enunciado hipotetico irreal (ou contrario aos fatos). A lei de expansao do gas
permite afirmar: Se o oxigenio contido neste cilindro for aquecido com uma
pressao constante, o gas se dilatara. Mas Todas as macas vermelhas deste
celeiro nao permite acreditar que Se a maca que caiu da macieira viesse
a estar dentro deste celeiro ela seria vermelha e verdadeira. A explicacao
do conceito de lei depende talvez da nocao de enunciado contrario aos fatos.
Mas como ilustra um exemplo devido a Quine, a logica destes nao e simples:
a partir da Bizet e Verdi foram compatriotas se poder-se-ia inferir Bizet
era italiano bem como que Verdi era frances16 .
Em segundo lugar determinados autores mostraram que as condicoes for-
muladas por Hempel e Oppenheim nao sao necessarias. Nas ciencias da vida,
em particular na teoria da evolucao, determinadas explicacoes respeitaveis
nao tem valor de uma previsao. E a fortiori o caso da historia. Inversa-
mente, outros autores mostraram que as condicoes nao sao suficientes: certas
deducoes, conforme o esquema de Hempel e Oppenheim dao lugar a previsoes
mas sao desprovidas de valor explicativo17 .
E em terceiro lugar, muitos autores concluram que uma teoria da ex-
plicacao deve levar em conta elementos pragmaticos sobretudo do interesse
teorico a respeito da qual a explicacao e proposta. Suponhamos que, em
um dormitorio de mocas, uma vigilante, quando faz sua ronda, descobre um
professor nu tentando se esconder dentro dos banheiros18 . A vigilante, que
se interessa por fsica, poderia deduzir do fenomeno observado, em conformi-
dade com o modelo D N de explicacao, princpios fsicos, por exemplo a lei
que afirma que nenhum corpo pode se mover com uma velocidade superior a
velocidade da luz. Mas esta explicacao nao teria interesse pragmatico.
Se a teoria ortodoxa da explicacao foi objeto de crticas detalhadas, a
teoria da reducao foi objeto de uma crtica global formulada por Kuhn e
sobretudo por Feyerabend. Segundo Nagel19 , existem dois tipos de reducao
entre as teorias cientficas: as reducoes homogeneas e as reducoes hete-
rogeneas. Uma reducao e homogenea quando a teoria redutora e a teoria
reduzida partilham o mesmo vocabulario descritivo (como no caso da reducao
das leis galilaicas sobre a trajetoria dos projeteis na superfcie da Terra para
a teoria newtoniana da gravitacao universal). Uma reducao e heterogenea
quando as duas teorias nao partilham o mesmo vocabulario descritivo.
16
Cf. N. Goodman, 1955 3a ed., 1973, C. G. Hempel, 1965, W. V. O. Quine, 1950, p.
21.
17
Cf. principalmente M. Scriven, 1959, 1962 e Scheffler, 1963.
18
O exemplo e adaptado de H. Putnam, 1978b.
19
E. Nagel, 1960, 1961, cap. II.
188 O Empirismo Logico
(K) a3 /t2 = k
(K) a3 /t2 = m0 + m1
(E) p = m0 v2
1v /c2
(N) p = m0 v
Figura 2
Na Figura 2, e possvel ver, alternativamente, uma cabeca de passaro de
bico grande ou uma cabeca de antlope. Como diz Kuhn, aplicando estas
observacoes as mudancas de percepcoes que acompanham uma mudanca de
paradigma, o que era um pato no mundo antes de uma revolucao torna-se um
coelho depois31 . Embora Kuhn interprete estas observacoes no sentido de
colocar em discussao um dos paradigmas empiristas segundo o qual so existe
um vocabulario observacional invariante no curso da historia, ele permanece
prudente32 :
Mas, Feyerabend, por seu lado, inferiu uma inversao pura e simples do
privilegio dado pelo empirismo logico a linguagem observacional sobre a lin-
guagem teorica. Para o empirismo logico, as sentencas observacionais eram
diretamente dotadas de significacao: seus termos eram compreendidos sem
ambiguidades porque designavam entidades facilmente observaveis. Para
o empirismo logico, os enunciados teoricos retiram sua significacao de sua
ligacao com as sentencas observacionais (via regras de correspondencia). Para
Feyerabend33 :
36
I. Scheffer, 1967 p. 58-60; D. Shapere, 1964, trad. franc. P. Jacob, 1980; D. Shapere,
1966.
37
T. S. Kuhn, 1962, p.102.
6.6 Vocabulario descritivo e crencas 197
41
W. V. O. Quine, 1970a, p. 45.
42
I. Hacking, 1975, p. 150-56; J. Largeault. 1977a p. 83.
43
T. S. Kuhn, 1970, p. 268-69. Na mesma obra, Feyerabend lembra que as ideias de
Kuhn e as suas sobre incomensurabilidade surgiram ao mesmo tempo (p. 219). In Lakatos
e A. Musgrave, eds., 1970.
Eplogo
A renovacao do realismo
Tarski e o realismo
Apos a crtica ao positivismo logico feita por Quine e Goodman, apos a
incomensurabilidade entre as teorias separadas por mudancas de paradigmas
proclamadas por Kuhn e Feyerabend, o realismo e a objetividade cientficas
pareciam atingidos por um mal incuravel. Se as mudancas espetaculares
de paradigmas fazem mudar a ontologia, ou se a ontologia e relativa a um
esquema conceitual, o que se quer dizer quando se afirma que uma teoria
e verdadeira? A verdade de uma teoria e relativa as pressuposicoes de um
esquema conceitual?
Dizer, com Quine, que a ontologia e relativa, e tomar uma posicao re-
almente diferente daquela que afirma que a ontologia e determinada pelas
crencas, e que estas se modificam a cada revolucao cientfica? Nenhuma das
duas sao compatveis com o realismo. Como diz Quine4 , nos desenhamos
nosso esquema conceitual, e se nos nao podemos comparar, objetividade
com uma realidade nao conceitualizada nao tem sentido querer determinar
a correcao absoluta de um esquema conceitual conferindo-lhe a qualidade
impossvel de ser um espelho da realidade.
Ora, o realismo gostaria que o princpio de ambivalencia se aplicasse as
teorias cientficas: que elas fossem verdadeiras ou falsas independentes dos
pressupostos proprios aos paradigmas ou dos esquemas conceituais efemeros.
Para um realista como Putnam5 , o valor de verdade de uma teoria cientfica
deve poder se liberar das restricoes impostas pela particularidade de um
esquema conceitual. A referencia do vocabulario descritivo das teorias ci-
entficas deve poder ser tratada segundo o metodo trans-teorico: Da
mesma maneira que o idealista considera que o termo eletron depende de
uma teoria, da mesma maneira que considera que as nocoes semanticas de
referencia e de verdade dependem de uma teoria; exatamente da mesma ma-
neira, o realista considera que eletron e trans-teorico, bem como considera
que a verdade e a referencia sao trans-historicas.
O realista nao dispoe da famosa teoria semantica de Tarski para dar aos
3
N. Chomsky, 1969; N. Chomsky, 1975, p. 179-195; Putnam, 1975, vol. 2, p. 153-191,
especialmente p. 159-165, 168-171 e 177-185.
4
W. V. O. Quine, 1953, p.79.
5
H. Putnam, 1975, vol. 2, p. 198; trad. franc. P. Jacob, 1980.
202 O Empirismo Logico
por exemplo, que e impossvel existir um acido muito fraco para aver-
melhar um papel de tornassol (ou para produzir um gosto qualquer)
segundo a acepcao que ele da ao termo, entao poderemos dizer que
uma mudanca de significados foi produzida? Mas quem suporia que
um qumico do seculo XVIII so pudesse fazer esta afirmacao?
Intuitivamente, e mais facil estar de acordo com (2) e (4) enquanto (3)
e quase absurda. Kripke explica esta diferenca de julgamento pela distincao
seguinte: quando empregamos um nome proprio (notadamente de pessoas),
nos designamos um indivduo hic et nunc. Os nomes proprios, como os no-
mes proprios puramente logicos de Russell, sao rigidamente ligados a um
indivduo. Se, como em (4), nos construmos uma situacao hipotetica irreal, o
nome proprio em posicao de sujeito gramatical designa, como numa situacao
real, o indivduo ao qual ele esta ligado. Sem parar de designar o referente
rgido do nome, nos o colocamos em um mundo possvel, gracas a ima-
ginacao, colocando-lhe ou retirando certas propriedades que lhe pertencem
no mundo real.
Estas propriedades que nossa imaginacao da ou retira dos indivduos sao
mencionadas por descricoes definidas. E por isto que Kripke distingue os
nomes proprios, que sao designadores rgidos, das descricoes definidas, que
nao o sao. Um designador e rgido se ele designa a mesma entidade extra-
lingustica em todos os mundos possveis no qual tem um referente.
Para Kripke, que retoma a teoria russelliana das descricoes, (2) e uma
sentenca ambgua, como mostrou Russell, segundo a diferenca de forca entre
o operador de modalidade (possvel) e os quantificadores que substituem a
expressao.
Se voltarmos ao captulo II, secao 1, a forma logica das duas interpretacoes
possveis de (2) e revelada por (8) e (9): (8) diz que existe um indivduo
unico satisfazendo a propriedade ser atualmente presidente da Republica
francesa e que este indivduo poderia nao satisfazer esta propriedade. (9) diz
19
S. Kripke, 1971 e 1972.
6.6 A teoria causal da referencia 211
25
Citado por Freeman Dyson, 1979, p. ix.
Bibliografia Selecionada
AYER, A. J. (ed.) Logical Positivism. New York: The Free Press, 1959.
CARNAP, R. Logische Syntax der Sprache. Viena: Verlag von Julius Springer,
1934a; The Logical Syntax of Language. Trad. ingl. A. von Zeppelin. Lon-
dres: Routledge & Kegan Paul, 1937.
CARNAP, R. The Unity of Science. Trad. ingl. M. Black. Londres: Kegan Paul,
Trubner & Co., 1934b.
CLARK, R. W. The Life of Bertrand Russell. New York: Alfred A. Knopf, 1976.
COPI, I. M. The Theory of Logical Types. Londres: Routledge & Kegan Paul
Ltd., 1971.
DYSON, F. Disturbing the Universe. New York: Harper & Row, 1979.
ELKANA, Y. (ed.). Some Aspects of the Interaction Between Science and Phi-
losophy. New York: The Humanities Press, 1974.
GAMOW, G. Thirty Years That Shook Physics. New York: Doubleday, 1966.
GOODMAN, N. Fact, Fiction and Forecast. 3a. ed. New York: The Bobbs
Merrill Comp., 1973. (Original de 1955)
KATZ, J. J. The Philosophy of Language. New York: Harper & Row, 1966.
MOORE, G. E. Philosophical Studies. Londres: Kegan Paul, Trench & Co. Ltd.,
1922.
NAGEL, E. Logic Without Metaphysics. Glencoe, Illinois: The Free Press, 1956.
NAGEL, E. The Structure of Science. New York: Harcourt Brace & World, Inc.,
1961.
POPPER, K. R. Conjectures and Refutations. New York: Harper & Row, 1963b.
PUTNAM, H. What theories are not, in PUTNAM, H., 1975; trad. franc.
JACOB, P., 1980.
230 O Empirismo Logico
PUTNAM, H. The analytic and the synthetic, in PUTNAM, H., 1975, vol. 2.
PUTNAM, H. Meaning and the Moral Sciences. Londres: Routledge & Kegan
Paul, 1978b.
RUSSELL, B. Our Knowledge of the External World. Londres: George Allen &
Unwin, 1914a.
RUSSELL, B. Mysticism and Other Essays. New York: Longmann, Green & Co.,
1918b.
SCHEFFLER, I. Science and Subjectivity. New York: The Bobbs Merrill Comp.
Inc., 1967.
SKLAR, L. Types and inter-theoretic reduction, The British Journal for the
Philosophy of Science, 18 (1967), p. 109-124.
234 O Empirismo Logico
SUPPE, F. (ed.). The Structure of Scientific Theories. 2a. ed. Urbana: Univer-
sity of Illinois Press, 1977.