Академический Документы
Профессиональный Документы
Культура Документы
TIAGO TRANJAN
v.1
So Paulo
2010
UNIVERSIDADE DE SO PAULO
FACULDADE DE FILOSOFIA, LETRAS E CINCIAS HUMANAS
DEPARTAMENTO DE FILOSOFIA
PROGRAMA DE PS-GRADUAO EM FILOSOFIA
Tiago Tranjan
Tese apresentada ao Programa de
Ps-Graduao em Filosofia do
Departamento de Filosofia da
Faculdade de Filosofia, Letras e
Cincias Humanas da Universidade de
So Paulo, para a obteno do ttulo de
Doutor em Filosofia.
v.1
So Paulo
2010
Dedicatria
Para Silvia,
com todo amor.
(E pode uma tese, o romance mais
bonito, uma vida, conter o carinho
que eu tenho por voc?)
Agradecimentos
Resumo
Abstract
Palavras-Chave / Keywords
CARNAP, PRINCPIO DE TOLERNCIA, ANALITICIDADE,
POSITIVISMO LGICO, CRCULO DE VIENA
ndice
Introduo e Notas
Introduo ............................................................................................
pg. 10
pg. 15
pg. 17
Captulo 1
Der Raum: Tolerncia Geomtrica
e a Lgica do Espao
Introduo ............................................................................................
pg. 18
pg. 19
pg. 26
pg. 31
pg. 35
pg. 39
pg. 51
pg. 59
pg. 71
Captulo 2
O Abriss e as Untersuchungen:
A Interpretao da Lgica
pg. 83
Introduo ..............................................................................................
pg. 85
pg. 85
pg. 88
pg. 90
pg. 94
pg. 101
pg. 106
pg. 110
pg. 114
pg. 121
pg. 127
pg. 131
pg. 134
pg. 141
pg. 144
pg. 159
pg. 166
pg. 173
Capitulo 3
The Logical Syntax of Language:
Formalismo e Tolerncia Lgica
pg. 203
pg. 209
pg. 213
pg. 221
pg. 226
pg. 229
pg. 232
pg. 233
pg. 237
pg. 242
pg. 244
pg. 245
pg. 248
pg. 258
Bibliografia ...........................................................................................
pg. 260
Introduo
10
objetivo das discusses filosficas e cientficas, faz com que ela seja vista com
desconfiana aps todas as perspicazes contribuies oriundas do campo da sociologia
cientfica na segunda metade do sculo XX.
No que diz respeito lgica, a situao chega a ser ainda mais intrigante. Carnap
fez questo de utilizar, desde seu primeiro escrito em 1922, as ferramentas mais
modernas da lgica simblica. Ele acompanhou todas as muitas evolues dessa
disciplina durante o perodo em que permaneceu ativo, e esteve sempre entre os
primeiros a compreend-las e coloc-las a servio da anlise filosfica. Mais do que
isso, sua filosofia corresponde, em muitos momentos, a uma tentativa justamente de
determinar o alcance filosfico das novas teorias lgico-formais, para sistematiz-las
segundo um ponto de vista filosfico coerente.
A despeito de tudo isso, e a despeito da admirao de que Carnap goza entre
lgicos e filsofos por seu domnio do arsenal lgico-formal, suas idias lgicas
raramente recebem alguma adeso ou meno explcita. Nenhum lgico ou filsofo da
lgica se define como carnapiano. Nenhuma doutrina lgica ou matemticofilosfica, mesmo entre aquelas que j pareciam descartadas segundo avaliaes
precipitadas, especificamente associada a seu nome. O logicismo carrega a marca de
Frege e Russell; o formalismo a marca de Hilbert; diferentes tendncias intuicionistas e
construtivistas so ligadas aos nomes de Brouwer, Heyting e mesmo de Wittgenstein. J
a filosofia lgica de vis semntico defendida por Carnap em sua ltima fase, ou no
recebe o status de verdadeiro sistema lgico-filosfico, ou associada ao nome de
Tarski (quase certamente com justia).
Com relao filosofia sinttica desenvolvida em The Logical Syntax of
Language (1937), com a qual culmina a primeira fase do pensamento de Carnap, o
prprio autor fez questo de repudi-la da maneira mais veemente, aps dar-se conta do
fracasso que ela representava. Em parte seguindo essa dura avaliao de Carnap, em
parte pela compreenso de que a filosofia lgica ali apresentada continha, de fato,
deficincias insanveis, todo o pensamento posterior condenou o livro vala dos
projetos interessantes, talvez, mas irresgatveis, posto que comprometidos desde o
nascimento com um pressuposto equivocado, e demonstravelmente equivocado: a
lgica como pura sintaxe.
para esse projeto que voltaremos nossa ateno no presente trabalho.
11
12
13
Vale a pena observar que o Abriss traz, em suas sees finais, um pequeno resumo do contedo dessa
obra.
14
15
16
17
Captulo 1
Der Raum:
Tolerncia Geomtrica e a Lgica do Espao
Para maiores detalhes a respeito do desenvolvimento histrico da geometria no sculo XIX e comeo do
XX, referimos ao estudo especfico de Houzel [Houzel, 1992] ou ainda a [Lohmar, 1989]: captulo 1,
[Mehrtens, 1990]: pgs. 47ss e [Boi, 1992].
18
[Brunschvicg, 1912]: seo 202. No original: En retraant les diffrentes tapes que la pense antique a
parcourues, nous avons assist la formation de trois difices logiques qui on attest par leur persistance
sculaire la solidit de leur structure: logique du nombre, logique des classes, logique des relations
spatiales.
19
Por um lado, h aqui uma resposta que se oferece com fora quase irresistvel.
Para investigar a geometria, a lgica das reaes espaciais, necessrio entrar em
contato, de alguma maneira, com tais relaes espaciais. Por diferentes que tenham sido
as inclinaes epistemolgicas ao longo da histria, alguma forma de contato com as
figuras espaciais quase sempre foi tomada como fonte do conhecimento geomtrico.
Seja por meio da abstrao a partir de dados sensveis, seja por meio de alguma forma
de representao espacial racional, era o contato com certa espacialidade, constitutiva
da experincia e/ou dada na experincia, que determinava a investigao do gemetra.
Alm disso, o acordo unnime e duradouro em relao aos resultados da
geometria cincia que, assim como a lgica formal aristotlica, impressionava por
nunca poder dar um passo atrs, embora pudesse, a par com a aritmtica, dar vrios
passos frente parecia atestar que o contato com as formas espaciais no apenas
constitua a fonte geral e nica da teoria geomtrica, mas tambm que tal fonte deveria
gozar de algum privilgio especial. A teoria kantiana do espao como forma a priori da
intuio, dotado de uma estrutura especfica (euclidiana) acessvel razo pura (que
podia realizar, na intuio, construes geomtricas capazes de evidenciar e garantir a
validade dos resultados geomtricos usuais), no por acaso conseguiu estabelecer-se
com tamanha fora em fins do sculo XVIII: ela conseguia dar conta, aparentemente,
dessa situao historicamente dada, milenar e facilmente constatvel.
Por outro lado, por maior que tenha sido o prestgio do enfoque kantiano,
podemos observar que a situao da geometria como rea do conhecimento havia
ganhado algumas complicaes j a partir do incio da Idade Moderna. Sua proximidade
com a aritmtica, por essa poca, havia sido reafirmada de maneira nova e influente.
Basta lembrar que a geometria cartesiana permite a operao de entidades geomtricas
por meios puramente formais, subordinados matemtica numrica (lgebra) e, por
meio dela, ao smbolo e manipulao simblica. Isso mostra como, a par com a
concepo especfica de uma cincia do espao, revelada na intuio espacial, surgia
tambm outra tendncia, que vinculava esse conhecimento intuitivo e espacial ao
conhecimento simblico.
Na verdade, a unio entre aritmtica e geometria dada, na Idade Moderna, pelo
conceito de grandeza. O conceito bsico da aritmtica, nesse perodo, o conceito de
nmero; o conceito bsico da geometria, o conceito de espao; o conceito mais
geral, indefinido, que de certa forma une essas duas reas, o conceito de grandeza.
20
A matemtica passa a ser definida como cincia das grandezas, o que deve abranger
tanto a aritmtica quanto a geometria. Em outras palavras, como se o conceito de
grandeza tentasse promover a sntese entre as duas principais vertentes da pesquisa
matemtica.
A matemtica cartesiana e sua geometria analtica, nesse sentido, conseguem
estabelecer de maneira bastante efetiva o encontro entre esses dois mbitos. Nesse
encontro, o nmero ganha uma concretude e uma aplicabilidade especfica, que o torna
nmero de algo, mais especificamente, de uma grandeza; mas grandeza est
igualmente associado um contedo intuitivo, dado pela espacialidade. Por meio da idia
geral de grandeza, portanto, o nmero passa a traduzir, alm da noo natural de
contagem, tambm uma noo de medida. E a medida, dada intuitivamente como
medida espacial ( qual muitas outras medidas podem ser reconduzidas), ganha por esse
modo uma estrutura precisa: a estrutura numrica. Como escreve Mehrtens:
(...) a matemtica era, segundo a definio corrente, cincia das
grandezas. Esse o conceito indefinido (unentschieden); pode tratarse de um nmero, ao qual se associa um segmento, de um segmento,
cuja medida deixa-se determinar como nmero, ou de qualquer outra
coisa mensurvel. 4
A aproximao entre matemtica (em sentido restrito: aritmtica) e geometria,
porm, no simtrica. A assimetria essencial entre as duas disciplinas uma questo
semntica: a semntica da geometria revela-se, inevitavelmente, muito mais complicada
do que a semntica da aritmtica. Isso porque a semntica da aritmtica possui um porto
seguro do qual a outra carece: ela mantm sempre em vista (ou pode manter) a noo de
contagem. O fenmeno natural e onipresente da contagem fornece para a semntica da
aritmtica um modelo operacional seguro para o qual sempre possvel retornar, caso a
situao terica torne-se demasiadamente complexa ou intratvel.
A semntica da geometria, ao contrrio, bastante mais obscura, intrincada,
incerta. Afinal, o que uma reta? Nesse sentido, podemos dizer que a filosofia kantiana
conseguira firmar sua influncia nesse tema justamente por haver elaborado uma
4
[Mehrtens, 1990]: pg. 42. No original: (...) Mathematik war nach der gelufigen Definition
Grssenwissenschaft. Dies ist der unentschiedene Begriff; es kann sich um eine Zahl handeln, der man
eine Strecke zuordnen kann, um eine Strecke, deren Mass sich als Zahl angeben lsst, oder um etwas
anderes Messbares.
21
[Barone, 1957]: pg. 169-170. No original: Gi sappiamo che costruire a priori un concetto significa
rappresentarlo nella intuizione a priori che gli corrisponde: in tale modo la arbitrariet viene vincolata
o, in realt, sopressa poich subordinata al pressuposto di una costruzione puramente interna a forme
intuitive che ne garantiscono una validit oggetiva reale.
(...) I sistemi della matematica nella concezione kantiana sono sempre sistemi interpretati, con ununica
direzione semantica, e non sono mai considerati nelle loro strutture sintattiche, indipendentemente da una
possibile interpretazione.
22
6
7
[Webb, 1995].
[Lambert, 1766], citado em [Webb, 1995].
23
para elas. Na verdade, o que seu resultado estabelecia era a consistncia relativa das
geometrias no-euclidianas; relativa, vale dizer, consistncia da prpria geometria
euclidiana. Riemann, por sua vez, adotou uma abordagem completamente nova (a
respeito da abordagem riemanniana, comentaremos longamente mais frente), por meio
de mtodos diferenciais, que dispensavam a restrio a trs dimenses e permitiam, pela
variao local da mtrica, o aparecimento de infinitas geometrias diferentes. Era dado a
um novo passo rumo abstrao e generalizao.
Em 1899, finalmente, Hilbert forneceu uma interpretao completa da geometria
euclidiana em termos de um modelo nos nmeros reais. Desse modo, tanto as
geometrias no-euclidianas como a euclidiana com todas as suas caractersticas
tericas: sua consistncia ou inconsistncia, sua estrutura dedutiva e sua base
axiomtica apareciam agora imersas na teoria dos nmeros. O tema da geometria,
por assim dizer, havia completado seu ciclo de deslocamento: ao se falar de sistemas
geomtricos (sistemas de relaes espaciais), era possvel considerar que o assunto
fosse, de fato, certo sistema numrico-simblico, facilmente opervel por via algbrica,
ao qual toda a geometria havia sido reconduzida. A esse respeito, D. Lohmar faz o
seguinte comentrio:
Os objetos da teoria passaram a ser somente variveis sem contedo,
que obedeciam exclusivamente aos axiomas formais, e para as quais era
possvel, mas no necessrio, procurar modelos intuitivos. (...) Podemos
agora precisar, portanto, as observaes introduzidas no comeo do
captulo a respeito do fim da geometria: O significado da geometria
alterou-se completamente para uma teoria puramente formal, que
embora possa ser indicada como geomtrica, nada mais tem a ver com a
geometria herdada da tradio. (...) Permanece aberto, para o qu e
como essa matemtica pode se mostrar til. 8
A geometria, despojada de seu objeto intuitivo-espacial caracterstico, descrita
por Lohmar no pargrafo acima como uma cincia desenraizada, que no processo de
8
[Lohmar, 1989]: pg. 17. No original: Die Gegenstnde der Theorien waren nur noch inhaltsleere
Variablen, die lediglich den formalen Axiomen gehorchten, fr die man sich anschauliche Modelle
suchen konnte, aber nicht suchen musste. (...) Wir knnen also die am Anfang des Kapitels gefhrte Rede
vom Ende der Geometrie przisieren: Der Sinn der Geometrie hat sich vllig gewandelt zu einer rein
formalen Theorie, die allenfalls geometrisch gedeutet werden kann, sonst aber nichts mehr mit der
herkmmlichen Geometrie zu tun hat. (...) Es blieb offen, zu was und wie diese Mathematik berhaupt
ntzen konnte.
24
progressiva abstrao simblica perdeu contato com sua prpria natureza. E, no entanto,
ao passar por essa transformao profunda, ela tambm conseguiu sair da tutela do
intuitivo, como fonte exclusiva de validade e verdade. A semntica da geometria se
quebra e multiplica. pergunta: O que uma reta?, j no parece suficiente apelar
para o objeto intudo, para o objeto construdo (ou reconstrudo, conforme o caso) no
espao intuitivo de representaes. necessrio encontrar novas referncias para os
termos da linguagem geomtrica e essas novas referncias jamais conseguiro retomar
o grau de univocidade que, em certos momentos, pareceu possvel alcanar.
Por um lado, portanto, a geometria assume mais e mais a condio de
formalismo simblico. Por outro lado, busca uma nova classe de interpretaes que
expliquem claramente sua aplicabilidade como sistema formal simblico ao
conhecimento do mundo. Essa nova classe de interpretaes introduzir, com maior
rigor do que em qualquer etapa anterior do pensamento, o aspecto especificamente
emprico em relao geometria. Da termos dito que a geometria passa da tutela
intuitiva para uma dupla tutela: simblica e emprica. Da termos dito tambm que a
perda de autonomia da geometria, correspondente sua assimilao pela matemtica
simblica e alienao do seu objeto absolutamente prprio, tambm um ganho de
autonomia: abstratamente simbolizada, ela ganha uma amplitude e liberdade de
operao conceitual que antes, sob o jugo da intuio, no pareciam possveis. Mas essa
apenas uma primeira aproximao. Para entender exatamente em que consiste esse
ganho, precisamos realizar uma anlise mais detalhada da relao que se estabelece
entre o aspecto simblico da geometria e seu aspecto emprico.
Por enquanto, podemos adiantar os seguintes resultados, que cumpre desde
agora reter. Em primeiro lugar, que a geometria passa a trabalhar com um novo par de
alternativas: no apenas a alternativa entre o verdadeiro e o no-verdadeiro/falso (entre
uma geometria correta e uma geometria errada), mas tambm a alternativa entre uma
geometria emprica e uma geometria no-emprica. Em outras palavras: aos poucos vai
se abrindo, dentro de um quadro terico suficientemente ntido, a opo de opor um
espao emprico a um espao no-emprico.
Em segundo lugar, gostaramos de chamar a ateno para o fato de que, ao
realizar esse percurso, a geometria torna-se a primeira cincia matemtica a assumir
distintamente seu aspecto emprico, no mais pelo vis do velho empirismo, mas sob
aquela forma que se tornar a mais tpica para a filosofia e cincia do sculo XX: certa
25
26
situao. Por outro lado, e como no poderia deixar de ser, os trs conceitos esto
intimamente relacionados, a ponto de quase se confundirem; e da confuso feita entre
eles que nascem as infindveis discusses em que matemticos, fsicos e filsofos
costumam se enredar, sem que nunca o n possa ser conclusivamente desatado.
J nesse momento, portanto, Carnap assume o tipo de abordagem que viria a
caracterizar toda a sua carreira filosfica 9 . Ele deposita suas esperanas de obter real
avano terico no refinamento conceitual, acompanhado de uma atitude tolerante em
relao aos diferentes usos tericos a que certos conceitos ou as diferentes faces de
um mesmo conceito podem se submeter. Em resumo, pode-se dizer que Carnap
desejava: 1) distinguir os trs conceitos de espao, mostrando a necessidade de separlos adequadamente; 2) esclarecer as conexes entre eles, mostrando como cada um se
relaciona com o outro; 3) indicar como os trs podem se articular, de modo a permitir
uma descrio vlida do mundo segundo categorias ditas espaciais descrio essa
assentada sobre adequada base lgica, epistemolgica e emprico-cientfica.
A distino que Carnap busca traar entre os trs conceitos de espao pode ser
caracterizada, em um primeiro momento, da seguinte maneira. Existe um tipo especfico
de estrutura lgica, completamente abstrata, que pode ser identificada como espacial
(por motivos que sero discutidos mais frente); esse tipo de estrutura, em suas
diferentes variantes, o espao formal. Existe ainda, para alm dessa estrutura lgicoabstrata, certa estrutura que se realiza concretamente na intuio (dita espacial) e que
corresponde ao modo como os objetos externos podem aparecer conscincia; esse
o espao normalmente tratado do ponto de vista filosfico. Finalmente, h o espao
fsico, ou seja, aquele espao no qual se desenrolam os eventos do mundo fsico, e cuja
estrutura deve ser descrita por teorias fsicas (segundo critrios empricos).
A esse respeito, Mormann observa: J aqui Carnap utiliza um mtodo que deveria tornar-se tpico de
todo seu pensamento posterior. No era seu objetivo trazer sob um denominador comum as diferentes
respostas para a pergunta a respeito da fonte de conhecimento, do tipo de objeto e do mbito de
validade da teoria do espao (Der Raum, pg. 5), tal como haviam sido elaboradas por filsofos,
matemticos e fsicos; ele queria, antes e em primeiro lugar, classificar essas respostas segundo o modo
como cada uma compreendia o termo espao, e assim desarmar a disputa. [Mormann, 2000]: pg. 52.
No original: Bereits hier praktiziert Carnap ein Verfahren, das fr sein gasamtes spteres Denken typisch
werden sollte. Es war ihm nicht darum zu tun, die verschiedenen Antworten auf die frage nach der
Erkenntnisquelle, der Art des Gegenstandes und dem Geltungsbereich der Raumlehre (Raum, S. 5), wie
sie von Philosophen, Mathematikern und Physikern vorgetragen worden sind, auf eine Nenner zu bringen,
er wollte sie vielmehr zunchst nach der Art und Weise klassifizieren, was jeweils unter Raum
verstanden wird, und dadurch den Streit entschrfen.
27
Essa caracterizao inicial, no entanto, ainda nos diz muito pouco a respeito do
projeto de Carnap. Para melhor compreend-lo, necessrio examinar em detalhes a
especfica configurao que, no incio do sculo XX, estava assumindo o estudo da
geometria e do espao, naquela progressiva direo de abertura que j indicamos na
seo precedente. Para lidar com o problema do espao a partir de uma perspectiva
cientificamente bem informada, na dcada de 1920, Carnap teve de inserir-se em um
debate bastante complexo. Naqueles anos, importantes novidades no campo da fsica, da
matemtica e da lgica algumas das quais vinham se anunciando desde o sculo XIX,
mas que s agora pareciam atingir o ponto de maturidade confluram de modo
decisivo para exigir uma nova abordagem para o assunto, tanto do ponto de vista
cientfico como do ponto de vista filosfico.
Todo o esforo de Carnap dirige-se a extrair esse novo e necessrio ajuste de
contas entre cincia e filosofia. Nesse sentido, portanto, que devemos perguntar: Ao
falar do espao matemtico como uma estrutura lgica, a qual lgica Carnap est se
referindo? E a qual matemtica? Mas tambm: Qual a fsica que ele usa? E qual o pano
de fundo filosfico contra o qual seu pensamento se desenvolve? As respostas a essas
quatro questes delimitam, de maneira j um pouco mais clara, o projeto de Carnap.
Lgica, matemtica, fsica e filosofia so os elementos pelos quais devemos indagar.
Verifiquemos cada um desses elementos.
A fsica que serve de horizonte s investigaes de Carnap, no Der Raum,
essencialmente a fsica relativstica de Einstein. Mais especificamente, Carnap tem em
vista a teoria da relatividade geral, tal como apresentada por Einstein em 1915.
No que diz respeito lgica formal, o horizonte de Carnap a logstica. Por
logstica em alemo Logistik, termo que ser o preferido de Carnap at seu Abriss
der Logistik (1928) queremos indicar a lgica formal moderna, tal como havia
evoludo na linha direta do trabalho de Frege. nessa rea, talvez, que Carnap exibe o
domnio mais completo da situao terica de sua poca, com conhecimento detalhado
de quase todos os textos lgicos importantes escritos no perodo. Essa abundncia de
conhecimento lgico, porm, no nos deve fazer perder de vista um fato simples: o
sistema de lgica formal que ele utiliza em Der Raum, como ferramenta de sua
exposio, essencialmente o sistema construdo por Russell e Whitehead nos
Principia Mathematica.
28
29
30
para obter uma formulao rigorosa das novas teorias matemticas do espao
(geometria riemanniana e topologia geral); 3) refazer a anlise epistemolgica
subjacente utilizao emprica dos conceitos espaciais, ou seja, examinar criticamente
a possibilidade de uma geometria fsica; e 4) examinar os resultados da fsica
relativstica dentro do quadro obtido.
31
Finalmente, ela reconhece seus prprios resultados como uma soluo matemtica (de
grande generalidade) para o problema, distinguindo-a da soluo emprica do problema.
Vejamos como Riemann faz isso.
O conceito central com que trabalha Riemann o conceito de grandeza
multiplamente
estendida
(mehrfach
ausgedehnte
Grsse),
ou
simplesmente
variedade (Mannigfaltigkeit). A origem desse conceito, por sua vez, pode ser buscada
na filosofia de H. Herbart (sucessor de Kant na cadeira de filosofia de Knigsberg), que
desenvolveu o conceito de formas seriais (Reihenformen). A idia por trs das formas
seriais, ainda de ntido sabor kantiano, a possibilidade de agrupar imagens mentais
(representaes) em um contnuo, de maneira que as diferentes peas mantenham sua
identidade individual ao mesmo tempo em que so coladas umas s outras, de
maneira a permitir a transio contnua entre elas. Assim, a partir de certo conceito
inicial, consegue-se obter um conceito mais geral, por meio da variao contnua do
primeiro.
Riemann limpa essa idia de seus adereos ontolgicos e submete-a a um
rigoroso tratamento matemtico. Para ele, j no importa considerar o tipo de conceito
cujas instanciaes so agrupadas nas formas seriais. Basta-lhe pressupor a existncia
de um conceito inicial que admita variao gradual segundo um parmetro qualquer de
determinao (parmetro esse que ser, como veremos, matematizado). Scholz observa:
Ele [Riemann] pressups a existncia de conceitos, matemticos ou
no, que podem surgir como resultado da fuso gradual em formas
seriais. Assumiu esse resultado e submeteu-o a consideraes
matemticas, formando assim o conceito de grandeza multiplamente
estendida (mehrfach ausgedehnte Grsse) ou variedade.
13
(destaques
[Scholz, E., 1992]: pg. 23. No original: He [Riemann] presupposed the existence of concepts,
mathematical or not, which may arise as a result of graded fusion into serial forms. He took up the result
and opened it to mathematical consideration, thus forming the concept of multiply extended magnitude
(mehrfach ausgedehnte Grsse) or manifold.
32
14
Riemann tambm menciona a situao em que a transio entre os diferentes graus ocorre de forma
discreta, ou seja, por meio de saltos entre pontos individuais; sua ateno, porm, concentra-se no caso
contnuo.
33
Eis o comentrio de Scholz a esse respeito: Nesses casos [com mais de uma dimenso] ele admitiu a
terminologia geomtrica bvia, porm drasticamente generalizada, de ponto para uma instncia
particular do conceito geral (variedade). (colchetes meus) [Scholz, E., 1992]: pg. 23. No original: In
these cases he admitted the obvious, but drastically generalized, geometric terminology of point for a
particular instance of the general concept (manifold).
34
16
Por exemplo: O conceito de cor, com suas diversas determinaes tonalidade, saturao e brilho, no
sistema HSB (hue, saturation and brightness) -, permitir a construo de um espao de cores; cada um
dos trs parmetros considerados tem de poder ser expresso numericamente; cada ponto do espao,
ento, corresponde a uma determinao completa do conceito, ou seja, a uma tripla de nmeros.
17
Matematicamente, isso significa: possuir uma funo distncia, que associe a qualquer par de pontos
um nmero real (sua distncia). Mais especificamente, o que se procura uma funo f: E x E R (em
que E indica o espao em questo e R indica o conjunto dos nmeros reais) capaz de obedecer a
certas condies normalmente tidas como adequadas a um conceito de distncia, tais como: f(p1, p2)
0, para quaisquer pontos p1 e p2 (a distncia entre dois pontos sempre maior do que zero); f(p1,p2) =
f(p2,p1) (simetria); f(p1,p2) + f(p2,p3) f(p1,p3) (lei triangular).
35
outras palavras, seria recomendvel (til para vrias aplicaes) metrizar o espao, ou
seja, dotar-lhe de uma mtrica. Como faz-lo? E mais importante ainda: O que significa,
exatamente, a adoo de uma mtrica? O que possibilita estabelec-la, e quais as
possibilidades que surgem?
Tambm para esses problemas Riemann consegue alcanar uma formulao de
grande generalidade que, mais do que fornecer uma anlise aguda da situao
matemtica e epistemolgica, fornece uma ligao precisa entre ambas. Da anlise do
significado e das condies de aplicabilidade de uma mtrica, ele deriva a generalidade
matemtica de seu tratamento. Por meio da generalidade matemtica de seu tratamento,
ele consegue desvendar as suposies implcitas que conferem significado real a uma
mtrica, e condicionam sua aplicabilidade. essa abrangncia de propsitos,
acompanhada de um exame absolutamente rigoroso da situao, que tornam o trabalho
de Riemann um marco da cincia.
O problema propriamente matemtico que sua obra formula consiste no estudo
das possveis estruturas mtricas que uma variedade (espao) n-dimensional pode
assumir, e da maneira adequada para sua descrio. Ao fazer isso, Riemann rompe com
duas suposies clssicas: 1) Rompe com a limitao do conceito de espao sua
semntica tradicional (na qual o aspecto emprico e o aspecto intuitivo no conseguiam
se separar claramente, aparecendo sempre entrelaados), por meio do desenvolvimento
de certa noo mais geral de espao, que passa a ser visto como organizao
posicional de pontos quaisquer (para descrever um espao desse tipo, portanto,
basta descrever formalmente quais pontos esto prximos a quais outros pontos, sem
levar em conta o que so, ou a que se referem, esses pontos); 2) Rompe com a limitao
da estrutura mtrica do espao (quantificao numrica das posies) mtrica clssica
euclidiana, tida como natural, ou como a verdadeira mtrica do espao, ou ainda
como a nica possvel, devido ao recurso quele mesmo entrelaamento entre intuio e
experincia emprica que encontrava sua melhor resoluo filosfica no sistema
kantiano.
No basta, porm, supor que diferentes mtricas (e mtricas diferentes da
mtrica euclidiana usual) so possveis para um espao qualquer. necessrio encontrar
uma nova maneira de descrever e sistematizar o estudo dessas novas mtricas, segundo
um ponto de vista matemtico. A abordagem de Riemann para essa questo
igualmente inovadora.
36
A clara distino entre organizao topolgica e organizao mtrica de um sistema de pontos outra
das novidades introduzidas por Riemann.
19
O tipo de variedade que Riemann considera so aquelas com uma topologia isomrfica do espao
euclidiano n-dimensional. Qualquer variedade desse tipo admite a descrio de seus pontos por meio de
n-uplas de nmeros reais; no entanto, nem toda descrio por meio de n-uplas de nmeros reais ser
admissvel, mas apenas aquelas que preservam o referido isomorfismo topolgico. Mais especificamente,
a correspondncia biunvoca entre os pontos da variedade e as n-uplas de nmeros reais tem de ser dada
por uma funo contnua entre a variedade em questo e o espao euclidiano n-dimensional;
continuidade, aqui, um conceito exclusivamente topolgico (anterior, portanto, a qualquer mtrica), que
est bem definido entre a topologia que caracteriza a variedade e a topologia usual do espao euclidiano.
Essa restrio equivale, na verdade, a uma primeira delimitao do objeto matemtico
(variedade, geometria de Riemann) que Riemann est construindo. Trata-se de uma delimitao
referente estrutura topolgica do objeto; outras delimitaes, relativas sua estrutura mtrica, sero
introduzidas. Iremos examin-las logo a seguir.
20
Vale a pena observar que, no tipo de estrutura considerada, o sistema de coordenadas nunca nico;
para uma variedade n-dimensional qualquer, sempre possvel introduzir diferentes sistemas de n
coordenadas, igualmente aptos a descrever seus pontos. possvel ainda passar de um sistema de
coordenadas para outro, assim como em geometria euclidiana se passa de coordenadas cartesianas para
coordenadas esfricas; chama-se a esse procedimento transformao de coordenadas, o qual associa, s
coordenadas de um ponto no primeiro sistema, as coordenadas do mesmo ponto no segundo sistema.
37
21
Na verdade, distncias podem agora ser atribudas a quaisquer dois pontos que difiram no valor de uma
nica coordenada.
22
Matematicamente, isso quer dizer que a distncia entre um ponto P = (x1, x2, ... , xn) e outro ponto
infinitamente prximo P = (x1+dx1, x2+dx2, ... , xn+dxn) deve ser uma funo que envolve somente as
coordenadas x1, x2, ... , xn e os diferenciais dx1, dx2, ... , dxn.
23
Ver nota 20 acima.
38
39
as
grandezas
no
so
consideradas
como
existindo
24
[Riemann, 1854]: pg. 274. No original: Bestimmte, durch ein Merkmal oder eine Grenze
unterschiedene Theile einer Mannigfaltigkeit heissen Quanta. Ihre Vergleichung der Quantitt nach
geschieht bei den discreten Grssen durch Zhlung, bei den stetigen durch Messung. Das Messen besteht
in einem Aufeinanderlegen der zu vergleichenden Grssen; zum Messen wird also ein Mittel erfordert,
die eine Grsse als Massstab fr die andere fortzutragen. Fehlt dieses, so kann man zwei Grssen nur
vergleichen, wenn die eine ein Theil der andere ist, und auch dann nur als Mehr oder Minder, nicht das
Wieviel entscheiden. Die Untersuchungen, welche sich in diesem Falle ber sie anstellen lassen, bilden
einen allgemeinen von Massbestimmungen unabhngigen Theil der Grssenlehre, wo die Grssen nicht
als unabhngig von der Lage existirend und nicht durch eine Einheit ausdrkbar, sondern als Gebiete in
einer Mannigfaltigkeit betrachtet werden.
25
Ver nota 18 acima.
26
A esse respeito, ver a excelente discusso em [Grnbaum, 1973], sees 1-b a 1-e. Ver tambm nota 50
abaixo.
40
Mais adiante, aps ter desenvolvido a parte matemtica de sua obra, Riemann
prossegue:
No curso das investigaes acima, em primeiro lugar, foram
distinguidas as relaes mtricas das relaes de extenso ou regio,
sendo descoberto que, para as mesmas relaes de extenso, so
concebveis diferentes relaes mtricas; procurou-se ento encontrar
os sistemas de medies (Massbestimmungen) mais simples por meio
das quais as relaes mtricas do espao ficam plenamente
determinadas (...); resta agora tratar da questo sobre como, em que
grau e em que regies esses pressupostos sero garantidos pela
experincia. 27
Algumas pginas depois, conclui:
A questo acerca da validade dos pressupostos da geometria no
infinitamente pequeno est ligada questo acerca do fundamento
intrnseco das relaes mtricas do espao. Em relao a esta ltima
questo, que bem deve ser includa como parte da teoria dos espaos,
que se aplica a observao acima, segundo a qual, em uma variedade
discreta, as relaes mtricas j se encontram contidas no prprio
conceito da variedade, mas em uma variedade contnua precisam ser
trazidas de algum outro lugar. 28
Riemann est chamando a ateno, novamente, para a seguinte circunstncia:
Espaos discretos possuem uma mtrica intrnseca, dada pela contagem; espaos
contnuos no possuem uma mtrica intrnseca. Esse fato pode agora ser compreendido
em toda a sua abrangncia, em seu aspecto matemtico e em seu aspecto
27
[Riemann, 1854]: pg. 283-4. No original: Im Laufe der bisherigen Betrachtungen wurden zunchst
die Ausdehnungs- oder Gebietsverhltnisse von den Massverhltnissen gesondert, und gefunden, dass bei
denselben Ausdehnungsverhltnissen verschiedene Massverhltnissen denkbar sind; es wurden dann die
Systeme einfacher Massbestimmungen aufgesucht, durch welche die Massverhltnisse des Raumes vllig
bestimmt sind (...); es bleibt nun die Frage zu errtern, wie, in welchem Grade und in welchem Umfange
diese Voraussetzungen durch die Erfahrung verbrgt werden.
28
[Riemann, 1854]: pg. 285-6. No original: Die Frage ber die Gltigkeit der Voraussetzungen der
Geometrie im Unendlichkleinen hngt zusammen mit der Frage nach dem innern Grunde der
Massverhltnisse des Raumes. Bei dieser Frage, welche wohl noch zur Lehre vom Raume gerechnet
werden darf, kommt die obige Bemerkung zur Anwendung, dass bei einer discreten Mannigfaltigkeit das
Princip der Massverhltnisse schon in dem Begriffe dieser Mannigfaltikeit enthalten ist, bei einer stetigen
aber anders woher hinzukommen muss.
41
42
abordagem, desse modo, a distino muito clara entre uma geometria matemtica
abstrata (descrio da estrutura matemtica das variedades) e uma geometria fsica
(aplicao dessa estrutura ao estudo emprico do espao fsico). O problema central que
surge o de determinar, de um ponto de vista emprico, a mtrica do espao fsico 30 .
Em sua obra, Riemann desenvolve a moldura matemtico-terica do problema,
expe algumas de suas condicionantes epistemolgicas essenciais, mas no desenvolve
a indagao alm desse ponto. Limita-se a indicar a necessidade de estudar a geometria
fsica segundo mtodos empricos, e a manifestar sua esperana de que os pressupostos
adotados em sua abordagem se mostrem adequados a essa tarefa. Coube a dois outros
pensadores do sculo XIX desenvolver essa questo mais diretamente: H. Helmholtz e
H. Poincar.
No difcil perceber as dificuldades que se impem a uma abordagem emprica
para a geometria fsica. O problema central, h muito conhecido, reside no seguinte
fato: No possvel fixar um ponto do espao fsico vazio; nem possvel referir-se a
um ponto desse espao por si mesmo 31 . Como, ento, realizar medies do espao, e
no simplesmente no espao? Qual o sentido de medies desse tipo? Em outras
(contnua) de efeitos. A esse respeito, Weyl comenta: A fecundidade do princpio que, no clculo
diferencial, na fsica da propagao local de efeitos (Nahewirkungsphysik) e na geometria
riemanniana conduziu a avanos notveis reside nisso: compreender o mundo, segundo sua forma e
contedo, a partir de seu comportamento no infinitamente pequeno, precisamente na medida em que
todos os problemas so, por meio da reconduo ao infinitamente pequeno, linearizados. [Weyl, 1923]:
pg. 9 destaque final do prprio autor. No original: Es beruht ja die Leistungsfhigkeit des in der
Differentialrechnung, der Nahewirkungsphysik und der Riemannschen Geometrie zum Durchbruch
kommenden Prinzips: die Welt nach Form und Inhalt aus ihrem Verhalten in Unendlichkleinen zu
verstehen, eben darauf, dass alle Probleme durch den Rckgang aufs Unendlichkleine linearisiert
werden.
30
por se basear diretamente no conceito de mtrica, por oferecer uma anlise matemtica rigorosa das
estruturas mtricas, e por enfatizar a noo de medio como fundamento para as relaes mtricas do
espao que a geometria de Riemann conseguiu fornecer um ponto de apoio conceitualmente ntido para
a indagao epistemolgica acerca dos modos de determinao de que passvel a estrutura do espao
fsico.
interessante comparar, a esse respeito, a geometria de Riemann com resultados anteriores
nessa rea. De fato, desde finais do sculo XVII a geometria vinha perdendo sua posio como paradigma
de cincia racional, e isso por uma srie de fatores (ver [Houzel:1992]). Diferentes estruturas geomtricas
no-euclidianas comearam a ser estudadas (por exemplo, por Gauss, Lobatchevski e Bolyai), e muitos
dos principais gemetras principiaram a ver elementos empricos em sua cincia. Gauss chegou mesmo a
medir a soma dos ngulos internos de um grande tringulo formado pelos cumes de trs montanhas, para
verificar se essa soma seria mesmo igual a dois ngulos retos, como previsto pela geometria euclidiana
(na geometria esfrica, a soma maior, e na hiperblica, menor do que dois ngulos retos). No entanto, as
abordagens para a geometria no-euclidiana permaneciam atadas ao esquema axiomtico tradicional,
sendo baseadas na rejeio do quinto postulado de Euclides e sua substituio por uma das possveis
negaes por ele admitidas. Como conseqncia, o escopo e generalidade da anlise, bem como a nitidez
das questes epistemolgicas envolvidas, ficavam bastante reduzidos.
31
Essa circunstncia veio a ser amplamente discutida, por exemplo, em trs artigos publicados por Ernest
Mach em 1901, 1902 e 1903 na revista The Monist, posteriormente incorporados sua obra clssica
Erkenntnis und Irrtum (1905) e republicados parte em [Mach, 1906].
43
32
Uma verso mais forte dessa afirmao : Apenas o espao materialmente preenchido pode revelar
plenamente suas caractersticas mtricas. A estratgia, nesse caso, reside em preencher materialmente o
espao para identificar os seus pontos e, assim, medir a distncia entre eles.
33
[Helmholtz: 1868a], pg. 18. Na traduo inglesa que usamos como base da nossa: But we should not
forget here, that all geometrical measurements rest ultimately on the principle of congruence. We measure
separations between points by moving a pair of dividers or measuring rod or measuring chain up to them.
We measure angles by bringing a protractor or theodolite up to the vertex of the angle.
44
[Schlick, 1921]: pg. 33-4 (nota 39 a [Helmholtz: 1868a]). Na traduo inglesa que usamos como base
da nossa: Congruence is established by observing the coincidence of material points. All physical
measurements can be reduced to this same principle, since any reading of any of our instruments is
brought about with the help of coincidences of movable parts with points on a scale, etc. Helmholtz
proposition can therefore be extended to the truth that no occurrences whatsoever can be ascertained
physically other than meetings of points, and from tis Einstein has logically drawn the conclusion that all
physical laws should contain basically only statements about such coincidences.
35
[Helmholtz: 1868a]
36
[Helmholtz: 1868b]
37
Mais precisamente: no caso geral, pode no haver um isomorfismo mtrico entre duas regies do
espao; por isomorfismo mtrico queremos indicar uma funo biunvoca contnua, dos pontos de uma
regio (A) nos pontos da outra regio (B), capaz de preservar as relaes mtricas, ou seja, uma funo
biunvoca f : AB tal que d(a1,a2) = d(f(a1), f(a2)), para quaisquer pontos a1 e a2 da regio A.
45
corpos que esto em uma regio do espao no poderiam mover-se livremente para
outras regies do espao que no fossem metricamente isomorfas primeira, sem sofrer
distores 38 . O que est em jogo, portanto, a livre mobilidade dos corpos: em
espaos de mtrica irregular, ela no seria possvel.
H, porm, uma classe de espaos riemannianos para os quais essa dificuldade
no se coloca. Trata-se de um tipo especfico de variedade em que as relaes mtricas
so suficientemente uniformes para garantir que qualquer figura do espao possa se
encaixar em qualquer outra parte do espao. So os chamados espaos de curvatura
constante, espaos em que o valor da curvatura 39 igual em todos os pontos. H trs
subespcies desse tipo de espao: os esfricos (curvatura constante maior do que zero),
os pseudo-esfricos (curvatura constante menor do que zero) e o euclidiano (curvatura
constante igual a zero). De certo modo, portanto, possvel classificar os espaos,
matematicamente, segundo uma ordem decrescente de complexidade (e generalidade):
espaos com mtrica de Riemann qualquer; espaos com curvatura constante; espaos
euclidianos (curvatura constante nula).
Essas consideraes podem ser combinadas, agora, com o seguinte dado
emprico, verificado cotidianamente (em que medida esse um dado emprico, ser
justamente o ponto delicado a discutir): Corpos no espao fsico parecem ter absoluta
mobilidade, ou seja, podem deslocar-se livremente, sem sofrer distores. Essa
constatao, em princpio aceita por Riemann, levou-o a concluir que o espao fsico
deveria ter curvatura constante. A questo relevante seria determinar, por meios
empricos, qual o valor dessa curvatura 40 .
38
46
Helmholtz parece ter adotado essa mesma opinio, na qual baseia muitas vezes,
explicitamente, sua abordagem. Por outro lado, o mtodo de imaginao dos possveis
dados sensveis correspondentes a diferentes mtricas espaciais, sobre o qual falamos
mais acima, aponta aqui em direo um pouco diversa. Em seu clssico exemplo do
espelho convexo, Helmholtz mostra como o mesmo conjunto de dados sensveis pode
ser interpretado de dois modos diferentes, resultando em duas mtricas distintas. Tanto
no mundo real como em sua imagem no espelho convexo, os fatos observveis
inclusive medies de distncia por meio de rguas so rigorosamente os mesmos. Se
atribumos uma mtrica euclidiana ao nosso espao fsico e uma mtrica esfrica ao
espao do espelho, somente porque consideramos que as nossas rguas so corpos
rgidos, ao contrrio dessas mesmas rguas (suas imagens) no espelho, que nos parecem
diminuir de tamanho progressivamente conforme se aproximam da borda. A situao,
porm, completamente simtrica. Um habitante do espelho poderia igualmente bem
considerar as suas rguas como rgidas e atribuir uma mtrica euclidiana aos fatos do
espelho, e considerar que as rguas do mundo real (suas imagens) que mudam de
tamanho. Nosso mundo que teria, nesse caso, uma mtrica esfrica.
A questo central, claro, est em estabelecer algum significado emprico
palpvel para o termo corpo rgido. Somente a partir da faz sentido falar em livre
mobilidade dos corpos, como aquela possibilidade que os corpos rgidos tm de se
moverem pelo espao sem sofrer distores. Corpos rgidos, segundo uma definio
geral, seriam aqueles que no mudam de tamanho. Por isso mesmo, so esses os corpos
que podemos usar para medir outros corpos e distncias. Por um lado, portanto, os
corpos rgidos so aqueles dos quais depende qualquer possibilidade de medio; por
outro lado, parece que s poderamos falar propriamente em corpos rgidos aps
constatar que eles tm sempre a mesma medida, ou seja, aps medi-los. O crculo
vicioso envolvido nessas consideraes , infelizmente, bastante ntido.
Helmholtz percebeu, assim, a presena de um elemento, na definio de
qualquer mtrica para o espao fsico, que teria de escapar tanto lgica como pura
epistemologia do espao. Eis como ele resume a situao:
experimentais obtidos no sculo XIX, dentro dos limites de preciso tcnica da poca, no constatavam
nenhum desvio relevante, da curvatura, em relao ao valor nulo. Assim, essas experincias pareciam
indicar que mtrica do espao seria mesmo, afinal de contas, a antiga mtrica euclidiana.
47
[Helmholtz, 1868a]: pg. 24. Na traduo inglesa que usamos como base para a nossa: I wish finally
to stress further, that the axioms of geometry are certainly not propositions belonging to the pure theory
of space alone. () Now we have no criterion for the fixity of bodies and spatial structures other than that
when applied to one another at any time, in any place and after any rotation, they always show again the
same congruence as before. But we certainly cannot decide in a purely geometrical way, without bringing
in mechanical considerations, whether the bodies applied to each other have not themselves both changed
in the same manner.
42
Eis por que Mittelstaedt, por exemplo, considera a posio de Helmholtz (bem como a de Riemann)
relativamente ao espao fsico como empirista. Ver [Mittelstaedt, 1963]: seo 2.3. A esse respeito,
Schlick comenta: Helmholtz fala do nosso espao realmente existente; ele nunca duvidou de que o
espao fsico no era uma mera construo mental, parcialmente arbitrria, mas sim algo real, cujas
propriedades podem ser estabelecidas por observao. [Schlick, 1921]: pg. 30 (nota 26 a [Helmholtz:
1868a]). Na traduo inglesa que usamos como base para a nossa: Helmholtz speaks of our in fact
existing space; he never doubted that physical space is not merely a partially arbitrary mental
construction, but something actual, whose properties can be ascertained by observation.
Para um exame mais detalhado das posies de Helmholtz, consultar [Cahan, 1993], em especial
o artigo de Robert DiSalle, Helmholtzs Empiricist Philosophy of Mathematics: Between Laws of
Perception and Laws of Nature, pg. 498.
43
O prprio Helmholtz alega ter chegado, de modo independente, a concluses matemticas muito
semelhantes s de Riemann, por meio da considerao detalhada do problema (sua exposio, de fato,
48
encontrar bases empricas slidas para a medio do espao fsico. Quem enfatizou o
elemento absolutamente arbitrrio da geometria fsica foi Poincar. Principalmente em
Science et lHypothse 44 e La Valeur de la Science 45 , ele desenvolve uma posio que
pode ser resumida nos seguintes pontos 46 :
1) A geometria (os axiomas da geometria) no consiste de proposies autoevidentes. Trata-se aqui de um movimento de sabor anti-kantiano 47 , segundo o qual
no seria possvel apelar para nenhuma forma de intuio espacial capaz de
fundamentar os axiomas da geometria euclidiana (em particular, o quinto postulado) em
detrimento de outros axiomas no-euclidianos; a geometria euclidiana, portanto, no
pode ser estabelecida com base em nenhuma evidncia intuitiva.
2) A geometria tambm no uma cincia emprica, cujos axiomas possam ser
fundamentados com base na experincia. Poincar emprega, no tratamento dessa
questo, o mesmo mtodo anteriormente utilizado por Helmholtz. Para mostrar a
ambigidade na interpretao dos dados geomtricos empricos, ele constri modelos
intuitivos para geometrias espaciais no-euclidianas e mostra como diferentes
interpretaes de um mesmo conjunto de impresses sensveis so intercambiveis,
dependendo do mtodo de medio que se adote (ou seja, dependendo do conceito de
corpo rgido que se adote) 48 .
3) A geometria projetiva, portanto, uma teoria axiomtica abstrata
(matemtica) que define seus objetos (pontos, retas, planos etc.), bem como as relaes
entre eles (interseco, estar sobre etc.), por meio de certos axiomas, em relao aos
quais cabe exigir apenas a ausncia de contradies internas (consistncia do conjunto
de axiomas). A geometria mtrica igualmente uma teoria matemtica abstrata, cuja
moldura analtica bsica deve ser encontrada no sistema de geometria diferencial
elaborado por Riemann.
matematicamente mais cuidadosa e completa que a de Riemann). No hesita em reconhecer, contudo, a
prioridade do colega, que teria obtido e publicado com antecedncia seus resultados.
44
[Poincar, 1902]
45
[Poincar, 1905]
46
Ver tambm [Mittelstaedt: 1963], seo 2.4.
47
As relaes entre a filosofia de Poincar e Kant, no entanto, so bastante complexas, na medida em que
Poincar reconhecia um lugar central para a intuio na matemtica, ou pelo menos na aritmtica, cincia
na qual o princpio de induo matemtica desempenharia o verdadeiro papel de uma proposio sinttica
a priori.
48
Em sua discusso clssica, ele mostra a simetria que pode haver entre a mtrica interna de uma esfera
(o globo terrestre, por exemplo) e a mtrica externa a essa mesma esfera (o restante do universo). A
estratgia, como se v, lembra a de Helmholtz, ao mostrar a simetria entre o mundo real e sua imagem no
espelho convexo.
49
importante assinalar que, para Poincar, a expresso matematicamente possvel no tem o mesmo
significado que formalmente possvel. Para ele, o campo da matemtica no podia nunca ser
equacionado ao campo do simblico-formal, na medida em que faz uso essencial de princpios
especificamente o princpio de induo matemtica que s podem assumir seu verdadeiro significado
como princpios vlidos a priori, correspondentes a uma intuio matemtica original que nenhum
simbolismo jamais poderia captar.
50
Eddington e, mais recentemente, Putnam argumentaram nas seguintes linhas contra o
convencionalismo de Poincar. O carter convencional do conceito espacial de congruncia (como fator
determinante de uma mtrica) seria apenas uma manobra semanticamente trivial: todos os termos em um
clculo abstrato podem ser reinterpretados, da mesma maneira que qualquer palavra de uma linguagem
precisa ter seu significado estabelecido arbitrariamente para que o utilizemos. Dizer que necessrio
fixar, por conveno, o significado de congruncia seria, portanto, apenas uma trivialidade. O
importante seria dar conta do significado j estabelecido para a congruncia espacial, o qual no
convencional nem arbitrrio.
Uma crtica como essa peca por no compreender o significado matemtico do trabalho de
Riemann (significado que Poincar, certamente, percebeu), e que ns descrevemos acima como a
percepo de que contnuos matemticos no possuem uma mtrica intrnseca. O que esse resultado de
Riemann mostra , justamente, que o significado usual da congruncia espacial segundo o qual ela
uma relao de equivalncia, ou seja, uma relao espacial que obedece aos axiomas de simetria,
reflexividade e transitividade no suficiente para determinar essa relao de maneira unvoca e, assim,
no capaz de determinar uma nica mtrica. Ao contrrio, existem infinitas classes de equivalncia
espacial que obedecem aos axiomas da congruncia, e nenhuma delas goza de natural preeminncia
lgica em relao s demais. Esse , precisamente, o significado da afirmao de que o contnuo espacial
no possui uma mtrica natural. da que resulta o convencionalismo de Poincar: torna-se necessrio
selecionar, arbitrariamente, uma dessas possveis classes de congruncia, vale dizer, uma mtrica, para
que as afirmaes mtricas ganhem algum sentido.
50
bastante enftico em sugerir qual mtrica deve ser escolhida como adequada ao estudo
do espao fsico. No havendo um critrio ltimo e objetivo, a escolha s pode basearse em critrios de convenincia. Mais especificamente, deve-se levar em conta a
simplicidade matemtica da estrutura resultante, bem como sua adequao prtica da
mensurao do espao. Tanto em relao ao primeiro como ao segundo critrio, a
geometria euclidiana afigurava-se a Poincar como a mais acertada.
Que a geometria euclidiana , como estrutura matemtica, mais simples do que
suas concorrentes, no parece haver muita dvida, seja no quadro da teoria riemanniana,
seja no quadro de uma exposio axiomtica da geometria e isso mesmo sem dispor
de um critrio claro para simplicidade matemtica. Em relao ao segundo aspecto
adequao prtica geometria aplicada a base para a opinio de Poincar era a
seguinte. Ainda que no haja um critrio geomtrico absoluto para a rigidez de corpos
fsicos, existem alguns corpos que, na vida cotidiana como na prtica cientfica, estamos
naturalmente propensos a considerar como rgidos (ou cujas contraes e dilataes so
controladas por parmetros conhecidos, como temperatura etc.). justamente sobre a
utilizao desses corpos como padro de medida que toda a atividade cientfica est
construda ( assim que os equipamentos experimentais, por exemplo, so construdos).
Alm disso, parecia-lhe difcil imaginar a utilizao de outros corpos para essa funo,
com o mesmo grau de segurana e sucesso. E tudo indicava que a medio feita com
esses corpos os mais adequados prtica de uma geometria aplicada resultava,
precisamente, na estrutura (mtrica) euclidiana como estrutura do espao fsico.
51
Citamos: A afirmao de Kant est correta [de que existe um espao intuitivo objeto de conhecimento
a priori], embora no seja vlida para todo aquele domnio ao qual ele mesmo a ligava. (colchete meu)
Der Raum: pg. 64. No original: Kants Behauptung ist zwar richtig, aber nicht fr den ganzen Bereich
derjenigen Stzen gltig, auf die er selbst sie bezog.
52
Carnap refere-se explicitamente distino kantiana entre um conhecimento que se fundamenta na
experincia (conhecimento emprico) e um conhecimento que, embora ocasionado pela experincia, pode
ser estabelecido independente dela. Der Raum: pg. 63.
53
[Husserl, 1922].
52
54
A esse respeito, Friedman escreve: O primeiro ponto a observar que, ao apelar para a intuio
pura, Carnap no est de modo algum se referindo, na verdade, concepo kantiana original de
intuio, mas sim noo de Husserl de uma intuio de essncias [Wesenserschauung] (...). E, em
segundo lugar, a noo de Husserl de uma intuio de essncias, diferentemente da concepo
kantiana da intuio pura, no est associada a uma distino entre duas faculdades independentes da
mente, uma faculdade lgica ou discursiva e uma faculdade sensvel ou no-discursiva. [Friedman,
2000a]: pg. 66. No original: The first point to notice is that, in appealing to pure intuition, Carnap is
not in fact referring to the original Kantian conception of intuition at all, but rather to Husserls notion of
essential intuition [Wesenserschauung] (...). And, in the second place, Husserls notion of essential
intuition, unlike Kants conception of pure intuition, is not associated with a distinction between two
independent faculties of the mind, a logic or discursive faculty and a sensible or non-discursive faculty.
55
Encontramos nesse ponto a influncia duradoura do trabalho de Riemann, que havia feito do espao
uma construo conceitual; em que medida o espao intuitivo de Carnap tambm uma construo, ficar
claro mais frente.
56
Para um exame mais detalhado da influncia de Husserl sobre a obra inicial de Carnap, ver [Haddock,
2008].
57
Der Raum: pg. 22. No original: Denn es handelt sich hier, wie Husserl gezeigt hat, gar nicht um
Tatsachen im Sinne der Erfahrungswirklichkeit, sondern um das Wesen (Eidos) gewisser
Gegebenheiten, das in seinem besondern Sosein schon durch einmaliges Gegebensein erfasst werden
kann.
53
Der Raum: pg. 22-3. No original: Weil wier hierbei nicht auf die einzelhafte Tatsache eingestellt sind
(...), sondern nur um seine zeitlose Art, sein Wesen, kann es von wichtigkeit sein, diese Erfassungsweise
von der Anschauung im engeren Sinne, die auf die Tatsache selbst geht, durch die Benennung
Wesenserschauung (Husserl) zu unterscheiden, wo Verwechslung mglich erscheint. Im Allgemeinen
mag aber der Ausdruck Anschauung auch die Wesenserschauung mit umfassen, da er in diesem weiteren
Sinne auch schon von Kant her gebruchlich ist.
54
59
Nesse sentido, vale a pena mencionar a seguinte passagem de Der Raum (os asteriscos indicam notas
minhas de esclarecimento, colocadas logo aps a citao): O objetivo e propsito dessa construo est
em R *. As relaes espaciais encontradas na experincia precisam ser apreendidas em uma estrutura
R consistente (isenta de contradies); para isso, construmos previamente a forma mais geral R **, e
para essa, ainda, a forma conceitual R ***, ainda mais geral. Considerando que, para cada escolha de um
padro de medida, diferentes tipos de R3 **** revelam-se possveis, ento precisam ser construdos
diferentes tipos de R, correspondentes a eles (...). (grifo meu) Der Raum: pg. 61.
* R: A estrutura (formalizada) do espao fsico (em geral).
** R: A estrutura (formalizada) do espao intuitivo (em geral).
*** R: A estrutura lgico-formal do espao (em geral).
**** R3m: A estrutura (formalizada) do espao fsico mtrico tridimensional.
No original: Zweck und Ziel dieser Aufstellung liegt im R. Die rumlischen Beziehungen der
Erfahrung sollen in ein widerspruchsloses Gefge R gebracht werden; fr dieses wird die allgemeine
Form R vorgebaut, und fr diese wiederum die noch allgemeinere begriffliche Form R. Da nun fr R
sich je nach der Wahl der Masssetzung die verschiedenen Arten des R3m als mglich erweisen, so
mssen die ihnen entsprechenden Arten des R aufgebaut werden ().
60
Aquilo que Tugendhat costuma indicar, em seus estudos de filosofia analtica da linguagem, como
semntica formal. Ver, por exemplo, [Tugendhat, 1976].
55
61
Para um wittgensteiniano, pode parecer estranha a idia de que uma mtrica para o espao intuitivo
faa sentido, seja ela intrnseca ou, como defende Carnap, imposta por algum tipo de conveno. Para
Carnap, porm, a possibilidade de impor uma estrutura mtrica ao espao intuitivo apresenta-se de forma
perfeitamente natural. Isso poderia seria feito de modo axiomtico, por exemplo. De maneira mais geral,
uma mtrica para o espao intuitivo resulta da escolha livremente feita pelo sujeito a respeito do modo de
colar, na intuio, os diferentes pedaos de espao localmente euclidiano a que a intuio, de fato, tem
acesso. Trata-se de uma escolha relativa ao modo de interpretar certas operaes intuitivas (interpretar,
por exemplo, que um segmento de reta que se desloca no espao intuitivo mantm o mesmo tamanho
durante o deslocamento). O ponto importante, para Carnap, que tal procedimento no diz nada de
essencial a respeito do espao intuitivo. Ele traduz uma simples opo, no mesmo sentido em que uma
conveno de medida determina uma mtrica para o espao emprico.
A esse respeito, podemos citar o prprio Carnap: As exigncias [impostas maneira de colar
os pedaos do espao intuitivo], ao contrrio, no so conhecimentos, mas sim convenes, feitas para
que uma estrutura espacial de conjunto possa ser obtida a partir daqueles conhecimentos [da estrutura
topolgica local do espao intuitivo] que, por sua essncia, aparecem limitados a uma regio que no
completa. Diferentes possibilidades mostraram-se factveis para essa extenso a uma estrutura completa.
(...) Os espaos intuitivos mtricos dependem (...) da escolha daquelas convenes (...). (conchetes
meus) Der Raum: pg. 62. No original: Die Forderungen dagegen sind nicht Erkenntnisse, sondern
Festsetzungen, die getroffen werden, um ein geschlossenes Gesamtgefge Raum aus jenen Erkentnissen
zu gewinnen, die ihrem Wesen nach auf ein nicht vollstndiges Gebiet beschrnkt erscheinen. Fr diese
Erweiterungen zum vollstndigen Gefge zeigten sich verschiedene Mglichkeiten. (...) Die metrischen
Anschauungsrume (...) sind auch noch von der Wahl jener Festsetzungen abhngig (...).
56
62
Der Raum: Forderungen zum Aufbau eines unbeschrnkten Gefges: seo B da parte II pg. 26.
[Reichenbach, 1928]
64
Esse problema ganha sua verdadeira fora quando constatamos que regras desse tipo no parecem
seguir diretamente da intuio. De fato, a intuio parece permitir diversas escolhas arbitrrias como
soluo do problema. Por qu? Acontece que, quando examinamos cuidadosamente a situao, no
parece ser imediatamente claro, nem mesmo na intuio, quando que dois segmentos de reta (supondo
que se saiba traar retas na intuio), afastados um do outro (no-coincidentes), possuem o mesmo
tamanho. Podemos imaginar intuitivamente dois segmentos de reta afastados, e podemos acreditar que
eles tm o mesmo tamanho; se nos indagamos a razo dessa crena, porm, parece no haver outro
recurso seno transportar um segmento at o outro, para ver se eles realmente se recobrem
perfeitamente. Mas esse deslocamento no espao agora no espao intuitivo tambm carece de uma
interpretao: como saber que o segmento, quando transportado, mantm o mesmo tamanho?
63
57
sentido
derivado,
tambm
uma
intuio
dessa
reta:
65
Der Raum: pg. 23. No original: Die Anschauung bezieht sich immer nur auf ein beschrnktes
Raumgebiet. Daher lassen sich ihr auch nur Erkenntnisse ber rumliche Gebilde von beschrnker Grsse
entnehmen. Dagegen haben wir imbezug auf das Gesamtgefge, das wir aus diesen Grundgebilden
aufbauen, freie Hand. Wem z.B. die Art eines Gebildes es gestattet, ein zweites der gleichen Art in
bestimmter Weise daran zu fgen, so knnen wir fordern, dass dieses Anfgen ohne Ende weiter mglich
sein soll. Auf diese Weise knnen wir aus der geraden Strecke den Begriff der endlosen Geraden
aufbauen; und in einem gewissen, bertragenen Sinne auch die Anschauung, nmlich als einem auf das
Wissen der Regel der Verknpfung gegrndetes Bewusstsein der Mglichkeit der Erfassung jeder Strecke
der Geraden in der Anschauung. Aber dem so gewonnenen Begriff entspricht dann nicht nur die
unendliche Gerade, sondern auch die endliche aber endlose, geschlossene Gerade des elliptischen
Raumes.
58
66
Citamos: O espao intuitivo uma estrutura relacional; por meios conceituais, podemos bem
delimitar seu tipo formal, mas no e isso vale para tudo o que revelado na intuio seu modo
particular de ser. Aqui possvel apontar somente para contedos de experincia, no caso, para as
figuras e relaes espacialmente intuitivas: (...). Der Raum: pg. 22. No original: Der
Anschauungsraum ist ein Ordnungsgefge, von dem wir wohl die formale Art begrifflich umgrenzen
knnen, aber wie bei allem Anschauungsmssigen nicht sein besonderes Sosein. Hier lsst sich nur auf
Erlebnisinhalte hinweisen, nmlich auf die anschaulich-rumlichen Gebilde und Beziehungen: (...).
67
[Poincar, 1902]: pg. 23 ss. (cap.1).
59
da natureza. Isso feito por meio da atribuio de distncias numricas aos diferentes
(pares de) pontos do espao 68 . Eis, precisamente, o que significa medir o espao.
Como proceder aqui? Carnap est atento ao ensinamento de Riemann: para a
medio de espaos contnuos, h que se usar um padro de medida trazido de fora (j
que no existe um padro de medida dado intrinsecamente pela estrutura do espao).
Carnap mostra-se atento, tambm, aos ensinamentos de Helmholtz e, sobretudo, de
Poincar: esse padro precisa ser escolhido arbitrariamente; no h nenhum fato da
experincia capaz de estabelecer univocamente um corpo como corpo rgido, de modo
que a escolha tem de ser feita com base em questes de convenincia e/ou com base na
anlise da situao fsica do problema.
Assim, Carnap fala a respeito da escolha do padro de medida escolha de um
corpo rgido ou de uma classe de corpos rgidos como uma escolha livre. Ele
tambm usa o termo Festsetzung, que ns traduziremos por conveno: deve-se
fixar, estabelecer, escolher, determinar, enfim, convencionar o padro de
medida. Tecnicamente, a situao descrita da seguinte maneira:
A necessria conveno acontece ou pela fixao de [uma classe de]
retas ou pela fixao de um padro de medida. No ltimo caso, a
distncia entre dois pontos fsicos quaisquer que, contudo, nunca
devem se tocar posta como igual a uma funo de estado.
69
(colchetes meus)
Uma vez convencionado (livremente escolhido) um padro de medida, a sim
possvel proceder medio do espao fsico, resultando desse procedimento o
estabelecimento emprico de sua estrutura mtrica. H que atentar, nesse sentido, para o
fato de que a medio possui dois condicionantes. Por um lado, ela condicionada
pelos fatos dados na natureza (os fatos medidos: Carnap fala em Tatbestand, ou seja,
a configurao dos fatos); esse elemento que a caracteriza como procedimento
emprico. Por outro lado, a medio condicionada por aquela escolha inicial de um
68
Mais precisamente, deveramos falar em atribuir distncias numricas aos diferentes pares de eventos
da experincia, o que envolveria necessariamente um componente temporal (o intervalo de espao-tempo
de que trata a teoria da relatividade). Carnap, porm, indica como fazer algumas suposies para
simplificar esse problema, de modo a poder-se falar significativamente na distncia entre pontos do
espao (medio simples do espao), e no entre eventos.
69
Der Raum: pg. 37. No original: Die hier erforderliche Festsetzung geschieht entweder durch
Geradensetzung oder durch Masssetzung. Im letzteren Falle wird der Abstand zweier beliebiger
physischer Punkte die sich aber nie berhren drfen, irgend einer Zustandsfunktion gleichgesetzt.
60
padro, ou seja, por uma conveno (Festsetzung) sem a qual o problema da mtrica
carece de sentido.
H para Carnap, assim, o que ele chama de trs fontes do conhecimento
espacial: a intuio de essncia (Wesenserschauung), a conveno de um padro de
medida (Festsetzung ou simplesmente Setzung), e a configurao dos fatos dados na
experincia (Tatbestand). Essa terminologia de fontes do conhecimento,
filosoficamente to carregada, no nos deve confundir. Trata-se, na verdade, de trs
diferentes componentes que podem entrar na determinao de uma estrutura espacial
qualquer 70 .
Como interpretar esses diferentes componentes do conhecimento e seria
melhor dizer: da conceitualizao espacial?
A intuio de essncia , como sabemos, uma inspeo direta da estrutura
daquilo que se apresenta conscincia (do espao como modo de apresentao na
conscincia). A determinao de um padro de medida, por sua vez, um ato de escolha
e, mais precisamente, um ato de escolha livre, vale dizer, uma conveno.
J a configurao emprica dos fatos algo dado pelo mundo, algo externo ao
sujeito de conhecimento, algo que descoberto empiricamente pela percepo dos
dados sensveis. Na percepo dessa configurao dos fatos, o sujeito de conhecimento
determinado pelo mundo, passivo (no sentido kantiano de ter afetada sua faculdade
receptiva). Sendo algo que est no mundo, porm, essa configurao de fatos
impressa no sujeito de conhecimento segundo uma forma a forma da conscincia
espacial. Essa circunstncia, extremamente relevante para o projeto carnapiano,
demanda um exame mais detalhado.
70
O espao intuitivo topolgico, por exemplo, conhecido somente por meio da intuio de essncia; no
depende de qualquer conveno arbitrria de padres, nem de qualquer configurao de fatos dados na
experincia. J o espao intuitivo mtrico depende, para obter sua estrutura mtrica, alm da intuio de
essncia, de uma conveno livremente escolhida (a maneira como os diferentes pedaos da intuio,
que sempre local, so colados uns aos outros). No depende, porm, da configurao de fatos dados
na experincia. O espao fsico topolgico, por sua vez, depende da intuio de essncia e da
configurao dos fatos, mas no da determinao de um padro; ao passo que o espao fsico mtrico
depende alm da intuio de essncia e da configurao dos fatos da determinao de um padro de
medida. (J os espaos formais no dependem, com claro, da configurao dos fatos, mas dependem da
intuio de essncia. Carnap, contudo, apressa-se a esclarecer Der Raum: pg. 65 que no se trata de
uma intuio de essncia propriamente espacial, mas sim meramente formal, ou seja, de uma ontologia
formal no sentido de Husserl. Falaremos mais a esse respeito abaixo.)
61
62
escorada em alguma forma de intuio espacial que se mostrava cada vez mais fugidia.
A tarefa que parecia oferecer-se ao cientista era dupla: desvendar os aspectos
matemticos da estrutura espacial, e verificar como seria possvel estabelecer
procedimentos empricos de medida. Uma vez revelada e estudada a pluralidade de
estruturas matemticas possveis para um espao qualquer; uma vez examinada as
condies empricas para a determinao de uma mtrica especfica para o espao
fsico; ento j no parecia mais necessrio introduzir qualquer estudo intuitivo do
espao 71 .
A respeito da relao entre espao intuitivo, espao lgico e espao fsico e a
respeito da mudana de enfoque representada, nessa questo, pela geometria
riemanniana , Nowak comenta:
Ns discutimos trs tipos de espao, o intudo, o fsico e o logicamente
possvel. A abordagem de Kant foi identificar os dois primeiros, e negar
que o terceiro tivesse qualquer coisa a ver com eles, na medida em que
no nos dizia nada a respeito do espao fsico. (...) Tentarei mostrar que
a abordagem de Riemann consistiu em identificar o espao intuitivo com
aquilo que logicamente possvel (ou axiomtico), e no com o espao
fsico. O espao fsico pode ser modelado por uma combinao dos
outros dois. Afirmaes acerca de como modelar caractersticas do
espao fsico seriam classificadas como sintticas a posteriori, enquanto
afirmaes acerca dos espaos intuitivos (axiomticos) seriam
analticas a priori. 72
71
De fato, Riemann avalia que a principal funo de seu trabalho libertar a anlise do espao de certos
preconceitos determinados pela intuio. Ele termina sua obra com as seguintes consideraes: A
deciso acerca dessas questes [acerca da estrutura do espao fsico] somente pode ser encontrada se nos
afastarmos de certa concepo das aparies, fundada por Newton e at hoje tida como confirmada pela
experincia; gradativamente, mas com firmeza, devemos reformar essa concepo, levando em
considerao fatos que no se deixam esclarecer por ela. Pesquisas que, como a aqui realizada, partem
de conceitos gerais, servem principalmente para que esse trabalho no seja obstado por desnecessrias
restries conceituais, e para que o avano no conhecimento do sistema das coisas no seja tolhido por
preconceitos transmitidos pela tradio. (colchetes meus) [Riemann, 1854]: pg. 286. No original: Die
Entscheidung dieser Fragen kann nur gefunden werden, indem man von der bisherigen durch die
Erfahrung bewhrten Auffassung der Erscheinungen, wozu Newton den Grund gelegt, ausgeht und diese
durch Thatsachen, die sich aus ihr nicht erklren lassen, getrieben allmhlich umarbeitet; solche
Untersuchungen, welche, wie die hier gefhrte, von allgemeinen Begriffen ausgehen, knnen nur dazu
dienen, dass diese Arbeit nicht durch die Beschrnktheit der Begriffe gehindert und der Fortschritt im
Erkennen des Zusammenhangs der Dinge nicht durch berlieferte Vorurtheile gehemmt wird.
72
[Nowak, 1989]: pg. 20. No original: I shall endeavor to show that Riemanns approach was to
identify intuited space with that which was logically possible (or axiomatic), and not with physical
63
64
Der Raum: pg. 65. No original: Nach Kant ist der Raum die Bedingung zur Mglichkeit jeder
(usseren) Erfahrung berhaupt. Gilt dies fr die rumlichen Bestimmungen aller von uns
unterschiedenen Gefge? Um das zu entscheiden, ist zu berlegen, welche rumlichen Bestimmungen
notwendig in jeder (usseren) Erfahrung anzutreffen sind, also auch dann, wenn diese noch nicht auf
Grund der frei gewhlten Bestimmungen in eine ber die notwendige hinausgehende, besondere
rumliche Form gebracht worden ist. Nun haben wir die Erfahrung, soweit sie nur in der eindeutigen,
notwendigen Form vorliegt, die keinerlei frei gewhlte Festsetzung enthlt, Tatbestand gennant.
Demnach knnen nur die im Tatbestand enthaltenen rumlichen Bestimmungen Bedingung zur
Mglichkeit der Erfahrung sein. Und das sind, wie wir gesehen haben, nur die topologischen, nicht aber
die projektiven und vor allem nicht die metrischen Beziehungen.
65
76
Der Raum: pg. 66. No original: Die topologischen Raumverhltnisse, die die Bedingung der
Mglichkeit jedes Erfahrungsgegenstandes bilden, knnen nicht die des physischen Raumes sein, da
dieser nicht unabhngig vom Tatbestande der Erfahrung ist, sondern den nicht notwendigen, nur
wirklichen Befund zur Darstellung bringt (...). Die Bestimmungen des topologischen
Anschauungsraumes, in ihrer Erfahrungsunabhngigkeit und in der auf Grund ihrer Erkenntnisquelle
ihnen zukommenden Allgemeingltigkeit, und infolgedessen auch die des formalen topologischen
Raumes, jenes allgemeinen Beziehungsgefges unbestimmter Dinge, von dem der topologische
Anschauungsraum einen bestimmten Einzelfall bildet, knnen allein jene erfahrungstiftende Geltung
haben.
77
Para os efeitos da presente discusso, indiferente falar-se em fatos ou objetos espaciais; os dois
vocabulrios levam aos mesmos resultados. Fatos so aquilo que podem ser expressos em uma
proposio; objetos so aquilo a que os conceitos de uma proposio se referem. Qualquer forma
especfica de objetualidade, porm, implica uma forma especfica de factualidade, como aquilo que faz
sentido dizer a respeito dos objetos; e qualquer forma especfica de factualidade supe uma forma
especfica de objetualidade, sobre a qual incidem suas afirmaes. Para enfatizar o lado emprico ligado
idia de medio, porm, preferimos utilizar aqui, em geral, o vocabulrio de fatos.
66
(e, especificamente, sua descrio por meios formais). Em outras palavras, para que o
fato espacial seja apreensvel em um sistema formal, e para que seja passvel de
medio emprica, ele precisa antes constituir-se como fato, e isso ocorre sempre
segundo uma estrutura revelada na intuio (intuio de essncia).
Ou, posto de outra maneira: deve haver algo (no sentido mais amplo possvel em
que esse termo pode ser adotado na filosofia da conscincia: no necessariamente
alguma matria, algum corpo etc.; mas qualquer tipo de fenmeno dado
conscincia) a ser medido; correlativamente, deve haver algo a ser capturado em um
sistema formal (um sistema capaz de descrever, entre outras coisas, os resultados da
medio). E esse algo sempre algo dado, primariamente, conscincia. Nesse sentido,
um fato espacial algo que se d conscincia de certo modo especfico, vale dizer, o
modo da espacialidade, que nada mais do que certa estrutura que ele compartilha com
outros fatos e que compem certa forma especfica de factualidade/objetualidade.
Assim se revela, no sentido mais forte, a influncia de Husserl sobre Carnap.
Essa influncia na verdade a influncia duradoura (e da qual a posio husserliana era
apenas a formulaoo mais recente e atrativa) de todo o modo de pensar tpico da
filosofia moderna, escorada em certa concepo da conscincia como mediadora
necessria com os objetos. Pois Carnap, nesse momento, ainda se move plenamente sob
o amparo da filosofia da conscincia. E sua ruptura com essa ampla tradio, com os
aspectos mais profundos dessa concepo filosfica, que ir se revelar, como veremos
no decorrer deste trabalho, um dos pontos centrais da constituio da filosofia
analtica da linguagem, bem como da constituio de uma nova concepo de lgica.
Nossa opinio, portanto, que o papel desempenhado pelo espao intuitivo em
Der Raum est longe de ser acidental. Ele caracteriza essencialmente a abordagem
proposta na obra como uma abordagem que, do ponto de vista filosfico, permanece
atrelada tradio da filosofia da conscincia. Uma abordagem, porm, que vai
conseguir por sua tentativa de integrao com a fsica, lgica e matemtica de seu
tempo introduzir elementos novos a essa concepo, que acabaro finalmente por
permitir sua superao.
De fato, estamos agora em condies de dar uma resposta seguinte pergunta:
Como que Carnap prope, exatamente, integrar a esfera da conscincia intuitiva do
espao com as outras duas esferas espaciais, lgica e emprica? Em Der Raum, como
vimos, o espao intuitivo ainda aparece como aquele mbito exclusivo em que o
67
78
A abordagem completa de Poincar para esse problema, na verdade, um pouco mais sofisticada.
Aqui, referimo-nos apenas a seu significado prima facie, aquela caracterstica que salta como mais
evidente de exemplos como o do espao esfrico.
79
Der Raum: pgs. 47-54.
68
69
da qual o espao topolgico intuitivo constitui certo caso particular: embora o espao
topolgico intuitivo seja, formalmente, um caso particular do espao topolgico
formal, a determinao de um espao topolgico intuitivo que permite indicar uma
classe especfica de estruturas formais como estruturas espaciais.
O espao intuitivo, ento, promove a unio entre os outros dois espaos sob a
gide da possibilidade. So espaciais todas aquelas estruturas simblicas formais que
capturem as possveis estruturas topolgicas do espao intuitivo; e a configurao dos
fatos, que o nico espao fsico dado percepo, tem de ser dado segundo as
possibilidades topolgicas do espao intuitivo 81 . Isso porque a experincia sempre
uma experincia dada conscincia, de modo que a experincia possvel do espao
tem de assumir, sempre, a forma de certa conscincia espacial, dada pelo espao
intuitivo topolgico (eis o que permite a Carnap utilizar a linguagem kantiana e falar do
espao intuitivo topolgico como condio de possibilidade da experincia). As duas
pontas ficam amarradas, e o aspecto importante : o espao intuitivo garante que a
estrutura espacial formal seja adequada a descrever a configurao dos fatos tais como
dados na experincia. Em outras palavras, o espao intuitivo garante a aplicabilidade
de determinado esquema formal descrio da experincia.
81
O essencial o aspecto topolgico. A mtrica aparece sempre como uma adio promovida pela livre
escolha de um padro de medida ou, mais geralmente, por uma conveno. Essa nfase no aspecto
topolgico foi progressivamente obtendo, aps a recepo e compreenso do trabalho de Riemann, a
quase unanimidade dos meios cientficos. Foi rapidamente esposada, tambm, pela filosofia do chamado
positivismo lgico alm do trabalho de Carnap, podemos lembrar aqui, novamente, a obra de
Reichenbach ([Reichenbach, 1928]). Vale a pena ainda repetir, por bastante clara e significativa a esse
respeito, a seguinte passagem de Schlick, em seu comentrio a Helmoholtz: A congruncia
estabelecida pela observao da coincidncia entre pontos materiais. Todas as medies fsicas podem ser
reduzidas a esse mesmo princpio, pois a leitura de qualquer de nossos instrumentos feita com o auxlio
da coincidncia entre partes mveis com os pontos de uma escala etc. A proposio de Helmholtz pode
ser estendida, portanto, seguinte verdade: absolutamente nenhuma ocorrncia pode ser fisicamente
afirmada a no ser a coincidncia entre pontos. Desse fato Einstein extraiu a concluso lgica de que
todas as leis fsicas devem conter, basicamente, apenas afirmaes a respeito de tais coincidncias.
[Schlick, 1921]: nota 39 a [Helmholtz: 1868a], em [Cohen & Elkana: 1977]: pg. 33-4. No original:
Congruence is established by observing the coincidence of material points. All physical measurements
can be reduced to this same principle, since any reading of any of our instruments is brought about with
the help of coincidences of movable parts with points on a scale, etc. Helmholtz proposition can
therefore be extended to the truth that no occurrences whatsoever can be ascertained physically other than
meetings of points, and from tis Einstein has logically drawn the conclusion that all physical laws should
contain basically only statements about such coincidences.
70
82
Der Raum: pg. 9. No original: Den Aufbau der formalen Logik beginnen wir mit den undefinierten
Grundbegriffen wahr und falsch. Wir nennen alles das, was entweder wahr oder falsch ist, ein Urteil.
Eine Zusammenstellung von Zeichen, insbesondere Schriftzeichen, die ein Urteil bezeichnet, heisst
(vollstndiger) Satz.
71
83
84
72
Por um lado, Carnap descreve o sistema dos Principia como a lgica formal,
ou seja, como a teoria geral das classes e relaes. Mais adiante, ele explicar que
classes e relaes devem ser entendidos do ponto de vista extensional: duas classes
so iguais se possuem os mesmos elementos (e analogamente para relaes). Nesse
sentido, ele parece acreditar que o sistema de lgica desenvolvido por Russell e
Whitehead goza de algum status especial, de alguma posio privilegiada, justamente
por captar a estrutura extensional o modo de operar com classes e relaes em
extenso da racionalidade cientfica, includa a a racionalidade matemtica. Dessa
forma, vemos que a lgica formal vista por Carnap sob um duplo aspecto: como teoria
do sistema simblico absolutamente regrado, e como teoria geral da extenso 85 . A
direo em que Carnap aponta, assim, parece ser esta: a extensionalidade, ou operao
extensional com conceitos, precisamente aquilo que pode ser plenamente capturado
por um formalismo.
Por outro lado, e apesar da manifesta preferncia pela abordagem dos Principia,
Carnap descreve o mtodo axiomtico (igualmente formal) de Hilbert como sendo,
tambm ele, perfeitamente adequado aos propsitos em vista: a estruturao do espao
formal. Em outras palavras, trata-se de um mtodo apto a descrever certa estrutura
formal chamada de espao formal anterior a qualquer determinao de contedo.
Nesse sentido, o sistema formal de Hilbert to bom quanto o dos Principia, e pode ser
utilizado sem nenhuma ressalva de ordem filosfica (a despeito de seus pressupostos
matemtico-filosficos supostamente diferentes). Tanto quanto o sistema dos Principia,
ele capaz de lidar, de modo puramente formal (simbolicamente regrado), com
estruturas relacionais em extenso. nesse sentido que, falando da axiomtica
hilbertiana, Carnap observa:
Se pensarmos, assim, em todos os teoremas postos nessa forma mais
geral, ento obtemos, no lugar da verdadeira geometria [geometria
usual] (...), uma teoria pura das relaes ou teoria [pura] dos sistemas
ordenados, ou seja, um estudo de relaes indeterminadas, em relao
s quais basta supor alguns poucos axiomas, para da derivar um
formalen Raumes mit mehreren (insbesondere drei) Abmessungen erreicht, aus dem durch bestimmte
Besonderungen der (formale) projektive Raum und die verschiedenen Arten der (formalen) metrischen
Rume hervorgehen. Nur diese Weg ist imstande, zum vollstndigen Bau des formalen Raumes zu
fhren, der alle Unterarten umfasst.
85
Essa dualidade extremamente importante, e reaparecer em vrios outros pontos de nosso estudo.
Ver, por exemplo, as sees 2.5, 2.6, 2.10 e 3.6.
73
86
Der Raum: pg. 8. No original: Denken wir uns auch alle Lehrstze in diese allgemeinere Form
gebracht, so haben wir an Stelle der eigentlichen Geometrie (...) eine reine Beziehungslehre oder
Ordnungslehre, d. h. eine Wissenschaft von unbestimmten Beziehungen, fr die einige wenige
Grundstze vorausgesetzt und auf Grund davon Lehrstze in unbeschrnkter Zahl abgeleitet werden. Als
gegenstand dieser Wissenschaft tritt so (...) ein durch jene formalen Grundstzen bestimmtes
Beziehungs- oder Ordnungsgefge.
87
Em momento posterior, principalmente a partir de Eigentliche und Uneigentliche Begriffe, Carnap vai
explicitar outra diferena que lhe parecia haver entre o mtodo da logstica e o mtodo axiomtico de
Hilbert: somente o primeiro permite determinar a aplicabilidade de seus conceitos a um caso qualquer. Do
ponto de vista matemtico, essa posio traduz a idia de que o tratamento logicista da matemtica, tal
como iniciado por Frege, permite obter o que seria a verdadeira semntica dos nmeros naturais: a
aplicao dos nmeros naturais finitos aos casos de contagem. Essa tese foi recentemente defendida por
Putnam, para quem o maior legado da escola logicista justamente o tratamento correto dos nmeros
naturais finitos (ver [Putnam, 1967]). Ver tambm a seo 2.8 e 2.14 abaixo.
74
sistema lgico com a estrutura ontolgica do mundo 88 . O mximo que se pode dizer,
de acordo com o que vimos acima, que a lgica de Russell e Whitehead capta, em sua
forma mais geral possvel, um modo especfico da racionalidade, ou um modo
especfico de considerar o mundo segundo conceitos: o modo da extensionalidade.
Do ponto de vista lgico-filosfico, isso significa que a extensionalidade, como
regime conceitual, seria capaz de garantir certa generalidade da lgica formal (e
lembremos que a generalidade, assim como a necessidade, uma caracterstica
historicamente associadas lgica) pelo lado da semntica. De fato, se a
extensionalidade for considerada como modo fundamental de significao e de
compreenso de significados, e se a lgica formal tiver no regime extensional seu modo
natural de interpretao (se for uma teoria geral das classes e relaes [em extenso]),
ento a generalidade na aplicao da lgica descrio do mundo resultaria, em certa
medida, garantida.
Mas Carnap parece identificar, no sistema formal dos Principia tanto como no
de Hilbert, outro componente propriamente lgico: certa forma lgica, afirmada por
oposio ao contedo ou significado especfico dos conceitos. A esse respeito, veja-se o
que ele escreve, um pouco antes da passagem anteriormente citada, a respeito do
mtodo de Hilbert:
Portanto, o pleno contedo de significado que tais axiomas possuem
para aquele que j conhece os conceitos de ponto, reta, plano, estar
sobre ... , no se mostra efetivamente atuante para a estrutura cientfica
que sobre tais axiomas se vai erguer. Efetivamente atuante apenas sua
forma lgica (...). 89
Carnap fala em forma lgica, e com isso quer dizer apenas: a maneira como
certo conceito, materializado no sistema lgico por meio de um termo primitivo,
88
No que diz respeito estrutura inferencial desses sistemas lgicos com que trabalha, no entanto, Carnap
parece acreditar que ela traduz algo de fundamental. Em outras palavras, Carnap parece acreditar que a
estrutura inferencial desses clculos lgicos incorpora um aspecto necessrio a qualquer aplicao da
lgica realidade: a capacidade de transmitir verdade, ou seja, passar de premissas verdadeiras a
concluses verdadeiras. Esse tema no explicitado em nenhum momento da obra (motivo pelo qual as
presentes consideraes ficam restritas a esta nota); surge, porm, como premissa natural do raciocnio de
Carnap em diferentes momentos do texto.
89
Der Raum, pg. 7. No original: Es wird demnach gar nicht der ganze Bedeutungsgehalt, den die
Grundstze fr denjenige haben, dem die Begriffe Punkt, Gerade, Ebene, Liegen auf ... schon bekannt
sind, auch logisch wirksam fr den auf ihnen zu errichtenden Wissenschaftsbau. Wirsam ist nur ihre
logische Form (...).
75
manipulado segundo as regras desse sistema 90 . A viso presente aqui, sem dvida, a
da lgica como clculo simblico. O vocabulrio e as regras de formao de sentenas
determinam o alcance expressivo do clculo, ao passo que as regras de deduo
estabelecem sua estrutura argumentativa (dedutiva). Trata-se de uma concepo da
lgica formal, novamente, em seu sentido mais prprio: como sistema simblico
regrado ou, mais precisamente, como conjunto de regras para a manipulao de
seqncias simblicas.
Em outra passagem ainda, as vantagens do mtodo lgico-formal so novamente
enfatizadas:
A vantagem dessa estrutura formal reside, por um lado, na sua pureza
e rigor lgicos, pois ela est livre de componentes no-lgicos
(dependentes da intuio ou da experincia); por outro lado, na sua
grande fecundidade, justamente para a verdadeira pesquisa geomtrica
(...). 91
A fecundidade do mtodo formal , mais uma vez, trazida ao primeiro plano: sua
capacidade de permitir, do modo mais puro e rigoroso (segundo regras inequvocas
de operao), manipulaes conceituais complexas que, de outra maneira, pareceriam
impossveis. O que est em jogo, aqui, o clculo lingstico em um dos sentidos mais
caros a Leibniz: a operao automtica e regrada de conceitos, que permite atingir
esferas de complexidade e certeza operatria que dificilmente poderiam ser obtidas pelo
uso da linguagem natural (recordemos a maneira como os sbios leibnizianos passariam
a dirimir suas dvidas: Calculemos...). Ao contrrio de Leibniz, porm, Carnap no
90
A esse respeito, podemos citar uma passagem de Physikalische Begriffsbildung, texto escrito por
Carnap em 1926: Ns no dissemos, com isso, o que um conceito ; dissemos apenas o que significa que
um smbolo designa um conceito. Isso tambm tudo o que, com exatido, pode-se dizer. E basta isso
tambm; pois quando se fala significativamente de conceitos, trata-se sempre de conceitos designados por
smbolos ou que, em princpio, podem ser designados por smbolos. E, de fato, o que se fala ento
sempre acerca desses smbolos e das leis de sua aplicao. (...) Assim que se fala de um conceito, trata-se
sempre da utilizao unitria e regrada de um smbolo. No original: Was ein Begriff ist, haben wir
hiermit nicht gesagt; sondern nur, was es heisst, ein Zeichen bezeichne einen Begriff. Das ist auch das
einzige, was genau gesagt werden kann. Und das gengt auch; denn wenn von Begriffen sinnvoll die
Rede, so handelt es sich stets um durch Zeichen bezeichnete oder doch grundstzlich bezeichenbare
Begriffe; und im Grunde ist dann stests die Rede von diesen Zeichen und ihren Verwendungsgesetzen.
(...) Sobald berhaupt von einem Begriff die Rede ist, handelt es sich stets um die einheitliche, also
gesetzmssige Verwendung eines Zeichens.
91
Der Raum: pg. 8. No original: Der Vorzug dieses formalen Gefges liegt einerseits in seiner
logischen Geschlossenheit und Strenge, da es von nichtlogischen (anschauungs- odererfahrungsmssigen)
Bestandteilen frei ist, andrerseits in seiner grossen Fruchtbarkeit gerade auch fr die eigentliche
geometrische Forschung (...).
76
manifesta nenhuma crena de que o clculo formal deva ser alguma espcie de
caracteristica universalis, ou seja, que deva incorporar em sua estrutura os conceitos
certos, nicos capazes de traduzir e expressar corretamente o mundo.
necessrio observar, contudo, que a filosofia da lgica no aparece, em
nenhum momento de Der Raum, como tema explcito de investigao. Carnap no est
interessado em responder pergunta: O que lgica?. Ele est interessado em
examinar diferentes conceitos de espao: a maneira como estes se relacionam entre si,
bem como sua utilidade para a descrio cientfica do mundo. Para fazer isso, ele usa
sistemas de lgica formal. Ele assume que os sistemas formais da lgica moderna
fornecem a ferramenta adequada (mais adequada que as linguagens naturais) descrio
das diferentes estruturas espaciais que pretende examinar.
Mas o que faz de um sistema formal, do tipo por ele considerado, um sistema
formal? O que possibilita tais sistemas? Como se constituem? Qual sua possvel
amplitude, e suas limitaes? Esse plexo de questes, que compe (ou deveria compor)
um dos ramos mais importante de qualquer filosofia da lgica formal, no merece por
parte de Carnap nenhuma anlise mais detida. Carnap no desenvolve nenhuma teoria
geral do sistema simblico regrado (como ser seu principal objetivo em LSL). Ele
apenas tangencia esse tipo de problema, cuja resoluo no lhe parece premente para os
propsitos que tem em vista. O horizonte formal dos Principia (e a axiomtica de
Hilbert) bastava-lhe. No geral, podemos dizer que ele se contenta com uma viso
bastante ampla e no-problematizada, segundo a qual qualquer sistema formal um
clculo simblico, ou seja, um conjunto de regras para a operao com smbolos,
voltadas formao e manipulao de seqncias desses smbolos. Acerca das
condies de instituio de um clculo desse tipo, no entanto, ele quase nada diz.
Na verdade, no nico momento em que trata explicitamente de questes de
filosofia da lgica, as consideraes de Carnap apontam em sentido algo diverso
daquele que temos indicado. Ele se socorre mais uma vez de Husserl. Estamos nos
referindo ao momento do texto em que, ao classificar os diferentes conceitos de espao
segundo suas fontes de conhecimento 92 , Carnap afirma que a fonte exclusiva do
conhecimento do espao formal topolgico a intuio de essncia 93 .
92
77
Parece criar-se assim uma situao intrigante. Pois o espao formal topolgico
a estrutura espacial formal mais geral possvel; e vemos agora que, para Carnap, esta
estrutura depende somente da intuio. com efeito estranho que uma estrutura formal,
no que tem de formal, dependa exclusivamente da intuio. O autor, porm, apressa-se
em esclarecer: no se trata de intuio de essncia propriamente espacial, mas sim da
intuio de tipo meramente formal, no sentido da ontologia formal de Husserl 94 . Com
isso, ele quer dizer apenas que a qualidade precpua de uma lgica formal sua
aplicabilidade absolutamente geral, independente de qualquer domnio particular de
objetos. No entanto, essa aplicabilidade absolutamente geral como j examinamos
mais acima aparece para Carnap condicionada a um aspecto especfico: o aspecto
extensional.
Seja como for, a viso assumida em Der Raum a respeito da fonte do
conhecimento do espao formal topolgico aparece na obra, novamente, como
suposio absolutamente acessria e tangencial, sem qualquer conseqncia ou
desenvolvimento para o conjunto das indagaes ali realizadas. No chega a constituir
ou incorporar uma teoria do objeto formal (ou da forma geral do objeto); tampouco se
apresenta, no sentido desejado, como teoria geral do sistema simblico.
Carnap est aqui fazendo uma mistura interessante, ainda que de pouca
conseqncia para a obra como um todo. Deseja combinar certa concepo tradicional
de lgica como cincia mais geral possvel, fazendo uso do melhor formalismo lgico
disponvel na poca, com uma anlise filosfico-fenomenolgica da fonte dessa
generalidade, socorrendo-se para tanto de Husserl. O resultado, porm, no chega a ser
desenvolvido.
Muito mais importante, parece-nos, sua anlise da maneira como o formalismo
lgico deve ser aplicado descrio do mundo fsico, ou seja, utilizado pela cincia
como ferramenta de apreenso do mundo. a que surge a complicada mediao do
espao intuitivo, que examinamos longamente na seo anterior. Recapitulando: para
que se possa aplicar um clculo formal descrio (cientfica) do mundo, necessrio
94
Citamos: W [intuio de essncia] aparece em toda parte, mas apenas nos ltimos casos
verdadeiramente espacial; nos dois primeiros casos [espao formal topolgico e espao formal
mtrico], ao contrrio, de tipo formal (Husserl: ontologia formal). (colchetes meus) Der Raum: pg.
65. No original: W tritt berall auf, ist aber nur in den letzten Fllen eigentlich rumlicher, in den
beiden ersten dagegen formaler Art (Husserl: formale Ontologie).
78
79
95
Para uma formulao clssica a respeito desse problema como o problema kantiano por excelncia, ver
[Vuillemin, 1955].
80
82
Captulo 2
O Abriss e as Untersuchungen:
A Interpretao da Lgica
No final da dcada de 1920, logo aps a publicao de Der logische Aufbau der
Welt (1928), Carnap ocupou-se com a elaborao de dois textos Abriss der Logistik
(1929) e Untersuchungen zur allgemeinen Axiomatik (publicao pstuma, 2000;
escrito em 1928) que tratam, essencialmente, de problemas lgicos e de problemas
relativos fundao da matemtica. Ao contrrio do que acontece com o Aufbau, que se
concentra em problemas relativos constituio de conceitos empricos e descrio do
mundo emprico, e cuja leitura clssica coloca em primeiro plano um conjunto de
questes epistemolgicas, esses dois trabalhos dedicam-se a resolver questes relativas
natureza da lgica formal ou, mais especificamente, natureza dos sistemas de lgica
formal, sua articulao e interpretao.
para esses dois textos, portanto, que voltamos nossa ateno. Eles revelam a
maneira como Carnap, ainda antes da publicao dos resultados fundamentais de Gdel
e Tarski na dcada de 1930, considera a possibilidade de instituir, analisar e interpretar
as construes simblico-formais da lgica moderna.
Nesse sentido, podemos sumariar o percurso que desejamos fazer, bem como o
interesse que despertam as duas obras mencionadas, da seguinte maneira. Em Der
Raum, encontramos Carnap preocupado em utilizar a ferramenta da lgica simblica
moderna para o esclarecimento do problema geral do espao. Seu trabalho, como vimos,
consistiu em: a) construir uma especfica classe de estruturas formais, com os recursos
da lgica simblica; b) mostrar por que razo as estruturas dessa classe e no outras
deveriam ser chamadas de espaciais ou, em outras palavras, por que as estruturas
dessa classe que seriam adequadas descrio (cientfica) do espao emprico; e
83
84
Carnap escreveu seu Abriss der Logistik como um manual: o texto deveria
expor, para o pblico de lngua alem, a logstica (termo pelo qual o autor designava a
lgica simblica moderna, com nfase para a formulao que esta havia recebido de
Russell e Whitehead nos Principia). Segundo Carnap, tratava-se antes de ensinar uma
tcnica do que uma teoria. Tcnica que se revelaria til uma ferramenta afiada
para qualquer estudioso que desejasse uma anlise precisa de proposies e conceitos,
na filosofia ou nas cincias especiais 96 .
A seguir, indicamos aquelas que julgamos serem as principais caractersticas da
apresentao realizada por Carnap. Buscaremos oferecer, para cada uma das
caractersticas apontadas, uma interpretao adequada, capaz de integr-las em um
conjunto coerente e significativo, do qual se possa extrair a viso que Carnap tinha
acerca da posio do estudo lgico no sistema geral de conhecimento. Por paradoxal
que possa parecer, justamente pelo fato de tratar a lgica formal como ferramenta, e no
como tema de uma exposio terica, a obra traz tona vrios e importantes aspectos da
filosofia da lgica de seu autor.
85
86
99
Abriss: pg. 3 (seo 2b): Por proposio entende-se, na lgica, algo que ou verdadeiro, ou falso.
(Verdadeiro e falso so conceitos primitivos indefinveis.) No original: Unter einer Aussage
verstehen wir in der Logik etwas, was entweder wahr oder falsch ist. (Wahr und falsch sind
undefinierbare Grundbegriffe.)
87
Abriss: pg. 3. No original: Mit Aussage ist nicht der historische Akt des Sprechens, Denkens,
Vorstellens gemeint, sondern der zeitlose Inhalt.
101
Abriss: pg. 4. No original: Jedes Zeichen, das eine bestimmte Bedeutung hat, bezeichnet entweder
eine Aussage oder einen Gegenstand.
88
desse tipo de elementos metafsicos/ideais. No entanto, a prpria maneira banal leiase: desprovida de contedo filosfico com que Carnap trata o assunto deve ser
tomada, nesse ponto, como um fato significativo. possvel, de fato, dar uma
interpretao bastante no-problemtica para esse caminho expositivo adotado no
Abriss; uma interpretao to no-problemtica como o prprio Carnap, aparentemente,
gostaria que ela fosse, e como testemunha seu silncio a respeito da questo.
Na exposio de Carnap, parece-nos, a postulao de entidades ideais tratada
como absolutamente trivial porque possui uma funo absolutamente trivial. Ela exime
Carnap de discutir a razo pela qual a seqncia de smbolos Das Matterhorn ist ein
Berg in Europa, que aparece na pgina 4 de seu livro, deve ser vista como igual
mesma seqncia de smbolos, caso volte a aparecer em outra pgina. E cumpre
acrescentar: vista como igual, ao menos em certo sentido; vista como a mesma
seqncia, ao menos em certo sentido. Pois existem muitos sentidos em que,
obiviamente, as duas ocorrncias seriam diferentes: como objetos fsicos compostos por
partculas distintas; quanto posio espacial; quanto posio dentro da obra; etc.
Apesar disso, uma vez estabelecido (por exemplo), na pgina 4, que Das Matterhorn ist
ein Berg in Europa uma proposio com a forma predicativa, poderemos saber que
essa mesma proposio tem a forma predicativa, quando referida em qualquer outra
pgina da obra (referida por meio de outras ao menos em certo sentido seqncias
de smbolos).
A admisso de proposies como entidades ideais, portanto, desempenha para
Carnap essencialmente e poderamos mesmo dizer exclusivamente essa funo
trivial, mas indispensvel, de conferir estabilidade ao sistema lgico-formal (e
exposio do sistema, o que vem a dar no mesmo). Para Frege, tal questo havia
constitudo um tema filosfico importante, que poderia ser parafraseado assim: O que
h de comum entre duas aparies, espacialmente distintas, de uma mesma seqncia de
smbolos? O que garante sua identidade? O que garante a identidade de seu contedo?
(E o que garante a identidade de contedo entre duas formulaes, em idiomas distintos,
de uma mesma idia, com o mesmo contedo, realizando a mesma afirmao? Os
problemas, claro, se multiplicam.) Tratava-se para Frege de um tema fundamental,
respeitante s condies de identidade dos elementos lingsticos e, desse modo,
prpria possibilidade de funcionamento de uma linguagem.
89
Carnap, por seu lado, parece julgar essa questo desinteressante, desprovida de
real dificuldade filosfica, e por isso no a transforma em tema filosfico. Apenas adota
uma soluo cmoda, que se apresentava em acordo com certa tradio da lgica. Julgase dispensado, contudo, de realizar qualquer discusso a respeito, como discusso
filosoficamente relevante. Tudo se passa como se essa discusso lhe parecesse to
desnecessria como seria desnecessrio discutir por que o smbolo , que aparece na
pgina 26, o mesmo smbolo que aparece na pgina 60, ao menos em certo
sentido. Tais fatos so, em alguma medida, interessantes e dignos de nota; mas so
tambm, em alguma medida, absolutamente triviais. A prtica d conta, perfeitamente,
de garantir tanto a semelhana entre os smbolos, como o escopo dessa semelhana: as
ocasies em que devem ser vistos como iguais, e as ocasies em que no devem ser
vistos como iguais (com preciso suficiente, em todo caso, para evitar grandes
problemas).
Neste ponto, hora de adiantar a seguinte observao: a anlise acima foi
formulada com a inteno explcita de traar um paralelo entre a atitude de Carnap
frente construo de sistemas lgicos e certas posies que viriam caracterizar a
filosofia do Wittgenstein maduro. A questo principal, que comea a se delinear, a
seguinte: Carnap vai progressivamente abrindo mo de encontrar condies capazes de
garantir o funcionamento da linguagem. Essa uma caracterstica bastante marcante de
seu pensamento, e neste trabalho ns teremos ocasio de acompanhar (ver,
principalmente, seo 3.5) como ela consegue se afirmar segundo concepes cada vez
mais claras e abrangentes, para alcanar tanto a linguagem natural como os clculos
formais, e para dispensar garantias relativas quer possibilidade de constituio da
linguagem, quer sua aplicao, uso, adequao estrutural, etc.
90
primitivas lgicas (logische Grundstze) do seu sistema sentenas cuja mera forma
garantiria sua verdade , Carnap faz a seguinte observao:
s proposies primitivas formais acrescentam-se ainda duas
proposies primitivas materiais, que no podem ser expressas
simbolicamente, ao contrrio, precisam ser entendidas em seu contedo,
pois fornecem diretivas para uma ao, mais especificamente, para a
obteno de novas afirmaes a partir de afirmaes anteriormente
dadas. 102 (destaques meus)
So duas as proposies primitivas materiais introduzidas por Carnap. A
primeira delas, anunciada como regra dedutiva da implicao, uma formulao do
modus ponens: a partir de sentenas com a forma p q e p, pode-se sempre
extrair q. A segunda, anunciada como regra dedutiva da substituio, permite
substituir uma varivel universalmente quantificada pelo smbolo de uma constante
que pertena ao domnio de valores da varivel, ou ainda pela expresso de
determinada funo, cujos valores pertenam ao domnio de valores da varivel 103 .
Por que Carnap chama essas proposies de primitivas materiais? Qual a
importncia da maneira como as apresenta? Tomemos como exemplo, em nossa anlise,
a primeira regra, relativa implicao (consideraes anlogas valem para a regra de
substituio, assunto que exploraremos em sees posteriores).
Carnap est expondo um sistema de lgica formal. Trata-se de um sistema
simblico dotado de estrutura dedutiva precisa. De que modo essa estrutura dedutiva
fica determinada? Ela se encontra incorporada nas diversas proposies primitivas
formais em que aparece o smbolo de implicao, ou seja, em proposies simblicas
(proposies formuladas com auxlio do novo simbolismo lgico-formal) cuja principal
funo desvendar, com o maior rigor e correo possvel, a estrutura do smbolo de
implicao (a noo de correo fica garantida, aqui, pelo carter verifuncional
assumido para a noo de implicao, aliado anlise por meio de tabelas de verdade:
todas as proposies primitivas formais so tautologias). Nesse sentido, uma proposio
102
Abriss: pg. 10. No original: Zu den formalen Grundstzen kommen noch zwei materiale Grundstze,
die nicht symbolisch ausdrckbar sind, sondern inhaltlich verstanden werden mssen, weil sie Anleitung
zum Handeln geben, nmlich zum Neuaufstellen von Behauptungen auf Grund schon vorliegender
Behauptungen.
103
Abriss: pg. 11.
91
93
Language 104 .
De fato, o contedo fundamental desse princpio est vinculado a uma trplice
distino que Carnap tentar manter e explorar. Trata-se da distino entre: a) clculos
simblicos rigidamente regrados e, nesse sentido, altamente racionalizados, e por isso
mesmo postos a servio da racionalidade; b) uma racionalidade problemtica, dinmica
e original, porque imersa na esfera da ao humana e, por meio dessa ao,
constantemente confrontada com a realidade emprica; e c) a realidade emprica, contra
a qual a ao humana se bate, e que funciona sempre como sua condicionante.
O percurso que Carnap faz, e que atinge sua forma mais clara e bem acabada em
Para Carnap, como vimos mais acima, uma proposio uma expresso que
pode ser verdadeira ou falsa. Verdadeiro e falso so dois predicados indefinveis, e
agora podemos completar: fazem parte da esfera (b) que indicamos na seo anterior, o
104
No entanto, veremos como (cf. sees 2.10., 2.12. e 2.13 abaixo) Carnap vtima ele mesmo, nas
Untersuchungen zur allgemeinen Axiomatik, da armadilha que acabamos de descrever.
105
A respeito desses temas, ver seo 3.5. abaixo.
94
95
referir a esses objetos 106 . Por isso, a pergunta realmente relevante : Como a lgica
formal faz essa referncia? Pergunta que deve ser (re)formulada, em seu sentido mais
preciso, da seguinte maneira: De que recursos pode dispor um sistema de lgica formal
quantificao. (Um terceiro modo discutido por Carnap, a descrio definida, pode ser
completamente reduzido aos outros dois.)
Um nome aparece no sistema como entidade simblica, mais especificamente,
como constante no-lgica, que nada mais do que uma categoria sinttica sob a qual
alguns smbolos so agrupados. Sua caracterstica distintiva est em referir-se
diretamente a um objeto no mundo. No h nada de transcendental, porm, por trs
dessa referncia direta; no h nenhum pressuposto metafsico ou lgico-metafsico.
(Em particular, o nome no precisa referir-se a nenhuma entidade simples, cuja
existncia necessria garanta sua referncia; nem necessrio um eu transcendental
capaz de estabelecer a referncia, e cuja interpretao um dos grandes mistrios do
Tractatus de Wittgenstein.)
106
Essa j havia sido uma idia defendida por Kant, que a fazia acompanhar, no entanto, de uma
complexa construo lgico-transcendental do objeto. A esse respeito, consultar [Prien: 2006].
96
107
Para expressar que uma funo proposicional fx (...) assume o valor de verdade Verdadeiro para todos
os valores do argumento x (...), escrevemos, logo antes da funo proposicional (...), o operador: (x)
(...). Abriss: pg. 9. No original: Um zu ausdrcken, dass eine Aussagefunktion fx (...) mit dem
97
Argument x (...) fr jeden Wert der Argumente den Aussagewert Wahrheit hat, schreiben wir vor die
Aussagefunktion (...) den Operator: (x) (...).
108
Abriss: pg. 3. No original: Zulssige Argumentwerte sind solche, bei deren Einsetzung der
zusammengesetzte Ausdruck eine Bedeutung bekommt, fr die also die Funktion einen Wert hat; werden
andere Zeichen als die zulssingen Argumentwerte eingesetzt, so wird das ganze ein sinnloser Ausdruck.
98
de tipos 109 . Carnap conhecia bem essa obra de Ramsey, que ao longo do Abriss
indicada mais de uma vez como referncia (como veremos, Carnap tambm j no
trabalha com a teoria ramificada de tipos, e sim com sua contraparte simplificada). No
toa, se acompanharmos os pressupostos da exposio lgico-formal contida no Abriss,
a distino essencial entre referncia por nomeao e por quantificao torna-se
facilmente compreensvel.
Uma funo proposicional como x uma montanha na Europa, nos diz
Carnap, aceita como argumentos permissveis quaisquer corpos fsicos 110 . Em nenhum
momento Carnap parece supor, no entanto, que possam existir nomes sintticos para
todos os corpos fsicos. Tais nomes no esto disponveis em nenhum sistema formal
conhecido, nem razovel esperar que, algum dia, estaro disponveis. No entanto,
consideremos um momento a sentena que surge, por quantificao universal, a partir
da funo proposicional em questo: (x) (x uma montanha na Europa). Essa
sentena tem um significado inequvoco (mais precisamente: admite uma interpretao
bastante natural) em qualquer sistema formal no qual possa ser formulada. Ela realiza a
afirmao (no caso, falsa) de que todos os corpos fsicos (qualquer coisa que seja um
corpo fsico) so montanhas na Europa.
A funo de uma proposio universalmente quantificada reside, justamente, em
realizar uma afirmao acerca de todos os valores permissveis para o argumento, ou
seja, acerca de todos os objetos (cada um dos objetos) de um domnio, quer estes
tenham ou no tenham nome. Isso significa que o procedimento de quantificao
permite verdadeiramente estender (e no apenas resumir) a referncia por nomeao.
Isso porque seu modo de referncia outro: a quantificao refere-se sempre a uma
109
110
99
Carnap anota: Os objetos que, em determinado contexto, no aparecem como classe (ou como outras
funes), chamam-se indivduos (os mesmos objetos podem, contudo, em outra circunstncia, aparecer
como classe; a indicao indivduo no possui validade absoluta, mas somente segundo determinado
ponto de vista). Abriss: pg. 19. No original: Die Gegenstnde, die in einem bestimmten
Zusammenhang nicht als Klassen (oder andere Funktionen) auftretten, heissen Individuen; (dieselbe
Gegenstnde knnen aber ein anderesmal als Klassen auftretten; die Bezeichnung Individuum gilt also
nicht absolut, sondern nur in bezug auf eine Betrachtung).
100
objetos logicamente referidos em diferentes ordens e tipos lgicos. Surge, nesse ponto,
o sistema simplificado de tipos lgicos (teoria simplificada de tipos). A maneira como
Carnap incorpora-o sua exposio da lgica ser tema da prxima seo.
A teoria (simplificada) de tipos introduzida por Carnap logo aps uma seo
dedicada s classes (Klassen). Classes aparecem, no Abriss, como conjuntos
112
Citamos: ^z( z) deve significar: aqueles valores de z que satisfazem a ; tal expresso designa
uma classe, neste caso a classe determinada pela funo proposicional z. Abriss: pg. 16. No
original: ^z( z) soll heissen: diejenigen Werte vom z, die befriedigen; ein solcher Ausdruck
bezeichnet eine Klasse, in diesem Falle die durch die Aussagefunktion z bestimmte Klasse.
113
Abriss, pg. 16. No original: (...) in -Stzen, d. h. in Stzen von der Form x ^z( z).
101
114
(colchetes meus)
O seguinte esclarecimento vem logo a seguir:
Apenas por conferir brevidade linguagem, por possuir carter
114
Abriss, pg. 18. No original: Genau genommen bezeichnet ein Extensionszeichen nicht einen
eigentlichen Gegenstand, sondern dient nur dazu, extensionale Eigenschaten von einer Funktion
auszusagen, d. h. Eigenschaften, die fr alle generell quivalenten Funktionen gleich sind.
115
Abriss, pg. 18. No original: Nur weil es der Sprache Krze und Anschaulichkeit gibt und weil es
dem blichen Sprachgebrauch entspricht, sprechen auch wir hier (in Text) so, als gbe es einen
eigentlichen Gegenstand, der durch das Extensionzeichen bezeichnet wrde, sprechen also von der
Extension, vom der Klasse (...). Die logistische Sprache, im besonderen die angefhrte
Gabrauchsdefinition der Klassenzeichen, ist aber von dieser (vielleicht fiktiven) Annahme unabhngig.
Da die Klasse nicht ein Gegenstand in Sinne ihrer Elemente ist, so darf sie nicht verwechselt werden mit
dem Gegenstand, der aus den Elementen besteht (Ganzes, Summe, Haufe, Kollektion, Totalitt,
Gesamtheit).
102
suposio, talvez fictcia, de que existam tais objetos (de que haja es gbe tais
objetos).
Nesse ponto, poderia parecer que a concepo de Carnap oscila um pouco, em
relao a temas importantes para a filosofia da lgica que vai se delineando.
Por um lado, ele deseja adotar uma postura tolerante. No importa decidir sobre
a existncia de tais objetos lgico-extensionais (a suposio de tal existncia talvez
fictcia, mas isso no representa nenhuma dificuldade, nem oferece qualquer
inconveniente). O que importa, para a formalizao lgica, a possibilidade de
manipul-los significativamente em uma linguagem suficientemente formalizada (a
linguagem da logstica). Essa possibilidade corresponde, por sua vez, introduo de
certa forma simblica, garantida por uma definio de uso.
Por outro lado, a prpria explicao fornecida por Carnap apia-se em uma
concepo no-explicitada do que seria a existncia genuna de um objeto. Ele parece
supor que haja algo como o objeto genuno, e que as classes poderiam no gozar
dessa condio. Vejamos como possvel compreender essa situao.
Ns j expusemos, mais acima, a idia segundo a qual o objeto genuno seria
aquele dado fora da lgica formalizada. O que est em jogo, portanto, menos sua
verdade metafsica alguma forma absoluta de existncia do que o carter noproblemtico de uma existncia posta em plano exterior ao plano formal. O resultado
central, aqui, pode ser formulado da seguinte maneira: Do ponto de vista da lgica
formal, a inteligibilidade da referncia a tais objetos fica estabelecida, em qualquer
instncia de aplicao, pela compreenso dos mecanismos de nomeao sinttica e de
quantificao de primeira ordem.
E quanto aos objetos extensionais (objetos lgicos de ordem superior, que no
so genunos), o que se pode dizer? Nossa proposta interpretativa segue em linha com
as consideraes anteriores, e parece encaixar-se bem com o texto.
A primeira coisa que Carnap tem em mente, ao considerar as classes como
objetos lgicos, a necessidade de estrutur-las adequadamente, para evitar dificuldades
lgicas. As antinomias haviam mostrado os perigos que uma abordagem demasiado
ingnua para esse assunto poderia oferecer, e a teoria de tipos aparecia, nesse contexto,
como soluo altamente meditada para tais dificuldades, ou seja, como formalizao
adequada a super-las.
103
A tese das extensionalidade, ento, enunciada por Carnap, com grande rigor,
na seguinte passagem:
Uma funo proposicional, cujos argumentos so proposies ou
universalmente
equivalente,
chama-se
funo
116
Abriss: pg. 22. No original: Eine Aussagefunktion, deren Argumente Aussagen oder
Aussagenfnktionen sind, und deren Aussagewert derselbe bleibt, wenn fr eine Argumentaussage eine
quivalente Aussage oder fr eine Argument-Aussagefunktion eine generell quivalente tritt, heisst eine
extensionale Funktion. (...) Als Extensionalittsthese bezeichnen wir die (noch umstrittene)
Behauptung, dass alle Aussagefunktionen, deren Argument Aussagen oder Aussagefunktionen sind,
extensional sind. Hat diese These recht, so sind generell quivalente Funktionen identisch; (...). Bei dieser
Auffassung hat dann das Extensionszeichen einer Funktion keine andere Bedeutung als das
Funktionszeichen selbst; oder umgekehrt ausgedrckt: alle wissenschaftlichen Begriffe knnen als
Klassen oder Relationen dargestellt werden.
105
106
funo 117 . Seu aspecto relevante, ento, este: duas funes proposicionais geralmente
equivalentes (tais que x x x, ou seja, (x) x x, em que o smbolo de
equivalncia verifuncional para proposies) determinam a mesma classe.
O que importante para a determinao de uma classe como objeto extensional,
portanto, a determinao dos indivduos que a compem, e no a maneira (a especfica
funo proposicional) como esses indivduos so determinados. Carnap observa, nesse
sentido, que duas funes geralmente equivalentes tm a mesma extenso (Umfang).
Em outras palavras ainda e para usar um vocabulrio bastante tradicional, j
consagrado na poca de Kant , o que importa no modo extensional de tratar um
conceito no o seu contedo, mas simplesmente sua extenso.
O que os paradoxos lgicos haviam mostrado, porm, que mesmo conceitos
aparentemente inteligveis e bem-formulados podiam conduzir a contradies
insuperveis, justamente na hora em que se tentava verificar sua extenso. Segue da,
aparentemente, que a pergunta fundamental A todo conceito corresponde uma
extenso? (admitida, claro, a extenso vazia) deveria ser respondida com um sonoro
no, ao menos para quem desejasse manter uma noo ingnua (no analisada) do que
fosse um conceito. A admisso dessa negativa, contudo, no oferece boas
perspectivas do ponto de vista da lgica. Parece invivel ou muito pouco prtico manter
essa noo ingnua de conceito, na medida em que: 1) (exigncia mais forte) parece
essencial que qualquer conceito tenha uma extenso a ele associada, e isso quer dizer
somente: dado um objeto qualquer, ou ele recai sob o conceito, ou no recai; e/ou 2)
(exigncia mais fraca) ao menos a pergunta pela extenso de um conceito deve fazer
sentido, sem que conduza a insuperveis contradies, do tipo se tal objeto pertence
extenso do conceito A, ento no pertence extenso do conceito A; se no pertence,
ento pertence.
A introduo da teoria de tipos equivale, desse ponto de vista, eliminao de
conceitos que se revelam incapazes de determinar, sem o surgimento de antinomias, um
conjunto bem determinado de objetos como sua extenso. Essa eliminao assume
feies sintticas: faz-se corresponder os conceitos a funes proposicionais, e regra-se
sintaticamente a construo das funes proposicionais. O procedimento do Abriss,
117
Para simplicidade da exposio mas sem prejuzo de sua generalidade , restringiremos nossa anlise
dos objetos extensionais, no que segue, s classes e, portanto, s funes proposicionais com apenas
uma varivel livre.
107
aqui, exemplar. Carnap associa a cada smbolo de classe um nmero, que a sua
ordem (os indivduos so considerados de ordem zero). E utiliza esse nmero para
especificar as estruturas sintaticamente permissveis. A seguinte passagem bastante
indicativa com relao a essa abordagem:
Os diferentes tipos precisam sempre ser separados uns dos outros de
118
(sublinhado meu)
O efeito da teoria de tipos parece recomendvel, j que consiste na eliminao
de conceitos indesejveis. Mas pode-se ainda perguntar: O expediente adotado ser
razovel? Para justificar a introduo da teoria de tipos, Carnap parte de uma
constatao simples: em uma funo proposicional, no qualquer smbolo que pode
ser inserido, significativamente, no lugar da varivel livre. Alguns smbolos, quando
inseridos, resultam em uma proposio significativa e verdadeira; outros resultam em
uma proposio falsa, mas ainda significativa; contudo, h smbolos que, inseridos
naquela
posio,
produziriam
simplesmente
uma
expresso
119
incompreensvel,
118
Abriss: pgs. 19-20. No original: Die verschiedenen Typen mssen immer scharf voneinander
getrennt werden (...). Oder ausgesprochen als Regel ber Zeichen: ein Satz von der Form ...... hat dann
und nur dann einen Sinn, wenn rechts von das zeichen einer Kalsse irgend einer Stufe steht und links
von ein Zeichen der nchst niederen Stufe (also auch ein Klassenzeichen, falls rechts ein
Klassenzeichen von mindestens zweiter Stufe steht; oder das zeichen eines individuums [als eines
Gegenstandes nullter Stufe], wenn rechts das Zeichen einer Klasse erster Stufe steht.)
119
Na pgina 4 do Abriss, Carnap ilustra essa situao com a funo proposicional j citada acima x
uma montanha na Europa. Observa ento que O Matterhorn uma montanha na Europa uma
proposio verdadeira; Este lpis uma montanha na Europa uma proposio falsa; mas Minha fome
uma montanha na Europa simplesmente uma expresso sem significado (weder wahr noch falsch,
sondern Sinnlos: nem verdadeira nem falsa, mas sem significado). O exemplo ilustrativo da
trivialidade da constatao feita por Carnap, em mais de um sentido at mesmo em certa arbitrariedade
na estipulao que ele acabara de fazer, segundo a qual o domnio para a varivel x, nessa funo
proposicional, seria o conjunto dos corpos fsicos.
108
Axiomatik:
Toda a teoria de tipos consiste apenas na seguinte regra de tipos: os
120
Untersuchungen: pgs. 69-70. No original: Die ganze Typentheorie besteht nur in der folgenden
Typenregel: die zulssigen Argumentwerte einer bestimmten Stellen einer bestimmten Aussagefunktion
(...) mssen isotyp sein. (...) Auf die noch umstrittene Frage, ob die Typenregel nur eine zweckmssige
Festsetzung sei oder aber der Ausdruck fr einen an sich bestehenden logischen Sachverhalt, braucht hier
nicht eingegangen zu werden. Es sei nur vermerkt, dass bisher kein befriedigendes System der Logik
auggestellt worden ist, das ohne Typentheorie die Widersprche zu vermeiden imstande wre. Um die
Typenregel verstndlich und vielleicht auch ein wenig einleuchtend zu machen, mge darauf hingewiesen
werden, dass die Regel nichts anderes besagt als: eine Eigenschaft, die fr irgendwelche Gegenstnde mit
Sinn (gleichviel, ob wahr oder falsch) ausgesagt werden kann, kann nicht mit Sinn ausgesagt werden von
einer Eigenschaft (Klasse) dieser Gegenstnde oder von einer Beziehung (Relation) zwischen diesen
Gegenstnden.
109
[Hintikka, 1995].
110
122
[Ramsey, 1925]: pg. 22. No original: To this it will be answered that a class can only be given to us
either by enumerations of its members (...) or by giving a propositional function which defines it. So that
we cannot in any way be concerned with infinite classes or aggregates, if such there be, which are not
defined by propositional functions. But this argument contains a common mistake, for it supposes that
because we cannot consider a thing individually, we can have no concern with it at all. Thus, although an
infinite indefinable class cannot be mentioned by itself, it is nevertheless involved in any statement
beginning All classes or There is a class such that, and if indefinable classes are excluded the meaning
of all such statements will be fundamentally altered.
111
Ramsey vai mais longe em sua anlise, ao tentar identificar a origem deste que
lhe parecia ser o maior erro dos Principia. Para ele, o fato de que Russell trabalhava
com variveis para funes proposicionais seria o principal responsvel pela concepo
equivocada do lgico ingls. Pois funes proposicionais, de fato, so vistas
preferencialmente como entidades simblico-sintticas: pensa-se nelas como um
conjunto de smbolos, o que obscurece a natureza da quantificao como modo de
referncia. J as classes no deveriam padecer dessa ambigidade entre existncia
sinttica e possibilidade referencial: desde o comeo se sabe que algumas classes so
meramente designadas por funes proposicionais; a compreenso geral do que seja
uma (possvel) classe de objetos, porm, no est atada a essa existncia como smbolo.
Esse problema, para Ramsey, estava na raiz de outro grande equvoco dos
importantssimo sublinhar este fato: Ramsey no utiliza, neste ponto de sua obra, o termo funo
predicativa no mesmo sentido utilizado nos Principia. Uma funo predicativa de Ramsey (como
podemos design-las) no est atada a um particular modo de construo. Ela surge a partir das funes
atmicas e proposies atmicas como funo de verdade arbitrria, com um nmero (possivelmente)
infinito de argumentos (arbitrrio quer dizer: no est adstrito possibilidade de indicar a construo da
funo de verdade, por meio, por exemplo, da quantificao universal ou existencial, as quais aparecem
apenas como casos-limite particularmente simples, para os quais dispomos de notao). O seguinte
comentrio de Ramsey interessante: A admisso de um nmero infinito [de argumentos para as funes
de verdade] implica que no definimos o escopo de funes como aquelas que poderiam ser construdas
de certa maneira, mas as determinamos por meio de uma descrio de seu significado. Elas devem ser
funes de verdade no explicitamente na aparncia, mas em seu significado de funes e
proposies atmicas. (colchetes meus) [Ramsey, 1925]: pg 39. No original: Admitting an infinite
number involves that we do not define the range of functions as those which could be constructed in a
certain way, but determine them by a description of their meanings. They are to be truth-functions not
explicitly in their appearance, but in their significance of atomic functions and propositions.
112
123
(colchetes meus)
Essa passagem intrigante, em mais de um sentido. Com a introduo de suas
funes predicativas (de Ramsey; ver nota citao acima), muito mais amplas que as
funes predicativas de Russell, Ramsey j havia solucionado o problema da teoria
ramificada de tipos: j havia mostrado a possibilidade de substitu-la pela teoria
simplificada de tipos, bem como a possibilidade de dispensar o axioma da
redutibilidade, tudo sem nenhum inconveniente lgico. Mesmo assim, Ramsey continua
a sustentar que duas coisas (distintas) podem claramente concordar com relao a todas
as funes predicativas. A razo oferecida : duas coisas podem concordar com
respeito a todas as funes atmicas. V-se assim que Ramsey permanece atado a
alguma concepo intensional acerca do que poderia ser uma funo atmica. As
funes e proposies atmicas compem, em certo sentido, um repertrio fixo, um
conjunto lgico-predicativo dado inicialmente e, pior, definitivamente. Eles
desempenham o papel de um vocabulrio predicativo ltimo que no pode ser
ultrapassado e nessa medida a delimitao das funes predicativas de Ramsey
assemelha-se a uma delimitao sinttica, a despeito de seu esforo herico de seu autor
por encontrar um conjunto, suas prprias palavras, objetivo de funes
proposicionais, que fosse indicado independentemente do modo de construo.
Porque no julgava a classe de funes atmicas (e com ela sua nova classe de
funes predicativas) suficientes para separar todos os objetos uns dos outros ou seja,
para realizar a tarefa necessria a uma definio de identidade , que Ramsey
acreditou ser indispensvel a exibio de uma classe ainda mais ampla de funes
proposicionais, capazes de dar conta da tarefa exigida. Ele introduz assim uma
complicada espcie de funes proposicionais, as funes proposicionais em
extenso 124 . Essas funes deveriam estar aptas a isolar logicamente cada objeto, no
123
[Ramsey, 1925]: pg. 50. No original: It is obvious, however, that we ought not to define identity in
this way as agreement in respect of all predicative functions, because two things can clearly agree as
regards all atomic functions and therefore as regards all predicative functions, and yet they are two things
and not, as the proposed definition of identity would involve, one thing.
124
Eis como Ramsey introdiz sua nova classe de funes proposicionais. Seja uma funo (correlao)
que associa, a cada objeto x, uma proposio x. Essa associao deve resultar, nas palavras de Ramsey,
de qualquer ralao um-para-muitos em extenso, entre proposies e indivduos. Isso significa que, a
cada indivduo, associada uma nica proposio. Trata-se de uma associao, alm do mais,
perfeitamente arbitrria (O exemplo oferecido por Ramsey pitoresco: (Scrates) A rainha Ana
est morta; e (Plato) Einstein um grande homem, e assim por diante, sempre associando
indivduos a proposies, de forma totalmente arbitrria). A funo proposicional que resulta dessa
113
sentido de que, dado qualquer objeto, haveria ao menos uma funo proposicional em
extenso satisfeita somente por esse objeto, e por nenhum outro mais. Na verdade, dada
qualquer possvel extenso de objetos, haveria uma funo proposicional em extenso
capaz de circunscrever exatamente esses objetos, e no outros. claro quem, assim
como j havia feito com suas novas funes predicativas, Ramsey isentava essas novas
funes proposicionais da necessidade de existncia sinttica (ele observa no ser
possvel constru-las explicitamente; caso contrrio, como claro, seu propsito seria
frustrado).
Desnecessrio dizer que essa intrincada concepo de Ramsey no teve muitos
seguidores. Ao contrrio de suas percepes fundamentais acerca da teoria de tipos e,
como estamos argumentando, acerca da quantificao de ordem superior, a indicao
das funes proposicionais em extenso no parece ser de grande utilidade para a
lgica. Ela funciona em uma zona turva entre a semntica 125 e intensionalidade
sinttica. Se, como bem reconhece Ramsey, a nova classe de funes proposicionais em
extenso no pode ser construda explicitamente (como conjunto de entidades
sintticas), ento a complexa estruturao de sua forma sinttica tambm seria de pouca
valia. Mais importante seria esclarecer no que consiste o modo extensional de
compreender conceitos de ordem superior, ou seja, qual o significado de um conceito
tomado extensionalmente.
x = y . =df . () . x y
114
Logo aps oferecer essa definio formal e de explicar brevemente, nos termos
acima, seu significado Carnap acrescenta ainda outro comentrio, de natureza
histrica e bibliogrfica, no qual mencionada a posio de Ramsey:
A definio apia-se na concepo leibniziana relativa identitas
Abriss: pg. 15. No original: = benutzen wir als Zeichen der Identitt (im strengen Sinne; a = b
heisst: a und b sind Namen derselben Gegenstandes). Wir definieren:
D 7.01
x = y . =df . () . x y
Die definition besagt: x = y soll dann und nur dann gelten, wenn jede Funktion fr x und y denselben
Aussagewert hat, d. h. Wenn x und y berall fr einander eingesetzen werden knnen. In anderer
Ausdruckweise: wenn x und y in allen Eigenschaften bereinstimmen.
127
Abriss: pg. 17. No original: Die Definition beruht auf der Leibnizschen Auffassung von der
identitas indiscernibilium, der Identitt des Nichtunterscheidbaren. Die obenstehende Definition wird
vertreten von Russell (PM) und von Hilbert (Grundzge der theoretischen Logik); eine verwandte, aber
abweichende formulierung gibt Ramsey (The Foundations of Mathematics). Wird die gennante
Auffassung nicht annerkant, so kann die Identitt als undefinierte Grundbegriff aufgestellt werden; so z.
B. Behman (Mathematik und Logik); (...)
115
116
permite supor que o sistema lgico-formal possua predicados suficientes, nesse sentido
eminentemente intensional e sinttico, para distinguir entre quaisquer dois objetos do
domnio de indivduos.
O ponto central, no entanto, parece residir justamente a. Em primeiro lugar,
lembramos que no Abriss, Carnap no faz sua anlise formal depender da construo de
sistemas lgicos especficos (como far em The Logical Syntax of Language), com
recursos sintticos bem delimitados pelo fornecimento de um vocabulrio inicial e
regras de formao. Segue da que qualquer propriedade no quer dizer qualquer
propriedade passvel de expresso sinttico-formal em um sistema especfico; a
quantificao sobre funes proposicionais no est adstrita, nesse sentido, a um
conjunto bem delimitado de construes sintticas. O aspecto decisivo, porm, est na
maneira como a intensionalidade acaba por se diluir no sistema da filosofia lgico-
118
A semntica extensional que conduz ao que depois veio a ser chamado de interpretao standard dos
quantificadores de ordem superior.
119
adotada para os sistemas formais conflui naturalmente com a regulao sinttica por
meio das regras de tipo, a ponto de ambas as coisas fundirem seu status terico. So
certas determinaes (restries) sintticas que permitem a adequada estruturao da
referncia lgica a objetos de ordem superior: aqueles objetos no-genunos a que um
formalismo bem estabelecido permite ascender sem o surgimento de contradies.
Contudo, o prprio tratamento sinttico da linguagem (por exemplo, o estabelecimento
das regras que regulam a quantificao) j pressupe determinada concepo semntica
prvia dada na linguagem natural como metalinguagem geral acerca da maneira de
interpretar os diferentes tipos lgicos mais elevados.
Essa confuso entre sintaxe e semntica permanecer como uma das principais
deficincias desse perodo do seu pensamento. Ao examinar agora as Untersuchungen,
veremos como ela aparece sob diferente roupagem.
120
The Logical Syntax of Logic). Essa circunstncia faz com que a leitura do texto seja
particularmente problemtica, na medida em que os conceitos utilizados por Carnap no
so, em sua imensa maioria, conceitos consagrados do estudo lgico: no coincidem
nem com conceitos tradicionais, disponveis at aquele momento, nem com alguns
conceitos que, estabelecidos posteriormente, dominariam a pesquisa na rea.
Por esse motivo, julgamos oportuno oferecer, desde logo, as linhas gerais de
nossa abordagem s Untersuchungen. A exposio preliminar que empreenderemos tem
129
A esse respeito, ver os detalhados estudos histricos de Thomas Bonk e Jesus Mosterin, includos em
[Carnap, 2000].
121
122
agora
como
esses
quatro
aspectos
se
entrelaam
nas
130
O termo de Carnap, e utilizado, com o mesmo sentido, tanto nas Untersuchungen como no Abriss.
Cf. seo 2.3 acima.
131
O que hoje chamaramos de teoria da prova, exposta com auxlio do smbolo de derivao .
132
Alguns autores insistem em confundir o espectro total da lgica com essa tarefa, definindo-a como
teoria da deduo.
124
125
126
134
(destaques
133
Veremos que Carnap, na verdade, no concebe os axiomas como proposies, mas sim como funes
proposicionais.
134
Untersuchungen: pg. 59. No original: Das wichtigste Erfordernis fr eine fruchtbare Behandlung der
vorliegenden Probleme ist einerseits eine ausdrckliche Festlegung der jeweils verwendten logischen
Basis, die meist nicht genaus umrissen wird, und andererseits eine Aufstellung scharfer
Begriffsbestimmungen aufgrund dieser Basis.
127
ocorre
aqui
por
meio
da
operao
calculadora
Die alte und die neue Logik: pg. 16. No original: Durch ie Verwendung der Symbolik in der Logik
wird vor allem eine sonst nicht erreichbare Strenge der Schlussfolgerung erzielt. Das Schliessen geschiet
hier durch ein rechenmssiges operieren it den Formeln (daher die Bezeichnung Kalkl:
Aussagenkalkl, Funktionenkalkl); (...).
128
de
smbolos,
mas
que
tenham
um
significado
Untersuchungen: pg. 60. No original: Aus einem vorgelegten Axiomensystem knnen nur
Folgerungen gezogen werden, wenn noch allgemeine Regeln des Folgerns gegeben werden. Jede
Behandlung und Prfung eines Axiomensystems setzt also eine Logik voraus, und zwar eine inhaltliche
Logik, d.h. ein System von Stzen, die nicht blosse Zeichenzusammenstellung sind, sondern eine
bestimmte Bedeutung haben. Denn sonst wrden sie uns nicht in den Stand setzen, zu handeln; und
Deduzieren ist Handeln, denn es bedeutet: aus vorgegebenen Zeichenzusammenstellung nach festen
Regeln andere Zusammenstellung bilden.
129
significado, como base de qualquer estrutura axiomtica. Carnap insistente sobre esse
ponto:
Essas diferentes exigncias convergem no seguinte ponto: toda
137
(sublinhado meu)
137
Untersuchungen: pg. 61. No original: Diese verschiedene Forderungen stimmen darin berein, dass
jede Axiomatik eine Grunddisziplin voraussetzt, und zwar als eine inhaltliche Disziplin, d.h. als eine,
deren Begriffe eine bestimmte Bedeutung haben. Die Forderung einer absoluten Mengenlehre oder einer
absoluten Arithmetik ist insofern berechtigit, als die zu fordernde Grunddisziplin unter ihren Begriffen
sicher auch mengenteoretische Begriffe wie Menge, Mchtigkeit, geordnete Menge, eineindeutige
Zuordnungen usw., und auch arithmetische Begriffe wie Anzahl, eins, zwei, drei, usw. besitzen muss, um
als Basis fr die Axiomatik dienen zu knnen.
130
138
Esse tema tambm tratado no Abriss (seo 30, sobre o mtodo axiomtico, que inicia a parte II do
livro, logstica aplicada), mas sem a mesma pretenso ou extenso.
131
139
Untersuchungen: pgs. 87-8. No original: (...) Oder aber mann fasst die Grundbegriffe auf als
unbestimmte Gegenstnde und Beziehungen eines unbestimmten Gebietes, von denen nur festgelegt wird,
dass sie sich so zueinander verhalten, wie es in den Axiomen bestimmt wird. Finden sich auf
verschiednen Gebieten Gegenstnde und Beziehungen, die diese formalen Bestimmungen erfllen, so
kann das Axiomsystem auf jedes dieser Gebiete bezogen werden; auf jeder diese Gebiete gelten dann
auch in entsprechender Deutung die Folgerungen des Axiomsystems.
140
As duas concepes no esto em contradio uma com a outra, ao contrrio, ambas so
admissveis. Somente a segunda, porm, conduz s mltiplas aplicaes do mtodo axiomtico e dos
sistemas axiomticos individuais, que tornam to frutfero esse mtodo. Essa segunda concepo, que a
comum para o matemtico, ser posta aqui como fundamental. Untersuchungen: pg. 88. No original:
Die beiden Auffassungen stehen nicht in Widerspruch zu ein ander, sondern sind beide berechtigt. Aber
nur der zweite fhrt zu der vielseitigen Verwendungen der axiomatischen Methode und des einzelnen
Axiomensystems, der die Fruchtbarkeit dieser Methode zu verdanken ist. Diese zweite, dem
Mathematiker gelufiger Auffassung sei hier zugrunde gelegt.
132
verdadeiro nem falso, mas pode valer ou no, para determinado caso de aplicao
141
(sublinhado meu).
A ressonncia do pensamento de Hilbert, cujo trabalho fornecia a Carnap os
melhores modelos ento disponveis de axiomatizao rigorosa, aqui inequvoca.
Surge, porm, a pergunta: Nessa segunda concepo, como devemos interpretar os
axiomas? Para Carnap, se os conceitos primitivos do sistema axiomtico permanecem
sempre indefinidos quanto quilo que descrevem, ento devem ser considerados
formalmente como variveis, e no como nomes. Segue que os axiomas no so
proposies, mas sim funes proposicionais. E o prprio sistema axiomtico como um
todo o qual pode ser visto como a conjuno lgica de seus axiomas torna-se
igualmente uma funo proposicional.
Fica patente, nesse ponto, que Carnap ainda no tinha clara a distino entre
variveis e constantes indeterminadas. Uma distino como essa, de resto, s cobra
pleno significado quando se est na posse de uma slida teoria da interpretao, uma
teoria semntica formal como ser a teoria de modelos e Carnap no dispunha, ainda,
de nada do gnero.
importante deixar fixado com rigor o que se passa, porque essa situao ter
conseqncias nada desprezveis para a anlise subseqente. Carnap no utiliza, em sua
investigao dos sistemas axiomticos, um conceito puramente sinttico para a noo de
varivel como classe de smbolos sujeitas a determinadas regras sintticas , caso no
qual poderia identificar sem dificuldades o papel dos termos/conceitos primitivos de um
sistema axiomtico como constantes indefinidas. J no estudo do Abriss vimos que a
questo acerca dos recursos de referncia e dos modos de referncia das diversas
estruturas lgicas um assunto essencialmente semntico assume papel central na
exposio. No mesmo sentido, a varivel aparece agora, no como smbolo passvel
de quantificao (segundo certas regras) e de substituio (segundo certas regras), mas
como smbolo passvel de diversas interpretaes, em diversas reas da realidade.
A despeito dos bvios problemas com essa concepo, veremos que um de seus
efeitos consiste em empurrar Carnap na direo de uma teoria de modelos. De fato, se
os conceitos de ordem superior de um sistema axiomtico no so vistos como simples
141
Untersuchungen: pg. 88. No original: Und so ist es ja auch mit einem Axiomsystem; es ist an sich
weder wahr noch falsch, es kann aber in einem bestimmten Anwendungsfall zutreffen oder nicht
zutreffen.
133
142
Untersuchungen: pg. 91. No original: Da die sogennanten Lehrstze keine Aussagen, sondern
Aussagenfunktionen sind, so wollen wir sie lieber nicht Lehrstze sondern Folgerungen des
Axiomensystems nennen. Auch wollen wir nicht sagen, eine Folgerung werde aus den Axiomen
deduziert oder bewiesen um nicht zu der Irrtum zu verleiten, als handelte es sich um eine Aussage, die
aus anderen Aussagen, die Prmissen, durch Schlussfolgerung hergeleitet wrde; wir sagen statt dessen
folgern oder ableiten.
134
143
Untersuchungen: pgs. 91-2. No original: Wie wird nun eine Folgerung aus Axiomen abgeleitet? Die
Logik lehrt, wie eine Aussage aus anderen deduziert werden kann; aber hier handelt es sich nicht um
Aussagen. (...) Was bedeutet es, wenn wir sagen, g sei eine Folgerung von f ? Was bedeutet es, zu sagen,
der Pythagorische Lehrsatz sei eine Folgerung der euklidischen Axiome? (...) Wohl aber kann bewiesen
werden, dass, wenn die euklidischen Axiome fr irgendwelche Gegenstnde zutreffen, notwendig auch
der Pytagorische Lehrsatz zutrifft; und deshalb heisst er eine Folgerung. Allgemein: gR heisst eine
Folgerung von fR, wenn (R) (fR gR) gilt. (R) (fR gR) oder abgekrzt f g nennen wir
Implikationsaussage von g inbezug aif f. Dies ist eine wirklishce Aussage; die wird bewiesen, whrend
man (nicht ganz korrekt) zu sagen pflegt, man beweise g.
135
coisa toda fica bem diferente. Cada proposio que provada tem, aqui,
a forma f g, i.e. (R) (fR gR); este, contudo, no um teorema de
certa rea determinada, mas sim um teorema da lgica, pois nele s
aparecem constantes lgicas e variveis ligadas. Uma tal proposio
(...) no est limitada, em sua validade, a quaisquer pressupostos, ao
contrrio, vale de maneira absoluta, como tautologia; ela pode ser
provada por meio de simples deduo a partir das proposies
fundamentais da lgica. 144
Neste ltimo trecho aparece, com toda clareza, o tema clssico da generalidade
de aplicao como marca distintiva da lgica. Ele reforado por outra expresso ainda
mais forte, quando Carnap menciona a validade absoluta de certos resultados lgicos.
Em que medida Carnap pode falar de resultados gerais e absolutos da lgica?
A questo toda passa pela compreenso daquilo que Carnap chama de modelos
formais (Modelle) da lgica. O que so esses modelos? Carnap dedica a seo 2.3 das
conceitos lgicos, ou seja, a conceitos da disciplina bsica. Nesse caso que surgem o
que ele chama de modelos formais, ou simplesmente modelos. sobre esses
144
Untersuchungen: pg. 93. No original: Bei unserer Auffassung und Behandlungsweise der
Axiomensysteme liegt die Sache ganz anders. Hier hat jede Aussage, die bewiesen wird, die Form f g,
d.h. (R) (fR gR); dies aber ist nicht ein Lehrsatz irgendeines bestimmten Gebietes, sondern ein
Lehrsatz der Logik, denn es kommem ja nur logische Konstante und gebundene Variable vor. Ein solcher
Satz (...) ist in seiner Geltung nicht beschrnkt auf irgendwelche voraussetzung, sondern gilt absolut, als
Tautologie; er kann bewiesen werden durch einfache Deduktion aus den Grundstzen der Logik.
136
modelos que Carnap deseja concentrar sua anlise. Tais modelos constituem-se como
estruturas organizadas de valores lgicos (no-empricos, pertencentes disciplina
bsica) capazes de satisfazer um sistema axiomtico. Carnap vai alm, e sugere utilizar
modelos numricos (lembremos que certa aritmtica absoluta deve necessariamente
estar includa na disciplina bsica) como prottipo para todos os modelos formais o
que ele acredita poder fazer sem nenhuma perda de generalidade.
Em tais modelos numricos, exemplos por excelncia dos modelos formais, os
indivduos so sempre nmeros; e os restantes tipos lgicos so interpretados de acordo
(conjuntos de nmeros etc.). Na anlise de Carnap, os modelos numricos gozam de
status privilegiado na medida em que fornecem a estrutura fundamental de qualquer
aplicao possvel de um sistema axiomtico, includas a suas realizaes empricas.
Com efeito, qualquer aplicao emprica (realizao), segundo Carnap, pode ser
reinterpretada em um modelo formal de mesma estrutura, ou seja, possvel
correlacionar univocamente os indivduos da realizao aos indivduos de um modelo
numrico, de modo que qualquer relao que valha entre os indivduos da realizao
valha tambm entre seus correlatos numricos. Nas palavras de Carnap:
Com essa limitao no diminumos minimamente a generalidade dos
Untersuchungen: pg. 94. No original: Durch diese Beschrnkung auf die Modelle tritt keine
Einschrnkung in der Gltigkeit der Ergebnisse unserer Untersuchungen ein. Denn die Untersuchungen
haben es nirgends mit der Beschfenheit der Anwendungsflle im einzelnen zu tun, sondern nur mit der
Vorhandensein oder nicht Vorhandensein eines Anwendungsfalles und mit dessen struktur. Besitzt nun
ein Axiomensystem eine Realisation, so stets auch ein Modell von gleicher Struktur; besitzt es kein
formales Modell, so berhaupt keinen Anwendungsfall.
137
Na seo 1.6 das Untersuchungen, Carnap introduz a noo tcnica de isomorfia por meio da seguinte
definio:
Definio 1.6.1: Duas relaes n-rias homogneas P,Q dizem-se isomorfas (uma outra)
quando existe entre P e Q um correlator (de isomorfia) S, i.e. uma relao que associa os P-membros
aos Q-membros, de maneira um-para-um,e de tal forma que a uma n-upla de P sempre corresponde uma
n-upla de Q, e vice-versa. Untersuchungen: pg. 71. No original: Definition 1.6.1: Zwei homogene nstellige Relationen P,Q heissen isomorph (mit einander), wenn es einen (Isomorphie-)Korrelator S
zwischen P und Q gibt, d.h. eine Relation, die die P-Glieder den Q-gliedern eineindeutig so zuordnet, dass
einem P-n-tupel stets ein Q-n-tupel entspricht und ungekehrt.
Na seo 1.7, ele expe o conceito de estrutura como obtido pelas classes de equivalncia da
relao de isomorfia: Se P e Q so isomorfos, ento dizemos tambm: eles tm a mesma estrutura
(...). Untersuchungen, pg. 72. No original: Sind P nd Q isomorph, so sagen wir auch: sie haben
dieselbe Struktur (...).
147
Untersuchungen: pgs. 110-25 (sees 2.8 a 2.12). A introduo da noo estendida de isomorfia entre
modelos um tour de force da tcnica carnapiana: seu objetivo poder estabelecer a identidade de
estrutura entre modelos que partem de diferentes nveis de indivduos.
138
148
148
Untersuchungen: pg. 95. No original: Schreiben wir fr f (R, S, T) kurz f R, und sind R1, S1, T1
bestimmte, etwa arithmetische Relationen, die zulssige Werte der Variabeln R, S, T sind, so knnen wir
auch fr das geordnete Relationensystem R1, S1, T1 eine abkrzende Bezeichnung einfhren, etwa R1.
Das Modell R1 ist dann ein Wert der Modellvariablen R. Jede der Relationsvariabeln R, S, T des
Axiomensystems hat einen bestimmten Typus (...); nur dann wenn Werte dieser Typen eingesetzt werden,
ergibt die Aussagefunktion f (R, S, T) eine wahre oder falsche Aussage. Wenn die drei Relationen R1, S1,
T1 zulssige Werte der Variabeln R, S, T sind, d.h.: wenn sie (dadurch, dass ein bestimmter
Gegenstandsbereich in ihnen zum Individuenbereich erklrt wird) den Typus der drei Variabeln R, S, T
annehmen knnen, so nennen wir das Relationensystem (R1, S1, T1), oder abgekrzt R1, ein zulssiges
Modell von f R, gleichgltig, ob R1 fR befriedigt oder nicht; f R1 ist dann jedenfalss sinnvoll, nmlich
139
entweder eine wahre oder falsche Aussage. Ein zulssiges Modell R1 von f R ist nur dann auch Modell
von f R, wenn f R1 nicht nur sinnvoll, sondern wahr ist.
149
Untersuchungen: pg. 95. No original: Wir hatten g eine Folgerung von f gennant, wenn f g, d.h.
(R) (fR gR) gilt; diese Implikationaussage von g kann jetzt auch ausgesprochen werden: alle
Modelle von f sind auch Modelle von g. Da f ~ g bedeutet: (f g) & (g f), so haben quivalente oder
umfangsgleiche Axiomensysteme dieselbe Modelle.
140
Untersuchungen: pgs. 95-6. Carnap cita como exemplos de propriedades inessenciais de sistemas
axiomticos o nmero de seus axiomas ou a utilizao de determinado axioma (no como conseqncia,
mas como axioma). Untersuchungen: pg. 96. No original: (...) die Anzahl seiner Axiome oder das
Vorkommen eines bestimmten Axioms in ihm (nicht als Folgerung, sondern als Axiom).
151
Carnap considera a concepo extensional um ponto de vista (Betrachtung). Nesse sentido, ele
escreve: Relaes em extenso so funes proposicionais consideradas do ponto de vista
extensional, i.e. de um ponto de vista que ignora as determinaes de contedo e leva em conta somente
a extenso, i.e. quais valores do argumento satisfazem a funo; assim, funes com igual extenso so
tratadas como idnticas. Untersuchungen: pg. 65. No original: Relationen sind Aussagefunktionen
in extensionalerBetrachtung, d.h. in einer Betrachtung, die von inhaltlichen Bestimmung der Funktionen
absieht und nur auf ihre Umfang achtet, d.h. darauf, durch welche Argumentwerte die Funktionen
befriedigt wird; daher werden Umfangsgleiche Funktionen als identisch behandelt.
141
estudo
das
relaes
existentes
entre
diferentes
funes
142
152
Untersuchungen: pg. 121. No original: Nachdem wir jetzt fr die Modelle eines beliebigen
Axiomensystems den Begriff der mehrstufigen Isomorphie aufgestellt haben, erweitern wir die Definition
der Struktur sinngemss: wir sagen von zwei Werten A und B einer (allgemeinen oder Modell-)
Variabeln R von q-ter Stufe (insbesondere also von zwei zulssige Modellen A und B eines
Axiomensystems fR), dass sie dieselbe q-stufige Struktur haben, wenn sie q-stufig isomorph sind; (...).
153
Untersuchungen: pg. 124. No original: fR sei ein formales Axiomensystem mit q-stufiger Variabler;
A sei ein Modell von f. Dann gehrt jedes zu A q-stufig isomorphe, zulssige Modell zum Umfang von f;
(...).
143
Mas um modelo que seja isomorfo a outro satisfaz exatamente as mesmas funes
proposicionais. O mesmo vale para as aplicaes empricas: uma realizao que seja
isomorfa a outra realizao (ou a um modelo 154 ) satisfaz exatamente as mesmas funes
proposicionais. Mas acabamos de ver que o conceito de estrutura definido a partir
das classes de equivalncia da relao extensional de isomorfismo, de modo que a
proposio lgica (R) (fR gR) pode ainda ser parafraseada como: toda estrutura
cada caso, a qual na maioria das vezes no claramente destacada, e por outro lado o
estabelecimento de determinaes conceituais rigorosas a partir dessa base (colchetes
meus; sublinhado meu).
Vejamos a estrutura conceitual armada por Carnap para estudar o sistemas
axiomticos e suas aplicaes.
Ele comea por traar a distino entre duas concepes distintas a respeito do
significado dos conceitos que serviro para caracterizar sistemas axiomticos 155 . Tratase da distino entre uma maneira absoluta de conceber os conceitos, e uma maneira
construtiva. A diferena est na interpretao dos quantificadores, e em particular do
154
Recordemos a afirmao de Carnap, central para sua concepo do mtodo axiomtico, de que toda
realizao possui um modelo formal que lhe seja isomorfo.
155
Agora, finalmente, precisamos cotejar duas concepes distintas a respeito do significado dos
conceitos de propriedade [de sistemas formais]. (conchetes meus) Untersuchungen: pg. 78. No
original: Nun sollen zum Schluss noch zwei verschiedene Auffassungen ber die Bedeutung von
Eigenschaftbegriffen einander gegenber gestellt werden.
144
145
(colchetes meus)
Vejamos agora o que diz Carnap com relao aos conceitos absolutos. A
situao, aqui, um pouco mais difcil de avaliar. Ao introduzir a distino entre os dois
tipos de conceito, ele oferece o seguinte comentrio, que consideramos insuficiente:
Um a-conceito no leva em considerao a possibilidade de conhecer
157
Untersuchungen: pgs. 79-80. No original: Die zugehrige k-Definition nimmt demgegenber eine
Beschrnkung vor, indem sie bestimmte Hilsmittel als anwendbar voraussetze und den Begriff
einschrnkt auf diejenige Gegenstnde, die durch (endlich viele) Operationen mit diesen Hilfsmitteln
erreichbar sind. Die Hilfsmittel werden meist stillschweigend vorausgesetzt; in der Logik sind es die
Arten des Deduzierens (einschliesslich des Substituirens), in der Arithmetik und Analysis kommen die
spezifisch mathematischen Operationen hinzu.
146
158
(colchetes meus)
Consideramos o comentrio insuficiente porque esse precisamente o sentido de
absoluto que um construtivista estaria disposto a atacar, ou seja, a recusar como
significativo e talvez com toda justia. Se o objetivo de Carnap defender uma
posio tolerante, se seu objetivo mostrar que tambm os conceitos absolutos podem
encontrar seu lugar em um sistema conceitual de descrio de objetos (lembremos que
os prprios sistemas formais so vistos aqui como objetos), ento ele precisa oferecer
uma explicao com contedo mais claro e preciso do que essa.
Felizmente, Carnap desenvolve essa concepo, e examina algumas de suas
conseqncias. interessante analisar, nesse sentido, a seguinte passagem, na qual ele
tenta resumir a tese do absolutismo:
O absolutismo afirma o seguinte. O conceito existe, na definio de
159
(destaques do autor)
158
Untersuchungen: pg. 79. No original: Ein a-Begriff nimmt kein Rcksicht auf Erkennbarkeit,
Darstellbarkeit, er setzt gewissermassen einen alles berschauenden Verstand voraus; (...).
159
Untersuchungen: pg. 83. No original: Der Absolutismus besagt folgendes. Der Begriff es gibt darf
in der definition einer Eigenschaft achrankenlos verwendet werden. Ob eine Eigenschaft fr den diskursiv
denkenden, daher in endlicher Zeit immer nur endlich viele Schritte machenden menschlichen Verstand
feststellbar ist oder nicht, ist keine logisch, sondern eine praktische Angelegenheit. Es ist zwar zuweilen
interessant, auch zu untersuchen, ob eine bestimmte Eigenschaft auch stets in endlich vielen Schritten
feststellbar ist; aber der Sinn der Eigenschaft hngt nicht etwa von dieser Feststellbarkeit ab. Die aBegriffe sind daher sinnvoll. Und da a-f und a-non-f stets eine vollstndige Disjunktion bilden (siehe
Figur), so gilt fr jede Eigenschaft der Satz von ausgeschlossenen Dritten.
147
Ao criticar o princpio do crculo vicioso de Russell, Ramsey escreve: A nica diferena que,
devido a nossa inabilidade de escrever proposies de comprimento infinito o que , do ponto de vista
lgico, um mero acidente () . a no pode, como p . q, ser expressa de modo elementar, mas precisa
ser expressa como o produto lgico de um conjunto do qual ela tambm membro. (grifo meu)
[Ramsey, 1925]: pg. 41. No original: The only difference is that, owing to our inability to write
propositions of infinite length, which is logically a mere accident, () . a cannot, like p . q, be
elementary expressed, but must be expressed as the logical product of a set of which it is also a member.
148
ordinria trata essa distino, trata-se apenas de uma falsa impresso baseada em
analogia (com o caso finito) e falta de perspiccia lgica; bem examinada a situao,
no se consegue exibir um sentido razovel para a distino proposta. Enfim, quem
admite essa distino no consegue atribuir um significado razovel ao que est falando.
Nosso propsito, neste exame do trabalho de Carnap, no pode ser o de resolver
essa complicada questo. Mas podemos apontar em que sentido, segundo nos parece,
Carnap tenta super-la. Consideremos novamente a suposio (2), tornada agora
problemtica. Quando se diz que ao menos um objeto possui a propriedade f,
traduzido por existe um objeto com a propriedade f, o significado pode ser
considerado suficientemente claro na medida em que possvel reconhecer a
circunstncia em que admitiramos tal afirmao como verdadeira: quando algum
exibisse um objeto da classe desejada, com a propriedade desejada. Mas a complicao
surge com a pergunta pelo significado da negao desse caso. Em que circunstncias
reconheceramos que nenhum objeto possui a propriedade f, ou seja, que no existe
um objeto com a propriedade f? Talvez apenas com uma demonstrao desse fato;
mas precisaramos ter claro o que aceitaramos como demonstrao (Carnap, como
veremos logo frente, adota uma soluo desse tipo). Contudo, a existncia de uma
demonstrao um objeto construdo, positivado segundo um mtodo algo
essencialmente distinto da no existncia do objeto com a propriedade f. O que se
queria dizer com a possibilidade de atribuir um significado claro aos diferentes casos de
(2) era justamente que tais casos tm sentido independente da capacidade de se obter
concretamente demonstraes, provas, construes etc.
Pode-se fazer esse mesmo exerccio com outros casos de (2), e o foco do
problema ir se revelar sempre o mesmo: ele surge na relao de um caso com sua
negao; quando um caso parece no oferecer dificuldades, sua negao oferece. O
problema, de fato, est na repartio de uma classe infinita em duas classes disjuntas e
exaustivas, por meio da palavra no. Em outras palavras, o problema est menos no
uso dos quantificadores, do que no uso da palavra no associada aos quantificadores.
Essa percepo trazida tona do final da passagem de Carnap citada acima,
quando ele conclui assim suas consideraes a respeito dos conceitos absolutos: E
como a-f e a-non-f compem sempre uma disjuno completa (...), ento vale para toda
propriedade o princpio do terceiro excludo. Esse , de fato, o centro da questo: a
admisso ou no do princpio do terceiro excludo associado negao. No toa,
149
Carnap ir explorar do modo mais cuidadoso precisamente esse tema. Vejamos como
ele faz isso.
Considere-se certo conceito f, indicado por meio de uma funo proposicional
fx 161 . Sabemos agora que, por trs de f, Carnap identifica dois conceitos, designados
como a-f e k-f. Alm desses dois conceitos, aparece tambm o que Carnap chama de
negados de f. Sero dois negados, os quais surgem, aparentemente 162 , por meio da
negao formal da funo proposicional fx (que equivale negao do quantificador
existencial). Em relao a essa nova funo proposicional ~fx, de fato, tm-se
novamente duas possibilidades, que Carnap designa como a-non-f e k-non-f: a
concepo absoluta e a concepo construtiva do negado de f (correspondentes
concepo absoluta e construtiva da funo proposicional ~fx).
Carnap esclarece ento que esse negado absoluto (absolutes Negat), a-non-f,
deve ser definido da seguinte maneira: ele se aplica a todos aqueles objetos aos quais
o conceito absoluto a-f no se aplica. Em suas palavras:
[O] negado absoluto a-non-f deve ser definido, ento, pelo fato de
que ele convm queles objetos aos quais (a-)f no convm. a-non-f,
portanto, idntico a non-a-f; pois a extenso dessa propriedade a
classe complementar da classe de f. As duas classes se completam para
formar a classe total do tipo lgico correspondente, i.e., a classe de
todos aqueles objetos para os quais a distino f no-f faz sentido. 163
A disjuno exaustiva de certa classe de objetos (e o princpio do terceiro
excludo) , portanto, a marca essencial do par de conceitos absolutos. O mesmo no
acontece com os conceitos que Carnap designa como k-non-f e k-f. Eles no
recobrem a classe total dos objetos do tipo lgico determinado pela funo
proposicional fx. A situao exposta graficamente por Carnap da seguinte maneira 164 .
161
Podemos supor que fx uma funo proposicional na qual um quantificador existencial aparece na
posio mais externa.
162
Carnap no absolutamente claro a esse respeito; as razes para tanto sero discutidas frente.
163
Untersuchungen: pg. 80. No original: [Das] absolute Negat a-non-f ist dahin zu definieren dass es
denjenigen Gegenstnden zukommt, denen (a-)f nicht zukommt. a-non-f ist ist also identisch mit non-a-f;
denn der Umfang dieser Eigenschaft ist die komplementre Klasse der Klasse von f. Die beiden Klassen
ergnzen sich zur Allklasse des Betreffenden Typus; d.h. zur Klasse aller der Gegenstnde, fr die die
Unterscheidung f non-f einen Sinn hat.
164
Untersuchungen: pg. 80.
150
Considere-se que a classe total desses objetos seja representada por uma linha A-E,
como abaixo:
haver dvida com relao sua interpretao, nem com relao inteno de Carnap.
Trata-se daquela classe de objetos para os quais possvel exibir o objeto que, exigido
pelo quantificador existencial presente em f, faz f lhes convir. No caso dos nmeros
algbricos, so os nmeros k-algbricos, ou seja, aqueles nmeros para os quais se pode
exibir uma equao a coeficientes racionais da qual eles so soluo.
D-E corresponde ao conceito k-non-f. Trata-se do que Carnap chama de
negado construtivo de f. Aparentemente 165 , trata-se daqueles objetos para os quais
possvel provar que no lhes convm o conceito f. Por isso eles so o negado
construtivo de f: no basta supor que no lhes convm o conceito f, necessrio dar um
contedo positivo ou critrio positivo para essa suposio. Observe-se, porm, que
tal contedo positivo , aqui, menos claro do que na situao anterior. Enquanto no caso
dos nmeros k-algbricos basta exibir a equao algbrica da qual o nmero em questo
raiz, no caso de nmeros k-non-algbricos no se trata mais de exibir uma equao.
Trata-se de demonstrar, em um nmero finito de passos, que uma equao do tipo
exigido no existe. Trata-se, portanto, de exibir um tipo bastante particular de objeto:
uma demonstrao formal (uma prova finita de certo fato). Desse modo, vemo-nos
165
Carnap no absolutamente claro a esse respeito. A seguinte passagem, porm, enfatiza o papel da
demonstrao: (...) em relao a uma propriedade f, e em determinado momento, repartem-se em trs
classes os objetos para os quais faz sentido perguntar por essa propriedade: para um objeto da primeira
classe pode ser provado que ele tem a propriedade f; para um objeto da segunda classe pode ser provado
que ele no possui a propriedade f, que ele possui, portanto, a propriedade non-f; para um objeto da
terceira classe no pode ser provado, atualmente, nem uma coisa, nem outra. Untersuchungen: pg. 83
(sublinhados meus). No original: (...) in Bezug auf eine eigenschaft f zerfallen die Gegenstnde, fr die
die Frage nach dieser Eigenschaft sinnvoll ist, in einem bestimmten Zeitpunkt in drei Klassen: fr einen
Gegenstand der ersten Klasse kann bewiesen werden, dass er die Eigenschaft f hat; fr einen gegenstand
ser zweiten Klasse kann bewiesen werden, dass er die Eigenschaft f nicht hat, dass er also die Eigenschaft
non-f hat; fr einen Gegenstand der dritten Klasse kann gegenwrtig weder das eine noch das andere
bewiesen werden.
151
remetidos a um segundo problema, relativo aos recursos que devem ser admitidos na
demonstrao. Na concepo de Carnap, como vimos, os conceitos construtivos
caracterizam-se, de maneira geral, pela restrio a certa base determinvel de recursos.
Carnap chega a mencionar especificamente o caso dos recursos lgicos: na lgica eles
[os recursos construtivamente admissveis] so os modos de deduo (includos os
algbrico: naquele ponto da histria, nem se sabia construir uma equao algbrica a
coeficientes racionais da qual fosse soluo, nem se sabia exibir uma demonstrao de
que tal equao no existia 166 .
A-C corresponde ao conceito a-f. Trata-se de uma classe de objetos que inclui
todos os objetos do correspondente conceito construtivo, ou seja, todos os objetos da
classe k-f (trecho A-B), e possivelmente mais outros tantos objetos pertencentes
zona de objetos indeterminados. So os nmeros algbricos em sua concepo usual,
no-construtiva: aqueles nmeros para os quais existe (em algum sentido que se supe
166
Carnap enftico com relao relatividade temporal dos objetos da zona de indeterminao. Em uma
passagem que citaremos na ntegra mais abaixo, ao explicar os diferentes conceitos construtivos, Carnap
observa que (...) em relao a uma propriedade f, e em determinado momento, repartem-se em trs
classes os objetos para os quais faz sentido perguntar por essa propriedade f: (...); para um objeto da
terceira classe no pode ser provado, atualmente, nem uma coisa, nem outra. (sublinhados meus)
Untersuchungen: pg. 83. No original: (...) in Bezug auf eine eigenschaft f zerfallen die Gegenstnde, fr
die die Frage nach dieser Eigenschaft sinnvoll ist, in einem bestimmten Zeitpunkt in drei Klassen: (...);
fr einen Gegenstand der dritten Klasse kann gegenwrtig weder das eine noch das andere bewiesen
werden.
Para um caso mais interessante (e fundamental) de zona de indeterminao, ver nota 169 abaixo.
152
situao.
Antes
que
se
conhecesse
demonstrao
de
sua
f, e composta por todos os objetos (de tipo lgico adequado) aos quais no convm o
conceito k-f. Assim como non-a-f era a classe complementar de a-f, non-k-f a classe
complementar de k-f. Ao contrrio do que acontecia com os conceitos absolutos, em que
non-a-f revelava-se igual a a-non-f, Carnap chama a ateno e ns com ele para a
importante diferena entre non-k-f e k-non-f: o primeiro conceito convm a todos os
objetos aos quais no covm o conceito k-f; o segundo, apenas aos objetos para os quais
se pode demonstrar que k-f no lhes convm. No nosso exemplo, o conceito non-kalgbrico abrange todos os nmeros que no so k-algbricos.
Essa classificao proposta por Carnap , para ns, de grande importncia. Ela
esclarece o sentido exato de sua tentativa de conciliar duas concepes distintas
absoluta e construtiva a respeito dos conceitos definidos com auxlio do quantificador
existencial; e mostra em que medida essa tentativa justificvel. O exame dos
diferentes conceitos sugeridos por Carnap revela que a questo central est posta, a
167
153
154
168
Com a referncia linguagem matemtica usual, no se quer indicar que no haja ou que no
possam surgir casos de dvida quanto a seu uso e aplicao, nem que esse uso no esteja sujeito a
modificaes ao longo da histria; queremos indicar apenas que se trata de uma prtica lingstica bem
estabelecida, e significativa, dentro da qual possvel chegar a acordos. (J faz muitos sculos, por
exemplos, que o nmero admitido como nmero pelos matemticos.)
155
No caso geral, porm, poder haver ainda objetos aos quais no convm nenhum dos
dois conceitos construtivos. Era o caso do nmero , em relao aos conceitos kalgbrico e k-non-algbrico (k-transcendental), antes da prova de Lindemann. Esses
objetos do domnio pertencem zona de indeterminao, ou seja, no pertencem a
nenhuma das duas classes determinadas pelos conceitos construtivos.
Como aparecem, agora, os conceitos absolutos? O ponto essencial, como j
assinalamos, menos a interpretao do quantificador existencial, do que a
interpretao da palavra no. Quando se usa a expresso existe uma equao
algbrica tal que..., o fato relevante no tanto a suposio de uma existncia absoluta,
anterior a qualquer efetivao ou concretizao, do que o fato de que podemos falar
significativamente nos seguintes termos: ou tal equao existe, ou no existe. Pois a
palavra no tal como utilizada usualmente na linguagem natural serve justamente
para repartir em dois um campo qualquer de possibilidades: ou a possibilidade se
realiza, ou no se realiza, e no h terceira opo. Associada a uma propriedade f e certo
objeto O, a mesma regra nos diz que ou O possui a propriedade f, ou no a possui. E se
for dado um domnio D de objetos, ainda a mesma regra nos permite separar D em duas
classes disjuntas e exaustivas: a classe dos objetos que possuem a propriedade f (D1), e
a classe dos objetos que no a possuem (D2), sem que nenhum objeto fique de fora
(D1+D2=D).
As observaes acima no tm por objetivo estabelecer a impossibilidade de ver
a situao de outras maneiras: elas no mostram, em nenhum sentido, que no seja
possvel, interessante ou mesmo adequado fornecer outra anlise para a palavra no,
cuja aplicao seja vantajosa em certas situaes (anlise essa que ser, provavelmente,
elaborada com auxlio de mtodos formais). O que se est dizendo somente que esse
uso da palavra no, o mais usual na linguagem natural, significativo:
suficientemente regrado, tem um claro contedo que lhe associado. Novamente, para
verificar o caso que nos interessa: dado certo domnio D de objetos, e dado um
subconjunto D1 de D, sempre significativo formar o conjunto D2 que seja, por
definio, complementar de D1. D2 concebido como composto pelos objetos de D que
156
169
interessante observar, nesse sentido, que a zona de indeterminao no precisa surgir, como o
exemplo do nmero parece indicar, como uma zona de indeterminao epistemolgica: composta pelos
objetos para os quais simplesmente ainda no se conhece um mtodo de construo/demonstrao
(mtodo que, um dia, poder ser descoberto). Hintikka descreve, em [Hintikka, 1996], um caso bastante
revelador a esse respeito. Com efeito, um dos propsitos centrais dessa obra est em elaborar e defender
uma semntica formal, diferente da de Tarski, formulada por meio da teoria de jogos (game theoretic
semantics). Nessa semntica, uma sentena lgico-matemtica definida como verdadeira quando existe
uma estratgia vencedora de demonstrao em certo jogo numrico; ela ser falsa quando existir uma
estratgia vencedora do adversrio, ou seja, uma estratgia vencedora para a posio falseadora. O
ponto importante que ela no ser falsa, simplesmente, quando no existir uma estratgia vencedora de
demonstrao: ela s ser falsa se existir uma outra estratgia vencedora, para a posio falseadora.
Mas um resultado demonstrvel da teoria dos jogos que nem sempre h uma estratgia vencedora para
algum dos dois lados: h jogos em que no h estratgia vencedora para nenhum deles. Em casos assim, a
sentena no seria verdadeira nem falsa; ela seria indeterminada, no no sentido de que ainda no se
conhece sua verdade, mas no sentido prprio de que ela no nem verdadeira, nem falsa. O par
verdadeiro-falso, assim concebido, deixa de ser uma disjuno exaustiva, fato esse que preenchido por
um contedo matemtico exato: a impossibilidade de adotar uma estratgia vencedora, quer para falsear a
sentena, quer para demonstr-la. Apesar desse resultado, e de defender como melhor semntica para a
matemtica a semntica de teoria dos jogos, nem por isso Hintikka nega a utilidade e significatividade de
um conceito de negao que obedea ao terceiro excludo: possvel falar em sentenas que no so
verdadeiras, e com isso indicar todas as sentenas para as quais no existe uma estratgia vencedora de
demonstrao, quer exista ou no uma estratgia vencedora de falseamento. Aqui, o conceito noverdadeiro simplesmente no coincide com o conceito falso. A partcula no mantm seu sentido
metalingstico usual: as sentenas no-verdadeiras, nesse sentido da palavra no (que Hintikka chama
de sentido absoluto), compem com as sentenas verdadeiras uma disjuno exaustiva do domnio de
todas as sentenas de uma linguagem formal do tipo considerado por Hintikka. A questo, para Hintikka,
no reside em negar a significatividade desse uso da palavra no, mas em observar que, talvez, ele no
seja o mais interessante ao menos no no que diz respeito semntica de linguagens formais. Como
contraparte dessa observao, Hintikka verifica outras estruturas possveis da palavra no, que se
mostrem mais adequadas a captar os aspectos fundamentais de sua semntica.
157
negado * uma disjuno completa: k-f (AB) com non-k-f (BE), e alm
disso tambm k-non-f (DE) e non-k-non-f (AD); a diferena entre esse
dois pares de conceito, no entanto, precisa ser levada em conta.
170
(destaque do autor)
Um construtivista, nessa concepo, pode at negar a aplicabilidade dos
conceitos absolutos a casos especficos, sob a alegao de falta de critrio para o uso do
quantificador existencial absoluto. Para ele, em outras palavras, pode no fazer
sentido uma sentena particular como ao objeto o convm o conceito a-f (em que a*
A confuso com o termo negado de Carnap, no nossa; e ela sintomtica da principal deficincia
das Untersuchungen, a respeito da qual j falamos: a falta de suficiente clareza com relao distino
entre metalinguagem e linguagem-objeto. Assim, Carnap confunde o uso que vinha fazendo at agora do
termo negado, como negao formal interna linguagem-objeto, com a negao na metalinguagem,
que aquela que ele tem em vista na presente passagem. Essa confuso, repetimos, ajudada pelo uso
varivel da partcula non em diferentes posies, como em a-non-f e non-a-f. Nesta mesma
passagem, encontraremos at mesmo um caso em que a partcula non aparece em duas posies: nonk-non-f.
170
Untersuchungen: pg. 83. No original: Trotz der Notwendigkeit der Dreiteilung bleibt aber der Satz
vom ausgeschlossenen Dritten gltig. Denn jeder Begriff bildet mit seinem Negat eine vollstndig
Disjunktion: k-f (AB) mit non-k-f (BE), und anderseits auch k-non-f (DE) und non-k-non-f (AD); der
Unterschied zwischen diesen beiden Begriffspaaren muss aber beachtet werden.
158
resultados
das
seguintes
investigaes
no
geral,
portanto,
171
As posies examinadas nas sees acima sero, no geral, mantidas por Carnap
em obras posteriores no mnimo, at a publicao de The Logical Syntax of Language.
Onde surgem, ento, os principais problemas que levaram Carnap a no publicar as
Untersuchungen?
Em sua busca por determinaes conceituais rigorosas, aplicveis descrio da
estrutura de sistemas axiomticos formais, Carnap define alguns importantes pares de
conceito. Os principais so os seguintes. Conceitos de satisfao: vazio/satisfeito
171
Untersuchungen: pg. 84. No original: Die folgenden Untersuchungen sind nicht auf einen der beiden
Standpunkte festgelegt. (...) Die gltigkeit der Ergebnisse der folgenden Untersuchungen ist also im
allgemeinen unabhngig von der Wahl des Standpunktes; in einzelnen Fllen wird das Ergebnis fr jeden
der beiden Standpunkte gesondert werden.
172
Untersuchungen: pg. 85. No original: Die folgenden Darlegungen sind damit fr alle blichen
Standpunkte gltig, mit Ausnahme desjenigen, der den Satz vom ausgeschlossenen dritten ablehnt.
159
voll/widerspruchsfrei); alm desses dois pares, centrais para a anlise que faremos
abaixo, encontramos tambm diferentes pares de conceitos de completude:
monomorfo/polimorfo (monomorph/polimorph), separvel/no-separvel (gabelbar/un-
173
160
(...) [o sistema] ser k-contraditrio quando uma funo proposicional desse tipo [contraditria]
puder ser dada [angegeben]. (colchetes meus) Untersuchungen: pg. 97. No original: (...) somit kwiderspruchsvoll, wenn eine derartige Aussagefunktion angegeben werden kann.
175
A seguinte passagem contm a resposta extremamente confusa, como veremos, ao misturar aspectos
semnticos e sinttico-dedutivos que Carnap dar ao problema: (...); obtm-se com isso, como o
procurado critrio positivo para k-no-contraditrio, o mesmo que para k-satisfeito, especificamente,
a exibio de um modelo (destaques do autor). Untersuchungen: pg. 101. No original: (...); damit
ergibt sich dann als gesuchte positive Kriterium fr k-widerspruchsfrei dasselbe wie fr k-erfllt
nmlich die Aufweisung eines Modells.
161
que Gdel e Tarski conseguiram obter alguns dos principais resultados da lgica no
sculo XX. A maneira como Carnap oferece seus teoremas, os quais relacionam seus
conceitos de satisfao e de contradio, mostram que ele tinha em mente justamente
esse tipo de propsito: relacionar as possibilidades dedutivas de um sistema axiomtico
(aquelas funes proposicionais que aparecem como conseqncia do sistema) com seus
aspectos descritivos (a existncia ou no de modelos para o sistema).
Infelizmente, Carnap falhou em perceber o aspecto essencial da questo. J
vimos, na seo 2.9. acima, que ele define a noo de conseqncia lgica de um
sistema axiomtico de maneira semntica, nas mesmas linhas do que viria a ser a
definio usual de teoria de modelos. A sentena lgica que indica que g (uma funo
proposicional) uma conseqncia de f (outra funo proposicional, no mesmo sistema
de variveis) : (R) (fR gR), cujo significado consiste em afirmar que todo modelo
que satisfaz f tambm satisfaz g.
Dada essa definio (semntica) de conseqncia, porm, torna-se trivial
relacionar os conceitos de contradio com os conceitos de satisfao. No espanta que
Carnap prove todos os seus teoremas em no mximo seis passos simples. Esses
teoremas estabelecem, por exemplo, a equivalncia entre os conceitos contraditrio e
vazio (teorema 2.4.5 176 ), e entre os conceitos no-contraditrio e satisfeito
(teorema 2.4.9 177 ).
Os surpreendentes resultados de Gdel e Tarski os quais mostram, por
exemplo, que um sistema formal da aritmtica pode ser no-contraditrio (incapaz de
derivar formalmente uma contradio) e, ainda assim, vazio (desprovido de modelos)
no tm lugar aqui. Resultados como esses s aparecem se houver uma distino clara
entre aquilo que os recursos dedutivos de um sistema formalizado de lgica (recursos
sintticos) permitem fazer, e o estudo das diferentes estruturas que eles permitem
descrever. Colapsada essa distino, os conceitos realmente se sobrepem. Os
resultados de Carnap, nesse sentido, no esto errados. Apenas carecem de interesse.
A incapacidade de Carnap em separar adequadamente os recursos dedutivos de
uma linguagem formal de seus recursos descritivos est intimamente associada, como j
apontamos, a outra deficincia mais profunda: a falta de clareza quanto distino entre
176
162
contrapartida formal. Ele parece acreditar que, por ter aparentemente reproduzido o
vocabulrio e a estrutura dedutiva da primeira por meio da segunda, pode usar
exclusivamente a segunda, que mais precisa e rigorosa.
178
163
179
A esse respeito, por exemplo: Ns no dizemos que a lgica seja decidvel, pois desejamos aplicar
essa expresso a sistemas axiomticos; a lgica, contudo, no um sistema axiomtico, no sentido da
nossa teoria. Untersuchungen: pg. 146. No original: Wir sagen nicht, die Logik sei
entscheidungsdefinit, da wir diesen Ausdruck ja auf Axiomensysteme anwenden wollen, die Logik aber
kein Axiomensystem im Sinne unserer Theorie ist.
164
(5)
(R)~fR
(6)
~( R) fR
180
165
(destaque do autor)
A respeito dessa opo de traduo, ver nota 173 acima, no incio da seo 2.12.
Untersuchungen: pg. 127. No original: Bei den Versuchen, den Begriffe der Vollstndigkeit eines
Axiomensystems zu definieren, sind hauptschlich drei verschiedene Wege eingeschlagen worden. Der
Deutlichkeit halber wollen wir die drei Begrife von vornherein durch drei verschiedene Ausdrcke
unterscheiden, noch bevor wir ihre Brauchbarkeit geprft haben; anstelle des Ausdrucks vollstndig
unterscheiden wir: monomorph, nichtgabelbar, entscheidungsdefinit.
183
No explicaremos a elaborada construo de Carnap acerca da ordem das variveis; ela necessria
para a definio (diga-se de passagem, bastante sofisticada e correta) de seu conceito generalizado de
isomorfia entre modelos. No que segue, por questo de correo e completude de exposio, limitar-nosemos a assinalar a ordem das variveis, quando relevante para o resultado em questo.
184
Untersuchungen: pg. 128. Ismq indica a relao de isomorfia (de ordem q) entre dois modelos.
Seguindo uma notao anteriormente introduzida, Carnap omite de sua definio a varivel da
quantificao existencial: ( ) f & (P,Q) [(fP & fQ) Ismq (P,Q)]; para efeitos de clareza, preferimos
reintroduzi-la.
185
Carnap tambm enuncia alguns teoremas relativos monomorfia, como o seguinte teorema 3.2.3: O
fato de um sistema axiomtico ser formal e monomorfo equivalente ao fato de que sua extenso consiste
de exatamente uma classe de isomorfia. Untersuchungen: pg. 129. No original: Dass ein Axiomsystem
formal und monomorph ist, ist quivalent damit, dass sein Umfang aus genau einer Isomorphieklasse
besteht.
182
167
sua conjuno seja satisfeita 186 . Em smbolos, f e g so compatveis se f&g for nocontraditria (se f&g for satisfeita, se admitir um modelo). Um sistema axiomtico f,
ento, dito separvel em g se f for compatvel tanto com g como com a negao de g,
ou seja: tanto f&g como f&~g so satisfeitos.
Carnap conclui: Chamamos fR de separvel se existir um gR tal que f seja
separvel em g 187 .
Finalmente, o conceito de decidibilidade introduzido por Carnap no
corresponde ao conceito de decidibilidade (dedutiva) hoje usual, herdado do trabalho de
Gdel. Isso conseqncia do fato, j examinado, de que Carnap confunde os aspectos
sintticos e semnticos de uma linguagem, e acaba por trabalhar com uma definio
semntica de conseqncia. Sua definio, ento, a seguinte: Um sistema axiomtico
satisfeito f dito decidvel quando, para qualquer funo proposicional formal g (com
as mesmas variveis), ou g ou ~g conseqncia de f; (...) 188 .
Dadas as definies adotadas, no espanta que Carnap consiga demonstrar a
equivalncia entre os trs conceitos 189 : monomorfo (categrico), no-separvel,
decidvel (semanticamente decidvel). O mesmo vale, obviamente, para os negados:
polimorfo, separvel e no-decidvel.
No se quer dizer, com isso, que as demonstraes oferecidas nas
186
J vimos, na seo 2.12. acima, que Carnap faz coincidir os conceitos no-contraditrio e
satisfeito, formulando ambos com vis semntico (modelo-teortico).
187
Untersuchungen: pg. 131. No original: Wir nennen fR gabelbar, wenn es ein gR gibt derart, dass f
an g gabelbar ist.
188
Untersuchungen: pg. 143. No original: Ein erflltes Axiomensystem f wird entscheidungsdefinit
gennant, wenn fr jede formale Aussagefunktion g (mit derselben Variabeln) entweder g oder ~g
Folgerung von f ist; (...).
189
Teorema 3.6.2 (e tambm 3.4.10 e 3.6.1):
Teorema 3.6.2 Os trs conceitos de completude monomorfo, no-separvel e decidvel so
equivalentes. Untersuchungen: pg. 144.
Teorema 3.4.10 Os conceitos monomorfo e no-separvel so equivalentes.
Untersuchungen: pg. 138.
Teorema 3.6.1 Os conceitos decidvel e no-separvel so equivalentes. Untersuchungen:
pg. 144.
No original: Satz 3.6.2 Die drei Vollstndigkeitsbegriffe monomorph, nichtgabelbar,
entscheidungsdefinit sind quivalent; Satz 3.4.10 Die Begriffe monomorph und nichtgabelbar sind
quivalent; e Satz 3.6.1 Die Begriffe entscheidungsdefinit und nichtgabelbar sind quivalent.
168
tambm do uma boa idia da concepo extensional que Carnap entretm acerca da
anlise lgica, com sua preferncia pelo vocabulrio extensional das classes):
Teorema 3.2.4 Que um sistema axiomtico formal e polimorfo, isso
Untersuchungen: pg. 129. No original: Satz 3.2.4 Dass ein Axiomensystem formal und polimorph
ist, ist quivalent damit, dass sein Umfang zerlegbar ist in mehrere (mindestens zwei) ganze
Isomorphieklassen; diese Isomorphie klassen sind einander stets fremd.
191
Untersuchungen: pg. 130. No original: Satz 3.2.5 Dass ein Axiomensystem material und
monomorph ist, ist quivalent damit, dass sein Umfang eine echte Teilklasse einer Isomorphieklasse ist.
192
Untersuchungen: pg. 130. No original: Satz 3.2.6 Dass ein Axiomensystem material und polimorph
ist, ist quivalent damit, dass sein Umfang zerlegbar ist in mehrere (mindestens zwei) einander fremde
Klassen, die Teilklasse von verschiedenen Isomorphieklassen sind, und zwar mindestens eine echte
teilklasse.
169
193
170
171
172
197
173
sentenas puramente lgicas (ou seja, sem predicados descritivos), em que o domnio da
varivel pode ser considerado, por isso mesmo, como sendo o mais amplo possvel:
tudo o que puder ser considerado como indivduo.
(Carnap, porm, no cai no erro de buscar um significado ontolgico para essa
noo de qualquer objeto/indivduo. Assim como Kant que, mais de um sculo antes,
havia posto a noo de indivduo na dependncia da razo que constri e representa o
mundo um indivduo ser qualquer coisa que a mente puder construir/representar
como indivduo , Carnap pe a noo de indivduo na dependncia da linguagem que
permite falar de indivduos e considerar indivduos com tais. Esse um dos muitos
significados entre os mais importantes, e dos menos discutidos de sua recusa da
metafsica. Mais a esse respeito na seo 3.5. do prximo captulo)
A lgica formal, portanto, no est aqui a servio da descrio de estruturas
especficas (modelos ou realizaes), nas quais so interpretadas suas sentenas. A
generalidade lgica obtida diretamente, pela considerao de um domnio mximo de
aplicabilidade. As ferramentas de uma lgica formalizada, usadas axiomaticamente para
descrever um domnio qualquer de objetos, podem ser usadas tambm para descrever,
no limite, o domnio geral de todos os objetos. Isso acontece quando o sistema
axiomtico degenera para, sem termos primitivos indefinidos, transformar-se em um
sistema puramente lgico.
Novamente, o modo de operar extensional. O que importa a possibilidade
semntica de individuao e agrupamento: o nmero um uma extenso de extenses,
o conjunto de todos os conjuntos que puderem ser vistos como agrupando um objeto; o
nmero dois o conjunto de todos os conjuntos que agrupem dois objetos, no
importando como ou quais desde que possam recair sob a noo pressuposta de
indivduo, dada na linguagem como parte da disciplina fundamental que anterior a
qualquer formalizao.
Mas qual o lugar que ocupa, no conjunto das Untersuchungen, essa crena na
possibilidade de oferecer uma definio puramente lgica para os nmeros (uma crena
da qual no dependem, vale repetir, as demais consideraes e resultados oferecidos na
obra)? Estamos aqui, mais uma vez, diante do que consideramos um tpico movimento
da filosofia lgica de Carnap. Repare-se bem na seguinte tenso que, ao menos a
princpio, vemos estabelecer-se na anlise carnapiana dos nmeros e de sua posio
relativamente lgica. Por um lado, os nmeros fazem parte como aritmtica absoluta
174
176
Captulo 3
Carnap escreveu Die logische Syntax der Sprache entre 1932 e 1933. A primeira
edio alem da obra apareceu em 1934. Uma segunda verso, revista e aumentada, j
traduzida para o ingls 198 , foi elaborada durante o ano de 1936 e publicada em 1937,
sob o ttulo de The Logical Syntax of Language. esse segundo texto, doravante
abreviado LSL, que utilizaremos em nossa anlise.
Carnap desenvolve nessa obra uma concepo bastante detalhada da lgica
formal como sintaxe. Em certo sentido, a tese central de LSL admite a seguinte
formulao concisa: lgica sintaxe. Contudo, uma afirmao como essa d margem,
inevitavelmente, a toda sorte de mal-entendidos e equvocos. Mais do que isso: exibida
assim de maneira seca, desacompanhada do amplo contexto em que necessita ser
inserida, parece trair o prprio esprito de tolerncia lgica que o corao terico da
obra. Por isso, acreditamos que a seguinte parfrase, que desejamos fixar desde logo,
estaria mais de acordo com os objetivos de Carnap: Na tarefa de clarificao conceitual
O trabalho de traduo, realizado por Amethe Smeaton, foi acompanhado de perto por Carnap.
177
das estruturas sintticas, ele atinge patamares de abstrao pouco usuais at mesmo para
os padres da lgica que, hoje, passou a ser estudada quase exclusivamente em
departamentos de matemtica. Mesmo quando parece fazer concesses, esse movimento
enganoso: os esclarecimentos e comentrios, muitos dos quais sob uma forma
contundente que apenas ressalta o carter polmico das idias, s assumem seu
significado mais interessante diante das incontveis pginas de frmulas. Enfim, o
contedo filosfico do livro encontra-se encoberto sob uma pesada camada de anlise
formal, que precisaria ser vencida.
O resultado que o livro se presta a diversas simplificaes mais do que
distorcidas. Essa circunstncia, claro, est longe de ser uma exclusividade. Toda obra
filosfica de alguma importncia acaba por se prestar, para aqueles que no tiverem a
pacincia de penetrar na trama cerrada de suas idias, a simplificaes inescusveis, na
medida em que apenas ocultam os complicados problemas cuja formulao e integrao
sistemtica, segundo um princpio de resoluo, constituem seu maior valor. Em outras
palavras, a simplificao de uma obra ou pensamento torna-se distoro na medida em
que apenas esconde o valor problemtico das idias ali contidas. Essa a situao
comum. No caso de LSL, porm, essas simplificaes e distores jogam todas contra o
autor e seu projeto. Nada mais fcil do que passar por ridcula a idia de que a filosofia
deva se resumir mera anlise sinttica. Nada mais fcil do que, esquecendo a
intrincada anlise lgica que Carnap realiza, associ-la s correntes mais pobres e
redutivas da filosofia analtica.
O objetivo do presente captulo realizar um exame detalhado do texto de LSL e
do contexto em que ele se insere. Um exame que, sem abrir mo de desvendar os
resultados lgicos do livro, consiga coloc-los sob uma luz filosoficamente rica e
significativa, para mostrar que muitas das idias ali contidas ainda merecem grande
ateno. O contedo dessa parfrase precisa ento ser desdobrado, esmiuado,
esclarecido em suas diferentes implicaes. Nosso desejo seria mostrar que o projeto de
LSL, com os equvocos que possa ter e tentaremos detectar tambm esses equvocos ,
baseia-se em uma compreenso profunda de alguns dos temas mais importantes da
filosofia da lgica. A formulao do Princpio de Tolerncia Lgica, cuja imensa
influncia na prtica lgica posterior no costuma ser suficientemente enfatizada, a
conseqncia mais fecunda dessa compreenso.
178
179
nem a segunda como classe de expresses com certo formato sintaticamente descrito. O
resultado pode ser parafraseado por algo como: uma varivel um smbolo que segura
uma posio aberta em uma proposio; uma funo proposicional a expresso que
resulta de uma proposio quando se substitui um de seus nomes por uma varivel, e
por isso no tem significado completo, nem pode ser verdadeira ou falsa.
O resultado, assim, no assume as feies de uma teoria geral do mtodo formal,
mas sim de uma teoria geral da formalizao das sentenas naturais. Seu objetivo ideal,
com efeito, uma formalizao completa: a obteno de uma linguagem artificial
composta inteiramente por smbolos artificiais (smbolos tcnicos forjados com esse
propsito especfico), cujas possibilidades sobretudo as possibilidades dedutivas so
completamente regradas. No entanto, essa formalizao completa, obtida da maneira
descrita, tende a: 1) Ser vista como formalizao da linguagem natural e, em
conseqncia disso, como formalizao de uma linguagem geral, aplicvel a tudo; 2)
Enfatizar o aspecto dedutivo da linguagem: sua utilidade central parece repousar no fato
de constituir-se como formalizao de procedimentos dedutivos (em consonncia com a
antiga e at hoje freqente definio de lgica como teoria da deduo).
Nas Untersuchungen, essa caracterstica aparentemente mitigada pelo fato de
que o tema de investigao so os sistemas axiomticos. A exposio de diversas
noes mais francamente formal, e no formalizadora: muitos dos resultados so
oferecidos diretamente em linguagem simblico-formal, como regra acerca da
manipulao de smbolos. Mais importante do que isso, os sistemas axiomticos so
tratados, eles prprios, como objetos simblico-formais, possuidores de vocabulrio
simblico especfico e arbitrrio.
No obstante, no que diz respeito aos recursos propriamente lgicos que
servem de base formulao dos diferentes sistemas axiomticos, e que necessitam ser
por eles incorporados, a tendncia geral permanece a mesma, com relao aos dois
aspectos mencionados acima. No apenas a nfase recai sobre os aspectos e
possibilidades dedutivas do sistema. Mais importante do que isso: os recursos lgicos
gerais so vistos como formalizao da linguagem natural e, no toa, acabam por
assumir o papel de linguagem lgica geral. J tratamos desses assuntos extensamente no
captulo anterior.
Em LSL, agora encontramos uma abordagem bastante diferente para o problema
da formalizao da lgica, ou antes: para o problema da lgica formal. Carnap deseja
180
oferecer agora uma teoria completa do mtodo formal, vista como teoria completa da
manipulao regrada de smbolos arbitrrios. A possibilidade de manipular smbolos
vai se tornar o centro de toda a investigao formal, e vai se despir de qualquer
suposio que lhe seja estranha. Assim, Carnap define o mtodo sinttico da seguinte
maneira:
Por linguagem queremos indicar aqui qualquer espcie de clculo, ou
199
(destaques do autor;
sublinhado meu)
precisamente essa abordagem sinttica que, para Carnap, deve caracterizar o
estudo formal (especificamente, o estudo da lgica formal):
Uma teoria, uma regra, uma definio ou demais coisas do gnero
199
LSL: pgs. 167-8. No original: By a language we mean here any sort of calculus, that is to say, a
system of formation and transformation rules concerning what are called expressions, i.e. finite, ordered
series of elements of any kind, namely, what are called symbols (...). In pure syntax, only syntactical
properties of expressions, in other words, those that are dependent only upon the kind and order of the
symbols of the expressions, are dealt with.
200
LSL: pg. 1. No original: A theory, a rule, a definition, or the like is to be called formal when no
reference is made in it either to the meaning of the symbols (for example, the words) or to the sense of the
expressions (e.g. the sentences), but simply and solely to the kinds and order of the symbols from which
the expressions are constructed.
181
E qual a vantagem do mtodo formal sobre outros mtodos? Por que a lgica
deveria ser concebida e estudada como disciplina formal, nesse sentido forte? A
resposta mais direta de Carnap para essa pergunta aparece ainda no incio de LSL:
Mas o desenvolvimento da lgica durante os ltimos dez anos mostrou
claramente que ela s pode ser estudada com algum grau de acuidade
quando baseada, no em juzos (pensamentos, ou o contedo de
pensamentos), mas em expresses lingsticas, das quais as sentenas
so as mais importantes, porque apenas para elas possvel estabelecer
regras rigorosamente definidas. E de fato, na prtica, todo lgico desde
Aristteles,
ao
estabelecer
regras,
lidou
principalmente
com
sentenas. 202
201
LSL: pg. 5. No original: In the widest sense, logical syntax is the same thing as the construction and
manipulation of a calculus; and it is only because languages are the most important examples of calculi
that, as a rule, only languages are syntactically investigated.
202
LSL: pg.1. No original: But the development of logic during the past ten years has shown clearly that
it can only be studied with any degree of accuracy when it is based, not on judgments (thoughts, or the
content of thoughts), but rather on linguistic expressions, of which sentences are the most important,
because only for them is it possible to lay down sharply defined rules. And actually, in practice, every
logician since Aristotle, in laying down rules, has dealt mainly with sentences.
182
203
No que segue, no faremos distino entre aquilo que poderia ser expresso em portugus por
smbolo e signo. Seguindo o uso de LSL, que adora somente o termo symbol, falaremos somente
em smbolo, querendo indicar com isso a entidade concreta que, em alemo, recebe a melhor
designao na palavra Zeichen.
204
[Dedekind, 1887]: pg. 32. Na traduo inglesa da qual extramos a passagem: If we scrutinise
closely what is done in counting an aggregate or number of things, we are led to consider the ability of the
mind to relate things to things, to let a thing correspond to a thing, or to represent a thing by a thing, an
ability without which no thinking is possible. Upon this unique and therefore absolutely indispensable
foundation (...) must, in my judgment, the whole science of numbers be established.
183
205
184
unitria e regrada de um smbolo. (sublinhado meu). No original: Was ein Begriff ist, haben wir hiermit
nicht gesagt; sondern nur, was es heisst, ein Zeichen bezeichne einen Begriff. Das ist auch das einzige,
was genau gesagt werden kann. Und das gengt auch; denn wenn von Begriffen sinnvoll die Rede, so
handelt es sich stets um durch Zeichen bezeichnete oder doch grundstzlich bezeichenbare Begriffe; und
im Grunde ist dann stests die Rede von diesen Zeichen und ihren Verwendungsgesetzen. (...) Sobald
berhaupt von einem Begriff die Rede ist, handelt es sich stets um die einheitliche, also gesetzmssige
Verwendung eines Zeichens.
207
A respeito de Hilbert e de sua realizao nesse campo, Carnap observa: Como a prpria palavra
sugere, os primeiros clculos no sentido acima descrito foram desenvolvidos na matemtica. Hilbert foi o
primeiro a tratar a matemtica como clculo no sentido mais rigoroso i.e., a estabelecer um sistema de
regras tendo as frmulas matemticas como seu objeto. LSL: pg. 9. No original: As the word itself
suggests, the earliest calculi in the sense described above were developed in mathematics. Hilbert was the
first to treat mathematics as a calculus in the strictest sense i.e., to lay down a system a system of rules
having mathematical formulae for their objects.
208
LSL: pg. 3. No original: (...); for only in a symbolic language has it proved possible to achieve exact
formulation and rigid proofs. And only in relation to a constructed symbolic language of this kind will it
185
lgico. Tambm na formulao e reformulao desse problema revelase que a constituio do mundo das formas lgicas no pode ser
captada completamente, nem se deixa apresentar de maneira exata,
enquanto no utilizarmos, para essa apresentao, determinados
smbolos concreto-sensveis. por meio deles, como representantes do
be possible to lay down a system of rules at once simple and rigid which alone will enable us to show
clearly the characteristics and range of applicability of logical syntax.
209
[Mehrtens, 1990]: pg. 78. No original: Mathematische Symbole unterliegen expliziten und
eindeutigen Konventionen fr ihren fachgerechten Gebrauch, ihre Verknpfung oder Ersetzung. Die
Mathematikern arbeiten an diesen Konventionen und ihrer Eindeutigkeit. An den Zahlen, von Gauss zu
Peano, ist deutlich geworden, dass die Eindeutigkeit der Gebrauchsregeln die Bedeutung der Symbolik in
dieser Arbeit ausmacht.
186
contempornea
em
212
sua
explicao
cientfica
(com
destaque
para
cincia
).
210
[Cassirer, 1927]: pg. 254. No original: Und wieder ein anderes Verhltnis tritt uns im Umkreis der
rein logischen Probleme entgegen. Auch im Aufbau und Ausbau dieser Probleme zeigt es sich, dass der
Zusammenhang der logischen Formwelt sich nicht vollstndig erfassen und sich nicht exakt darstellen
lsst, sofern wir uns nicht fr Diese Darstellung bestimmter konkret-sinnlicher Zeichen bedienen. An
ihnen als Reprsentanten des logischen Sinnes erschliesst sich uns erst wahrhaft sein inneres Gefge.
211
[Cassirer, 1927]: pg. 255. No original: Und heute sieht der princeps mathematicorum, heute sieht ein
Denker wie Hilbert das Heil der Mathematik allein auf diesem Wege: Nur von einer durchgngigen, bis
ins letzte getriebenen Formalisierung der Mathematik erhoft er die Sicherung ihrer Grundlagen und den
lckenlosen Beweis ihrer Widerspruchslosigkeit. So stark, so beherrschend ist diese Tendenz, dass sich
unter ihre Einfluss eine vllige Wandlung in der Auffassung des Gegenstandes der Mathematik
durchzusetzen beginnt. Denn den eigentlichen mathematischen Gegenstand bilden fortan nicht mehr die
Zahlen oder Grssen, sondern ihn bilden vielmehr die sinnlich anschaulich Zeichen selbst.
212
Esse assunto da efetividade histrica da lgica formal, tornado ainda mais evidente no sculo XIX por
meio das formas altamente matematizadas e abstratas das novas cincias que vinham emergindo desde o
187
obter
garante
intersubjetividade
da
construo,
fundada
no
188
esquecimento (em certa medida justificvel) tem sido, de fato, o destino freqente do
primeiro. J com relao ao segundo problema, relativo referncia, parece ter sido
precisamente a incapacidade de remov-lo do mbito propriamente lgico-formal de
consideraes ou, ao menos, de isolar seu tratamento o fator que conduziu,
freqentemente, a um ingnuo realismo lgico (esteja ou no disfarado por alguma
argumentao transcendental), que busca encontrar algum tipo de referncia absoluta
ou necessria, de todo modo fixa e estvel, para que o smbolo possa instituir-se como
tal.
Uma soluo possvel para ambos os problemas consiste em considerar certos
objetos como socialmente dados (por oposio a intuitivamente dados ou a
transcendentalmente dados), e admitir que tanto o smbolo como sua referncia
encontram-se nesse caso. Socialmente dados ou, o que defensavelmente a mesma
coisa, lingisticamente dados. A instituio do smbolo, do ponto de vista da lgica
formal, seria fruto de uma conveno que somente a prtica lingstico-social,
intersubjetiva por definio, permite alcanar e, em certa medida, garantir (sem que por
garantir se deseje indicar nenhuma situao absoluta, mas to-somente o fato de que
essa conveno costuma ser trivialmente alcanada). O mesmo valeria para o objeto de
referncia do smbolo formal.
possvel, claro, discutir as possibilidades de instituio simblica, seus
mecanismos etc. Mas isso ser tema sempre de uma investigao extra-lgica, alheia e
externa ao plano da formalizao, que aceita o smbolo como dado (ou antes: a prtica
instituidora do smbolo como garantida). A lgica formal comea com o smbolo, no
antes. Por isso mesmo, uma investigao desse tipo, caso realizada, pode at aparecer
em um livro de lgica (como de fato aparece em LSL), mas apenas como prembulo,
para esclarecer alguma conveno especfica que se deseje anotar.
Em LSL, Carnap realiza algumas poucas observaes a respeito do smbolo em
geral e de sua maneira de entrada no estudo da lgica formal. Vale a pena examin-las.
Em primeiro lugar:
189
213
190
quais coisas sero usadas como smbolos, mas tambm sob que
condies esses smbolos devem ser considerados como sintaticamente
iguais. 216
Isso quanto ao problema da instituio do smbolo. Em relao ao problema da
referncia do smbolo (acabamos de ver que a instituio de um smbolo no depende
de ele possuir ou no referncia), a situao merece uma anlise um pouco mais
sofisticada, que faremos na seo 3.5 abaixo. A linha da resposta, porm, a mesma que
temos assinalado: o problema da referncia, desconsiderado como problema formal,
jogado para fora da lgica. De fato, o que pode figurar como possvel referncia de um
smbolo? Pergunta interessante, mas que nada tem a ver com o projeto da lgica formal.
J vimos Carnap adotar exatamente essa atitude no Abriss, quando no considera tarefa
da lgica responder questo o que o objeto?, ou seja, a questo pelo objeto de
referncia dos termos/proposies lgico-formais. Para a lgica formal, vimos ento, o
objeto seria qualquer coisa que a linguagem natural pudesse tratar como objeto. Em
215
LSL: pg. 5. No original: The term symbol in what follows will have the same meaning as the word
character. It will not be assumed that such a symbol possesses a meaning, or that it designates
anything.
216
LSL: pg. 15. No original: The syntactical rules of a language must not only determine what things
are to be used as symbols, but also under what conditions these symbols are to be regarded as
syntactically equal.
191
outras palavras, qualquer coisa que a prtica social da linguagem aceite ou possa usar
como referncia de um smbolo institudo 217 .
De maneira ainda mais fundamental, ns temos acompanhado como, desde Der
Isso no significa, est claro, que no se deva formular, no plano lgico-formal, a pergunta pelos
recursos de referncia disponveis em um sistema forma qualquer, e pela maneira de interpretar essa
referncia. A primeira dessas perguntas cabe, sem nenhum margem a dvida, no campo da investigao
formal. Entre outras coisas, pode ser tratada como quer o Carnap de LSL por meios puramente
sintticos. A segunda pergunta d origem a complicaes bem mais considerveis. Ela torna-se tema da
investigao formal por meio da semntica formal. Veremos que Carnap, em LSL, mais uma vez esbarra
em srias dificuldades justamente no momento de resolver e esclarecer esse problema. So essas
dificuldades e certos equvocos a ela associados, por sinal, que determinam o que defenderemos o
fracasso do projeto sinttico carnapiano (seu abandono pelo prprio Carnap).
192
LSL: pg. 4. No original: In following this procedure, we are concerned with two languages: in the
first place with the language which is the object of our investigation we shall call this the objectlanguage and, secondly, with the language in which we speak about the syntactical forms of the objectlanguage we shall call this the syntax-language. As we have said, we shall take as our object-languages
certain symbolic languages; as our syntax-language we shall at first simply use the English language
(...).
219
Esses smbolos gticos, introduzidos convencionalmente como so, no fazem parte da linguagemobjeto, e sim da metalinguagem: o que ele chama de ingls estendido. De fato, no h nenhum
problema em convencionar o uso, na lngua inglesa, de uma nova simbologia da prpria lngua inglesa.
193
220
LSL: pg. 154. no original: If a sentence is concerned with an expression, then a designation of this
expression namely, a syntactical designation in the syntax-language and not the expression itself,
occupies the place of the subject in the sentence.
221
LSL: pg. 156. no original: The importance of distinguishing clearly between an expression and its
syntactical designation will readily be seen from such examples as the following; (...).
222
LSL: pg. 157. No original: Sometimes (even by good logicians) an abbreviation for an expression is
mistaken for a designation of the expression. But the difference is essential. If it is a question of an
expression of the object-language, then the abbreviation also belongs to the object-language, but the
designation to the syntax-language.
194
223
LSL: pg. 3. No original: But we shall see later that without any danger of contradictions or
antinomies emerging it is possible to express the syntax of a language in that language itself, to an extent
which is conditioned by the wealth of means of expression of the language in question.
195
224
LSL: pg. 53. No original: Up to the present, we have differentiated between the object-language and
the syntax-language in which the syntax of the object-language is formulated. Are these necessarily two
separate languages? If this question is answered in the affirmative (as it is by Herbrand in connection with
mathematics), then a third language will be necessary for the formulation of the syntax of the syntaxlanguage, an so on to infinity. According to another opinion (that of Wittgenstein), there exists only one
language, and what we call syntax cannot be expressed at all it can only be shown. As opposed to
these views, we intend to show that, actually, it is possible to manage with one language only; not,
however, by renouncing syntax, but by demonstrating that without the emergence of any contradiction the
syntax of this language can be formulated within this language itself.
196
um clculo e a descrio de sua estrutura. No centro desse problema, veremos instalarse a idia de interpretao.
Por um lado, sempre necessrio haver o que Carnap chama de uma linguagem
de comunicao, querendo se referir com isso s linguagens naturais que permitem, a
todo momento, a comunicao entre as pessoas. Uma linguagem desse tipo, como o
ingls ou o portugus, indispensvel instituio de um clculo qualquer: ela que
permite instituir as regras de um clculo, pois ela que permite manipular smbolos. Em
outras palavras, a linguagem natural que permite, sempre, colocar o jogo em
movimento, na medida em que somente ela permite a comunicao (e uma ao
correspondente). esse o sentido da intuio que vimos presente desde o Abriss, com a
indicao da necessidade de regras materiais de deduo (ver seo 1.3 do captulo 2).
nesse sentido, tambm, que uma linguagem de comunicao permanece sempre como
linguagem-sintaxe de um clculo formal (sua linguagem-objeto).
Situao diferente ocorre quando se considera a descrio da sintaxe de uma
linguagem formal. Para Carnap, uma descrio (particularmente de estruturas formais,
ou seja, sintticas) surge quando uma estrutura colocada em relao com outra
estrutura, de maneira que uma possa ser recuperada (ao menos parcialmente) a partir da
outra. Essa idia tornada mais precisa nas sees 61 (Translation from one Language
LSL: pg. 228. No original: The interpretation of a language is a translation and therefore something
which can be formally represented; the construction and examination of interpretations belong to formal
syntax.
197
226
LSL: pg. 53. No original: In this process it may happen that a sentence S1 of I, when materially
interpreted as a syntactical sentence, will say something about S1 itself, and without any contradiction
arising.
227
LSL: pg. 228. No original: We have already seen that, in the case of an individual language like
German, the construction of the syntax of that language means the construction of a calculus which
fulfills the condition of being in agreement with the actual historical habits of speech of German-speaking
people. And the construction of the calculus must take place entirely within the domain of formal syntax,
198
A situao, portanto, pode ser resumida assim. Existem dois contextos, que no
se confundem: o contexto comunicacional, que faz necessrio uso de uma linguagem de
comunicao, e o contexto formal, baseado na formalizao de linguagens como
clculos simblicos. No se trata de substituir ou derrogar o contexto comunicacional, o
que seria no apenas indesejvel, como impossvel. O contexto comunicacional a
realidade primeira da qual parte toda atividade humana, a teorizao lgico-formal
inclusive. nesse sentido que ele se mostra indispensvel instituio de qualquer
clculo formal. Trata-se antes de, por meio de um clculo formal (e de uma teoria geral
desses clculos, como a que Carnap deseja desenvolver), formalizar diferentes
estruturas e possibilidades, a includa a linguagem comunicacional. Os dois contextos,
portanto, no se confundem: entram em necessrio contato dialtico no mbito de
qualquer formalizao.
Essa possibilidade de ida e vinda entre os dois contextos esse fato essencial
que poderamos chamar de dialtica do formalismo um dos aspectos mais
importantes que podem ser encontrados em LSL. somente por esse caminho que
podemos tornar inteligvel seu posicionamento, exposto em passagem citada acima,
com relao a Herbrand e Wittgenstein.
O que incomoda Carnap na posio de Wittgenstein? a crena que ele atribui
ao autor do Tractatus de que, havendo somente uma linguagem, no seria possvel
expressar sua sintaxe (sua gramtica), mas apenas exibi-la. Para Carnap, porm, isso
seria a negao de todo o mtodo formal, articulado em torno da possibilidade de
oferecer clculos simblicos perfeitamente regrados. Na melhor das hipteses, seria a
negao de toda a relevncia do mtodo formal, na medida em que a nica linguagem
jamais poderia ser adequadamente formalizada. Mas Carnap est convencido de algo
diverso. Ele est convencido de que possvel formalizar at mesmo a linguagem
comunicacional que, em seu sistema, assume o papel da nica linguagem, a
linguagem universal da qual no possvel escapar (e que, permitindo a comunicao
primitiva e original, permite a instituio de qualquer formalismo).
O verdadeiro significado de sua divergncia com Wittgenstein, ento, pode ser
visto com relao ao papel da anlise lgica. Trata-se de uma diferena profunda quanto
although the decision as to whether the calculus fulfills the given condition is not a logical, but an
historical and empirical one, which lies outside the domain of pure syntax. The same thing holds,
analogously, for the relation between two languages designated as translation or interpretation.
199
200
Carnap parece acreditar que o mtodo formal deve possuir algum tipo de fechamento:
para que seus objetivos sejam plenamente alcanados, para que a anlise formal seja
suficientemente precisa, deveria ser possvel a formalizao no apenas da sintaxe de
uma linguagem, mas tambm a expresso dessa formalizao por meios formais. Em
outras palavras, o processo de formalizao deveria possuir alguma propriedade
reflexiva (do tipo que Carnap acreditava demonstrada pelo procedimento de Gdel)
capaz no de faz-lo bastar-se a si mesmo, o que no faria o menor sentido no sistema
de LSL mas de garantir certa autonomia, em algum sentido no explicitado. As
intuies de Carnap, de toda maneira, so nesse ponto bastante confusas e, francamente,
imprecisas.
Como ponto central para a compreenso de LSL, porm, devemos fixar a crena
de Carnap na possibilidade de descrever ou representar a sintaxe de uma linguagem
formal L de modo suficientemente preciso por meio, justamente, de outra linguagem
formal, que pode ser a prpria L. No nos esqueamos de que, como clculo simblico,
uma linguagem formal no nada alm, nas prprias palavras de Carnap, do que a
anlise combinatorial de um conjunto de elementos discretos, os smbolos: ela regula as
possibilidades de combinao, em seqncias ordenadas, desses smbolos 229 . Por isso
mesmo, a descrio de sua sintaxe pode alcanar o grau de rigor que a prpria
substncia do mtodo formal. Essa possibilidade aparece a Carnap como um resultado
objetivo, estabelecido (por exemplo, mas no necessariamente) pelos mtodos
matemticos de Gdel (caso em que o resultado ser to objetivo quanto a prpria
matemtica). Trata-se de um resultado objetivo porque estabelece um fato objetivo
acerca das estruturas formais e de sua riqueza combinatorial, ao mostrar que certas
possibilidades de combinao dos smbolos espelham outras possibilidades de
combinao dos smbolos.
Em sentido mais amplo, portanto, o que fica demonstrado e desenvolvemos
aqui uma tentativa para, em acordo com LSL, dar contedo mais preciso s percepes
de Carnap certa forma de polissemia estrutural inerente a qualquer sistema
simblico regrado. Essa ltima afirmao deve ser parafraseada do seguinte modo: o
que fica demonstrado a possibilidade de relacionar qualquer estrutura ou subestrutura
229
Nesse sentido: A sintaxe pura , assim, completamente analtica, e no passa de anlise combinatorial
ou, em outras palavras, da geometria de estruturas seriais finitas, discretas, de um tipo especfico. LSL:
pg. 7. No original: Pure syntax is thus wholly analytic, and is nothing more than combinatorial
analysis, or, in other words, the geometry of finite, discrete, serial structures of a particular kind.
201
simblica a qualquer outra estrutura ou subestrutura simblica, de tal maneira que essa
relao possa preservar e revelar caractersticas relevantes de ambas. Em outras
palavras, a partir de certa relao instituda entre um sistema simblico e outro sistema
simblico (que pode ser ele prprio, sob outra perspectiva), torna-se possvel ler a
estrutura de um na do outro, e essa possibilidade de releitura pode ajudar a clarear
ambas as estruturas.
A relao que se estabelece entre dois sistemas formais, por outro lado, ser
sempre instituda assim como os prprios sistemas formais em linguagem
comunicacional. Desse modo, a validade das demonstraes obtidas depende, em ltima
instncia, de contextos comunicacionais. Mas isso no significa que as demonstraes e
resultados no sejam objetivos: so to objetivos quanto o mtodo que lhes deu
nascimento. O mtodo formal, nesse sentido, que sobressai pelo rigor e objetividade da
manipulao simblica circunstncia para a qual Dedekind e Hilbert j apontavam ,
no apenas um mtodo de formalizao; um mtodo de objetivao.
O que ns estamos chamando de seo so as unidades indicadas, no ndice pelo smbolo , e que
Carnap talvez chamasse de pargrafo. Carnap chama de seo, assim, todo um conjunto de
pargrafos, do 46 ao 71e.
230
LSL: pg. 167. No original: In this section we shall attempt to construct a syntax for languages in
general, that is to say, a system of definitions of syntactical terms which are so comprehensive as to be
applicable to any language whatsoever.
202
231
203
LSL
234
motivao para esse movimento de Carnap? A motivao central, como fica claro na
seo 34a de LSL (Incomplete and Complete Criteria of Validity), havia sido
fornecida pelo primeiro Teorema de Incompletude de Gdel, cujas exatas implicaes
Carnap esteve entre primeiros a compreender 235 . O que esse teorema havia
demonstrado? Ele havia demonstrado que, ao contrrio do que esperavam os fundadores
da lgica contempornea, o conjunto completo das sentenas aritmticas verdadeiras
(sentenas verdadeiras acerca dos nmeros naturais) no poderia ser demonstrado
dentro dos sistemas formais at ento considerados. Gdel conseguira mostrar que seu
resultado valia, de fato, para uma classe bastante ampla de sistemas formais (Principia
Segundo Carnap, alguns autores e ele cita nominalmente Hilbert e Herbrand j haviam esboado
esse tipo de regra de transformao, indefinida, para tratar problemas lgicos especficos de seus
sistemas. Nenhum deles, no entanto, teria se preocupado em realizar uma anlise abrangente da estrutura,
admissibilidade e conseqncias dessas regras, para determinar seu papel geral dentro de um clculo
formal, razo pela qual tais tentativas permaneciam ainda muito incipientes (cf. LSL, pg. 173).
235
A esse respeito, vale a pena citar a observao precisa de Coffa: irnico que a filosofia sinttica de
Carnap seja considerada, algumas vezes, como refutada pelas descobertas de Gdel que, assim se diz,
estabeleceram a necessidade de ir alm da sintaxe. De fato, as descobertas de Gdel foram o fator
decisivo que determinou tanto os problemas tcnicos com que Carnap teve de lidar como suas solues
para eles. Longe de ter sido escrito na ignorncia dos resultados de Gdel, a LSL de Carnap foi inspirada
por uma apreciao do significado do trabalho de Gdel que, na poca, apenas um punhado de lgicos
poderia igualar. [Coffa, 1987]: pg. 548. No original: It is ironic that Carnaps syntactical philosophy is
sometimes thought to be refuted by Gdels discoveries which, we are told, establish the need to go
beyond syntax. In fact, Gdels discoveries were the decisive factor in determining both the technical
problems that Carnap faced and his solutions for them. Far from having been written in ignorance of
Gdels results, Carnaps LSL was inspired by an appreciation of the significance of Gdels work that
only a handful of logicians could match at the time.
204
205
tambm ser descrito assim: KP={P(n)} 236 , em que n qualquer nmero natural. Nesse
caso, temos que: 1) dada uma seqncia qualquer de smbolos da linguagem,
facilmente determinvel se essa seqncia pertence ou no a KP; e 2) igualmente
trivial constatar (por meio das regras de formao da linguagem) que cada uma das
expresses que fazem parte de KP uma sentena da linguagem, ou seja, tem a forma
sinttica de uma sentena. Segue da que KP um conjunto perfeitamente bem descrito
de sentenas da linguagem.
A objeo, porm, poderia continuar na seguinte linha: Embora KP seja um
conjunto suficientemente bem descrito, a aplicabilidade da regra em casos concretos no
est sempre bem determinada. Mas qual a forma exata dessa objeo? Em certo sentido,
se o conjunto est bem descrito, ento a aplicao da regra est bem determinada:
sempre que o conjunto KP estiver disponvel como premissa, a concluso C pode ser
derivada. A nica hiptese que se abre para objetar aceitao das regras indefinidas,
ento, contestar a possibilidade de ter todas as sentenas do conjunto KP, infinito
como , disponveis como premissa. Mas tambm a a objeo no se sustenta. Por um
lado, porque o conjunto infinito KP pode ser dado como premissa (ao menos) de duas
236
A maneira de descrever uma classe de sentenas consiste no fornecimento de sua forma sinttica
comum. A esse respeito, carnap escreve: Mas uma classe pode ser de tal natureza que no possa ser
exaurida por meio de uma srie finita. (Pode ento ser chamada de classe infinita; ...) Uma classe de
expresses dada por meio de uma determinao sinttica (...) da forma das expresses. Por exemplo,
por meio de qualquer esquema de sentenas primitivas uma classe infinita de sentenas determinada de
modo definido. Falar de classes de expresses apenas uma maneira mais conveniente de falar de
formas sintticas de expresses. (destaque do autor) LSL: pg. 37. No original: But a class can be of
such a nature that it cannot be exhausted by means of a finite series. (It may then be called an infinite
class; ...) A class of expressions is given by means of a syntactical determination (...) of the form of the
expression. For instance, by every schema of primitive sentences an infinite class of sentences is
definitely determined. To speak of classes of expressions is only a more convenient way of speaking of
syntactical forms of expression.
206
maneiras diferentes: I) as sentenas de KP podem ser postas, todas elas, como sentenas
primitivas da linguagem (e no h nenhum mistrio na possibilidade de se indicar um
nmero infinito de sentenas como primitivas, por meio de uma forma comum; da
mesma como possvel descrever o conjunto KP, possvel postular as sentenas de KP
como primitivas); II) possvel tambm demonstrar todas as infinitas sentenas de KP,
por meio de um esquema de demonstrao (recurso muito comum na manipulao de
qualquer sistema formal). Por outro lado, porque a aplicabilidade de uma regra no
requer que as premissas sejam efetivamente demonstradas como teoremas do sistema.
Seja, por exemplo, Ferm a sentena que afirma o Teorema de Fermat, e Gold a sentena
que afirma a conjectura de Goldbach. A regra que indica a possibilidade de derivar
Ferm & Gold a partir de Ferm e de Gold no depende minimamente, para a
admissibilidade de sua instituio, da possibilidade anterior de se provar Ferm e Gold
dentro do sistema.
As consideraes precedentes mostram o seguinte: O novo tipo de regra
considerado por Carnap as regras indefinidas de transformao, definidas como regras
com um nmero infinito de premissas perfeitamente admissvel dentro dos
pressupostos de uma sintaxe plenamente formal. O requisito essencial para sua
admissibilidade deveria ser o mesmo que para as regras definidas: a possibilidade
descrever adequadamente o conjunto-base da transformao. Essa, pelo menos, parece
ser a nica maneira coerente de compreender a situao, diante das exigncias do
mtodo formal. O prprio Carnap, no entanto, oscila com relao a esse ponto.
Consideremos, por exemplo, as seguintes passagens, extradas de sua discusso acerca
da obteno de um critrio de validade para as sentenas da matemtica:
Podemos estabelecer um critrio de validade que, embora ele prprio
indefinido, seja baseado em regras definidas. Esse o tipo de mtodo
usado em todos os modernos sistemas que buscam criar uma fundao
lgica para a matemtica (...). (...) Nas regras de inferncia aparece
apenas um nmero finito de premissas (usualmente uma ou duas). (...)
comum construir as regras de tal maneira que o termo diretamente
derivvel seja sempre um termo definido; isso que dizer que em cada
caso individual pode ser decidido se se est ou no diante de uma
instncia de sentena primitiva ou da aplicao de uma regra de
inferncia, respectivamente. (...) Como no est fixado nenhum limite ao
207
237
(colchetes
237
LSL: pg. 99. No original: We may set up a criterion of validity which, although itself indefinite, is
yet based upon definite rules. Of this kind is the method that is used in all modern systems which attempt
to create a logical foundation for mathematics (...). (...) In the rules of inference only a finite number of
premisses (usually only one or two) appear. (...) It is usual to construct the rules in such a way that the
term directly derivable is always a definite term; that is to say, that in every individual case it can be
decided whether or not we have an instance of a primitive sentence or of the application of a rule of
inference, respectively. (...). Since no upper limit to the length of a derivation-chain is determined, the
terms mentioned, although they are based upon the definite term directly derivable, are themselves
indefinite.
238
LSL: pg. 100. No original: In order to attain completeness for our criterion we are thus forced to
renounce definiteness, not only as a criterion itself but also for the individual steps of the deduction. (...)
A method of deduction which depends upon indefinite individual steps, and in which the number of
premisses need not be finite, we call a method of consequence or a c-method. In the case of a method of
this kind, we operate, not with sentences but with sentential classes, which may also be infinite.
208
diretamente sinttica (por meio de formas sintticas). No sem motivo que Carnap
quer manter aberta tambm essa possibilidade. De fato, na parte III do livro, em que
constri a linguagem formal II (suficiente para expressar toda a matemtica clssica),
Carnap oferece um critrio de validade completo para as sentenas da matemtica. Esse
critrio, porm, no fornecido sob a forma de regras diretamente sintticas.
fornecido sob a forma de regras semnticas equivalentes interpretao das sentenas
aritmticas da linguagem II em um modelo standard dos nmeros naturais , de forma
muito similar que seria sistematizada por Tarski por meio da teoria de modelos. O que
Carnap obtm, portanto, no tanto um critrio sinttico de validade para as sentenas
matemticas, mas a descrio semntica (bastante precisa e correta) do conceito de
verdade aritmtica (no modelo standard). A falha em perceber essa distino um dos
maiores fracassos de LSL. Voltaremos a esse assunto na seo 3.6. abaixo,
particularmente em 3.6.2.
209
LSL: pg. 172. No original: In what follows the K are always sentential classes. C1 is called a
consequence of K1, if C1 belongs to every sentential class Ki satisfying the following two conditions: 1.
K1 is a sub-class of Ki; 2. Every sentence which is a direct consequence of a sub-class of Ki belongs to
Ki.
210
240
LSL: pg. 168: In the treatment of Languages I and II we introduced the term consequence only at a
late stage. From the systematic standpoint, however, it is the beginning of all syntax. If for any language
the term consequence is established, then everything that is to be said concerning the logical
connections within this language is thereby determined.
211
K de premissas de puder ser exibida uma cadeia de derivao, restrita a regras definidas
de transformao, entre K e C; uma sentena C dota conseqncia de um conjunto K
de premissas de forem atendidas as duas condies mencionadas na citao acima,
referentes ao uso de regras indefinidas de transformao.
Demonstrvel; vlida: Uma sentena C demonstrvel de for derivvel a partir
do conjunto vazio de premissas (decorrer somente das regras do sistema, includas suas
sentenas primitivas); uma sentena C vlida se for conseqncia do conjunto vazio
de premissas.
Refutvel; contravlida: Uma sentena C refutvel se sua negao for
212
213
Essa mesma abordagem ir acompanh-lo at sua ltima grande obra, Logical Foundations of
Probability ([Carnap, 1962]), em que examina o conceito impreciso e ambguo de probabilidade, tal
como usado comumente, para indicar trs conceitos diferentes, rigorosamente formulados, que se
encontrariam misturados por trs do conceito usual. O paralelo com Der Raum no deixa de ser
impressionante.
244
Pode-se argumentar que a distino corrente desde o incio da lgica formal com Aristteles, e que
se constitui o prprio corao do projeto de formalizao lgica.
245
LSL: pg. 177. No original: If a material interpretation is given for a language S, then the symbols,
expressions, and sentences of S may be divided into logical and descriptive, i.e. those which have a purely
logical, or mathematical, meaning and those which designate something extra-logical such as empirical
objects, properties, and so forth. This classification is not only inexact but also non-formal, and thus is not
applicable in syntax.
214
sinttico. o que Carnap faz, ento, com relao ao conceito de termo lgico e
descritivo. Como ele faz isso?
Carnap parte da seguinte constatao: termos lgicos, quando combinados entre
si para formar uma sentena, deveriam resultar em uma sentena determinada. A reside
a prpria idia de separar termos lgicos de termos descritivos: enquanto os ltimos
descrevem algum domnio emprico, e por isso mesmo esto associados a sentenas
empricas indeterminadas, os primeiros esto associados a sentenas lgicas, cuja
validade deveria independer de qualquer observao. Essas consideraes ainda no
fornecem, obviamente, a desejada definio formal; apenas indica o caminho para
procur-la.
Vamos verificar o exato caminho de Carnap. Uma linguagem L dada, com seus
smbolos e suas regras de conseqncia direta (regras de formao e regras de
transformao). A princpio, embora os smbolos estejam divididos em categorias
sintticas que permitem a formulao das regras, no h smbolos lgicos e smbolos
descritivos. Quanto a esse aspecto, todos esto em p de igualdade. Tambm no h
sentenas lgicas e sentenas descritivas. As regras de formao apenas indicam o
modo formal de composio das sentenas, mas no traam, em si mesmas, distino
entre tipos de sentena. Isso deve ser trabalho da anlise lgica da linguagem como um
todo. Assim, as divises relevantes entre tipos de smbolos, tipos de termos, tipos de
expresso, tipos de sentena, devem resultar todas do exame, por meios sintticos, da
estrutura lgica que as regras de conseqncia determinam para a linguagem.
J vimos, na seo anterior, que das regras de uma linguagem resulta uma
primeira e absolutamente essencial classificao de suas sentenas. J observamos
tambm que as expresses que desejaramos chamar de lgicas devem ter alguma
relao privilegiada com as sentenas determinadas da sentena, ou seja, com aquelas
sentenas que resultam pura e simplesmente das regras de transformao da linguagem,
sem a necessidade de introduzir nenhuma informao adicional, nenhuma observao
externa ao sistema. Correspondentemente, as expresses que desejaramos chamar de
descritivas devem ter alguma relao privilegiada com as sentenas indeterminadas,
aquelas cujo status no fica determinado apenas pelas regras internas ao sistema, mas
demandam a introduo de uma descrio: a relao do sistema com aquele domnio
externo que ele visa descrever (para cuja descrio ele foi construdo).
215
Est claro que termos que desejaramos chamar de descritivos podem aparecer
em sentenas determinadas da linguagem. Consideremos, por exemplo, um termo como
Azul e uma sentena formal como Azul(a) ou ~Azul(a). Em geral, gostaramos de
chamar o termo Azul de descritivo; na maioria das linguagens formais, por outro lado,
a sentena indicada apareceria como sentena determinada (mais especificamente, como
sentena vlida, resultante simplesmente das regras de transformao do sistema). Da
mesma maneira, obviamente possvel que um termo que desejaramos chamar de
lgico, como &, aparea em uma sentena que, na maioria das linguagens, seria uma
sentena indeterminada, como Azul(a) & Redondo(a).
Como encontrar, ento, a relao privilegiada dos termos descritivos com as
sentenas determinadas de uma linguagem? Para Carnap, a marca importante dos
termos lgicos pode ser fixada da seguinte maneira: se uma sentena for composta
somente por termos lgicos, ento ela deve ser determinada (na medida em que no h
nenhum termo descritivo para introduzir-lhe qualquer indeterminao). A definio de
Carnap, tecnicamente bastante sofisticada (observamos que ela oferecida para
expresses em geral, e no somente para smbolos), oferecida assim:
Seja K1 [uma classe de expresses] o produto [interseco lgica] de
todas as classes expressionais Ki de S [uma linguagem] que satisfazem
as seguintes quatro condies. (Na maioria das linguagens usuais existe
apenas uma classe do tipo Ki; essa , ento, K1.) 1. Se A1 [uma
expresso] pertence a Ki, ento A1 no vazia e existe uma sentena que
pode ser subdividida em expresses parciais de tal modo que todas
pertenam a Ki e uma delas seja A1. 2. Toda sentena que possa ser
assim subdividida em expresses de Ki determinada. 3. As expresses
de Ki so to pequenas quanto possvel, ou seja, no h nenhuma
expresso que pertena a Ki e possa ser subdividida em diversas
expresses de Ki. 4. Ki to abrangente quanto possvel, ou seja, no
uma subclasse prpria de nenhuma classe que satisfaa tanto (1) como
(2). Uma expresso dita lgica (AL) se puder ser subdividida em
216
246
(destaque
LSL: pgs. 177-8. No original: Let K1 be the product of all expressional classes Ki of S, which fulfill
the following four conditions. (In the majority of the usual language-systems, there exists only one class
of the kind Ki; this is then K1.) 1. If A1 belongs to Ki, then A1 is not empty and there exists a sentence
which can be sub-divided into partial expressions in such a way that all belong to Ki and one of them is
A1. 2. Every sentence which can be thus sub-divided into expressions of Ki is determinate. 3. The
expressions of Ki are as small as possible, that is to say, no expression belongs to Ki which can be subdivided into several expressions of Ki. 4. Ki is as comprehensive as possible, that is to say, it is not a
proper sub-class of a class which fulfils both (1) and (2). An expression is called logical (AL) if it is
capable of being sub-divided into expressions of K1; otherwise it is called descriptive (Ad).
217
matemticas (esse o caso, por exemplo, das duas linguagens que Carnap constri em
LSL, a I e a II), so adotadas regras de transformao de uma carter que desejaramos
chamar de lgico. Regras como: a partir de P(a) P(b) podemos concluir que
~P(b) ~P(a), e outras do gnero. Nada impede, porm, que se construa um sistema
formal voltado a captar a estrutura de certa teoria cientfica, digamos a fsica
newtoniana. Nesse caso, certos princpios da fsica newtoniana poderiam ser admitidos
entre as regras de transformao do sistema, ao lado das regras de transformao
propriamente lgicas. Novamente, seria desejvel traar uma distino se isso for
possvel por meios puramente formais que corresponda, na medida do possvel, a essa
distino intuitiva.
Carnap julga haver encontrado a distino formal procurada. A base sinttica
para sua classificao sero os conceitos j obtidos de expresso lgica e expresso
descritiva (o que inclui, como caso especial, os conceitos de sentena lgica e
sentena descritiva). Vejamos como Carnap compreende a situao.
No caso das sentenas primitivas de uma linguagem formal, ele constata que
uma sentena (primitiva) lgica corresponde sempre a uma regra de conseqncia que
desejaramos chamar de lgica. No entanto, uma sentena descritiva (lembremos:
descritiva na maioria das linguagens) como Azul(a) [~Azul(a) Azul (b)], a qual
aceita como primitiva na maioria dos sistemas lgicos formais (na linguagem I de
Carnap, por exemplo), nem por isso parece corresponder a uma regra extra-lgica. A
despeito do termo descritivo que figura nela, sua admisso depende de razes que
tambm desejaramos chamar de lgicas. Por qu? A resposta de Carnap : porque,
embora Azul seja um termo descritivo, se o substituirmos por qualquer outro termo
que possa aparecer na mesma posio, seja esse termo lgico ou descritivo, a sentena
continua sendo uma sentena primitiva (a regra de conseqncia que a instituiu como
primitiva institui todas as sentenas de mesma forma como primitivas). Essas
consideraes motivam a seguinte definio sinttica:
Seja C2 [uma sentena] conseqncia de K1 [uma classe sentencial] em
S [uma linguagem]. Aqui, devemos distinguir trs casos: 1. K1 e C2 so
lgicos. 2. Expresses descritivas ocorrem em K1 e em C2, mas somente
218
219
aquelas que somente apenas sentenas determinadas. Uma linguagem que contenha
sentenas indeterminadas ou seja, uma linguagem que no seja determinada dita
uma linguagem indeterminada.
Linguagens lgicas e descritivas: Linguagens lgicas so aquelas que contm
somente regras lgicas de transformao, ou seja, que utilizam somente L-regras. Caso
uma linguagem contenha regras fsicas de transformao ou seja, caso contenha Pregras , ento chamada de P-linguagem.
Com esse aparato conceitual, Carnap est apto a demonstrar uma srie de
teoremas. No que segue, indicamos apenas o enunciado de dois dentre os mais simples
desses teoremas, a ttulo meramente exemplificativo, para que se tenha uma idia do
tipo de resultado que Carnap esperava obter com seu mtodo. Em geral, so resultados
lgicos interessantes, que ajudam a esclarecer a relao entre diferentes aspectos de uma
linguagem formal, bem como a estrutura lgica em geral dessas linguagens.
Teorema 50.1. Toda sentena lgica determinada; toda sentena
indeterminada descritiva. 249 (destaque do autor)
Teorema 51.1. Toda linguagem lgica uma L-linguagem. O oposto
no , em geral, verdadeiro. 250
220
Muitos dos teoremas mais interessantes, vale a pena observar, fazem uso ainda
de outros conceitos que ns no examinaremos neste texto, como dependncia,
compatibilidade, contedo, eqipolncia (alm da famigerada distino entre
sentenas sintticas e analticas, que examinaremos na prxima seo). Na prxima
seo, passamos a analisar os dois conceitos mais clebres de LSL: analiticidade e
sinteticidade (sentenas analticas e sentenas sintticas).
251
221
ou seja, se no for nem analtica, nem contraditria. Em outras palavras: uma sentena
sinttica se os recursos lgico-dedutivos da linguagem no forem suficientes para
decidir quanto a seu status dentro da linguagem.
Uma sentena analtica, portanto, apenas um caso de sentena vlida; e uma
sentena sinttica, apenas um caso de sentena indeterminada. Nas L-linguagens, de
fato, os conceitos de validade e analiticidade, bem como os conceitos de indeterminao
e sinteticidade, coincidem. Como examinamos na seo 3.4.2 acima, essas definies
dependem apenas da definio de conseqncia (definio que do ponto de vista
sistemtico (...) o comeo de toda sintaxe), cuja admissibilidade ns tambm j
examinamos.
Em geral, a diviso mais relevante que entre sentenas sintticas e Lindeterminadas corresponde apenas diviso das sentenas de uma linguagem formal
em duas classes disjuntas e exaustivas. Diviso que feita com referncia estrutura
sinttica da linguagem. Segue da que no h nada de misterioso na diviso. Mais
importante: no h nada nela que seja absoluto. A insistncia pode ser cansativa, mas
neste ponto indispensvel. Segundo nossa opinio, residem a os maiores equvocos na
interpretao da filosofia de Carnap em LSL.
No h, em LSL, nenhum conceito absoluto de analiticidade. No h nenhum
significado absoluto para a distino entre sentenas sintticas e analticas. De
maneira ainda mais especfica: No h nenhum valor epistemolgico absoluto na
distino traada, e nem poderia haver pois a distino puramente sinttica.
Esse o ponto simples que Quine parece ter perdido, e que necessitamos
acentuar porque boa parte da crtica tradicional a Carnap, em linha com Quine, repousa
justamente sobre esse equvoco. Como se sabe, a verso do projeto carnapiano oferecida
em Two Dogmas of Empiricism 252 tornou-se a interpretao padro de Carnap (e do
empirismo lgico) para toda uma gerao de filsofos, e at hoje exerce forte influncia.
Essa crtica, que chegou a ser apontada por muitos como definitiva, baseia-se na
252
[Quine, 1951]
222
253
Quine abre seu ensaio da seguinte maneira: O empirismo moderno foi condicionado, em larga
medida, por dois dogmas. Um a crena em certa ruptura fundamental ente verdades que so analticas,
ou baseadas em significados independentemente de questes de fato, e verdades que so sintticas, ou
baseadas em fatos. (...) [Quine, 1951]: pg. 20. No original: Modern empiricism has been conditioned
in large part by two dogmas. One is the belief in some fundamental cleavage between truths which are
analytic, or grounded in meanings independently of matters of fact, and truths which are synthetic, or
grounded in fact. (...)
Essa viso herdada de Quine, absolutamente dominante entre os anos 1950 e 1970, comeou a se alterar
um pouco a partir dos anos 1980, quando a obra de Carnap recebeu renovada ateno e passou, nas mos
de diversos estudiosos, por uma reavaliao que ainda est em curso (para citar apenas alguns entre os
mais destacados estudiosos responsveis por essa reavaliao: A. Coffa, W. Goldfarb, T. Ricketts, R.
Creath, A. Carus e M. Friedman).
223
LSL: pg. xiii. No original: The aim of logical syntax is to provide a system of concepts, a language,
by the help of which the results of logical analysis will be exactly formulable. Philosophy is to be
replaced by the logic of science that is to say, by the logical analysis of the concepts and sentences of
science, for the logic of science is nothing other than the logical syntax of the language of science.
224
255
[Friedman, 2007]: pg. 12. No original: Whereas the broadly pragmatic and holistic epistemology
Quine develops under the rubric of empiricism without the dogmas is intended as a replacement for, or
reinterpretation of, what Quine takes to be the epistemology of logical empiricism (i.e., the Aufbau),
Carnap (despite Quines persistent attempts to associate him with varieties of epistemological
foundationalism) is breaking decisively with the entire epistemological tradition. The logic of science, in
Carnaps sense, is in no way concerned with either explaining or justifying scientific knowledge by
exhibiting its ultimate basis (whatever this basis might be). It is concerned, instead, with developing a
new role for philosophy vis--vis the empirical sciences that will maximally contribute to scientific
progress while, at the same time, avoiding all the traditional metaphysical disputes and obscurities which
constituted (and, according to Carnap, continue to constitute) serious obstacles to progress in both
philosophy and the sciences.
225
Friedman chama ainda a ateno para a seguinte passagem de LSL: Nenhuma regra da linguagem da
fsica definitiva; todas as regras so estabelecidas com a reserva de que podem ser alteradas to logo se
torne oportuno (expedient) fazer assim. Isso se aplica no somente s P-regras, mas tambm s L-regras,
incluindo as regras da matemtica. A esse respeito, existem apenas diferenas de grau; mais difcil
renunciar a algumas regras do que a outras. LSL: pg. 318 (sublinhado meu). No original: No rule of
the language of physics is definitive; all rules are laid down with the reservation that they may be altered
as soon as it seems expedient to do so. This applies not only to the P-rules but also to the L-rules,
including those of mathematics. In this respect, there are only differences of degree; certain rules are
more difficult to renounce than others.
O comentrio imediato de Friedman acerca da referida passagem : Isso foi escrito, eu enfatizo, cerca de
quinze anos antes da publicao de Two Dogmas. [Friedman, 2007]: pg. 10. No original: This was
written, I emphasize, some fifteen years before the publication of Quines Two Dogmas.
226
Uma semntica formal, no entanto, tambm se institui pela adeso ao mtodo simblico, ou seja, pela
criao de formalismos simblicos maximamente regrados.
227
LSL so as sees 41, 42, 43, 45, 46 e 47 da Sintaxe Geral, mas tambm sees como 4,
10, 26, 32). b) A elaborao de conceitos adequados classificao dos diferentes tipos
de sistema formal e descrio de sua estrutura interna (exemplos por excelncia em
LSL so as sees 48 a 57 da Sintaxe Geral, mas tambm sees como 6, 34d, 34f, 34g).
4) Carnap acredita que a outra tarefa essencial da filosofia alm do estudo das
condies para a elaborao das diferentes formalizaes que tornam possvel, em
alguma medida, a objetivao do conhecimento um esclarecimento quanto s
condies gerais de aplicabilidade dessas formalizaes. Esse era o ensinamento mais
profundo que ele havia encontrado em sua anlise da cincia do espao, ou seja, no
estudo das transformaes por que passara a geometria entre a segunda metade do
sculo XIX e o incio do sculo XX 257 . Em LSL, quase toda a parte V (Philophy and
Syntax) contm consideraes acerca desse tema. Ao distinguir entre modo formal e
modo material de discurso, e ao apontar as dificuldades que podem surgir de uma
confuso entre esses dois modos, Carnap no est fazendo nada mais do que analisar,
em um contexto bastante geral, as possibilidades de interpretao dos sistemas formais,
ou seja, as possibilidades de aplicao de um sistema formal descrio de diferentes
domnios.
Se examinarmos os quatro pontos fixados acima, podemos constatar o seguinte.
O primeiro coloca certo objetivo bastante geral (e estaramos quase propensos a dizer:
uma esperana) para a anlise filosfica a clarificao conceitual. possvel discutir
vrios temas a esse respeito, principalmente dois: Se a filosofia limita-se clarificao
conceitual; e se a tarefa de clarificao conceitual possvel, em algum sentido
relevante 258 . Mas difcil negar que, se a clarificao conceitual for possvel, ento ela
um bom objetivo (ao menos um dos objetivos) a ser perseguido pela filosofia.
257
Como vimos no captulo 1, parece-nos ser esse, justamente, o significado mais profundo da obra de
Riemann.
258
Incidentalmente, esta nos parece uma das maiores dificuldades em que se v envolvida a filosofia de
Wittgenstein, tractariana ou madura. Embora se afirme constantemente pelo objetivo da clareza
conceitual (veja-se o prefcio das Bemerkungen), essa filosofia no parece permitir essa clarificao em
um de seus sentidos mais relevantes. Veja-se bem: O desejo wittgensteiniano de desfazer problemas
falsamente criados pelo uso no suficientemente perspicaz da linguagem; a noo de que a linguagem, em
algum momento, deve tomar conta de si mesma essas so idias extremamente valiosas, mas que no
logram alcanar um segundo momento possvel da anlise filosfica. Esse segundo momento diz respeito
possibilidade de estudar sistematicamente, e tambm de propor, mecanismos de ampliao da
linguagem, e de refinamento do aparato conceitual lingstico. Um estudo sistemtico da dinmica de
transformao da linguagem, e ainda por cima um estudo propositivo voltado reforma da linguagem,
algo que parece bloqueado na perspectiva adotada por Wittgenstein. Carnap, por outro lado, certamente
acreditava nessa possibilidade, e toda a sua filosofia dirige-se, em certo sentido, a efetiv-la.
228
O segundo ponto acima determina uma abordagem geral para atingir esse
objetivo: o mtodo formal. Trata-se de uma abordagem cujo valor sugerido pela
considerao do grande sucesso alcanado pelas cincias marcadamente formais, como
a matemtica. Sua adoo liga-se em grande medida, j o observamos, defesa do
conhecimento simblico. A respeito da posio assumida por Carnap em relao a esse
tema, ainda diremos alguma coisa mais abaixo, na seo 3.5.5.
Em conjunto, os pontos 1 e 2 estabelecem um caminho para realizar filosofia. A
marca distintiva do pensamento de Carnap, porm, ns encontraremos na passagem para
3 e 4, ou seja, na maneira especfica como Carnap compreende a utilizao do mtodo
formal. a que iremos encontrar sua Tolerncia Lgica. O assunto pode ser mais bem
compreendido se examinarmos, antes de qualquer outra coisa, aquilo que Carnap no
tenta fazer. H, de fato, duas coisas que ele diferena do que havia sido o caminho
quase unnime de filsofos e cientistas no tenta fazer.
229
Para que a realidade possa servir de parmetro, ela tem de manter uma estrutura
independente, tem de permanecer externa ao aparato conceitual. No entanto, para que
a comparao possa ser feita, para que o parmetro seja efetivado como parmetro,
necessrio acess-lo, e isso significa: traz-lo para dentro do sistema conceitual,
internaliz-lo, desnatur-lo como parmetro.
Esse paradoxo Kant viu, e denunciou, com admirvel clareza. Nem por isso
alguns filsofos abandonaram a tentativa milenar de extrair concluses baseadas em
algum tipo de relao necessria entre mundo e linguagem, que tornaria possvel a
descrio do mundo e, em ltima instncia, o prprio funcionamento da linguagem. So
duas as direes que essas abordagens assumem. Em uma delas, tenta-se argumentar da
realidade para a estrutura discursiva. Sua argumentao tpica : porque o mundo tem
esta ou aquela caracterstica, o discurso deve possuir (necessariamente) tal ou qual
forma essencial (mnima). Na outra, tenta-se argumentar da estrutura discursiva para a
realidade. Sua argumentao tpica : porque o discurso tem esta ou aquela forma, o
mundo deve possuir (necessariamente) tal ou qual caracterstica. H ainda uma terceira
forma de argumentao, hbrida, cuja direo no muito bem definida (e que espera
extrair dessa indefinio sua fora): para que o discurso acerca do mundo possa
funcionar, so necessrias certas caractersticas de ambos.
Carnap procede aqui da forma mais radical. No h nenhuma relao intrnseca
que se possa estabelecer entre a linguagem e aquilo que ela visa descrever. Nada
assegura ou garante a adequao da linguagem para a tarefa que lhe imposta: a
descrio do mundo. (Carnap est preocupado, exclusivamente, com a funo descritiva
da linguagem, como funo cientfica por excelncia, ou seja, como funo tpica do
conhecimento, e suficiente para incorporar qualquer forma de conhecimento). O uso da
linguagem sempre tentativo. Por isso que se devem desenvolver vrias linguagens,
com variados pressupostos e estruturas. Seu nico denominador comum reside na
possibilidade de uma adequada formulao simblica, ou seja, a indicao de regras
claras para seu manuseio como entidade simblica; e o nico critrio para a escolha
entre diferentes possibilidades reside na prtica cientfica.
Como resultado, Carnap no tenta nunca fazer ontologia por meio da lgica
formal. Seu desprezo pela metafsica sua decantada atitude anti-metafsica deve
ser compreendida precisamente nesse contexto. Ele no cr poder atribuir lgica
formal nenhuma implicao ontolgica, nenhuma conseqncia ontolgica. Do fato de
230
231
232
233
existncia ela afirma. Como objeto simblico, ela pode resultar trivialmente das regras
de deduo de um clculo formal, e pode at mesmo ser postulada como axioma. Sua
formulao e manuseio tornam-se, por meio dessa insero em um sistema formal
complexo, suficientemente determinadas 259 . O que resta a discutir agora so as
possibilidades de aplicao do clculo formal como um todo, suas vantagens e
desvantagens.
O melhor a fazer, aqui, citar algumas passagens inteiras do debate que Carnap
prope com os intuicionistas 260 , e que so particularmente ilustrativas de seu ponto de
vista. Em primeiro lugar, as linhas gerais de sua posio so indicadas assim:
Uma vez que se perceba que todos os prs e contras das discusses
intuicionistas dizem respeito forma de um clculo, as questes no
sero mais postas na forma: Como isto ou aquilo?. Em vez disso,
deveremos perguntar: Como desejamos arranjar isto ou aquilo na
linguagem a ser construda? ou, do ponto de vista terico: Quais as
conseqncias de se construir a linguagem desta ou daquela maneira?.
Nessa concepo, a atitude dogmtica que torna tantas discusses
infrutferas desaparece. Ao construir a Linguagem I, aqui, de modo a
ser uma linguagem definida [a Linguagem I admite somente
259
Essa funo de transparncia e controle desempenhadas pelo simblico mais precisamente: pela
possibilidade de instituio de um sistema completamente regrado de manipulao simblica bem
exemplificada na seguinte observao de Carnap, ao discutir a utilizao de suas regras indefinidas de
transformao (ver seo 3.4.1. acima):
Nos sistemas usuais de lgica simblica, em lugar do conceito conseqncia [baseado em
regras de transformao indefinidas], o conceito mais estreito mas muito mais simples derivvel
[baseado em regras de transformao definidas] aplicado, ao se estabelecerem certas regras de
inferncia. E, de fato, o mtodo da derivao permanece sempre como mtodo fundamental; toda
demonstrao da aplicabilidade de qualquer termo [termo sinttico de descrio da linguagem-objeto]
baseada, em ltima instncia, em uma derivao. At mesmo a demonstrao da existncia de uma
relao de conseqncia ou seja, a construo de uma cadeia de conseqncias na linguagem-objeto
s pode ser obtida por meio de uma derivao (prova) na linguagem-sintaxe. (sublinhado meu;
colchetes meus) LSL: pg. 39. No original: In the usual systems of symbolic logic, instead of the
concept consequence, the narrower but much simpler concept derivable is applied, by laying down
certain rules of inference. And, in fact, the method of derivation always remains the fundamental method;
every demonstration of the applicability of any term is ultimately based upon a derivation. Even the
demonstration of the existence of a consequence-relation this is to say, the construction of a
consequence-series in the object-language can only be achieved by means of a derivation (proof) in the
syntax-language.
260
Carnap escreve: Elas [as tendncias finitistas ou construtivistas] so representadas principalmente
pelo intuicionismo (Poincar; no pensamento contemporneo, sobretudo Brouwer; tambm Weyl,
Heyting e Becker) e opinies associadas (por exemplo, F. Kaufmann e Wittgenstein). (destaque do autor;
colchetes meus) LSL: pg. 46. No original: They are chiefly represented by Intuicionism (Poincar; and
in contemporary thought, above all Brouwer; also Weyl, Heyting, and Becker) and allied opinions (for
example, F. Kaufmann and Wittgenstein).
234
quantificao
limitada],
assim
satisfazer
certas
condies
261
LSL: pgs. 46-7. No original: Once the fact is realized that all the pros and cons of the Intuitionist
discussions are concerned with the forms of a calculus, questions will no longer be put in the form: What
is this or that like? but instead we shall ask: How do we wish to arrange this or that in the language to
be constructed? or, from the theoretical standpoint: What consequences will ensue if we construct a
language in this or that way?.
On this view the dogmatic attitude which renders so many discussions unfruitful disappears.
When we here construct the Language I in such a way that it is a definite language, and thus fulfils certain
conditions laid down by Intuitionism, we do not mean thereby to suggest that it is the only possible or
justifiable form of language.
235
262
(destaques do
LSL: pg. 47-8. No original: For the Intuitionists, existence without rules for construction is
considered to be inadmissible or nonsensical (meaningless). It is not quite clear, however, whether
(and within exactly what limits), according to their point of view, existential sentences, and perhaps even
negated universal sentences also, should be excluded by means of syntactical rules of formation, or
whether only certain possibilities of transformation should be excluded. The issue involved is, above all,
the question of indirect proof by means of the refutation of a universal sentence.
Let us take an example: (Let P be a prl):
(x) (P(x)) S1, ~(x) (P(x)) S2, (x) (~P(x)) S3.
In classical mathematics (and therefore also in the logic of both Russell and Hilbert, as well as in
our II), when S1 is reduced ad absurdum, first S2 is inferred, and then from it the existential sentence S3. It
is in order to exclude this inference leading to an unlimited, non-constructive existential sentence that
Brouwer renounces the so-called Law of Excluded Middle. The language-form of I, however, shows that
the same results can be achieved by other methods namely, by means of the exclusion of the unlimited
operator. In I, S1 can be translated into P(x), but S2 and S3 are not translatable into I. Here, the Law of
Excluded Middle remains valid in I (theorem 13.2). The exclusion of this law, as is well known, brings
with it serious complications which do not occur in I. Thus language I fulfils the fundamental conditions
of Intuitionism in a simpler way than the form of language suggested by Brouwer (and partially carried
out by Heyting).
263
LSL: pg. 52. No original: In logic, there are no morals. Everyone is at liberty to built up his own
logic, i.e. his own form of language, as he wishes. All that is required of him is that, if he wishes to
discuss it, he must state his methods clearly, and give syntactical rules instead of philosophical
arguments. (destaque do autor)
236
237
O seguinte comentrio de F. Barone acerca da filosofia lgica de Kant parece-nos iluminar alguns
temas importantes de que estamos tratando: A posio de Kant no que se refere experincia direta dos
procedimentos matemticos , ao contrrio, claramente diferente, seja porque ele no sente a necessidade
formal que se manifesta somente no operar tcnico com os objetos ideais da matemtica, seja porque
por no olhar essa cincia a partir de dentro sua ateno concentra-se toda sobre o problema externo
da mesma, isto , sobre sua validade como instrumento na constituio da cincia fsica. Seu interesse
pela matemtica reporta-se mais problemtica newtoniana do que quela leibniziana: dirige-se no
matemtica entendida como sistema ou como multiplicidade de sistemas ideais vlidos e consistentes em
si mesmos, que podem tornar-se meios extremamente eficazes de penetrao e compreenso da realidade
fsica sem, contudo, vincular sua consistncia a tal funo instrumental, mas antes a uma matemtica que
j ela prpria, desde o incio, cosmologia e fsica, na medida em que as formas com que opera so as
mesmssimas formas da dinmica natural. Como observou agudamente Brunschvicg, o problema de Kant,
desde o perodo pr-crtico, aquele da matemtica aplicada, de modo que tambm o problema da
matemtica pura e da sua possibilidade formulado sob uma perspectiva condicionada da questo
fundamental. (sublinhado meu) [Barone, 1957]: pg. 156. No original: La posizione di Kant nei
confronti dellesperienza diretta dei procedimenti matematici invece nettamente diversa, sia perch egli
non sente listanza formale che si fa valere soltanto nelloperare tecnico com gli oggeti ideali della
matematica, sia perch non guardando dallinterno a questa scienza la sua attenzione tutta
concentrata sul problema esterno di essa, cio sulla sua validit di strumento nella costituzione della
scienza fisica. Il suo interesse per la matematica risente maggiormente della problematica newtoniana che
di quella leibniziana: rivolto no alla matematica intesa come sistema o come molteplicit di sistemi
ideali in s validi e consistenti, che possono diventare mezzi eficacissimi di penetrazione e comprensione
della realt fisica senza tuttavia vincolare la loro consistenza a tale funzione strumentale, bens a una
matematica che gi stessa, sin dallinizio, cosmologia e fisica, poich le forme con cui opera sono le
forme medesime della dinamica naturale. Come stato osservato acutamente dal Brunschvicg, il
problema di Kant sin dal periodo precritico quello della matematica aplicata, sicch anche il problema
della matematica pura e della sua possibilit impostato in una prospettiva condizionata dalla questione
fondamentale.
238
Com isso, porm, perde-se de vista que a estrutura lgico-formal no precisa ser
equacionada a nenhuma estrutura racional totalizada, esteja esta posta em alguma esfera
transcendental ou na esfera lingstica, que toma conta de si mesma. Como temos
insistido (ver seo 2.3 acima), ela surge sempre como racionalidade mediata, corrigida
e fixada por meio do smbolo. precisamente isso que a torna formal. E essa operao
com o smbolo, desvinculada de qualquer estrutura ou significado totalizante, que faz do
mtodo formal um mtodo rico, apto a estender o conhecimento.
De maneira ainda mais geral, deveramos reconhecer que um formalismo no
precisa ter sua aplicabilidade nem garantida, nem utilizada como critrio de controle de
sua admissibilidade. Diramos at mesmo o contrrio: a aplicabilidade de um
formalismo tem de permanecer sempre problemtica, como tema do processo de
formalizao. Pois assim que o regime simblico logra ampliar o conhecimento: pelo
desenvolvimento de formalismos (que podem ser parciais ou completos, embora Carnap
s tenha considerado esta ltima hiptese) cuja relao com a realidade sempre
complexa, na medida em que prope novos problemas e, particularmente, em que
tematiza a prpria aplicabilidade. E no foi exatamente isso o que acompanhamos no
desenvolvimento da geometria a partir de fins do sculo XIX? No foi o
desenvolvimento de um aparato formal altamente sofisticado, seguido da tematizao e
problematizao de sua aplicabilidade cientfica, o processo que viria a conduzir s
descobertas da Teoria da Relatividade?
Em Der Raum, Carnap acompanhou de perto essa tendncia, e tentou extrair j
sob a gide da tolerncia e da clarificao conceitual por meios formais seu correto
balano filosfico. Contudo, ainda no conseguira separar completamente o problema
da construo de um clculo formal como ferramenta para a descrio das estruturas
espaciais ou seja: o problema da construo do espao formal das questes da
aplicabilidade desse clculo. bem verdade que, em sua obra, os dois momentos
apareciam destacados. Para lig-los, porm, que Carnap julgou necessrio invocar a
instncia intuitiva, capaz de garantir, em alguma medida, que a estrutura formal do
espao fosse realmente espacial, e isso queria dizer: que tal estrutura fosse
efetivamente capaz de aplicar-se descrio do espao fsico.
Nas Untersuchungen (e tambm no Abriss), a instituio de formalismos
estudada como tema prprio. Principalmente no caso de sistemas axiomticos, a questo
da aplicabilidade vista de maneira diferente: Carnap no se socorre da intuio como
239
Carnap em certos momentos afirma que a forma geral desse acordo obtida por meio daquilo que
Reichenbach chamava (a referncia a [Reichenbach, 1924]) de definies correlativas. Na seo 71e,
em que discute o mtodo axiomtico, ele observa: A adoo de certa interpretao para os smbolos
primitivos designada como a adoo de definies correlativas. (LSL: pg. 271). Remete ento o leitor
pagina 78, onde se l: A geometria fsica resulta da geometria axiomtica por meio da adoo das
chamadas definies correlativas (...). Essas definies determinam a quais conceitos fsicos (ou da fsica
ou da linguagem cotidiana) os smbolos axiomticos primitivos devem ser equivalentes em significado.
somente por meio dessas definies que o sistema axiomtico aplicvel a sentenas empricas.
(destaque do autor; sublinhados meus) LSL: pg. 78.
O ponto essencial dessas observaes no a aparente indicao, por parte de Carnap, de um
mtodo exclusivo de aplicao dos sistemas axiomticos descrio da realidade, o que estaria em
contradio com tudo o que temos visto. Essa impresso de um mtodo exclusivo, descrito no mbito da
filosofia como nico capaz de estabelecer a aplicao emprica dos formalismos, se desfaz to logo
atentamos para o fato de que todos os elementos relevantes da questo so jogados para fora da discusso
lgico-filosfica. O que quer que seja o correlativo de um termo formal um conceito dado pela fsica
(pela prtica do fsico no laboratrio, e pelos acordos ali estabelecidos), ou at mesmo na linguagem
cotidiana. Sua aplicabilidade vincula-se, portanto, a acordos no-filosficos, j em funcionamento quando
o mtodo formal chamado a desempenhar seu papel. Da passagem acima, de fato, v-se que tanto o
mbito da fsica como o da linguagem cotidiana j esto devidamente conceitualizados antes que qualquer
formalismo se apresente a eles como instrumento. essa conceitualizao externa ao formalismo que
permite seu uso como ferramenta, sem que seja postulada lembremos que o formalismo nasce como
pura manipulao simblica nenhuma (necessria) semelhana estrutural entre ambos.
No original, as duas passagens citadas lem-se: The statement of a certain interpretation of the
primitive symbols is designated as the establishment of correlative definitions.; e Physical geometry
results from axiomatic geometry by means of the establishment of the so-called correlative definitions
(...). These definitions determine to which of the physical concepts (either of physics or of everyday
language) the axiomatic primitive symbols are to be equivalent in meaning. It is only by means of these
definitions that the axiomatic system is applicable to empirical sentences.
241
266
(destaque do
autor)
266
LSL: pg. 8: No original: Of the so-called philosophical problems, the only questions which have any
meaning are those of the logic of science. To share this view is to substitute logical syntax for philosophy.
The above-mentioned anti-metaphysical attitude will not, however, appear in this book either as an
assumption or as a thesis. The inquiries which follow are of a formal nature and do not depend in any way
upon what is usually known as philosophical doctrine.
242
267
Mais para o final do livro, na seo 72, quando retorna a esse assunto, Carnap anota: A concepo de
que, to logo se faam exigncias de qualificao cientfica, tudo o que resta da filosofia a lgica da
cincia, no pode ser estabelecida aqui e no ser assumida no que segue. LSL: pg. 280. No original:
The view that, as soon as claims to scientific qualifications are made, all that remains of philosophy is
the logic of science, cannot be established here and will not be assumed in what follows.
243
Vimos na seo 3.4.1. que a principal razo de Carnap para introduzir regras
indefinidas de transformao (regras de inferncia baseadas em um conjunto
possivelmente infinito de premissas) residia em sua tentativa de salvar o projeto
logicista dos resultados negativos de Gdel. Seu objetivo era encontrar um sistema
lgico, no sentido formal e sinttico da palavra, capaz de traduzir toda a matemtica
clssica. Tratava-se para ele de encontrar um critrio de validade para essa disciplina,
ainda que tal critrio fosse indefinido e, mais precisamente, baseado no no mtodo
de derivao, mas no mtodo de conseqncia (ver seo 3.4.2. acima).
importante entender o papel e a dimenso dessa tentativa no sistema lgico de
Carnap, para no aumentar nem diminuir sua importncia. Do ponto de vista terico, ela
ocupa um lugar bem preciso.
Em primeiro lugar, cumpre enfatizar ainda uma vez, tambm neste caso, o que
muitos comentaristas perdem de vista: No h nada de absoluto, ao menos em
princpio, na tentativa de encontrar um critrio formal de validade para a matemtica,
tal como concebida no esquema terico de LSL. Em especial, Carnap no est alegando
provar que a matemtica uma disciplina lgica. J sabemos que, para ele, no h uma
distino absoluta entre o que seja lgico e no-lgico, entre o que seja analtico e
sinttico. Essa sempre uma distino traada no interior de uma linguagem, entre
muitas possveis, e sua fronteira extremamente mvel. Em cada linguagem, entre
aquelas aptas a construir sentenas matemticas (sentenas que seriam normalmente
interpretadas como sentenas matemticas, ou cuja inteno traduzir resultados
matemticos), essas sentenas so repartidas de modo diferente: algumas cairo na
classe das sentenas analticas, outras na classe das sentenas sintticas.
Por exemplo: O que o teorema de Gdel revela que, no sistema dos Principia,
e ao contrrio do que desejava Russell, a sentena G de Gdel, embora faa uma
afirmao sobre nmeros naturais e, nesse sentido, seja uma sentena matemtica ,
revela-se sinttica (no pode ser derivada pelas regras de inferncia do sistema), e no
analtica. O sistema dos Principia (e aparentados) falhava em sua inteno original de
circunscrever todas as sentenas aritmticas entre as sentenas analticas. Isso no
significa, porm, que o sistema dos Principia esteja errado, que a matemtica no seja
244
lgica, que a lgica no seja suficiente para captar a matemtica, etc. Significa algo
mais simples: apenas que o sistema lgico-formal dos Principia, junto com uma srie de
outros sistemas, possui sentenas aritmticas sintticas. Tais sistemas traam a linha
entre o sinttico e o analtico de maneira que as sentenas matemticas no ficam
inteiramente do lado analtico. Sistemas mais fracos, como alguns sistemas
intuicionistas, traam a fronteira de modo diferente, com ainda mais sentenas
matemticas do lado sinttico. Todos eles so interessantes em si mesmos, ao revelar
diferentes conexes lgicas, e a prpria diferena entre eles um fato terico relevante:
cada um desses clculos ser distinto quanto s possibilidades de manuseio e aplicao,
e a anlise de suas caractersticas lgico-formais revela diferentes maneiras de se aplicar
conceitos matemticos descrio do mundo.
No obstante o valor intrnseco dessa pluralidade de clculos lgicos possveis,
Carnap mantm a seguinte esperana: seria altamente iluminador encontrar um clculo
lgico capaz de conter todas as sentenas matemticas usuais no seu lado determinado,
como sentenas sintticas ou contraditrias; em outras palavras, um clculo lgico
capaz de traar a fronteira entre sentenas determinadas e sintticas de modo a colocar
todas as sentenas matemticas usuais do lado determinado. A posse de uma linguagem
com essa caracterstica no mostraria que a matemtica lgica, mas apenas que ela
pode ser vista como lgica, no sentido de que pode ter sua estrutura plenamente
capturada em um formalismo simblico268 . isso o que Carnap chama de encontrar
um critrio de validade para a matemtica; e a execuo dessa tarefa o que resta, em
sua filosofia, do projeto logicista original.
268
De resto, Carnap no opera nem mesmo com um conceito substancial do que seja a matemtica. Ele
apenas descreve formalmente (seo 58) uma classe de estruturas que, se estiverem presentes em um
clculo formal, podem ser vistas como uma aritmtica, ou seja, so capazes de representar aquilo que
normalmente chamamos de nmeros naturais. Voltaremos a esse assunto mais abaixo.
245
269
LSL: pg. 102. No original: Our procedure in laying down the consequence-rules for language I (
14) was first to define the term consequence by means of the expansion of the rules of inference and
then, with its help, the terms analytic and contradictory. In laying down the consequence-rules for
language II, we shall, for technical reasons, do just the reverse: first we shall define analytic and
contradictory and then, with the help of these terms, the term consequence.
270
[Tarski, 1935]. O texto original em polons foi publicado em 1933, e Carnap esteve em contato com
Tarski nesse perodo, assimilando e discutindo suas idias.
271
Uma valorao para um termo de ordem zero (tipo lgico 0) um indivduo; para um termo de tipo
lgico (0), uma classe de indivduos; para um termo de tipo (0,0), uma relao entre indivduos; para um
termo de tipo ((0)), uma classe de classes de indivduos; etc.
272
Ver LSL: seo 34c.
246
247
248
termo 277 . devido a esse procedimento interpretativo que a definio de Carnap espelha
a definio de verdade de Tarski. Este ltimo, no entanto, percebeu exatamente o que
estava oferecendo: uma descrio metalingstica daquilo que torna verdadeira uma
sentena formal da linguagem-objeto, quando interpretada em certo domnio de objetos
acessveis metalinguagem (que possam ser referidos pela metalinguagem).
Vista por esse ngulo, a construo de Carnap consegue obter a mesma
realizao terica que a construo de Tarski: ambas correspondem a uma anlise
formal do sentido em que certas sentenas so tidas por verdadeiras. No caso de uma
linguagem apta a falar de matemtica, como a linguagem II de LSL, o que essas
construes oferecem, portanto, uma anlise formal do sentido em que as sentenas da
matemtica clssica so tidas por verdadeiras. E esse sentido : quando interpretadas,
segundo certa estrutura interpretativa coerente, no modelo usual dos nmeros naturais.
(Essa situao viria a ficar perfeitamente clara somente com o subseqente
desenvolvimento das idias de Tarski em direo teoria extensional de modelos.)
Acontece agora que, na sintaxe geral de LSL, Carnap descreve certa classe de
estruturas sintticas, que podem estar presentes ou no em uma linguagem formal
qualquer, e que ele chama de srie de expresses numricas (numerical expressionseries). Basicamente, uma srie de expresses numricas obtida por meio da aplicao
reiterada de certa operao simblica a um smbolo inicial, de maneira que dois
elementos distintos da seqncia assim obtida nunca sejam sinnimos 278 . A forma geral
de uma srie de expresses numricas, portanto, algo como: U0, F(U0), F(F(U0)), ...
Un, F(Un), ...
279
numricas, e que seja capaz de organizar sobre essa srie as operaes aritmticas
usuais de adio e multiplicao 280 , possui o que Carnap chama de aritmtica.
277
Apenas a ttulo de exemplo, tomemos uma sentena simples como P(x), em que x uma varivel
para indivduos e P uma varivel para predicados de indivduos. Uma valorao (interpretao) de x
tem de ser um indivduo; uma valorao de P, como predicado, tem de ser um conjunto de indivduos
(qualquer conjunto extensionalmente possvel de indivduos). A avaliao da sentena, segundo essas
valoraes, positiva quando a valorao de x, um indivduo, pertencer valorao de P, um conjunto de
indivduos. A sentena ser analtica quando for avaliada positivamente para todas as valoraes
admissveis.
278
Duas expresses so sinnimas quando podem ser substitudas uma pela outra, em qualquer
proposio na qual apaream, de modo que a proposio resultante tenha as mesmas conseqncias
lgicas que a proposio original. LSL: seo 49, pgs. 176-7.
279
LSL: seo 58, pg. 205.
280
Carnap indica detalhadamente o que significa isso; aqui, desejamos apenas esboar de modo geral suas
idias, e no entraremos nesses detalhes.
249
250
qualquer
indivduo;
T2
admite
como
valorao
qualquer
classe
251
283
[Ramsey, 1925]: pg 39. No original: Admitting an infinite number involves that we do not define the
range of functions as those which could be constructed in a certain way, but determine them by a
description of their meanings. They are to be truth-functions not explicitly in their appearance, but in
their significance of atomic functions and propositions.
252
Carnap j sabe que a metalinguagem, para expressar a definio de analiticidade de uma linguagemobjeto, deve possuir recursos lgicos mais ricos do que esta. Uma linguagem no consegue definir seu
prprio conceito de analiticidade.
285
Depois de estabelecidas diversas regras de valorao e de avaliao, Carnap chega definio
propriamente dita de analiticidade. Essa definio faz referncia, como vimos, a conjuntos de valoraes
simultaneamente admissveis para os termos de uma sentena, e avaliao de sentenas com base em
uma valorao. A definio de analiticidade, ento, divide-se em diversos casos que tm de ser
considerados separadamente. Aqui tomamos apenas um exemplo.
286
LSL: pg. 111.
253
254
LSL: pgs. 113-4. No original: A certain point in the given definition of analytic in II may appear
dubious. For the sake of simplicity we will consider the corresponding definition of analytic in II1. Let a
language S be used as a formalized syntax-language (for example, a more extensive region of II, or II
itself). Since in II1 free 1p (...) occur, the definition of analytic in II1 (...) will contain phrases such as for
every valuation for a 1p1 ...; this, according to VR1a and VR1c, is the same as saying for all syntactical
properties of accented expressions.... Now what is meant by this phrase and how is it to be formulated in
the symbolic language S? If we said instead merely for all syntactical properties which are definable in
S..., then the definition of analytic in II1 would not effect what is required of it. For just as for every
language there are numerical properties which are not definable in it (see p. 106), so there are also
syntactical properties which are not definable in S. Thus it might happen that the sentence C1 is analytic
in II1 was true (analytic) in the syntax-language S, and yet false (contradictory) in a richer syntaxlanguage S, namely if the phrase, for all definable syntactical properties..., contained in the criterion for
that sentence, although valid for all the properties definable in S, was not valid for a certain property
which is only definable in S. Thus the definition must not be limited to the syntactical properties which
are definable in S, but must refer to all syntactical properties whatsoever. But do we not by this means
arrive at a platonic absolutism of ideas, that is, at the conception that the totality of all properties, which is
non-denumerable and therefore can never be exhausted by definitions, is something which subsists in
itself, independent of all construction and definition? From our point of view, this metaphysical
conception (...) is definitely excluded. We have here absolutely nothing to do with the metaphysical
question as to whether properties exist in themselves or whether they are created by definition. The
question must rather be put as follows: can the phrase for all properties... (interpreted as for all
properties whatsoever and not for all properties which are definable in S) be formulated in the symbolic
syntax-language S? This question may be answered in the affirmative. The formulation is effected by the
help of a universal operator with a variable p, i.e. by means of (F) (...), for example. (That this phrase
has in the language S the meaning intended is formally established by the fact that the definition of
analytic in S is formulated in the wider syntax-language S2, again in accordance with previous
considerations (pp. 106 f.), not by substitutions of the predicates of S, but with the help of valuations.)
This is correspondingly true for the valuations of higher types in the wider language regions.
255
288
A passagem para a linguagem II poderia ocorrer em qualquer ponto dessa cadeia, e poderamos at
mesmo (embora com um pouco mais de trabalho tcnico) considerar uma seqncia transfinita de
sentenas, e colocar a passagem para II no ponto 0.
256
289
Apenas para fixar: chamamos de standard uma interpretao para a quantificao de ordem superior
quando ela no estiver restrita a nenhuma considerao da maneira de construir conceitos, ou seja, quando
fizer referncia (no caso da quantificao de predicados, por exemplo) a todos os conjuntos
extensionalmente possveis de indivduos. Ver algumas consideraes a esse respeito em 2.6.3. acima.
Para um tratamento mais aprofundado e completo da questo, remetemos a [Shapiro, 1991].
257
258
259
Bibliografia
Barone, F.
1957; Logica Formale e Logica Trascendentale; Edizioni di Filosofia: Turim, 1964 (2
edio).
Boi, L.
1992; LEspace: Concept Abstrait et/ou Physique: la Gomtrie entre Formalisation
Mathmatique et tude de la Nature; em [Boi, Flament & Salanskis: 1992].
Boi, L. & Flament, D. & Salanskis, J.-M. (eds.)
1992; 1830-1930: A Century of geometry Epistemology, History and Mathematics
(Lecture Notes in Physics, vol. 402); Springer-Verlag: Berlim, 1992.
Brunschvicg, L.
1912; Les tapes de la Philosophie Mathmatique; Librairie Felix Alcan: Paris, 1922.
Cahan, D. (ed.)
1993; Hermann von Helmholtz and the Foundations of Nineteenth-Century Science;
University of California Press: Berkeley, 1993.
Carnap, R.
1922; Der Raum: ein Beitrag zur Wissenschaftslehre; em Kant Studien, n. 56,
Sonderheft (1922).
1926; Physikalische Begriffsbildung; G. Braun: Karlsruhe in Baden, 1926.
1928a; Der Logische Aufbau der Welt; Weltkreis Verlag: Berlim-Schalchtensee, 1928.
1928b; Untersuchungen zur allgemeinen Axiomatik; Wissenschaftliche
Buchgesellschaft: Darmstadt, 2000 (primeira publicao, pstuma)
1929; Abriss der Logistik; Julius Springer: Viena, 1929.
1930; Die Alte und die Neue Logik; em Erkenntnis, v.1 (1930/1931); republicado por
D Reidel: Dordrecht, 1978.
1937; The Logical Syntax of Language; Routledge & Kegan Paul: Londres, 1937.
1939; Foundations of Logic and Mathematics; University of Chicago Press: Chicago,
1939.
1942; Introduction to Semantics; Harvard University Press: Cambridge (MA), 1942.
1947; Meaning and Necessity; University of Chicago Press: Chicago, 1947.
1962; Logical Foundations of Probability; University of Chicago Press: Chicago, 1962.
260
Carus, A. W.
2007; Carnap and Twentieth-Century Thought Explication as Enlightenment;
Cambridge University Press: Cambridge, 2007.
Cassirer, E.
1927; Das Symbolproblem und seine Stellung m System der Philosophie; em Ernst
Cassirer Gesammelte Werke, Hamburger Ausgabe, Band 17; Meiner Verlag:
Hamburgo, 2004.
Coffa, A.
1987; Carnap, Tarski and the Search for Truth, em Nos 21 (4), 1987.
Cohen, R. S. & Elkana, Y. (eds.)
1977; Hermann von Helmholtz: Epistemological Writings (Boston Studies in the
Philosophy of Science, vol. 37; Synthese Library, vol. 79); D. Reidel: Dordrecht, 1977.
Dedekind, R.
1887; Essays on the Theory of Numbers (The Nature and Meaning of Numbers;
traduo de Was sind und was sollen die Zahlen?); Dover: Nova Iorque, 1963.
Engel, F. & Stckel, P. (eds.)
1895; Theorie der Parallellinien von Euclid bis Gauss; B. G. Teubner: Leipzig, 1895.
Friedman, M.
2000a; A Parting of the Ways; Open Court: Chicago, 2000.
2000b; Geometry, Construction and Intuition in Kant and his Successors, em [Sher &
Tieszen: 2000].
2007; Carnaps Revolution in Philosophy, ensaio introdutrio a [Friedman & Creath,
2007].
Friedman, M. & Creath, R. (eds.)
2007; The Cambridge Companion to Carnap; Cambridge University Press: Cambridge,
2007.
Grnbaum, A.
1973; Philosophical Problems of Space and Time (Boston Studies in the Philosophy of
Science, vol. 12; Synthese Library, Vol. 55); D. Reidel: Dordrecht, 1973.
Haddock, G. E. R.
2008; The Young Carnaps Unknown Master: Husserls Influence on Der Raum and
Der logische Aufbau der Welt; Ashgate: Hampshire, 2008.
Helmholtz, H. v.
1868a; ber den Ursprung und die Bedeutung der geometrischen Axiome; traduo
inglesa em [Cohen & Elkana: 1977]
1868b; ber die Tatsachen, die der Geometrie zugrunde liegen; traduo inglesa em
[Cohen & Elkana: 1977]
261
Hilbert, D.
1903; Grundlagen der Geometrie; Teubner: Leipzig, 1903.
1926; ber das Unendliche; em Mathematischen Annalen 95 (1926): pgs. 161-90.
Hintikka, J. (ed.)
1995; From Dedekind to Gdel; Kluwer Academic Publishers: Dordrecht, 199
Hintikka, J.
1995; Standard vs. Nonstandard Distinction: a Watershed in the Foundations of
Mathematic; em [Hintikka (ed.), 1995].
1996; The Principles of Mathematics Revisited; Cambridge University Press:
Cambridge, 1996.
Houzel, C.
1992; The Birth of Non-Euclidian Geometry; em [Boi, Flament & Salanskis: 1992].
Husserl, E.
1922; Ideen zu einer reinen Phnomenologie und phnomenologischen Forschung;
Max Niemeyer Verlag: Tbingen, 1980.
Lambert, J. H.
1766; Theorie der Parallellinien; em [Engel & Stckel, 1895].
Lohmar, D.
1989; Phnomenologie der Mathematik; Kluwer Academic Publishers: Dordrecht,
1989.
Mach, E.
1906; Space and Geometry; Dover: Mineola (NY), 2004.
Mehrtens, H.
1990; Moderne, Sprache, Mathematik; Suhrkamp: Frankfurt, 1990.
Mittelstaedt, P.
1963; Philosophical Problems of Modern Physics (Boston Studies in the Philosophy of
Science, vol. 18; Synthese Library, Vol. 95); D. Reidel: Dordrecht, 1976.
Mormann, T.
2000; Rudolf Carnap; Beck: Munique, 2000.
Nowak, G.
1989; Riemanns Habilitationsvortrag and the Synthetic A Priori Status of Geometry;
em [Rowe & McCleary: 1989]
Poincar, H.
1902; La Science et lHypothse; Flammarion: Paris, 1902.
1905; La Valeur de la Science; Flammarion: Paris, 1905.
Prien, B.
2006; Kants Logik der Begriffe; Walter de Gruyter: Berlim/Nova York, 2006.
262
Putnam, H.
1967: The Thesis that Mathematics is Logic; em [Schoenman: 1967].
Quine, W. O.
1951; Two Dogmas of Empiricism; reeditado em [Quine, 1953].
1953; From a Logical Point of View; Harvard University Press: Cambridge (MA), 1953.
Ramsey, F. P.
1925; The Foundations of Mathematics; Routledge & Kegan: Londres, 1925.
Reichenbach, H.
1928; Die Philosophie der Raum-Zeit-Lehre; Walter de Gruyter: Berlim, 1928.
Riemann, B.
1854; ber die Hypothesen, welche der Geometrie zu Grunde lagen, em Gesammelte
Mathematische Werke und Wissenschaftler Nachlass (editado por Weber, H. &
Dedekind, R.); Dover: Nova Iorque, 1953.
Rorty, R.
1979; A Filosofia e o Espelho da Natureza; Relume-Dumar: Rio de Janeiro, 1995.
Rowe, D. & McCleary, J. (eds.)
1989; The History of modern Mathematics, vol.1: Ideas and their Reception; Academic
Press: San Diego, 1989.
Schlick, M.
1921; Comentrios a ber den Ursprung und die Bedeutung der geometrischen
Axiome [Helmholtz: 1868a]; em [Cohen & Elkana: 1977]
Schoenman, R. (ed.)
1967; Bertrand Russell: Philosopher of the Century, Ralph Schoenman; Allen and
Unwin: Londres, 1967.
Scholz, E.
1992; Riemanns Vision of a New Approach to Geometry; em [Boi, Flament e Salanskis:
1992].
Shapiro, S.
1991; Foundations without Foundationalism; Oxford University Press: Oxford, 1991.
Tarski, A.
1935; Der Wahrheitsbegriff in den formalisierten Sprachen; Lemberg, 1935.
Tugendhat, E.
1976; Vorlesung zur Einfhrung in die sprachanalytische Philosophie; Suhrkamp:
Frankfurt, 1976.
263
Vuillemin, J.
1955; Physique et Mtaphysique Kantiennes; Presses Universitaires de France: Paris,
1955.
Webb, J.
1995; Tracking Contradictions in Geometry: the Idea of a Model from Kant to Hilbert;
em [Hintikka, 1995]
Weyl, H.
1923; Matematische Analyse des Raumproblems; Springer Verlag: Berlim, 1923.
264