Rudolf Carnap (1891-1970)

TEXTO ORIGINAL: Mauro Murzi

The Standford Encyclopedia of Philosophy
[http://plato.standford.edu/entries/carnap/]
TRADUO: Gustavo Rodrigues Rocha
REVISO TCNICA: Prof. Dr. Paulo Roberto Margutii Pinto

VIDA:

Carnap escreveu uma autobiografia intelectual, publicada em The Philosophy of

Rudolf Carnap, editada por Paul Arthur Schillp, La Salle, III. : Open Court Pub. Co.,1963.
Esta autobiografia a fonte principal das notas biogrficas a seguir.

Rudolf Carnap nasceu no dia 18 de Maio de 1891, em Ronsdorf, Alemanha. Em

1898, depois da morte de seu pai, sua famlia mudou-se para Barmen, onde Carnap estudou
no Gymnasium. Entre os anos de 1910 e 1914, ele estudou filosofia, fsica e matemtica na
Universidade de Jena e de Freiburg. Entre os seus professores estava o filsofo neokantiano
Bruno Bauch, com quem ele estudou filosofia kantiana. Em sua autobiografia intelectual,
Carnap se lembra de que A Crtica da Razo Pura foi cuidadosamente discutida durante
todo um ano. Carnap estava especialmente interessado na teoria kantiana do espao. Em
1910, Carnap freqentou as aulas de lgica de Gottlob Frege (Frege era professor de
matemtica em Jena). Carnap assistiu um segundo curso de Frege em 1913 - havia somente
trs estudantes naquele curso - e ainda a um terceiro curso em 1914. Durante estes cursos,
Frege explicou seu sistema de lgica e algumas de suas aplicaes matemtica. No
entanto, durante estes anos, Carnap estava princ ipalmente interessado em fsica; em 1913,
ele planejou escrever sua dissertao sobre um problema de fsica experimental, conhecido
como emisso terminica. A I Guerra Mundial frustrou o seu projeto. Carnap serviu na
frente de batalha at 1917, quando ele se mudou para Berlim. L ele estudou a teoria da
relatividade. Naquele tempo, Albert Einstein era professor na Universidade de Berlim.

Depois da guerra, Carnap esboou uma dissertao sobre o sistema axiomtico da

teoria fsica do espao e do tempo. Ele submeteu o rascunho ao fsico Max Wien, diretor do
Instituto de Fsica da Universidade de Jena, e a Bruno Bauch. Ambos acharam o trabalho
interessante, mas Wien disse a Carnap que a dissertao era pertinente filosofia, no
fsica, enquanto Bauch disse que era relevante para a fsica. Finalmente, em 1921, Carnap
escreveu sua dissertao sob a direo de Bauch. O seu trabalho lidava com a teoria do
espao do ponto de vista filosfico. O trabalho, intitulado Der Raum (O espao),
evidentemente influenciado pela filosofia kantiana. Der Raum foi publicado em 1922 numa
edio suplementar de Kant-Studien.

Os primeiros trabalhos de Carnap estava m preocupados com os fundamentos da

fsica; ele escreveu ensaios sobre a causalidade e a teoria do espao-tempo. Em 1923, ele
conheceu Hans Reichenbach numa conferncia de filosofia em Erlangen. Reichenbach o
apresentou a Moritz Schlick, professor de teoria das cincias indutivas em Viena. Carnap
visitou Schlick - e o Crculo de Viena - em 1925. No ano seguinte, ele mudou-se para

1
Viena e se tornou professor assistente na universidade de Viena. Ele participou dos
encontros do Crculo de Viena, onde ele encontrou Hans Hahn, Otto Neurath, Kurt Gdel e,
em 1926, Ludwig Wittgenstein; ele tambm encontrou Karl Popper. Ele se tornou um dos
lderes do Crculo de Viena - e, claro, do positivismo lgico - e, em 1929, ele escreveu,
com Hahn e Neurath, o manifesto do Crculo. Em 1928, Carnap publicou A estrutura
Lgica do Mundo, na qual ele desenvolveu uma verso formal do empirismo: segundo ele,
todos os termos cientficos so definveis por meio de uma linguagem fenomnica. O
grande mrito deste trabalho o rigor com que Carnap desenvolveu sua teoria. No mesmo
ano, ele publicou Pseudoproblemas em Filosofia, em que afirmou que muitos dos
chamados problemas filosficos so sem sentido. Em 1929, o Crculo de Viena e o Crculo
de Berlim - o ltimo foi fundado em 1928 por Reichenbach - organizou a Primeira
Conferncia de Epistemologia, que aconteceu em Praga. Em 1930, Carnap e Reichenbach
fundaram o peridico Erkenntnis. No mesmo ano, Carnap conheceu Taski, que estava
desenvolvendo sua teoria semntica da verdade. Carnap tambm estava interessado em
lgica matemtica e escreveu um manual de lgica, intitulado Abriss der Logistik (1929).

Em 1931, Carnap mudou-se para Praga, onde ele se tornou professor de filosofia
natural da Universidade Alem. Naqueles anos, seu trabalho mais importante para a lgica
foi A Sintaxe Lgica da Linguagem (1934). Em 1933, Adolf Hitler tornou-se Chanceler da
Alemanha; dois anos mais tarde, em 1935, Carnap mudou-se para os Estados Unidos, com
a ajuda de Charles Morris e Willard Van Orman Quine, os quais ele havia conhecido em
Praga em 1934. Ele se tornou um cidado americano em 1941.

Durante os anos de 1936 a 1952, ele foi professor na Universidade de Chicago

(durante 1940 e 1941 ele foi professor visitante na Universidade de Harvard); entre 1942 e
1954, ele foi professor no Instituto de Estudos Avanados de Princeton e, a partir de 1954,
professor na Universidade da Califrnia, em Los Angeles.

Nos anos 40, estimulado pela teoria tarskiana dos modelos, Carnap se tornou
interessado em semntica. Durante estes anos, ele escreveu vrios livros sobre semntica:
Introduo Semntica (1942), Formalizao da Lgica (1943), Significado e
Necessidade: Um Estudo em Semntica e Lgica Modal (1947). Em Significado e
Necessidade, Carnap usou semntica para explicar as modalidades. Depois disto, ele
pensou a estrutura das teorias cientficas: seus principais interesses foram (i) dar uma
explicao da distino entre juzos analticos e sintticos e (ii) dar uma formulao
adequada do princpio de verificabilidade, ou seja, encontrar um critrio de significado
apropriado para a linguagem cientfica. Dois outros importantes trabalhos so Postulados
de significado (1952) e Linguagem observacional e linguagem teortica (1958). O
ltimo afirma a viso definitiva de Carnap sobre a distino analtico-sinttico. O carter
metodolgicos dos conceitos tericos (1958) uma tentativa de dar uma definio de um
critrio de significado para a linguagem cientfica. Carnap estava tambm interessado na
lgica formal (Introduo Lgica Simblica, 1954) e na lgica indutiva (Fundamentos
Lgicos da Probabilidade, 1950; O Continuum do Mtodo Indutivo, 1952). A Filosofia de
Rudolf Carnap, editado por Paul Arthur Schillp, foi publicado em 1963; e Fundamentos
Filosfico da Fsica, editado por Martin Gardner, foi publicado em 1966. Carnap estava
trabalhando na teoria da lgica indutiva quando morreu em 14 de Setembro de 1970, em
Santa Mnica, Califrnia.

2
 A ESTRUTURA DAS TEORIAS CIENTFICAS:

Uma teoria cientifica, na opinio de Carnap, um sistema formal axiomtico

interpretado. Isto consiste de:

uma linguagem formal, incluindo termos lgicos e no-lgicos;

um conjunto de axiomas lgico-matemticos e regras de inferncia;
um conjunto de axiomas no-lgicos, expressando a parte emprica da teoria;
um conjunto de postulados de significado, declarando o significado dos termos
no-lgicos; eles formalizam as verdades analticas da teoria;
um conjunto de regras de correspondncia; estas do uma interpretao emprica
da teoria.

Notemos que o conjunto de postulados de significado e o conjunto de regras de

correspondncia devem ser includos no conjunto de axiomas no-lgicos, ou seja, no
necessrio que postulados de significado e regras de correspondncia sejam declarados
explicitamente. De fato, postulados de significado e regras de correspondncia no so
normalmente distinguidos explicitamente dos axiomas no-lgicos; somente um conjunto
de axiomas formulado e um dos principais propsitos da filosofia da cincia mostrar a
diferena entre os vrios tipos de juzos. Agora examinarei a viso de Carnap sobre os
diferentes constituintes de uma teoria.

A LINGUAGEM DAS TEORIAS CIENTFICAS:

A linguagem consiste de: (i) um conjunto de smbolos e (ii) regras efetivas que
determinam se uma seqncia de smbolos uma frmula bem formada, isto , correta com
relao sintaxe. Entre os smbolos da linguagem de uma teoria cientfica esto termos
lgicos e no-lgicos. O conjunto dos termos lgicos contm tanto smbolos lgicos, como
conectivos e quantificadores, quanto smbolos matemticos, como nmeros, derivadas e
integrais. Termos no-lgicos so smbolos denotando entidades fsicas ou propriedades ou
relaes, por exemplo, azul, frio, mais quente que, prton, campo eletromagntico.
Termos no lgicos so divididos em termos observacionais e termos tericos. Frmulas
so divididas em (i) juzos lgicos, os quais no contm termos no-lgicos; (ii) juzos
observacionais, os quais contm termos observacionais, mas no termos tericos; (iii)
juzos puramente tericos, os quais contm termos tericos, mas no termos observacionais
e (iv) regras de correspondncia, as quais contm tanto termos observacionais quanto
tericos.

Classificao dos juzos numa linguagem cientfica

Tipos de juzos Termos observacionais Termos tericos
Juzos lgicos No No
Juzos observacionais Sim No
Juzos puramente tericos No Sim
Regras de correspondncia Sim Sim

3
 A linguagem observacional contm somente juzos lgicos e observacionais, a
linguagem terica contm somente juzos tericos e regras de correspondncia.

A distino entre termos tericos e termos observacionais um princpio

fundamental do positivismo lgico, e a viso de Carnap sobre as teorias cientficas depende
desta distino. Em seu livro Fundamentos Filosficos da Fsica (1966), Carnap baseia sua
distino entre termos tericos e termos observacionais na distino entre dois tip os de leis
cientficas, a saber, leis empricas e leis tericas.

Uma lei emprica lida com objetos ou propriedades que podem ser observados ou
medidos por meio de procedimentos simples. Leis empricas podem receber uma
confirmao direta por observaes empricas, ou seja, elas podem ser justificadas por
observaes de fatos, e podem ser pensadas como sendo uma generalizao indutiva de tais
observaes. Este tipo de lei pode explicar e prever fatos, lida com fatos, e junta fatos a
fatos. Idealmente, uma lei emprica que lida com quantidades fsicas mensurveis pode ser
descoberta por meio da medio de tais quantidades em situaes adequadas e ento
interpolando uma curva simples entre os valores medidos. Por exemplo, um fsico poderia
medir o volume V, a temperatura T e a presso P de um gs em diversos experimentos, e
poderia encontrar a lei PV = nRT, para uma constante R adequada.

Por outro lado, uma lei terica concerne a objetos ou propriedades que no podemos
observar ou medir, mas que podemos somente inferir a partir de observaes diretas. No
h nenhuma maneira de justificar uma lei terica atravs de observao direta e leis tericas
no so generalizaes indutivas: elas so hipteses que vo muito alm da experincia.
Enquanto uma lei emprica pode explicar e prever fatos, uma lei terica pode explicar e
prever leis empricas. O mtodo de justificar uma lei terica indireto: um cientista no
pode testar a prpria lei, mas ele testa as leis empricas que esto entre suas conseqncias.

A distino entre leis empricas e tericas acarreta a distino entre propriedades

observacionais e tericas, e assim tambm a distino entre termos observacionais e
tericos. Carnap admite que a distino no sempre clara e que a linha de demarcao
entre os dois tipos de termos freqentemente arbitrria. A distino entre termos tericos
e observacionais , at certo ponto, parecid a com a distino entre macro-eventos, os quais
so caracterizados por quantidades fsicas que so constantes em uma grande proo de
espao e tempo, e micro-eventos, em que quantidades fsicas mudam rapidamente no
espao ou no tempo. Todavia, em muitas situaes, a distino entre termos observacionais
e tericos clara; por exemplo, as leis que lidam com a presso, o volume e a temperatura
de um gs so leis empricas e os termos correspondentes so observacionais, enquanto as
leis da mecnica quntica so tericas.

ANALTICO E SINTTICO:

Um dos princpios importantes do empirismo lgico a desintegrao do sinttico a

priori. Todos os juzos podem ser divididos em duas classes: juzos analticos a priori e
juzos sintticos a posteriori. Assim, juzos sintticos a priori no existem. Agora traarei

4
brevemente a histria dos esforos de Carnap para dar uma definio precisa da distino
entre juzos analticos e sintticos.

Em seu livro A Sintaxe Lgica da Linguagem , publicado em 1934, Carnap estuda

uma linguagem formal que possa expressar a matemtica clssica e as teorias cientficas.
Por exemplo, a fsica clssica pode ser formulada nesta linguagem. Quando Carnap
publicou A Sintaxe Lgica da Linguagem , Gdel j tinha publicado (em 1931) seu trabalho
sobre a incompletude da matemtica; assim, Carnap estava ciente da diferena substancial
entre os dois conceitos de prova e conseqncia:algumas proposies, apesar de serem uma
conseqncia lgica dos axiomas da matemtica, no so demonstrveis atravs destes
axiomas. A verso em ingls do ensaio de Taski sobre semntica foi publicada em 1935 (o
original em polons foi publicado em 1933); assim Carnap no conhecia a teoria lgica da
semntica de uma linguagem formal. Estas circunstncias explicam o fato de que Carnap,
na A Sintaxe Lgica da Linguagem, tenha dado uma formulao puramente sinttica do
conceito de conseqncia lgica (depois da publicao do ensaio de Taski, a noo de
conseqncia lgica foi considerada um conceito semntico, e definida por meio da teoria
dos modelos). Entretanto, Carnap define uma nova regra de inferncia, agora chamada de
regra mega, mas inicialmente chamada de rega de Carnap:

Das premissas A (1), A (2), ... , A (n), A (n+1), ... ns podemos inferir a concluso (x) Ax

Carnap define a noo de conseqncia lgica: um juzo A uma conseqncia

lgica de um conjunto S de juzos se e somente se h uma prova de A baseada no conjunto
S; admissvel usar a regra mega na prova de A. A definio da noo de demonstrvel :
um juzo demonstrvel por um conjunto S de juzos se e somente se h uma prova de A
baseada no conjunto S, mas a regra mega no admissvel na prova de A. Notemos que
um sistema formal que admita o uso da regra mega completo, o que significa que o
teorema de incompletude de Gdel no se aplica a tais sistemas formais.

Finalmente, Carnap define alguns tipos de juzos: (i) um juzo verdadeiro-L se e

somente se uma conseqncia lgica do conjunto vazio de juzos; (ii) um juzo falso-L
se e somente se todos juzos so uma conseqncia lgica dele; (iii) um juzo analtico se
e somente se for verdadeiro-L ou falso-L; (iv) um juzo sinttico se e somente se no
analtico. Carnap assim define juzos analticos como juzos determinados logicamente: sua
verdade depende das regras lgicas de inferncia e independente da experincia. Isto quer
dizer que os juzos analticos so a priori, ao contrrio dos juzos sintticos, que so a
posteriori, pois no so logicamente determinados.

Em Testability and Meaning (1936), Carnap deu uma definio muito parecida. Um
juzo analtico se e somente se logicamente verdadeiro, autocontraditrio se e somente
se logicamente falso; caso contrrio o juzo sinttico. Notemos que Carnap, em
Testability and Meaning, usou a noo de verdadeiro e falso; isto , ele usou noes
semnticas.

Significado e Necessidade foi publicado em 1947. Neste trabalho , Carnap deu uma
definio parecida. Ele primeiro definiu a noo de verdadeiro-L (um juzo verdadeiro-L
se sua verdade depende das regras semnticas) e ento definiu a noo de falso-L (um juzo

5
 falso-L se sua negao verdadeiro-L). Um juzo determinado-L se verdadeiro-L ou
falso-L, juzos analticos so determinados-L, enquanto juzos sintticos no so
determinados-L. Esta definio muito parecida com a definio que Carnap deu em A
Sintaxe Lgica da Linguagem; no entanto, em A Sintaxe Lgica da Linguagem, Carnap usa
somente conceitos sintticos, enquanto em Significado e Necessidade ele usa conceitos
semnticos.

Em 1951, o filsofo americano Quine publicou o artigo Two dogmas of

empiricism, no qual Quine critica a distino entre juzos sintticos e analticos. Como
conseqncia da crtica de Quine, Carnap mudou parcialmente seu ponto de vista sobre este
problema. A resposta de Carnap a Quine foi primeiramente expressa em Postulados de
significado (1952), no qual Carnap sugere que juzos analticos so aqueles derivveis de
um conjunto de sentenas apropriadas que ele chamou postulados de significado - estas
sentenas definem o significado de termos no-lgicos; assim, o conjunto de juzos
analticos no igual ao conjunto de juzos logicamente verdadeiros. Depois disto ele
escreveu Linguagem observacional e linguagem teortica (1958), em que ele expressou
um mtodo geral de determinar um conjunto de postulados de significado para a linguagem
de uma teoria cientfica. Carnap expressou exatamente o mesmo mtodo tambm na sua
resposta a Carl Gustav Hempel em A Filosofia de Rudolf Carnap (1963), e
subseqentemente em Fundamentos Filosficos da Fsica (1966). Agora explicarei
brevemente o mtodo de Carnap. Suponha m que o nmero de axiomas no lgicos seja
infinito; seja T a conjuno de todos axiomas puramente tericos, C a conjuno de todos
os postulados correspondentes, e TC a conjuno de T e C. A teoria equivalente a um
nico axioma, TC. Carnap formula os seguintes problemas: como podemos encontrar dois
juzos, digamos A e R, de forma que A expresse a parte analtica da teoria (ou seja, todas as
conseqncias de A so analticas), enquanto R expressa a parte emprica (ou seja, todas as
conseqncias de R so sintticas)? O contedo emprico da teoria formulado atravs de
uma sentena de Ramsey, nomeada devido a Frank Plumpton Ramsey (1903-1930),
filsofo ingls que a descobriu. Uma sentena de Ramsey construda atravs das seguintes
instrues:

1. Substitua todo termo terico em TC por uma varivel.

2. Adicione ao comeo da sentena um nmero apropriado de quantificadores
existenciais.

Vejamos o exemplo seguinte. Seja TC(O 1 ,...,O n ,T1 ,...,Tm ) a conjuno de T e C; em

TC h termos observacionais, O1 ...On , e termos tericos, T1 ...Tm . A sentena de Ramsey (R)

EX1 ...EX m TC(O1 ,...,On , X1 ,...,Xm )

Todo juzo observacional derivvel de TC tambm derivvel de R e vice versa; ou

seja, R expressa exatamente a parte emprica da teoria. Carnap prope o juzo R TC
como o nico postulado de significado; este juzo conhecido como sentena de Carnap.
Notem que todo juzo emprico derivvel da sentena de Carnap logicamente verdadeiro,
e assim a sentena de Carnap deixa de ter conseqncias empricas. Ento - segundo
Carnap - um juzo analtico se derivado da sentena de Carnap; caso contrrio , o juzo

6
sinttico. Listo os requerimentos do mtodo de Carnap: (i) os axiomas no lgicos devem
ser explicitamente enunciados, (ii) o nmero de axiomas no-lgicos deve ser finito e (iii)
os termos observacionais devem ser claramente distintos dos termos tericos.

SIGNIFICADO E VERIFICABILIDADE:

Talvez o mais famosos chavo do empirismo lgico seja o princpio de

verificabilidade, segundo o qual um juzo sinttico provido de significado somente se ele
verificvel. muito interessante seguir o esforo de Carnap para dar uma formulao
lgica deste princpio. Em A estrutura Lgica do Mundo (1928), Carnap assevera que um
juzo tem significado somente se todo termo no-lgico explicitamente definvel por meio
de uma linguagem fenomnica muito restrita. Alguns anos depois, Carnap compreendeu
que esta tese insustentvel, uma linguagem fenomnica muito pobre para definir
conceitos fsicos. Assim, ele escolheu uma linguagem objetiva (thing language) como a
linguagem bsica; nesta linguagem, todo termo primitivo um termo fsico. Todos os
outros termos (biolgicos, psicolgicos, culturais) devem ser definidos por meio de termos
bsicos. Carnap tambm compreendeu que uma definio explcita freqentemente
impossvel. Existem conceitos de disposicionais, os quais podem ser introduzidos por meio
de sentenas de reduo. Por exemplo, se A, B, C e D so termos observacionais e Q um
conceito disposicional, ento

(x)[Ax (Bx Qx)]

(x)[Cx (Dx ~Qx)]

so sentenas de reduo fora Q. Em Testability and Meaning (1936) Carnap d uma

explicao do novo princpio de verificabilidade: todos os termos devem ser redutveis, por
meio de definies ou sentenas de reduo, para a linguagem observacional. Este princpio
mostrou-se inadequado: K. R. Popper no apenas provou que alguns termos metafsicos
podem ser redutveis linguagem observacional, de forma a cumprir os requerimentos de
Carnap, mas tambm que alguns conceitos fsicos genunos so proibidos pela verso de
Carnap do princpio de verificabilidade. Carnap reconheceu a crtica. Em O carter
metodolgico dos conceitos tericos (1956), Carnap d um novo critrio de significado. A
definio ainda mais intricada, ento mencionarei somente a propriedade filosfica
principal do novo princpio de Carnap. Em primeiro lugar, o significado de um termo torna-
se um conceito relativo: um termo tem significado com relao a uma dada teoria e uma
dada linguagem. O significado de um conceito ento depende da teoria na qual o conceito
usado - isto uma modificao muito importante na teoria do significado do empirismo.
Em segundo lugar, Carnap reconhece explicitamente que alguns termos tericos no podem
ser reduzidos linguagem observacional: eles adquirem um significado emprico atravs de
ligaes com outros termos tericos que so redutveis. Em terceiro lugar, Carnap
compreende que o princpio do operacionalismo demasiado restrito. O operacionalismo
foi formulado pelo fsico americano ganhador do prmio Nobel Percy Williams Bridgman
(1882-1961), em seu livro A Lgica da Fsica Moderna (1927). Segundo Bridgman, todo
conceito fsico definido pelas operaes que um fsico usa para aplic-lo. Bridgman
afirmou que a curvatura do espao-tempo, um conceito usado por Einstein em sua teoria
geral da relatividade, sem significado, pois no definvel por meio de operaes. Porm,

7
Bridgman ulteriormente mudou o seu ponto de vista filosfico e admitiu que h uma
conexo indireta com as observaes. Talvez movido pela crtica de Popper, ou movido
pelas conseqncias nada razoveis de um operacionalismo estrito (a excluso da teoria de
Einstein da curvatura do espao-tempo da fsica legtima), Carnap mudou seu ponto de
vista anterior e admitiu de livre vontade uma conexo muito indireta entre os termos
tericos e linguagem observacional.

PROBABILIDADE E LGICA INDUTIVA:

Uma variedade de interpretaes da probabilidade tm sido propostas:

Interpretao clssica. A probabilidade de um evento a razo entre resultados

favorveis e resultados possveis. Exemplo: uma dado jogado; o evento o
resultado cinco; existem seis resultados e somente um favorvel; ento a
probabilidade o resultado cinco um sexto.
Interpretao axiomtica. A probabilidade o que quer que satisfaa os axiomas
da teoria da probabilidade. No incio dos anos 30, o matemtico russo Andrei
Nikolaevich Kolmogorov (1903-1987) formulou o primeiro sistema axiomtico
para a probabilidade.
Interpretao da freqncia, a qual agora a interpretao favorita nas cincias
empricas. A probabilidade de um evento em uma seqncia de eventos o
limite da freqncia relativa daquele evento. Exemplo: joguemos um dado
vrias vezes e registremos os resultados; a freqncia relativa de o resultado
cinco cerca de um sexto; o limite da freqncia relativa exatamente um
sexto.
Probabilidade como grau de confirmao, defendida por Carnap e seus
estudantes de lgica indutiva. A probabilidade de um juzo o grau de
confirmao que a evidncia emprica d ao juzo. Exemplo: o juzo o resultado
cinco recebe uma confirmao parcial das evidncias; seu grau de
confirmao um sexto.
Interpretao subjetiva. A probabilidade uma medida do grau de crena. Um
caso especial a teoria de que a probabilidade um coeficiente de aposta justa
esta interpretao foi apoiada por Carnap. Exemplo: suponhamos que apostemos
que o resultado seria cinco; apostemos um dlar e, se voc ganharmos,
receberemos seis dlares: esta uma aposta justa.
Interpretao da propenso, devida a K. R. Popper. A probabilidade de um
evento uma propriedade objetiva do evento. Exemplo: as propriedades fsicas
de um dado [o dado homogneo; ele tem seis lados; em cada lado h um
nmero diferente entre um e seis; etc.] explicam o fato de que o limite da
freqncia relativa de o resultado cinco de um sexto.
Carnap se dedicou a dar uma explicao da probabilidade como grau de
confirmao. Os detalhes tcnicos do trabalho de Carnap so muito sofisticados, assim
mencionarei apenas as conseqncias filosoficamente mais significativas de sua pesquisa.
Ele postulou que a probabilidade de um juzo, com relao a um dado corpo de evidncia,
uma relao lgica entre o juzo e a evidncia. Assim necessrio construir uma lgica
indutiva; ou seja, uma lgica que estude a relao entre os juzos e a evidncia. A lgica

8
indutiva nos daria um mtodo matemtico para analisar a confiabilidade de uma hiptese;
portanto, a lgica indutiva daria uma resposta ao problema levantado pela anlise de David
Hume da induo. Claro, no podemos estar certos de que uma hiptese verdadeira;
entretanto podemos avaliar seu grau de confirmao, podendo assim comparar teorias
alternativas.

Apesar da abundncia de mtodos lgicos e matemticos que Carnap usou em sua

prpria pesquisa sobre lgica indutiva, ele no foi capaz de formular uma teoria da
confirmao indutiva das leis cientficas. De fato, na lgica indutiva de Carnap, o grau de
confirmao de toda lei universal sempre zero.

Carnap tentou empregar a teoria fsico-matemtica da entropia termodinmica para

desenvolver um teoria abrangente da lgica indutiva, mas seu plano permaneceu no estado
de esboo. Seus trabalhos sobre entropia foram publicados postumamente.

LGICA MODAL E FILOSOFIA DA LINGUAGEM :

A tabela seguinte, que uma adaptao de uma tabela similar que Carnap usou em
Significado e Necessidade, mostra as relaes entre propriedades modais como necessrio,
impossvel, e propriedades lgicas, como verdadeiro-L, falso-L, analtico e sinttico. O
smbolo N significa necessariamente, de forma que Np significa necessariamente p.

Propriedades modais e lgicas dos juzos

Modalidades Formalizao Status lgico
p necessrio Np verdadeiro-L, analtico
p impossvel N~p falso-L, contraditrio
p contingente ~Np & ~N~p Factual, sinttico
p no necessrio ~Np no verdadeiro-L
p possvel ~N~p no falso-L
p no contingente Np v N~p determinado-L, no sinttico

Carnap identifica a necessidade de um juzo p com sua verdade lgica: um juzo

necessrio se e somente se logicamente verdadeiro. Assim as propriedades modais podem
ser definidas por meio das propriedades lgicas usuais do juzo, afirma Carnap. Np, ou seja,
necessariamente p, verdadeiro se e somente se p logicamente verdadeiro. Ele define a
possibilidade de p como no necessrio que no p. Ou seja, possivelmente p
definido como ~N~p. A impossibilidade de p significa que p logicamente falso. Enfatizo
que, na opinio de Carnap, todo conceito modal definvel por meio de propriedades
lgicas de juzos, de modo que os conceitos modais so explicveis a partir de um ponto de
vista clssico (clssico significa usando lgica clssica, por exemplo, lgica de primeira
ordem). Notem que Carnap estava ciente do fato que o smbolo N definvel na
metalinguagem, no na linguagem-objeto. Np significa p logicamente verdadeiro, e o
ltimo juzo pertence metalinguagem; assim, N no explicitamente definvel dentro da
linguagem de uma lgica formal e no podemos eliminar o termo N (mais precisamente,
podemos definir N somente por meio de um outro smbolo modal que ns assumimos como

9
um smbolo primitivo, de modo que pelo menos um smbolo modal exigido entre os
smbolos primitivos).

A formulao da lgica modal de Carnap muito importante sob um ponto de vista

histrico. Carnap forneceu a primeira anlise semntica de uma lgica modal, usando a
teoria de modelos taskiana para explicar as condies nas quais necessariamente p
verdadeiro. Carnap tambm resolveu o problema do significado do juzo (x)N[Ax], em que
Ax uma sentena na qual a varivel individual x ocorre. Carnap mostrou que (x)N[Ax]
equivalente a N[(x)Ax] ou, mais precisamente, ele provou que podemos assumir esta
equivalncia sem contradies.

Sob um ponto de vista filosfico mais geral, Carnap acredita que as modalidades
no exigem um novo quadro conceitual; uma lgica semntica da linguagem pode explicar
os conceitos modais.

O mtodo que Carnap usa para explicar as modalidades um exemplo tpico da

anlise filosfica de Carnap. Outro exemplo interessante a explicao das sentenas-
crena que Carnap deu em Significado e Necessidade. Carnap afirma que duas sentenas
tm a mesma extenso se elas so equivalentes, isto , se elas so ambas verdadeiras ou
ambas falsas. Por outro lado, duas sentenas tm a mesma intenso se elas so logicamente
equivalentes, isto , a equivalncia delas devida s regras semnticas da linguagem. Seja
A uma sentena na qual outra sentena ocorre, digamos p. A chamada extensional com
relao a p se e somente se a verdade de A no muda se substituirmos a sentena p por
uma sentena equivalente q. A chamada intencional com relao a p se e somente se (i)
A no extensional com relao a p e (ii) a verdade de A no muda se voc substituirmos a
sentena p por uma sentena logicamente equivalente q. Vejamos os seguintes exemplos de
Carnap.

Primeiro exemplo. A sentena AvB extensional tanto com relao a A quanto

a B; podemos substituir A e B por sentenas equivalentes e o valor-verdade de
AvB no muda.
Segundo exemplo. Suponhamos que A verdadeira mas no verdadeira-L; ento
as sentenas Av~A e A so equivalentes (ambas so verdadeiras) e, claro , elas
no so equivalentes-L. A sentena N(Av~A) verdadeira e a sentena N(A)
falsa; logo, N(A) no extensional com relao a A. Ao contrrio, se C uma
sentena equivalente-L a Av~A, ento N(Av~A) e N(C) so ambas verdadeiras:
N(A) intencional com relao a A.

Existem sentenas que no so nem extensionais nem intensionais; por exemplo,

sentenas-crena. O exemplo de Carnap Joo acredita que D. Suponhamos que Joo
acredita que D verdadeira; seja A uma sentena equivalente a D e B, uma sentena
equivalente-L a D. possvel que as sentenas Joo acredita que D e Joo acredita que
B sejam falsas. Realmente, Joo pode acreditar que uma sentena seja verdadeira, mas ele
pode acreditar que uma sentena logicamente equivalente seja falsa. Para explicar
sentenas-crena, Carnap define a noo de isomorfismo intencional. De maneira grosseira,
duas sentenas so intensionalmente isomrficas se e somente se seus elementos

10
correspondentes so equivalentes-L. Na sentena-crena Joo acredita que D, podemos
substituir D por uma sentena intensionalmente isomrfica C.

FILOSOFIA DA FSICA:
O primeiro e o ltimo dos livros que Carnap publicou em vida concernem filosofia
da fsica; eles so respectivamente a dissertao escrita para o seu doutorado (Der Raum, de
1921, publicada no ano seguinte numa edio suplementar de Kant-Studien) e Fundamentos
Filosficos da Fsica, editado por Martin Gardner, em 1966. Em 1977, Dois Ensaios Sobre
Entropia, editado por Abner Shimony, foi postumamente publicado.

Der Raum lida com a filosofia do espao. Carnap reconhece a diferena entre trs
tipos de teorias do espao: o espao formal, o fsico e o intuitivo. O espao formal
analtico a priori; est relacionado com as propriedades formais do espao, ou seja com
aquelas propriedades que so uma conseqncia lgica de um conjunto definido de
axiomas. O espao fsico sinttico a posteriori; o objeto da cincia natural e podemos
conhecer sua estrutura somente por meio da experincia. O espao intuitivo sinttico a
priori e conhecido via intuio a priori. Segundo Carnap, a distino entre os trs
diferentes tipos de espao semelhante distino entre os trs aspectos da geometria:
geometria projetiva, mtrica e topolgica, respectivamente.

Alguns aspectos de Der Raum so muito interessantes. Em primeiro lugar, Carnap

aceita um ponto de vista filosfico neokantiano. O espao intuitivo, com seu carter
sinttico a priori, uma concesso filosofia kantiana. Em segundo lugar, Carnap usa em
seu trabalho os mtodos da lgica matemtica; por exemplo, a caracterizao do espao
intuitivo dada pelos axiomas de Hilbert para topologia. Em terceiro lugar, a distino
entre espao fsico e formal similar distino entre geometria fsica e matemtica; esta
distino, proposta por Hans Reichenbach durante aqueles anos, foi mais tarde aceita por
Carnap e se tornou a posio oficial do empirismo lgico sobre a filosofia do espao.

Carnap tambm desenvolveu um sistema formal para a topologia do espao-tempo.

Ele afirmou (1925) que as relaes espaciais so baseadas na propagao causal de um
sinal, enquanto a prpria propagao causal baseada na ordem temporal.

Os Fundamentos Filosficos da Fsica um levantamento de muitos aspectos da

filosofia da fsica; um extrato das lies de Carnap na universidade. Algumas teorias l
expressas no so devidas a Carnap, mas pertencem herana comum do empirismo
lgico. Este livro muito claro e fcil de entender. Ele emprega poucas frmulas lgicas e
matemticas e rico em exemplos. Segue uma breve lista dos assuntos com que o livro
lida:

A estrutura da explicao cientfica: explicao dedutiva e probabilstica.

Significado fsico e filosfico da geometria no-euclidiana; a teoria do espao na
teoria da relatividade geral. Carnap argumenta contra a filosofia Kantiana,
especialmente contra o sinttico a priori, e contra o convencionalismo. Ele d
uma clara explicao das principais propriedades da geometria no-euclidiana.
Determinismo e fsica quntica.

11
 A natureza da linguagem cientfica. Carnap lida com: (i) a distino entre termos
observacionais e tericos, (ii) a distino entre juzos analticos e sintticos e
(iii) conceitos quantitativos.
Como exemplo do contedo dos Fundamentos Filosficos da Fsica examinarei
brevemente a o pensamento de Carnap sobre a explicao cientfica. Carnap aceita a teoria
clssica devida a Carl Gustav Hempel. O exemplo a seguir de Carnap explica a estrutura
geral de uma explicao cientfica:

(x)(Px Qx)
Pa
Qa

em que o primeiro juzo uma lei cientfica, o segundo uma descrio das
condies iniciais e o terceiro a descrio do evento que queremos explicar. O ltimo
juzo uma conseqncia lgica do primeiro e do segundo, os quais so as premissas da
explicao. Uma explicao cientfica assim uma derivao lgica de um juzo apropriado
a partir de um conjunto de premissas, que afirmam as leis gerais e as condies iniciais.
Segundo Carnap, h um outro tipo de explicao cientfica, a explicao probabilstica, na
qual pelo menos uma lei universal no uma lei determinstica, mas uma lei probabilstica.
Um exemplo devido a Carnap :

fr (Q,P) = 0.8
Pa
Qa

em que a primeira sentena significa a freqncia relativa de Q com relao a P

0.8. Qa no uma conseqncia lgica das premissas; ento este tipo de explicao
determina somente um certo grau de confirmao para o evento que queremos explicar.

A HERANA DE CARNAP:

Os trabalhos de Carnap tm levantado muitos debates. Um grande nmero de

artigos foi dedicado ao exame cuidadoso de seu pensamento, algumas vezes criticando seu
ponto de vista, outras em defesa de sua filosofia. Mencionarei algumas pesquisas que lidam
com o desenvolvimento da filosofia de Carnap.

Com relao distino analtico-sinttico, Ryszard Wojcicki e Marian Przelecki

dois lgicos poloneses formularam uma definio semntica da distino entre analtico e
sinttico; eles provaram que a sentena de Carnap o postulado de significado mais fraco,
isto , todo postulado de significado acarreta a sentena de Carnap. Portanto, o conjunto de
juzos analticos que so uma conseqncia lgica da sentena de Carnap o menor
conjunto de juzos analticos. A pesquisa de Wojcicki e Przelecki independente da
distino entre termos observacionais e tericos, isto , a definio por eles sugerida
tambm funciona em uma linguagem puramente terica. A exigncia de um nmero finito
de axiomas no-lgicos tambm removida.

12
 A definio tentativa do que seja significativo que Carnap props em O carter
metodolgico dos conceitos tericos provou-se insustentvel. Ver, por exemplo, David
Kaplan, Significance and Analyticity em Rudolf Carnap, Logical Empiricist ou a
introduo de Marco Mondadori Analiticit, Significanza, Induzione, na qual Mondadori
sugere uma possvel correo da definio de Carnap.

Com relao lgica indutiva, mencionarei somente a generalizao de Jaakko

Hintikka do continuum de mtodos indutivos de Carnap. Na lgica indutiva de Carnap, a
probabilidade de toda lei universal sempre zero. Hintikka foi bem sucedido em formular
uma lgica indutiva na qual as leis universais podem obter um grau positivo de
confirmao.

Em Significado e Necessidade, 1947, Carnap foi o primeiro lgico a usar um

mtodo semntico para explicar as modalidades. Porm, ele usou a teoria de modelos
tarskiana de modo que todo modelo da linguagem seja um modelo admissvel. Em 1972, o
filsofo americano Saul Kripke foi capaz de provar que uma semntica completa das
modalidades pode ser obtida pela semntica dos mundos possveis. Segundo Kripke, nem
todos modelos possveis so admissveis. Podemos ler o ensaio de J. Hintikka, A herana
de Carnap em semntica lgica, em Rudolf Carnap, Logical Empiricist, que explica que
Carnap chegou extremamente perto da semntica dos mundos possveis,mas no foi capaz
de ir alm da teoria clssica de modelos.

Devo enfatizar que a regra mega, que Carnap props em A Sintaxe Lgica da
Linguagem , agora altamente difundida e usada em pesquisa metamatemtica
usualmente muito sofisticada em vrios diferentes assuntos.

13
 Sugestes para leitura:

Em A filosofia de Rudolf Carnap (1963) h a mais completa bibliografia do trabalho

de Carnap. Mencionarei somente os principais trabalhos de Carnap, organizados em ordem
cronolgica.

1922 Der Raum: Ein Beitrag zur Wissenschaftslehre, dissertao, em Kant-

Studien, Ergnzungshefte, n. 56
1925 ber die Abhngigkeit der Eigenschaften der Raumes von denen der
Zeit in Kant-Studien, 30
1926 Physikalische Begriffsbildung, Karlsruhe: Braun, (Wissen und Wirken; 39)
1928 Scheinprobleme in der Philosophie, Berlim: Weltkreis-Verlag
1928 Der Logische Aufbau der Welt, Leipzig: Felix Meiner Verlag (traduo
inglesa The Logical Structure of the World; Pseudoproblems in Philosophy,
Berkeley: University of California Press, 1967)
1929 (com Otto Neurath e Hans Hahn) Wissenschaftliche Weltauffassung der
Wiener Kreis, Vienna: A. Wolf
1929 Abriss der Logistik, mit besonderer Bercksichtigung der Relationstheorie
und ihrer Anwendungen, Vienna: Springer
1932 Die physikalische Sprache als Universalsprache der Wissenschaft em
Erkenntnis, II (traduo inglesa The Unity of Science, London: Kegan Paul,
1934)
1934 Logische Syntax der Sprache (traduo inglesa The Logical Syntax of
Language, New York: Humanities, 1937)
1935 Philosophy and Logical Syntax, London: Kegan Paul
1936 Testability and meaning em Philosophy of Science, III (1936) e IV
(1937)
1938 Logical Foundations of the Unity os Science em International
Encyclopaedia of Unified Science, vol. I n. 1, Chicago: University of Chicago
Press
1939 Foundations of Logic and Mathematics em International Encyclopaedia
of Unified Science, vol. I n. 3, Chicago: University of Chicago Press
1942 Introduction to Semantics, Cambridge, Mass.: Harvard University Press
1943 Formalization of Logic, Cambridge, Mass. : Harvard University Press
1947 Meaning and Necessity: a Study in Semantics and Modal Logic, Chicago:
University of Chicago Press
1950 Logical Foundations of Probability, University of Chicago Press
1952 Meaning Postulates em Philosophical Studies, III (agora em Meaning
and Necessity, 1956, segunda edio)
1952 The continuum of Inductive Methods, Chicago: University of Chicago
Press
1954 Einfhrung in die Symbolische Logik, Vienna: Springer (traduo em
ingls Introduction to Symbolic and its Applications, New York: Dover, 1958)

14
 1956 The Methodological Character of Theoretical Concepts em Minnesota
Studies in the Philosophy of Science, vol. I, ed. de H. Feigl e M. Scriven,
Minneapolis: University of Minnesota Press
1958 Beobacthungssprache und theoretische Sprache em Dialectica, XII
(traduo em ingls Observation Language and Theoretical Language em
Rudolf Carnap, Logical Empiricist, Dordrecht, Holl. : D. Reidel Publishing
Company, 1975
1966 Philosophical Foundations of Physics, ed. por Martin Gardner, New York:
Basic Books
1977 Two Essays on Entropy, ed. by Abner Shimony, Berkeley: University of
California Pres

Outras Fontes:

1962 Logic and Language: Studies Dedicated to Professor Rudolf Carnap on

the Occasion of his Seventh Birthday, Dordrecth, Holl. : D. Reidel Publishing
Company
1963 The Philosophy of Rudolf Carnap, ed. por Paul Arthur Schillp, La Salle
I11. : Open Court Pub. Co.
1970 PSA 1970: Proceedings of the 1970 Biennial Meeting of the Philosophy Of
Science Association: In Memory of Rudolf Carnap, Drdrecth, Holl. : Reidel
Publishing Company
1971 Analitici, Significanza, Induzione, ed. por Alberto Meotti e Marco
Mondadori, Bolobna, Italy: il Mulino
1975 Rudolf Carnap, Logical Empiricist. Materials and Perpectives, ed. por
Jaakko Hintikka, Dordrecht, Holl. : D. Reidel Publishing Company
1986 Jolle Proust, Questions de Forme: Logique at Proposition Analytique de
Kant a Carnap, Paris, France: Fayard (traduo em ingls Questions os Forms:
Logic and Analytic Propositions from Kant to Carnap, Minneapolis: University
of Minnesota Press)
1990 Dear Carnap, Dear Van: The Quine-Carnap Correspondence and Related
Work, ed. por Richard Creath, Berkeley: University of California Press
1991 Maria Grazia Sandrini, Probabilit e Induzione: Carnap e la Conferma
come Concetto Semantico, Milano, Italy: Franco Angeli
1991 Erkenntnis Orientated: A Centennial Volume for Rudolf Carnap and Hans
Reichenbach, ed. por Wolfgang Spohn, Dordrecht; Boston: Kluwer Academic
Publishers
1991 Logic, Language, and the Structure of Scientific Theories: Proceeding of
the Carnap-Reichenbach Centennial, University of Konstanz, 21-24 May 1991
Pittsburgh : University of Pittsburgh Press; [Konstanz] : Universitasverlag
Konstanz
1995 L`eredut di Rudolf Carnap: Epistemologia, Filosofia delle Scienze,
Filosofia del Linguaggio , ed. por Alberto Pasquinelli, Bologna, Italy: CLUEB

15