UNIVERSIDADE CATLICA DE PERNAMBUCO

CENTRO DE CINCIA E TECNOLOGIA CCT

CURSO DE CINCIA DA COMPUTAO

RUDOLF CARNAP: VIDA, OBRA E PENSAMENTO

RECIFE, 2014

GABRIELA BARBOSA
JOS EDSON
LUCAS SIMAS
PEDRO HENRIQUE
RODRIGO JOS

RUDOLF CARNAP: VIDA, OBRA E PENSAMENTO

Trabalho

apresentado

disciplina

Introduo a Filosofia e conhecimento

tecnolgico, como requisito da nota do 2
GQ.

Orientadora: Prof Eleonoura.

RECIFE, 2014

Sumrio

1. INTRODUO..............................................................................................................3
2. RUDOLF CARNAP......................................................................................................6
2.1 RUDOLF CARNAP E O CRCULO DE VIENA......................................................6
2.2 OBRAS...................................................................................................................7
2.3 PENSAMENTOS....................................................................................................8
2.3.1 ANALTICO E SINTTICO............................................................................8
2.3.2 SIGNIFICADO E VERIFICABILIDADE..........................................................8
2.3.3 LGICA MODAL E A FILOSOFIA DA LINGUAGEM.....................................9
2.3.4 FILOSOFIA DA FSICA................................................................................10
3. DISCUSSO................................................................................................................12
4. REFERNCIAS ..........................................................................................................13

Introduo
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 frequentou as aulas de lgica de Gottlob Frege (Frege era professor de
matemtica em Jena) e tambm 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 principalmente 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, pois 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.
Os primeiros trabalhos de Carnap estavam 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
3

em Viena. Carnap visitou Schlick - e o Crculo de Viena - em 1925. No ano seguinte, ele
mudou-se para 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
4

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 dar uma
explicao da distino entre juzos analticos e sintticos e 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.

Rudolf Carnap
2.1 Carnap e o Crculo de Viena.
Os integrantes do crculo de Viena criaram um sistema filosfico que ficou
conhecido como o "Positivismo Lgico" ou ainda Empirismo Lgico ou Neopositivismo.
Os positivistas lgicos tinham como objetivo divulgar uma nova concepo cientfica do
mundo, caracterizada principalmente pela constituio de uma cincia unificada, que
reunisse todos os conhecimentos proporcionados pelas diferentes cincias; eliminao
da metafsica da estrutura do pensamento racional, pois no se pode chegar ao
conhecimento daquilo que est alm da experincia.
Uma das preocupaes centrais de Carnap reside no estudo do conhecimento
cientfico, no que diz respeito investigao de seus critrios de verdade. Se o princpio
que determina esta verdade for o de sua verificao emprica, isto , se somente podem
ser consideradas verdadeiras as proposies passveis de serem observados
fatualmente, que fazer com as proposies epistemolgicas, que no se referem a fatos,
mas s proposies que os atestam? A resposta de Carnap a esta questo que as
proposies epistemolgicas so proposies dotadas de significado, que se referem no
diretamente aos fatos, mas antes linguagem empregada para referir-se aos fatos.
Ento, a tarefa da filosofia depurar a linguagem cientfica de suas imprecises,
construindo linguagens que obedeam ao rigor de uma sintaxe lgica.
Outra contribuio de Carnap consiste no princpio da confirmabilidade. O princpio
epistemolgico da verificabilidade, ao basear-se na verificao emprica para constatar a
verdade de uma proposio, no permite conferir verdade a nenhuma proposio ou lei
de carter geral, uma vez que a experincia s apresenta casos particulares. Embora
no haja possibilidade de atingir uma confirmao absoluta, quanto mais evidncias
empricas se obtiver a seu favor, maior o grau relativo da dita lei, proposio ou teoria em
questo.

2.2 Obras

Der Raum: Ein Beitrag zur Wissenschaftslehre, Kant-Studien, Ergnzungshefte, no.

56. His Ph.D. thesis. 1922

Physikalische Begriffsbildung. Karlsruhe: Braun. 1926

Scheinprobleme in der Philosophie (Pseudoproblems of Philosophy). Berlin:

Weltkreis-Verlag. 1928.

Der Logische Aufbau der Welt. Leipzig: Felix Meiner Verlag. 1928.

Abriss der Logistik, mit besonderer Bercksichtigung der Relationstheorie und ihrer
Anwendungen. Springer. 1929.

Logische Syntax der Sprache. 1934.

