Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
epistemolgica do Aufbau.
Carlos Miraglia
Pelotas, 24 de outubro de 2015.
11
Introduo.......................................................................................................17
Captulo I
Por uma Releitura Epistemolgica do Aufbau........................................23
1.1. Por uma releitura epistemolgica do Aufbau..........................24
1.2. A renncia s ambies doutrinais: Quine e Goodman.......30
1.3. Duas tentativas de realizao do programa conceitual:
Goodman e Sneed............................................................... ...............34
1.4. O Aufbau como projeto neotranscendental de
justificao..............................................................................................41
1.5. Forma lgica e objetividade: o empirismo de Carnap um
formalismo...........................................................................................49
Captulo II
A Epistemologia e o Problema da Justificao do Conhecimento
Emprico..........................................................................................................60
2.l. Qual epistemologia?.......................................................................60
2.2. Empirismo e racionalismo..........................................................68
2.3. Neokantismo e epistemologia.....................................................82
Captulo III
Uma Leitura Epistemolgica Do Aufbau .................................................91
3.1. Resumo............................................................................................92
A. O Projeto...........................................................................................96
B. As Formas de Ascenso.................................................................101
1. A construo de objetos................................................................103
2. A eliminao dos objetos construidos........................................105
2. Smbolos incompletos: carga epistemolgica e compromisso
ontolgico.............................................................................................108
C. A Forma do Sistema......................................................................114
1. A ordem dos conceitos empricos...............................................114
2. A defesa do mtodo extensional..................................................118
3. Ordem epistmica e ordem lgica..............................................121
D. O problema da base......................................................................127
1. Material bruto e determinao conceitual.................................127
2. O conceito de estrutura.................................................................130
3. Descries definidas e caracterizao estrutural.......................136
4. Definies implcitas: recuperao dos objetos empricos como
objetos formais....................................................................................142
5. A escolha dos elementos bsicos..................................................149
6. Quase-anlise e abstrao..............................................................150
7. A escolha das relaes bsicas.......................................................164
8. As relaes bsicas como "categorias".........................................169
E: A Forma e a Construo dos Objetos........................................174
1. A construo dos objetos: forma final e esboo provisrio do
sistema...................................................................................................174
14
Captulo IV
Para uma crtica do projeto do Aufbau..........................................185
4.1. Pressuposies extra-sistemticas no Aufbau.........................189
4.2. A construo do tempo e do espao........................................199
4.3. Finitismo e decidibilidade.........................................................208
4.4. A soluo final: extruso do contedo e formalizao
completa...............................................................................................218
Concluso.............................................................................................232
Referncias
I. Obras de Rudolf Carnap...............................................................240
II. Outras obras...................................................................................241
15
21
24
25
Estrutura da Aparncia.
O outro caso que queremos examinar brevemente, dentro do
questionamento que estamos propondo da ideia , prejudicial
apreciao do Aufbau , de que as questes de esclarecimento
conceitual ( excluso das de justificao) seriam as nicas relevantes
para a filosofia da cincia (quando no para a filosofia tout court),
o da corrente "estruturalista" de Sneed e Stegmuller.
Esse grupo, cujo trabalho teve seu maior impulso na dcada de
70, aps a publicao de The Logical Structure of Mathematical
Physics de Joseph Sneed, considera a elucidao da estrutura lgica a reconstruo lgica - de teorias empricas reais, sobretudo as da
Fsica Matemtica, como sua tarefa principal.
Entretanto, herdeiros de toda a discusso precedente sobre o
positivismo lgico, e sensibilizados pelas novas preocupaes
38
3
4
Por outro lado, comea a haver hoje cada vez maior conscincia
de que o prprio positivismo lgico no tem sido adequadamente
avaliado.
M.Friedman, numa resenha crtica relativamente recente dos
artigos filosficos de Schlick, procede em relao a esse autor e ao
movimento do positivismo lgico mesma espcie de reavaliao cuja
pertinncia reivindicamos em relao ao Aufbau .
Sustenta Friedman que:
"[...]careful attention to the actual history of logical positivism
forces us to drastically revise our contemporary assessment of
that movement [...]. The verificationism of the positivists did
not develop along a direct line from Hume and Mach via
Russell and Wittgenstein. At least equally important is an
evolution from German neo-Kantism and neo-idealism via
Hilbert and Einstein. [...] The neo-Kantian and neo-idealist
influence on the early positivists has been widely neglected
again, largely because of positivism's own anti-Kantian
rethoric. To get an initial appreciation of this influence, one
has only to list some of the authors referred to by the two
great works of the period: Schlick's General Theory of
Knowledge and Carnap's Aufbau (1928)" (1983).
Mas lembra ele com isso "I was not advocating the view that
Frege was indifferent to questions of justification."
Wittgenstein, no Tractatus, quem realiza, segundo Dummett,
"the excessive purge... of all epistemic notions as belonging to the
province of psychology".(ibidem)
Essa avaliao de Dummett se reporta ao Tractatus (4.1121), onde
se afirma que "a teoria do conhecimento [Erkenntnistheorie, que os
ingleses traduzem por "epistemology"] a filosofia da psicologia". No
contexto do Tractatus, contudo, esse aforisma parece mais uma
reconduo da teoria do conhecimento (e de seu tradicional
tratamento psicolgico) filosofia do que propriamente uma
atribuio psicologia da responsabilidade de ocupar-se da teoria do
conhecimento.
48
55
Quanto a Carnap,
we can equally well speak of the transcendental role played by
forms [...]. As we know from the Aufbau, a logical
reconstruction of the world consists of a structural
description of a closed set of objects determined by their
position in a graph. In the Logical Syntax, far from
renouncing these structural characterizations, Carnap makes
them the condition of scientific objectification (Proust, 1987,
p.518).
56
J.Proust defende de modo convincente seu mtodo "tpicocomparativo", que lhe permite discernir um "mesmo problema" em
contextos to diversos, sem incorrer em metabasis eis allo genus. Este
problema, que lhe serve de fio condutor, atravessa de fato as
fronteiras raramente transpostas em que tm sido confinadas as duas
tradies da filosofia contempornea.
"Anglo-saxes" e "continentais" tm se mostrado incapazes de
realizar entre si um intercmbio crtico, de romper os obstculos que
se opem compreenso global da situao filosfica presente.
En nous efforant ici de rendre plus sensible le rle
philosophique qui a t attribu depuis Kant la logique
57
58
cincia, j que por muitos sculos nada mais havia sido do que um
simples tatear" (CRP: B XII,XIII); tudo isto no poderia passar sem
consequncias sobre a reflexo filosfica.
O problema do conhecimento, de que passa a se ocupar
centralmente a filosofia moderna, j se coloca a com uma
originalidade que fruto da presena, geradora de novas indagaes,
dessa cincia ela prpria original, exemplo de um tipo de
conhecimento e de racionalidade sem precedentes na episteme
clssica.
Racionalismo e empirismo representam reaes diversas face a
esse conhecimento novo, procurando o primeiro coloc-lo de direito
no campo da racionalidade, dotando-o da certeza, universalidade e
necessidade caractersticas da verdadeira cincia segundo a razo
clssica; enquanto o segundo busca enquadr-lo como forma nova,
mas no essencialmente diferente, de conhecimento comum, simples
prolongamento da experincia ordinria.
O atual embarao em relao ao status conceitual da
epistemologia (seu campo, seus mtodos, seus objetivos) reflete ainda,
de muitas formas, esta diviso que marcou desde o bero a reflexo
moderna sobre o novo conhecimento cientfico.
O termo epistemologia de introduo relativamente recente no
vocabulrio filosfico. Etimologicamente, significa estudo ou teoria
da cincia (episteme). A inteno de marcar com uma nova
denominao a especificidade da problemtica surgida a partir da
constituio das cincias modernas e de sua insero original dentro
da organizao tradicional do domnio cognitivo, em certa medida se
60
um
termo semanticamente
61
62
63
igualmente importante vertente crtica, neokantiana (no empriocriticismo to duramente fustigado por Lnin 8.
Nos pases anglo-saxes, como vimos, o termo epistemologia
corresponde ao mbito da teoria do conhecimento, a qual, dentro da
compreenso empirista a predominante, tendeu a se limitar a um
questionamento psicolgico ou lgico das relaes entre evidncia e
teoria.
Nesses pases, a filosofia da cincia, marcada pelo kantismo de
Whewell e pelo empirismo de J.S.Mill, foi obra em grande parte,
como na Alemanha, de cientistas naturais com interesses filosficos
(Pearson, Clifford, Eddington, Bridgman).
Russell e Whitehead, alm de fornecerem um paradigma de
anlise conceitual e reconstruo racional no campo da matemtica,
inspiraram tentativas anlogas em relao s teorias empricas.
Nos Estados Unidos, o pragmatismo trouxe em suas razes as
marcas de "uma releitura de Kant no esprito do empirismo
britnico" (Passmore, 1978, p.97; p.100; p.477). Os analticos
americanos (Quine, Goodman, Nagel, Feigl, Hempel) "cultivam a
anlise lgica com um esprito cientfico sistemtico que
provavelmente est mais prximo do Crculo de Viena do que tudo o
que possamos encontrar atualmente [1959] em qualquer outro lugar"
(Ayer, 1965. p.13).
Como o positivismo lgico chegou a se tornar a received view na
filosofia da cincia, e de que forma passou a ser questionado em seus
pressupostos bsicos sobretudo a partir dos anos 60 (Toulmin,
Hanson, Kuhn) histria recente e bem conhecida (Suppe, 1979;
Stegmuller, 1983).
G.Canguilhem alerta por ocasio de uma comparao tpica
para semelhanas que podem enganar, entre tradies diferentes:
69
10
Em consequncia,
como a razo humana, considerada em si, essencialmente
una, no pode haver mais de uma filosofia, isto , no h
mais de um sistema racional possvel segundo princpios
[...]. Assim, diz com razo o moralista: No h mais de uma
virtude, no h mais de uma moral [...]; o qumico: no h
mais de uma qumica (a de Lavoisier); o mdico: no h mais
de um nico princpio para o sistema ou a classificao das
enfermidades (o de Brown) [...] (Kant 1797, p.3-4).
79
81
11
12
13
thinking ".
14
15
87
priori:
1) Le niveau proprement logique, comme a priori strict non
arbitraire. 2) Un second niveau, qui serait la mise en forme
du monde en tant qu'exprience. Les lois scientifiques
acquirent par l une relativit extrme (Granger 1970, p.18).
89
90
3.1. RESUMO
A. O PROJETO
O projeto de Carnap no Aufbau, era o de, com novos
instrumentos lgicos, realizar a completa reduo dos conceitos
empricos ao dado, dando com isso ao conhecimento comum e
cientfico a fundamentao de que ele lhe parececia carecer.
B. AS FORMAS DE ASCENSO
O problema formal da construo e eliminao de objetos
(a definio por abstrao e a eliminao do smbolo de classes)
Smbolos incompletos: compromisso ontolgico e carga
epistemolgica
C. A FORMA DO SISTEMA
H uma ordem nos conceitos empricos - uma ordem
epistmica - que pode ser explicitada por um critrio factual de
redutibilidade, em termos de condies necessrias e suficientes
entre estados de coisas; para cada objeto cientfico, h um
estado de coisas bsico, para o qual pode ser estabelecido um
indicador (Kennzeichen) que permite reconhec-lo. A
contrapartida construcional do critrio factual de
redutibilidade a existncia de uma funo proposicional
fundamental que indica o estado de coisas bsico de cada
objeto. Objeo: na passagem da linguagem realista para a
linguagem da construo, perde-se "o sentido" dos conceitos
empricos.
A defesa do mtodo extensional. Objeo (de Goodman): a
exigncia de equivalncia extensional das definies no seria
demasiado forte?
A "ordem epistmica" (pr-sistemtica) e sua relao com a
ordem lgica sistemtica dos conceitos.
D: O PROBLEMA DA BASE
92
95
A. O PROJETO
Formulado de modo muito geral, o que Carnap pretende no
no
sentido
prprio,
so
apenas
as
ou
b) {x:Fx} < z
1920s and 1930s came to believe that the job of philosophy was
analysis" (ibidem: 3).
Apesar de algumas confuses terminolgicas de Russell, no
difcil perceber como tudo convergia em torno dessa ideia de anlise.
Smbolos incompletos (como as descries definidas, do tipo "o atual
presidente da Repblica") podem ser eliminados atravs da anlise
lgica, como mostra a teoria das descries.
Estes smbolos so tambm chamados por Russell de "fices
lgicas" ou "construes lgicas". S.Stebbing (1930: cap.IX, 3,
"Mr.Russell's theory of incomplete symbols") precisa:
[...] in assertions concerning logical constructions [...] we are
not primarily saying something about the symbols but about
that which the symbols refer to. Thus, if X is what is referred
to and "S" is the symbolic expression used to refer to X, then
we may say that X is a logical construction if "S" is an
incomplete symbol (Stebbing1930, p.157).
113
C. A FORMA DO SISTEMA
1. A ordem dos conceitos empricos
A questo das formas de ascenso apenas um dos quatro
problemas formais da teoria da construo (o nico, als,
inteiramente formal). Os outros trs da forma do sistema, da base,
e da forma dos objetos so estreitamente ligados entre si, e seu
114
115
118
123
124
126
D. O PROBLEMA DA BASE
1. Material bruto e determinao conceitual
A discusso dos problemas formais do sistema construcional deve
incluir, obrigatoriamente, as questes ligadas escolha da base.
Carnap as aborda nos 61 a 83, subdividindo seu tratamento: os
elementos bsicos (61 a 74) e as relaes bsicas (75 a 83). Toda
essa questo, contudo, depende essencialmente de certos temas que ele
havia enfrentado anteriormente (10 a 16), nas "discusses
preliminares", parte A ("A forma dos enunciados cientficos").
O problema da escolha da base de um sistema de conceitos ,
antes de mais nada, o problema da escolha dos conceitos da base do
sistema. De acordo com o mtodo de construo assumido por
Carnap, a definio contextual, conceitos s podem ser produzidos a
partir de conceitos. Portanto, ao abrigar a pretenso empirista de
ancorar o sistema como um todo "na experincia" ou no
imediatamente dado, preciso que de algum modo ele resolva a
questo do vnculo dos conceitos bsicos com a base no-conceitual
do sistema.
A ideia de uma experincia pura como base do conhecimento, de
um dado imediato como material bruto de qualquer determinao
conceitual, tem sido caracterstica do empirismo, desde Locke.
Mesmo reconhecendo a interferncia do "juzo" sobre os
"fenmenos" "sensations often changed by judgement" (Essay, II, 9,
8, p.145), Locke no duvida da possibilidade de, pelo menos em
princpio, separar os dois fatores, e sobretudo, de que todo o material
do conhecimento seja fornecido pela percepo (nome que d ao que
estamos chamando experincia bruta): "perception then being the first
step and degree towards knowledge, and the inlet of all the materials
of it..." (Essay, II, 9, 15, p.149). A mente, "pgina em branco", precisa
ser alimentada por esta fonte bruta, a percepo (externa e interna),
"from which experience furnishes the understanding with ideas"
(Essay, II, 9, 4, p.105).
127
135
137
148
3 tem as cores a e c .
Nesse conjunto, cada par de objetos tem uma cor em comum;
entretanto, no h nenhuma cor que seja comum a todos eles.
Goodman considera essa dificuldade muito pior que a do
companheirismo: na verdade, ela seria "virtually disastrous to the
proposed construction" (SA: 162):
That this can happen invalidates the method of analysis on
which the first constructions of the Aufbau are based
(SA:164).
As dificuldades da quase-anlise:
acidentais
sobreposies essenciais e
160
que a constituio factvel, mas sim que o seu projeto e suas regras
mantm uma coerncia filosfica.
Embora simpatizando com a tentativa, no nos parece
convincente o seu resultado. Ao constituir as cores como (quase)
objetos, Carnap no poderia fazer um uso essencial da gramtica da
linguagem pr-sistemtica das cores.
]Esse recurso ao "gramatical", cuja legitimidade J.Proust concede a
Carnap, equivale a uma recuperao do "sinttico a priori" que ele se
propunha a eliminar : sinttico porque "diz alguma coisa a respeito
do mundo", e a priori porque "no necessrio referir-se experincia
para justific-lo" (Carnap 1966, cap. XVIII).
Em termos kantianos, a existncia das cincias e da linguagem
pr-sistemtica poderia servir de princpio regulativo para as
construes, mas no deveria ter um uso constitutivo. Como diz
Granger (1985, p.34), Carnap no s aqui, mas em vrios outros
momentos no tem outra sada seno "introduire de faon
163
169
DESCRIO INFORMAL
CONSTRUO
67
108
a relao bsica: Rs
78
109
os elementos bsicos:
experincias elementares
110
semelhana parcial: Ps
80
Crculos de semelhana
111
crculos de semelhana
81
Classes de qualidades
112
classes de qualidade
113
178
identidade parcial: Pi
114
85
Classes de sentido
115
86
116
sensaes
87
a ordem temporal
88
117
89
118
90
119
93
As sensaes
120
121
a relao de derivao de um
objeto
179
183
191
194
197
vrios "espaos sensoriais" ( 130), o espao matemtico abstrato (nuplas de nmeros reais) ( 107; 125)?
As preocupaes de Carnap com o problema do espao
remontam pelo menos sua tese de doutoramento, Der Raum (O
espao), de 1921. Como ele diz em sua Autobiografia, matemticos,
filsofos e fsicos, quando falam sobre o espao, esto falando sobre
trs coisas muito diferentes.
De acordo com Der Raum, o espao matemtico o espao
formal, um sistema abstrato construido na matemtica, dentro da
lgica das relaes; seu conhecimento de natureza lgica.
Um outro sentido de "espao" o espao intuitivo, cujo
conhecimento seria baseado na intuio pura, independentemente da
experincia, segundo Kant e os neokantianos (Natorp, Cassirer), cuja
influncia Carnap aceitava ento em relao a esse ponto. Ele apenas
restringe esse conhecimento intuitivo do espao a certas propriedades
topolgicas, considerando a estrutura mtrica (euclidiana, para Kant)
e a tri-dimensionalidade como caractersticas no inteiramente
intuitivas, mas empricas, isto , que dizem respeito no a esse espao
intuitivo, mas ao terceiro conceito de espao, o de espao fsico.
Este ltimo o espao fsico concebido em Der Raum, de
acordo com os empiristas Helmholtz e Schlick, como inteiramente
emprico.
"Inteiramente emprico" significava para Carnap "baseado nos
estados de coisas da experincia e alcanado atravs da induo, isto ,
atravs da reunio e da transformao de fatos experimentais" ( Der
Raum: 63).
Essa induo incluiria a especificao de uma mtrica
(Masetzung), livremente elegvel, por meio de cuja adio seria feita
a transformao do espao de topolgico em mtrico. Somente as
relaes topolgicas, mas no as projetivas ou as mtricas, seriam
"condies de toda experincia possvel", no sentido kantiano (id.: 65).
A questo da relao entre os tres conceitos de espao no
amplamente desenvolvida por Carnap nesse trabalho, cujo objetivo
era na verdade estabelecer suas diferenas. Ele sugere apenas que entre
203
205
3. Finitismo e decidibilidade
Os problemas que vnhamos examinando at agora eram
dificuldades que afetavam as teses principais do Aufbau de modo
sobretudo indireto, na medida em que podiam ser atribudos ao
estado ainda no satisfatoriamente desenvolvido das prprias
cincias empricas, ou que se admitia serem contornveis com
ajustes no sistema provisrio proposto a ttulo de exemplo.
J as caractersticas de finitismo e decidibilidade, que passamos
neste momento a abordar, so inerentes prpria concepo do
sistema em sua forma de realizao ideal. Sua incompatibilidade com
certos aspectos do conceito de cincia emprica, que tinham ficado
esquecidas ou subestimadas em face do interesse maior do Aufbau , de
justificao do conhecimento emprico, faz com que este projeto deva
ser drasticamente revisado, e por fim abandonado, ao nvel de seus
prprios objetivos fundamentais.
Finitismo e decidibilidade no so traos que o Aufbau deva a
seu aparato formal, o dos Principia Mathematica, que inclui o
instrumental completo da lgica (desde o clculo proposicional at o
clculo funcional de ordem superior) e da matemtica. Sem falar da
incompletude e indecidibilidade da aritmtica, j o clculo funcional
de primeira ordem, embora completo, indecidvel (no admite um
mtodo geral que permita determinar, diante de uma frmula
qualquer dada, se ela demonstrvel).
Os traos que estamos atribuindo ao sistema completo dos
conceitos empricos idealizado por Carnap no so afetados por esses
resultados metamatemticos de Gdel e de Church (posteriores ao
Aufbau), pois decorrem das caractersticas do domnio ao qual
Carnap aplica seu instrumental formal: o domnio finito das
experincias de um sujeito ou, em linguagem construcional, a lista
finita de pares de elementos bsicos que constitui a extenso da
relao bsica.
O finitismo inerente a qualquer sistema fenomenista: a
capacidade mnmica e perceptual de qualquer perceptor real finita.
Em linguagem realista, pr-sistemtica, podemos dizer que se o fluxo
da experincia temporalmente contnuo, as experincias elementares
208
210
16
217
222
224
227
231
CONCLUSO
238
239
240
242
245
247
248