Philosophy and Logical Syntax. Bristol UK: Thoemmes. 1996.

Foundations of Logic and Mathematics in International Encyclopedia of Unified

Science, Vol. I, no. 3. University of Chicago Press. 1939.

Introduction to Semantics. Harvard Uni. Press. 1942.

Formalization of Logic. Harvard Uni. Press. 1943.

Meaning and Necessity: a Study in Semantics and Modal Logic. University of

Chicago Press. 1947.

Logical Foundations of Probability. University of Chicago Press. Pp. 3-15 online.

1950.

"Empiricism, Semantics, Ontology", Revue Internationale de Philosophie 4: 20-40.

1950.

The Continuum of Inductive Methods. University of Chicago Press. 1952.

Introduction to Symbolic Logic with Applications. Dover. 1958.

"Intellectual Autobiography" in Schilpp (1963: 1-84). 1963.

Philosophical Foundations of Physics. Martin Gardner, ed. Basic Books. 1966

Studies in inductive logic and probability, Vol. 1. University of California Press. 1971

Two essays on entropy. Shimony, Abner, ed. University of California Press. 1977

Studies in inductive logic and probability, Vol. 2. Jeffrey, R. C., ed. University of
California Press. 1977.
7

2.3 Pensamentos
2.3.1 Analtico e Sinttico:
Para o empirista lgico, todas as declaraes podem ser divididos em duas
classes: analtica e sinttico. Um aspecto importante do trabalho de Carnap era sua
tentativa de dar uma definio precisa para a distino entre juzos analticos e sintticos.
Em The Logical Syntax of Language (1934), Carnap estudou uma linguagem
formal que poderia expressar a matemtica clssica e as teorias cientficas, por exemplo,
a fsica clssica. Carnap teria visto em 1931, o artigo de Kurt Gdel sobre a incompletude
da matemtica. Ele era, portanto, ciente da diferena substancial entre os dois conceitos
de prova e conseqncia: algumas declaraes, apesar de ser uma consequncia lgica
dos axiomas da matemtica, no so demonstrveis por meio desses axiomas. O Ensaio
de Tarski levou noo de consequncia lgica a ser considerada como um conceito
semntico e definida por meio de teoria de modelos. Estas circunstncias explicam como
Carnap, em The Logical Syntax of Language, deu uma formulao puramente sinttica
do conceito de conseqncia lgica.
2.3.2 Significado e verificabilidade:
Talvez o mais famoso princpio do empirismo lgico o princpio de
verificabilidade, segundo a qual uma declarao sinttica s tem sentido se verificvel.
Carnap procurou dar uma formulao lgica deste princpio. Em In The Logical Structure
of the World (1928) afirmou que a declarao s tem sentido se cada termo no-lgico
explicitamente definvel por meio de uma linguagem fenomnica muito restrito. Poucos
anos depois, Carnap compreendeu que esta tese era insustentvel, porque uma
linguagem fenomnica insuficiente para definir conceitos fsicos. Assim, ele escolheu
uma linguagem objetiva ("linguagem coisa") como a linguagem bsica, em que cada
termo primitivo um termo fsico. Todos os outros termos (biolgicos, psicolgicos,
culturais) deve ser definido por meio de termos bsicos. Para superar o problema que
uma definio explcita muitas vezes impossvel, Carnap usou conceitos disposicionais,
que podem ser introduzidas por meio de sentenas de reduo.
8

Popper mostrou no s que alguns termos metafsicos pode ser reduzida

linguagem observacional e, assim, cumprir os requisitos de Carnap, mas tambm que
alguns conceitos fsicos genunos so proibidos. Carnap reconheceu que as crticas e em
The Methodological Character of Theoretical Concepts (1956) e procurou desenvolver
uma maior definio. As principais propriedades filosficas de novo princpio de Carnap
pode ser descrito em trs categorias. Em primeiro lugar, de todos, o significado de um
termo torna-se um conceito relativo: um termo significativa no que diz respeito a uma
dada teoria e uma dada lngua. O significado de um conceito depende, assim, a teoria
em que esse conceito utilizado. Isto representa uma alterao significativa na teoria do
significado do empirismo. Em segundo lugar, Carnap reconhece explicitamente que
alguns termos tericos no pode ser reduzida linguagem observacional: eles adquirem
um significado emprico por meio das ligaes com outros termos tericos redutveis. Em
terceiro lugar, Carnap percebe que o princpio da operacionalismo demasiado restritiva.
Operacionalismo foi formulado pelo fsico americano Percy Williams Bridgman (18821961) em seu livro The Logic of Modern Physics (1927). Segundo Bridgman, todo
conceito fsico definido pelas operaes de um fsico usa para aplic-la. Bridgman
afirmou que a curvatura do espao- tempo, um conceito usado por Einstein em sua teoria
geral da relatividade, no tem sentido, porque no definvel por meio de operaes.
Bridgman posteriormente mudou seu ponto de vista filosfico, e admitiu que h uma
conexo indireta com as observaes. Talvez influenciado pela crtica de Popper, ou
pelas conseqncias problemticas de uma operacionalismo estrito, Carnap mudou seu
ponto de vista anterior e admitiu abertamente uma conexo muito indireta entre termos
tericos e da linguagem observacional.
2.3.3 Lgica Modal e a Filosofia da Linguagem:
A tabela a seguir, que uma adaptao de uma tabela semelhante Carnap usado
em Meaning and Necessity, mostra as relaes entre propriedades modais como
propriedades necessrias e impossveis e lgicos, tais como L-verdadeiro, L-falso,
analtico, sinttico. O smbolo significa N "necessariamente", de modo que Np significa
"necessariamente p" ou "p necessrio."

Modalidade

Formalizao

Estado Lgico

P necessrio

Np L

Verdade, Analtica

P impossvel

N~p L

Falsa, Contraditria

P contingente

Np ^ ~N~p

Factual, Sinttico

P no necessrio

Np No L

Verdadeiro

P possvel

~N~p No L

Falso

P no contingente

Np v N~p L

Determinado, no sinttico

Formulao da lgica modal de Carnap muito importante do ponto de vista

histrico. Carnap deu a primeira anlise semntica de uma lgica modal, usando a teoria
modelo tarskiana para explicar as condies em que "necessariamente p" verdadeiro.
2.3.4 Filosofia da Fsica:
O primeiro e os ltimos livros Carnap publicados durante sua vida estavam
preocupados com a filosofia da fsica: sua tese de doutorado (Der Raum, 1922) e
Philosophical Foundations of Physics. Der Raum lida com a filosofia do espao. Carnap
reconhece a diferena entre trs tipos de teorias do espao: formais, fsicas e intuitivas.
Espao formal analtico a priori; ele est preocupado com as propriedades formais do
espao que com essas propriedades, que so uma consequncia lgica de um conjunto
definido de axiomas. O espao fsico a posteriori sinttica; o objeto da cincia natural,
e podemos conhecer sua estrutura somente por meio de experincia. O espao intuitivo
sinttico a priori, e conhecido por meio de uma intuio. Segundo Carnap, a distino
entre trs tipos diferentes de espao semelhante distino entre trs aspectos
diferentes de geometria: projetivos, mtricas e topolgicas.
Alguns aspectos da Der Raum permanecer muito interessante. Em primeiro lugar,
Carnap aceita um ponto filosfico neo-kantiana de vista. O espao intuitivo, com seu
carter sinttico, uma concesso filosofia kantiana. Em segundo lugar, Carnap usa
os mtodos da lgica matemtica; por exemplo, a caracterizao do espao intuitivo
dada por meio de axiomas de Hilbert para topologia. Em terceiro lugar, a distino entre
o espao fsico e formal similar distino entre geometria fsica e matemtica. Esta
distino, proposta por Hans Reichenbach e posteriormente aceita por Carnap, e tornouse a posio oficial do empirismo lgico na filosofia do espao.
10

Philosophical Foundations of Physics um levantamento claro e acessvel de

tpicos da filosofia da fsica baseada em palestras universitrias de Carnap. Algumas
teorias expressas no so as de Carnap sozinho, mas eles pertencem ao patrimnio
comum do empirismo lgico. Os temas abordados no livro so:

A estrutura da explicao cientfica: explicao dedutiva e probabilstica.

A importncia filosfica e fsica da geometria no-euclidiana; a teoria do espao

na teoria geral da relatividade. Carnap argumenta contra a filosofia kantiana,
especialmente contra o sinttico a priori, e contra o convencionalismo. Ele d
uma explicao clara das principais propriedades da geometria no-euclidiana.

Determinismo e fsica quntica.

A natureza da linguagem cientfica. Carnap lida com a distino entre termos

observacionais e tericos, a distino entre juzos analticos e sintticos e
conceitos quantitativos.

11

Discusso
O que cincia?
um conjunto de hipteses e teorias a resolver ou j resolvidas, com um objeto
prprio, e que usa um determinado mtodo. A cincia baseia-se em hipteses, leis e
teorias aceitos pelas comunidades de cientistas, sendo suscetveis de verificaes em
busca de explicaes mais completas, coerentes e sistemticas. Uma teoria cientifica
consiste em um sistema lgico, com termos primitivos, postulados, termos derivados e
teoremas observacionais.
A viso da cincia que unia os mtodos da lgica com a postura empirista e
positivista. Postura empirista porque o conhecimento se funda na observao, e no
como querem os racionalistas clssicos, a partir do intelecto, e postura positivista porque
enfatiza a demarcao entre cincia e metafsica.
Qual o mtodo da cincia?
A cincia pode sim proceder pelo mtodo indutivo desde que ela tenha como pano
de fundo a deduo, tenha como ncleo a lgica dedutiva de forma que esta exera
controle sobre aquela, a ideia de sistema lingustico artificial. As descobertas quanto a
justificao das leis cientficas se deem por uma lgica indutiva de cunho racional, trocar
a linguagem cotidiana por uma linguagem formal, depois de transformados os enunciados
em linguagem formal podem analisar as variveis desses casos convertendo-as
posteriormente de forma que assumam um carter universal, ou seja uma induo por
enumerao. Aps converter individualidade numa universalidade, se algo pde ser
verificado em uma estrutura lgica, pode-se agora partir para o campo da experincia
para que esse algo possa ser tambm confirmado.

12

Quais os objetos e linguagem das cincias?

So os objetos de nveis superiores (fsicos, heteropsicolgicos e culturais),
objetos do nvel bsico (autopsicolgicos) e a linguagem das cincias seria a linguagem
fenomenolgica. A linguagem fenomenolgica era capaz de descrever todas as
sentenas com sentido e eliminar o discurso metafisico.
Tendo como base os objetos auto psicolgicos, dados dos sentidos obtidos das
experincias elementares (sensaes, sentimentos e pensamentos), em que so
principais alicerces as hipteses, leis e teorias.
Qual o critrio de verificabilidade de uma teoria cientifica?
de que determinada sentena s possui significado para aqueles que so capazes de
indicar em que condies tal sentena seria verdadeira, e em quais ela seria falsa. Ou
seja se uma proposio verificvel se admite uma comprovao conclusiva pela
experincia.
Basear-se na verificao emprica para constatar a verdade de uma proposio,
no permite conferir verdade a nenhuma proposio ou lei de carter geral, uma vez que
a experincia s apresenta casos particulares. Assim, no podendo ser verificados, tais
leis podem, contudo, vir a ser confirmadas, gradualmente, pela experincia. Embora no
haja possibilidade de atingir uma confirmao absoluta, quanto mais evidncias
empricas se obtiver a seu favor, maior o grau relativo da dita lei, proposio ou teoria em
questo.
Descreva algum fato que tenha sido confirmado pela linguagem da cincia, ou seja,
por hipteses, leis e teorias cientficas.
As hipteses so a base do mtodo, so idias que tentam explicar algum evento
observvel; teoria viria a ser uma hiptese que passou por um processo de verificao
de suas previses e as leis cientficas so provenientes das hipteses, que descrevem
um evento observvel que ocorre com regularidade. Um exemplo seria as leis de Newton
e a lei da gravitao universal.

13

Referncias

LUNGARZO, Carlos. O que cincia. Ed. Brasiliense.

CHALMERS, A.F. O que cincia afinal. Ed. Brasiliense.
PASQUINELLI, Alberto. Carnap e o Positivismo Lgico. Ed. Edies 70
STEGMULLER, Wolfang. A filosofia contempornea: Introduo crtica. Editora
Pedagogica e Universitria E.P.U, So Paulo.

Sites:
http://www.fafich.ufmg.br/~margutti/Rudolf%20Carnap%20%20Stanford%20Encyclopaedia%20of%20Philosophy.pdf
http://www.algosobre.com.br/sociofilosofia/circulo-de-viena.html
http://pt.wikipedia.org/wiki/Rudolf_Carnap
http://www.periodicos.uem.br/ojs/index.php/Urutagua/article/viewFile/4915/4037
http://www.ufsj.edu.br/portal-repositorio/File/lable/resenhas1/carnap.pdf
https://repositorio.ufsc.br/handle/123456789/96211

14