Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Revista de Filosofia
ISSN: 2179-6742
Coordenador
Rodrigo Guerizoli
Vice-Coordenador
Antonio Frederico Saturnino Braga
INVESTIGAO FILOSFICA
http://periodicoinvestigacaofilosofica.blogspot.com.br/
ifilosofica@gmail.com
Editores Responsveis
Rodrigo Reis Lastra Cid
Luiz Maurcio Bentim da Rocha Menezes
Coordenadores Editoriais
Luiz Helvcio Marques Segundo
Mayra Moreira da Costa
Pedro Vasconcelos Junqueira Gomlevsky
Conselho Editorial
Danillo de Jesus Ferreira Leite
Guilherme da Costa Assuno Ceclio
Leandro Shigueo Araujo
Luis Fernando Munaretti da Rosa
Luiz Helvcio Marques Segundo
Luiz Maurcio Bentim da Rocha Menezes
Mrio Augusto Queiroz Carvalho
Mayra Moreira da Costa
Paula Akemy Araujo
Pedro Vasconcelos Junqueira Gomlevsky
Renata Ramos da Silva
Rodrigo Alexandre de Figueiredo
Rodrigo Reis Lastra Cid
Sagid Salles Ferreira
Tiago Lus Teixeira de Oliveira
Conselho Consultivo
Alexandre Meyer Luz
Alexandre Noronha Machado
Carlos Eduardo Evangelisti Mauro
Desidrio Orlando Figueiredo Murcho
Guido Imaguire
Mrio Nogueira de Oliveira
Michel Ghins
Roberto Horcio de S Pereira
Rodrigo Guerizoli Teixeira
Rogrio Passos Severo
Srgio Ricardo Neves de Miranda
Ulysses Pinheiro
Equipe Tcnica
Logotipo: Thiago Reis
Revisor: Fbio Salgado de Carvalho
Tradutor: Giuliano Tadeu Nunes Pietoso
INVESTIGAO FILOSFICA
Revista de Filosofia Semestral
Volume 5, nmero 2, 2014, 207p.
Publicao digital
ISSN: 2179-6742
1. Filosofia Peridicos. 2. Universidade Federal do Rio de Janeiro. Instituto de Filosofia e
Cincias Sociais. Programa de Ps-Graduao Lgica e Metafsica. 3. Blog Investigao Filosfica.
Sumrio / Contents
Editorial.....................................................................................................
01
Artigos/Articles
Do no cognitivismo ao cognitivismo dos enunciados ticos - a mudana nas noes
de fato e de objetividade em Hilary Putnam
Alexandre de Freitas de Mello Junior.............................................................
02
29
36
Tradues/Translations
O trabalho recente sobre a controvrsia internismo-externismo
Laurence BonJour
Traduo de Luiz Helvcio Marques Segundo....................................................
54
71
Lgica modal
James Garson
Traduo de Heitor Hedler Siqueira Campos...................................................
102
131
Editorial
Investigao Editorial
com muito prazer que damos inicio ao volume 5, nmero 2 da revista
Investigao Filosfica. Nessa edio temos um artigo sobre a mudana nas noes de
fato e de objetividade em Hilary Putnam de Alexandre de Freitas de Mello Junior. O
segundo artigo trata sobre o medo como uma paixo fundamental para a origem do
Estado em Thomas Hobbes de Gerson Vasconcelos Luz. O terceiro artigo pretende
analisar o conceito kierkegaardiano de amor a partir de sua relao com o dever e da
compreenso de prximo enquanto reduplicao Jos C. Lopes Marques e Jos Roberto
Gomes da Costa. A revista tambm est composta de quatro tradues, a primeira O
trabalho recente sobre a controvrsia internismo-externismo de Laurence BonJour; a
segunda Por que no h mais progresso na filosofia? de David J. Chalmers; a
terceira Lgica modal de James Garson; e a quarta Metodologia: os elementos da
filosofia da cincia de David Papineau.
Rodrigo Cid
Luiz Maurcio Menezes
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
Artigos/Articles
RESUMO: Este artigo ser dividido em duas partes. Na parte inicial, procuraremos mostrar que
o positivismo lgico tributrio de uma noo de fato herdada do empirismo clssico. Nosso
interesse revelar a consolidao dessa dicotomia2, que em muitos aspectos anloga
dicotomia entre fato e valor. Ambos os binmios conceptuais, que de incio eram simples
distines, tornaram-se dicotomias por meio de uma inflao dos seus conceitos. Na segunda
parte, apresentaremos a dicotomia fato/valor, mostrando o priplo do argumento putnamiano,
que ir nos revelar o imbricamento entre as noes de fato e valor. Assim, interessante
apresentar o raciocnio que revelar a Putnam a constatao da fratura interna de uma dicotomia
(analtico/sinttico), impetrado por Quine3, para, posteriormente, chegarmos ideia principal do
solapamento da dicotomia fato e valor. Depois disso feito, poderemos considerar a suposio da
objetividade (de alguns) dos valores (ticos).
PALAVRAS-CHAVES: Empirismo; fato; valor; dicotomia; objetividade; tica.
Abstract: This article will be divided into two parts. In the first part, we aim to show that
logical positivism is a notion of tax actually inherited from classical empiricism. Our interest is
to reveal the consolidation of this dichotomy, which in many ways is analogous to the
dichotomy between fact and value. Both conceptual dichotomies, which initially were simple
distinctions became dichotomies through an inflation of its concepts. In the second part, we
present the fact / value dichotomy, showing the journey of putnamiano argument, which will
reveal the interweaving notions of fact and value. Thus, it is interesting to present the reasoning
that reveal the Putnam examining the internal fracture of a dichotomy (analytic / synthetic),
filed by Quine, to then get to the main idea of undermining the dichotomy between fact and
value. Once that is done, we may consider the assumption of objectivity (some) values (ethical).
Keywords: Empiricism; fact; value; dichotomy; objectivity; ethics.
O positivismo lgico, que Putnam faz uso para iniciar a sua crtica, apresenta
uma verso tripartite dos juzos, que compreende as duas dicotomias aqui aventadas: os
juzos sintticos, que so verificveis empiricamente; os juzos analticos, que podem ter
um valor de verdade a si atribudo simplesmente em virtude do significado dos termos
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
Artigos/Articles
O caso de certos enunciados serem demonstrveis em virtude do significado dos termos constantes no
enunciado.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
Artigos/Articles
pudessem receber a chancela de racional. Isso quer dizer que tais enunciados s seriam
significativos caso pudessem ser formulados de modo a gerar uma resposta que indicar
se eles so analticos ou sintticos, distintamente (2008a, p. 25).
Quine, ao contrrio, empreende uma sequncia que vai em direo dissoluo
completa no s da dicotomia, mas tambm da distino5 entre o analtico e o sinttico.
Se o sinttico e o analtico fossem exemplificados de forma metafrica pelas cores
branco e preto, estariam, seguindo a metfora, mais prximo da cor cinza, o que
simbolizaria o carter no distinguvel de ambos os enunciados6:
Em Os dois dogmas do empirismo ele rejeita a distino entre os chamados juzos analticos e os
juzos sintticos: Minha proposta atual que um contrassenso, e a base para muitos outros
contrassensos, falar de um componente lingustico e de um componente factual na verdade de qualquer
enunciado individual. Tomada coletivamente, a cincia tem sua dupla dependncia da linguagem e da
experincia, mas essa dualidade no significativamente delinevel nos enunciados da cincia tomados
um a um. (QUINE, 2011, p. 66). Embora parea, ao contrrio do que pensa Putnam, que Quine rejeita a
distino absoluta, que tem como consequncia a dicotomia. ( ver QUINE, 2011, p. 71). No obstante, a
interpretao de Putnam est corroborada pelo texto supracitado.
6
Putnam lembra que Quine, ao lanar uma crtica ao positivismo lgico em seu artigo intitulado Carnap
and Logical Truth, dirige-se, em primeiro lugar, para a distino clara e estanque que os positivistas
lgicos fazem com respeito aos aspectos inter-tericos, como a elegncia (contraparte convencional) e o
teste experimental dos enunciados hipotticos (o que os positivistas chamam de fato). Segundo ele, um
elemento de conveno uma caracterstica que poder, quando adotada anteriormente, ser
posteriormente submetida a testes. A citao de Quine que Putnam recupera escapa ao mbito terico
especfico linguagem cientfica, mas no linguagem que os positivistas lgicos considerariam factual,
ou seja, falsevel por poderem ser submetidas a testes baseados em experincias concretas. Desse modo,
recaem tanto os enunciados cientficos da fsica, que so sintticos, quanto o saber de nossos pais, no
mbito do factual, por serem ambos passveis de verificaes a posteriori.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
Artigos/Articles
simplesmente em razo das regras lgicas (analtico), ele no deve recair como sendo
um enunciado sobre questes de fato ou enunciados do tipo sinttico.
Nessa esteira, Putnam declara que pode ser feita uma crtica ao carter
compulsrio da dicotomia analtico/sinttico, em que ambos os lados da dicotomia so
naturalizados, ou seja, so consideradas as nicas classes bsicas de enunciados com
sentido.
enunciados que no sejam trivialmente verdadeiros, ou seja, que existe uma categoria de
enunciados cognitivamente relevantes que escape categoria dos juzos no analticos
tpicos.
Como ser possvel ver, a dicotomia analtico/sinttico tem muito a revelar no
tocante dicotomia fato/valor, aqui privilegiada, pois ambas possuem desenvolvimentos
semelhantes. Putnam nos faz atentar para um ponto em comum, dos mais centrais, para
o qual estas duas dicotomias convergem, e que as fundamenta em sua histria
conceptual, qual seja, a Lei de Hume7. Segundo esta lei, grosso modo, no podemos
derivar um deve a partir de um 8. Isso significa que nenhuma noo tica pode ser
inferida de uma questo de fato, o que impossibilitaria de se ter um juzo moral
ancorado em um fato da realidade.
7
Putnam parece seguir a interpretao quineana de que a distino kantiana entre verdades analticas e
sintticas j se prefigurava na distino de Hume entre relaes de ideias e questes de fato. (QUINE,
2011, p. 37) Do mesmo modo, a dicotomia fato/valor encontra nessa distino de Hume o ponto de
partida de sua formao.
8
O trecho do texto de Hume que se refere abertamente famosa Lei de Hume o seguinte: Em todo
sistema de moral que at hoje encontrei, sempre notei que o autor segue durante algum tempo o modo
comum de raciocinar, estabelecendo a existncia de Deus, ou fazendo observaes a respeito dos assuntos
humanos, quando, de repente, surpreendo-me ao ver que, em vez das cpulas proposicionais usuais, como
e no , no encontro uma s proposio que no esteja conectada a outra por um deve ou no deve.
Essa mudana imperceptvel, porm da maior importncia. Pois como esse deve ou no deve expressa
uma nova relao ou afirmao, esta precisaria ser notada e explicada; ao mesmo tempo, seria preciso que
se desse uma razo para algo que parece totalmente inconcebvel, ou seja, como essa nova relao pode
ser deduzida de outras inteiramente diferentes. HUME, David. Tratado da Natureza Humana. Traduo
de Dbora Danowiski. Livro III, Parte I, Seo II. So Paulo, Editora UNESP, 2000, p. 509
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
Artigos/Articles
virtudes, realmente nenhuma questo de fato9. O motivo pelo qual isso no ocorre
porque, com relao s virtudes, no temos como formar uma imagem figurvel das
propriedades de uma determinada virtude hipottica, ao passo que poderamos, sem a
menor dvida, fazer figurar as propriedades de uma flor qualquer, por exemplo.
Entre o analtico e o sinttico, ambos os lados da dicotomia assinalam uma srie
de propriedades ou caractersticas que so, entre si, distintivas. O mesmo ocorre com a
dicotomia fato/valor, pois, segundo o entendimento de Putnam, os juzos que envolvem
a noo de deve so a parte do lado valorativo ao qual est vedada uma relao com
os juzos de fato. Algumas palavras tambm se refeririam a essa classe de juzos, tais
como correto, errado, bom, mau, quando usados, evidentemente, em suas
acepes ticas10 (2008a, p. 31). Essa distino humeana, quando inflada, ou seja,
levada ao extremo da distino, impe que no teremos, e no poderemos ter juzos de
fato que se refiram tica. Desse modo, o argumento pode ser colocado da seguinte
maneira:
(1) o que nos possibilita chamar algo de factual, ou seja, ser um enunciado de
fato, conseguirmos perceb-lo por meio do nosso aparato sensrio (ter uma
impresso), sendo, somente assim, passvel de representao.
(2) so objetos somente aquelas entidades que podem ser capturadas por meio
do aparato sensrio.
(2.1) ser capturado por meio do aparato sensrio confere objetividade
entidade assim capturada.
(3) se somente podemos atribuir objetividade aos objetos, ento todos aqueles
enunciados que no correspondam a enunciados factuais no so objetivos. 1 e 2.
(4) Os enunciados de deve no podem ser capturados pelo aparato sensrio.
Portanto, os enunciados de deve no so enunciados objetivos. 3 e 4.
O argumento, que uma reconstruo que remete a Hume, apesar de vlido, s
pode estar correto se suas premissas forem verdadeiras. Desse modo, a tarefa de Putnam
9
Para corroborar isso, segue o texto do prprio Hume: Se o pensamento e o entendimento sozinhos
fossem capazes de fixar os limites do certo e do errado, a qualidade de virtuoso ou vicioso teria de estar
em algumas relaes de objetos, ou ento ser uma questo de fato, descoberta por nosso raciocnio.
(HUME, 2009, pp. 502-503).
10
Quando falamos que um sapato bom, ou que uma operao aritmtica est errada, no usamos bom
e errada em acepes ticas. Obviamente, a classe resultante da coleo de enunciados de deve, e
seus correlatos, so aqueles usados na acepo tica.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
Artigos/Articles
11
Temos, tambm, como exemplo de valores que no so nem ticos ou no ticos os valores estticos.
Entretanto, estes padecem do mesmo problema considerado na dicotomia, pois no so factuais e
cognitivos. Putnam deixa isso claro na parte II do livro O Realismo de Rosto Humano, de 1999,
intitulada tica e Esttica.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
Artigos/Articles
O primeiro captulo desse trabalho ser dedicado a investigar as decorrncias dos pressupostos
adotados pelo Crculo de Viena para a tica.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
Artigos/Articles
dizer, juntamente com Putnam, que a noo de fato adotada inicialmente pelos filsofos
do Crculo de Viena era bastante semelhante ao que Hume declara que ela 13.
Putnam nos diz que a viso positivista lgica original era de que um fato era
algo que podia ser certificado por mera observao e at mesmo por um mero relato de
uma experincia sensorial. (2008a, p. 39). Assim, os positivistas esperavam poder
fornecer ou encontrar um mtodo de verificao que pudesse estabelecer a justificao
racional, e esse mtodo, ou mtodos, deveriam dar conta de verificar as pretenses
cognitivas lanadas pelas diversas classes de enunciados (PUTNAM, 1992, p. 141).
Esses mtodos de justificao racional, almejados pelos positivistas lgicos, que
encerram a verificao (ou, abstratamente, a demonstrao14), procuraro, assim, arrolar
a forma por meio da qual a testabilidade, e a prpria descrio dos mtodos de
justificao racional, poder dar conta do significado dos enunciados. Essa uma
concepo
criteriosa
da
racionalidade,
segundo
qual
existem
normas
13
Embora os positivistas lgicos tivessem abandonado noes humeanas como ideia e impresso,
para citarmos dois exemplos.
14
Trata-se de demonstraes lgicas. No caso do critrio de que os enunciados cognitivamente relevantes
devam ser passveis de verificao e testes, estamos a falar de enunciados sintticos; no caso daqueles que
so verdadeiros ou falsos em razo das regras lgicas e significado dos termos, estamos a falar dos
enunciados analticos.
15
importante notar que at a publicao da obra de Carnap intitulada Logical Foundations of
Probability (1950), os positivistas lgicos supunham haver, segundo Putnam, um mtodo formal (lgica
indutiva), e que o trabalho continuado podia resultar numa enunciao explcita deste mtodo, uma
formalizao da lgica indutiva comparvel formalizao da lgica dedutiva que fora realizada partindo
da obra de Frege 1879 (PUTNAM, 1992, pp. 233-234). As caractersticas dessa convico sero
estudadas no captulo 1 deste trabalho, quando da descrio geral do positivismo lgico.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
10
Artigos/Articles
16
Putnam usa como marco do inicio da sutil flexibilizao da noo de fato as alteraes nos critrios de
verificao constantes no artigo de Carnap intitulado Testability and Meaning (1936-7), publicado
originalmente na revista Philosophy of Science.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
11
Artigos/Articles
Posteriormente, Carnap considerou que entidades fsicas, tais como os eltrons, prtons, no so
entidades que formam as teorias a partir de simples definies, mas so consideradas entidades
primitivas. Segundo Putnam, essa reconsiderao provocou uma reviso profunda nos critrios acima
mencionados, haja vista que ao serem tomadas como primitivas, certas entidades no precisariam mais ser
submetidas aos critrios. Antes, se algum termo cientfico abstrato pudesse assegurar-nos maior poder
preditivo em uma teoria, deveramos, assim, toma-lo como empiricamente significativo. (PUTNAM,
2008a, p. 41). E predizer, para os positivistas lgicos, significa deduzir sentenas de observao a partir
de uma teoria (2008a, p. 46). No caso presente, essas consideraes de Putnam interessam-nos em razo
da noo de fato do empirismo lgico. Embora Putnam esteja convencido de que no critrio positivista
lgico revisado do significado cognitivo, o sistema dos enunciados cientficos como um todo que tem
contedo factual (2008, p. 41). Isso pode ser afirmado pelo que ns j expomos anteriormente. Dentro
de uma teoria cientfica, o conjunto de enunciados articulados proporciona a capacidade de, por exemplo,
prever-se um evento. Ora, se esse conjunto de enunciados, enunciados esses considerados de modo
articulado, nos garante que um evento pode ocorrer, devemos concluir que o conjunto de enunciados
significativo do ponto de vista emprico. Mas essa concluso vlida para o conjunto de enunciados, na
perspectiva inter-terica. Na perspectiva de um enunciado, considerado individualmente, a concluso
muda. Se tivermos, dentro do conjunto de enunciados de uma teoria que garante previsibilidade, um
enunciado que postula a existncia de um termo abstrato, poderamos entender o conjunto de enunciados
como cognitivamente relevante, pelos motivos j expostos, mas no poderamos fazer o mesmo com o
enunciado individual. Isso de deve ao fato de que, tomado individualmente, um enunciado que postula
uma entidade abstrata pode estar destituda de meios de confirmao (como, por exemplo, a
previsibilidade empiricamente significativa prestada pelo conjunto de enunciados) justamente em razo
do seu carter. Assim, um enunciado individual que postulasse uma entidade abstrata somente seria
significativa quando interpretada no interior de uma teoria formada por enunciados empiricamente
relevantes. Individualmente, um enunciado de tal espcie no teria relevncia cognitiva, ou melhor, no
possuiria significado. Por isso, Putnam afirma que a viso geral do conceito de fato do empirismo lgico
continuou, no fundo, apesar da reviso do conceito, muito influenciada pelo empirismo clssico. Os
enunciados individuais eram aceitos na linguagem cientfica como meros artifcios para derivar as
sentenas que enunciam realmente os fatos empricos, a saber, as sentenas de observao (2008a, p.
41).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
12
Artigos/Articles
enunciados que ele mesmo afirma serem aqueles cognitivamente relevantes. , desse
modo, autorrefutante, apesar de sua alterao na noo de fato, pois o prprio critrio
dos positivistas lgicos no (a) analtico, nem (b) testvel empiricamente (1992, p.
142).
Nos dias atuais, embora o positivismo lgico no esteja mais em voga, grande
parte dos filsofos analticos se coaduna ideia de que a linguagem cognitivamente
significativa deve seguir o modelo de uma linguagem fsica18. Assim, por exemplo,
muito comum exigir-se na abordagem relativa a termos psicolgicos da linguagem
ordinria, (2008a, p. 44-45) que esses se refiram, necessariamente, a estados cerebrais.
Assim, a tristeza, como exemplo de um termo psicolgico da linguagem ordinria,
deveria referir-se a um estado cerebral que lhe corresponda. Esse estado cerebral seria,
destarte, a causa do estado psicolgico expressa pelo termo em questo.
Diante de tal condicionamento relativo linguagem cognitivamente relevante,
de se surpreender que possamos fazer qualquer tentativa de prestar aos valores um
status de significativos. Para Putnam, a linguagem que o positivismo adota se baseia em
uma adoo da noo de fato que bastante limitada e, por isso, incapaz de perceber
que a distino entre fato e valor no uma dicotomia.
Essa postura tem sido a habitual, expressando um naturalismo em filosofia, tese segundo a qual os
termos com significado podem ser expressos em linguagem cientfica e, em ltima instncia, em
linguagem fsica. Repercusses a esse respeito podem ser visualizadas na interseo entre neurocincia e
filosofia, por exemplo.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
13
Artigos/Articles
A noo de que objetividade e fato devem ser igualados a descrio rejeitada por Putnam, como
veremos a seguir.
20
Op. cit. 18
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
14
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
15
Artigos/Articles
21
Segundo Simon Blackburn, Um realista sobre um assunto A pode sustentar (I) que os tipos de coisas
descritas por A existem; (II) que sua existncia independentes de ns, ou que no so objetos
produzidos pela nossas mente, linguagem ou esquema conceitual; (III) que as afirmao que fazemos em
A no so redutveis a outros tipos de afirmaes eu possam afinal revelar ser acerca de outra coisa que
no A; (IV) que as afirmaes que fazemos em A tm condies de verdade, constituindo descries
inequvocas de aspectos do mundo, sendo verdadeiras ou falsas em funo dos fatos do mundo; (V) que
conseguimos obter verdades acerca de A, e que apropriado acreditar completamente no que afirmamos
em A. (BLACKBURN, 1997, p. 335)
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
16
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
17
Artigos/Articles
22
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
18
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
19
Artigos/Articles
muito caros: Se a soma de quaisquer dois (ou mais) objetos for um objeto; se houver
at um objeto formado pela minha orelha esquerda e o nariz do leitor, ento existe de
fato um objeto equivalente soma mereolgica do corpo da lamparina e da sombra
(2008c, p. 21).
Este exemplo levantado por somas mereolgicas suscita uma modificao das
concepes tradicionais acerca dos objetos e, mais ainda, da alegao de conhecimento
possvel que deles temos, e de que suas propriedades possveis so passveis de
mudanas centrais. Segundo Putnam:
24
(2008c, p. 22).
Embora essa contribuio possa ser tomada de vrios modos, tal como o prprio
25
James e Putnam o fizeram, esse diz que no estamos habilitados a concluir o mesmo
que aquele, a saber, que ns criamos, em parte, o mundo. Ora, para Putnam a existncia
de uma realidade independente de ns algo do qual no podemos duvidar a srio, e o
simples fato de assumir isso j o coloca na categoria daqueles que aderem ao realismo.
A caracterstica agora enfatizada a recusa da chamada ingenuidade do realismo
24
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
20
Artigos/Articles
tradicional, segundo a qual existe uma totalidade fixa de objetos e propriedades em cuja
relao descobrimos as propriedade para denotar os objetos.
O que motiva esta dispensa da ingenuidade do realismo tradicional a
compreenso de que nossa linguagem e seu evidente uso esto colocados desde sempre,
e que no devemos transigir com a ideia de que as propriedades, expressadas pelos
conceitos, modos de referncias, formas de descries, apresentao de significados,
etc., so imutveis. Putnam esclarece sua posio da seguinte maneira:
A ideia de que nossas palavras e nossa vida so constrangidas por uma realidade
exterior a ns desempenha um importante papel em nossa vida e deve ser respeitada.
A fonte de confuso reside no erro filosfico vulgar de se supor que o termo
realidade tem de referir-se a uma nica supercoisa, em vez de considerar as formas
como renegociamos incessantemente e somos forados a renegociar nossa noo
de realidade medida que nossa linguagem e nossa vida se desenvolvem.
(PUTNAM, 2008, 23)
26
Antecipando o pensamento que Habermas cita de Putnam, no existe tal coisa como a linguagem
prpria do mundo. A citao completa est no captulo 3 deste trabalho, na pgina 50.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
21
Artigos/Articles
27
No haver uma linguagem prpria natureza, com a qual poderamos nos referir a ela perfeitamente,
caso consegussemos fazer uso de tal linguagem, no nos coloca na difcil situao na qual no podemos
nos referir com preciso realidade: apenas teremos, para descrever e denotar as propriedades da
natureza, que fazer uso de uma terminologia que no intrnseca realidade, mas a qual ela se refere e
por ela motivada efetivamente. Podemos afirmar que os termos que usamos para nos referir natureza
lhe so extrnsecos, embora se refiram a ela, sempre com maior ou menor grau de preciso, e por ela so
motivados. Por isso, a ns, na acepo lingustica, cabe renegociar nossos termos de referncia
(PUTNAM, 2008c, p. 23).
28
A dificuldade que se tem ao tentar conectar as questes clssicas do realismo tradicional a uma anlise
de sua influncia nas questes de valor (tico) est posta pela falta de acuidade que temos, pois no
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
22
Artigos/Articles
damos importncia suficiente quilo que as une trata-se de uma polarizao, tambm estanque, entre
objetividade e subjetividade. Uma tomada de posio inovadora com relao ao realismo implicar outro
ponto de vista concernente objetividade, pois teremos que atenuar, no caso especfico de Putnam, a
linha entre a objetividade e a subjetividade para darmos conta dos aspectos perceptivos com relao ao
mundo ou, em outras palavras, para conseguirmos explicar a relao entre a mente e o mundo. Est
patente que nos interessa enfatizar os tpicos que podero nos fornecer o instrumental necessrio para
seguir o argumento de Putnam, e que a linguagem exerce um papel fundamental que estar no centro da
compreenso putnamiana da verdade. Temos, neste momento, a sua crtica ao realismo tradicional.
29
Corroborada, posteriormente, por caractersticas tpicas do empirismo, como, por exemplo, os dados
dos sentidos.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
23
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
24
Artigos/Articles
por ns aplicados a ela. No obstante, esses conceitos so suscitados pela presso dessa
realidade exterior que, assim, corrobora sua formao, e, portanto, no so meramente
casuais ou convencionais. O fato de nossos usos e aplicaes de conceitos se referirem a
uma realidade exterior independente de ns quer dizer, a uma s vez, que no h algo
como propriedades de objetos independentes de nossa linguagem (2008a, p. 23); e
tambm que nossa linguagem conceitual refere-se a caractersticas dessa realidade
exterior (PUTNAM, 1992, p. 176).
De acordo com isso, podemos dizer que termos avaliativos como coerente,
simples, etc., no so destitudos de uma aplicao que se relaciona com a realidade,
visto que no tocante aplicao desses termos h uma importante adequao a essa
realidade mesma. Aplicar um conceito , dessa maneira, adequ-lo quilo que referido
no unicamente de modo individual (o que culminaria em um subjetivismo de tipo
solipsista), mas tambm de modo reconhecvel, o que significa que a aplicao deve
poder ser compreendida por outros usurios da linguagem, e no to-somente pelo
indivduo que realiza (ou aciona) a aplicao imediata (1992, pp. 158-159).
Portanto, a tarefa de aplicar um termo avaliativo realidade no uma tarefa
apenas subjetiva, pois, caso o fosse, poderamos dizer que uma teoria qualquer
coerente, para o indivduo x e no coerente, para o indivduo y. Porm, isso
contraria a prpria natureza do termo coerente, pois h nesse termo uma
reinvindicao que no meramente a possibilidade de uso privado, mas, antes, a
reinvindicao de uma aplicao conceitual que possa ser reconhecida por indivduos
em seu carter intersubjetivo.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
25
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
26
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
27
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
28
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
29
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
30
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
31
Artigos/Articles
Nota-se que o mbile que faz com que cada qual se posicione em relao a
fatores externos o interesse prprio aquilo que agrada em primeiro lugar a si mesmo.
O outro indivduo, assim como todo objeto de interesse, visto como um meio para a
satisfao da vontade particular. Prossegue o autor:
Assim constatamos que, o mais das vezes, nesse tipo de reunio ferimos os
ausentes; sua vida inteira, todos os seus direitos e aes so examinados,
julgados, condenados; at mesmo muito raro que algum presente no receba
alguma seta antes de partir, de modo que no m a razo daquele que
procura ser sempre o ltimo a ir embora (HOBBES, 1992, p. 30).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
32
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
33
Artigos/Articles
2003, p. 147). Assim, os homens naturais instituem uma condio na qual aquele que
recebe a autorizao se torna soberano absoluto sobre as vontades dos contratantes.
O soberano, pessoa artificial, alma do corpo poltico, institudo para oferecer
segurana e proteo aos sditos. Assim, a lei suprema a segurana e proteo do
povo (HOBBES, 1992, p. 220). Observemos, na argumentativa a seguir, algumas das
exigncias bsicas dos sditos:
1. Serem defendidos contra inimigos externos. 2. Ter preservada a paz em
seu pas. 3. Enriquecerem-se tanto quanto for compatvel com a segurana
pblica. 4. Poderem desfrutar de uma liberdade inofensiva (HOBBES, 1992,
06, p. 223).
BIBLIOGRAFIA
HOBBES, Thomas. Do Cidado. Traduo de Renato Janine Ribeiro. So Paulo:
Martins Fontes, 1992.
______. Leviat. Traduo de Joo Paulo Monteiro; Maria Beatriz Nizza da Silva. So
Paulo: Martins Fontes, 2003.
______. Os Elementos da Lei Natural e Poltica. Traduo de Bruno Simes. So
Paulo: WMF Martins Fontes, 2010.
3
Embora o Estado tenha como finalidade oferecer segurana e proteo, Hobbes admite que seja
impossvel que essas coisas se estendam de modo completo aos cidados, de modo que ningum corra
risco de morte violenta, danos fsicos ou morais. Mesmo assim, escreve o autor, [...] pode-se
providenciar que no haja causa justa para o medo (HOBBES, 1992, p. 117).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
34
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
35
Artigos/Articles
RESUMO: Tendo como base a primeira parte de As obras do amor, texto publicado por
Kierkegaard em 1847, o presente artigo pretende analisar o conceito kierkegaardiano de amor a
partir de sua relao com o dever e da compreenso de prximo enquanto reduplicao. O texto
tenta situar ainda a crtica feita pelo pensador da existncia s formas de amor baseadas na
afeio e na predileo e a vinculao feita por Kierkegaard entre o gape e a eternidade.
PALAVRAS-CHAVE: Amor; Dever; Reduplicao; tica; Cristianismo.
Rsum: Sur la base de la premire partie des Ouvres d'amour, texte publi par Kierkegaard en
1847, cet article vise analyser le concept de Kierkegaard de l'amour de sa relation avec le
devoir et la comprhension tout en suivant le redoublement. Le texte tente encore au penseur
critique adopte par l'existence de formes de l'amour sur la base de l'affection et de tendresse et
d'attachement faite par Kierkegaard entre agape et l'ternit.
Mots-cls: Amour; Devoir; Redoublement; thique; Christianisme.
INTRODUO
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
36
Artigos/Articles
CRTICA
KIERKEGAARDIANA
AOS
AMORES
PREDILETIVOS
Pois o Cristianismo entende melhor do que qualquer poeta o que seja o
amor e o que seja amar; justamente ele tambm sabe aquilo que escapa
aos poetas, que o amor que eles cantam, ocultamente, o amor de si [...]
O amor natural ainda no o eterno, ele a bela vertigem da infinitude
[...] Tanto o objeto do amor natural quanto o da amizade tm por isso o
nome do amor de predileo. (KIERKEGAARD, As obras do amor).
Em um texto de 1847 publicado por Kierkegaard com o ttulo As obras do amor:
Algumas consideraes crists em forma de discurso, o filsofo da existncia analisa o
sentido do amor em sua relao com o Cristianismo. Para isso, ele toma como referncia
o mandamento do amor enunciado pelo prprio Cristo nos evangelhos (Mt. 22:39) e o
famoso Hino do amor do apstolo Paulo (I Co. 13). Nesta obra, o pensador dinamarqus
preocupa-se em estabelecer uma distino entre o amor natural e a amizade das
concepes platnica e aristotlica e o amor no sentido estritamente cristo. As duas
primeiras formas so marcadas pela predileo, pela demonstrao de afeio e por
certa medida de prazer sensvel. Neste sentido, o ato de amar est relacionado a nutrir
determinado desejo por aquilo que consideramos aprazvel e que, em geral, tomamos
por digno das nossas afeies mais ntimas. Estas formas de amor, no entender de
Kierkegaard, no possuem o carter de exigncia, pois so amparadas por uma
inclinao natural.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
37
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
38
Artigos/Articles
consequncia desse carter prediletivo o amor s pode ser pensado como um sentimento
que se nutre em direo a um objeto desejvel. De fato, a relao entre o ato de amar e o
prazer sensvel torna impossvel que o Eros seja direcionado a um objeto desprezvel.
Para Scrates, um objeto nos atrai em virtude de sua beleza e nos repele em funo de
sua feiura. Dito de outro modo, aquilo que nos parece belo, incita o nosso desejo e isto
nos leva a am-lo. Por outro lado, o feio parece despertar o nosso repdio, impedindonos de amar tal objeto. Alm disso, conforme observa Campos (2013, p. 87) em sua
descrio do eros platnico, o desejo ingente de desfrutar do objeto querido exige que
o mesmo seja de beleza compatvel, razo porque, sempre que percebe o fim iminente
do amor, o amante surpreendido pela melancolia.
luz da crtica kierkegaardiana, a sensao aprazvel que caracteriza o amor
natural ao modo platnico diverge radicalmente do carter exigente do gape cristo. O
poeta, na compreenso do Dinamarqus tal qual uma criana mimada, incapaz de
aceitar a ordem solene do amor (KIERKEGAARD, 2007). Por isso, como em uma
espcie de fuga, emprega seus esforos apenas para cantar o amor. No h no gape a
ternura condescendente, aquele prazer vibrante que, como um turbilho febril, agita o
corao dos amantes, aquela reciprocidade feliz e aconchegante capaz de satisfazer a
fome inquietante de amar e ser amado. Que poeta, questiona-se o pensador da
existncia, ousaria dedicar um nico verso para louvar uma forma to antinatural de
amor?
A discusso kierkegaardiana acerca do amor, como j destacado, passa tambm
por uma crtica ao conceito de filia esboado por Aristteles. De fato, o carter
prediletivo da amizade percebido com muita clareza no livro VIII da tica a
Nicmaco, o qual o filosofo grego dedica inteiramente para falar acerca dessa forma de
amor. Na compreenso aristotlica, a reciprocidade uma das marcas fundamentais da
amizade. Segundo suas prprias palavras, para serem amigas, as pessoas devem
conhecer uma a outra desejando-se reciprocamente o bem, por uma das razes
mencionadas (ARISTTELES, 2001, VIII 1156a). De fato, a amizade marcada pelo
vnculo recproco, continua Aristteles, perfeita tanto no que se refere durao
quanto a todos os outros aspectos, e nela cada um recebe do outro, em todos os sentidos,
o mesmo que d (ARISTTELES, 2001, VIII 1157a). Em outras palavras, o ideal
que haja uma igualdade entre os amigos. Se na relao predominar a desigualdade, os
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
39
Artigos/Articles
PRESSUPOSTO,
PRXIMO
QUESTO
DA
REDUPLICAO
Suprfluo provar aos homens que tm rosto. Suprfluo tambm seria
demonstrar-lhes possurem amor-prprio. O amor-prprio o
instrumento da nossa conservao. Assemelha-se ao instrumento da
perpetuao da espcie. Necessitamo-lo. nos caro. Deleita-nos.
(VOLTAIRE, Dicionrio filosfico).
Pois quando dito tu deves amar o prximo como a ti mesmo, a est
contido o que pressuposto, ou seja, que todo ser humano ama a si
mesmo (KIERKEGAARD, As obras do amor).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
40
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
41
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
42
Artigos/Articles
Segundo France Farago, o escndalo o sofrimento da razo crucificada nas tenses e contradies da
realidade ontolgica que a precede na ordem do ser. Em um texto de 1850, denominado Exerccio do
Cristianismo e publicado com o pseudnimo Anticlimacus, Kierkegaard esclarece que o Cristianismo
sempre marcado pela possibilidade do escndalo, pois coloca a f paradoxal como elemento fundamental
da relao entre o homem e Deus, negando com isso a possibilidade de uma comunicao direta. O acesso
a Deus, portanto, no se d pela via da razo, mas pela via da f.
5
A expresso empregada por Ricardo Quadros Gouvia em sua obra Paixo pelo paradoxo. O
evangelho ofensivo, por isso, rejeitado pelo paganismo.
6
Em obras como Migalhas filosficas e no Ps-escrito conclusivo no conclusivo s migalhas filosficas
Kierkegaard desenvolve o conceito de paradoxo absoluto, fazendo referncia doutrina da encarnao de
Cristo. Ou seja, no h como compreender racionalmente o modo como o eterno se delimita no tempo.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
43
Artigos/Articles
Dentro do cristianismo primitivo o banquete tem o seu lugar de destaque. Conforme o relato joanino, em
um banquete Cristo realizou seu primeiro milagre transformou gua em vinho nas bodas de Can da
Galileia; em um banquete o Mestre se despediu de seus discpulos antes de sua paixo; aps a
ressurreio, depois de um banquete na praia do mar da Galileia, renovou o nimo dos discpulos; os
cultos primitivos eram sempre acompanhados de banquetes: as chamadas festas gapes ou festas de amor.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
44
Artigos/Articles
seja amado seria o mesmo que pedir que algum goste do sabor embolorado do po ou
do barulho emitido pela furadeira eltrica. Com um objeto no amvel s possvel
relacionar-se amorosamente por meio de um amor gracioso, dadivoso e desprovido de
qualquer atitude interesseira. Eis a exata dimenso do gape na compreenso
kierkegaardiana. Na anlise do pensador dinamarqus percebe-se claramente a distino
entre natureza e graa referendado pela tradio crist, expressado, por exemplo, por
Toms de Kempis quando afirma que a natureza trabalha por seu interesse e s atenta
no lucro que lhe pode vir; a graa no considera o que lhe til e cmodo, mas o que a
muitos proveitoso (KEMPIS, 2008, p. 166).
Deve-se acrescentar, no obstante, que a questo no reside em apenas alimentar
as pessoas pobres. Essa refeio precisa ter a dignidade de uma grande festa. Aquele
que alimenta os pobres, mas no sobrepuja seus sentidos a ponto de chamar esta
refeio de um banquete, s v no pobre e no pequeno um inferior; aquele que d um
banquete v no pobre e no pequeno o prximo por mais ridculo que isso possa
parecer aos olhos do mundo (KIERKEGAARD, 2007, p. 104). Deve-se evitar, por
conseguinte aquilo de Kierkegaard denomina no primeiro captulo de sua obra como
praticar as obras do amor de modo desamoroso. Ver no miservel uma forma de
manifestar a nossa grandeza, ainda que seja por meio do saciar a sua fome um modo
desamoroso de praticar as obras do amor. A propsito, nos Discursos edificantes de
1843 o filsofo dinamarqus denuncia a atitude daqueles que esto dispostos a ajudar o
necessitado, mas, ao mesmo tempo, exigem deste seu respeito, admirao e sujeio
(KIERKEGAARD, 2010). Neste ponto, Pascal poderia ser invocado para reforar a tese
kierkegaardiana. Nas palavras do pensador francs, apiedar-se dos desgraados no
contra a concupiscncia. Ao contrrio, bem satisfeitos ficamos com render esse preito
de amizade e angariar uma reputao de ternura sem nada em troca (PASCAL, 2005,
p. 142). A essncia graciosa do gape consiste em uma espcie de rebaixamento
daquele que ama e, ao mesmo tempo, em uma tentativa de anulao da misria do
objeto amado.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
45
Artigos/Articles
se submetido
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
46
Artigos/Articles
possui apenas um olho para o seu alvo (KIERKEGAARD, 2007, p. 53). Isso porque,
fazendo eco ao texto paulino, o amor tudo cr e, no entanto, jamais iludido.
Os amores naturais podem, por fim, se transformar em hbito. Como nos lembra
Kierkegaard, isso ocorre quando o amor perde seu fogo, sua alegria, seu prazer e
originalidade, semelhante ao um rio que salta impetuoso do penhasco, mas vai
enfraquecendo mais abaixo. A propsito o hbito para o autor Doena para morte o
mais prfido dos inimigos dos amores imediatos. Diferente do dio e do cime, ele
jamais se permite mostrar como tal. Em uma analogia, ele semelhante ao animal
sorrateiro que se alimenta do sangue de suas vtimas enquanto elas esto dormindo. Ele
a refresca com o bater de suas asas tornando o seu sono ainda mais refrescante
(KIERKEGAARD, 2007, p. 55).
Segundo a concepo kierkegaardiana, o amor enquanto dever est intimamente
vinculado eternidade. Disso decorre que o problema da alterao ao qual esto
expostos os amores espontneos no lhe afetam. De fato, s a partir de sua relao
com a eternidade que o amor pode converter-se em dever e, por conta disso, est apto a
permanecer. Como o pensador da existncia afirma, quando o amor submeteu-se
mudana da eternidade, em se tornando um dever, a ele adquiriu continuidade e da
segue-se que ele perdure (KIERKEGAARD, 2007, p. 49). Esta passagem est
plenamente de acordo com aquilo que o filsofo de Copenhague j afirmara nos
Discursos edificantes de 1843. Ali de modo assertivo, ele declarara que toda ddiva
boa e perfeita que um homem pode dar amor, e, acerca dele, todos os homens em
todas as pocas sabem que ele procede de cima (KIERKEGAARD, 2010, p. 166). O
exerccio das obras do amor-dever, como j foi visto, marcado por um carter
exigente. Por esta razo a vinculao entre o amor e a eternidade torna-se imperativa.
No sem razo, nos evangelhos, o mandamento do amor ao prximo antecedido pelo
mandamento do amor a Deus. Ou, como Kierkegaard (2010, p. 95) diria nos Discursos
edificantes, o segredo do amor terreal consiste em que leva sobre si o selo do amor de
Deus. Sem esta relao, o amor pode facilmente, converter-se em desespero. Todo
aquele que tentar quebrar esse vnculo haver de perder a essncia do amor cristo.
Como afirma Viallaneix (1977), o amor a Deus e o amor ao prximo so como duas
portas que se abrem ao mesmo tempo, se uma estiver fechada, a outra tambm estar.
Considerando a centralidade dessa relao, Kierkegaard desenvolve o conceito de
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
47
Artigos/Articles
triplicidade. Para ele, quando o amor no est ligado eternidade s possvel falar em
reciprocidade, um relacionamento marcado pela troca entre o amante e o amado.
Quando, porm, o amor passou pela transformao da eternidade no h mais apenas os
dois, mas trs: o amante, o amado e Deus, a prpria essncia e fundamento do amor. O
amor que no est amparado pela triplicidade, mas baseia-se apenas na duplicidade da
reciprocidade, mantm as portas abertas para o surgimento do amor egostico j
descartado pelo filsofo dinamarqus. Na superao do amor egostico bem como na
relao com a eternidade, indispensvel a seriedade. Conceito central do pensamento
kierkegaardiano, a seriedade consiste em usar a vontade para dominar a si mesmo,
tornando-se o que estava destinado a ser desde a eternidade e exprimir a eterna beatitude
em cada ao de forma que o existente, existindo, transforme tudo na sua existncia
como prova de respeito ao Bem-Supremo (ALMEIDA, 2009, p. 50).
Somente quando o amor experimentou a mudana da eternidade tornando-se
dever ele est eternamente assegurado. Esta segurana, nos diz o Dinamarqus, previne
o gape de ser afetado em trs sentidos. Antes de tudo, o amor que submeteu-se
transformao da eternidade, est devidamente assegurado contra a angstia. Em um
texto de 1844, sob o pseudnimo Vigilius Haufniensis, Kierkegaard j discutira
amplamente acerca do conceito de angstia, enumerando as vrias formas em que este
estado se expressa e a sua relao com o pecado e a liberdade. Aqui o seu objetivo
bem mais modesto, restringindo-se apenas a demonstrar a vinculao que poderia existir
entre a angstia e o amor, caso este no tenha se submetido transformao da
eternidade. Quando o amor no dever, os amantes so facilmente assolados pela
angstia ao se depararem com a possibilidade de sua alterao. A angstia, afirma
Kierkegaard revela-se, sobretudo, no desejo que tanto o amante quanto o amigo tm de
colocar seu amor prova. Este anseio de que o sentimento seja provado revela a sua
insegurana e, consequentemente, a angstia ao perceberem que seu amor no est
completamente assegurado. A rigor, a prova no , de jeito nenhum, a demonstrao de
segurana do amor. O provar, declara o pensador da subjetividade, relaciona-se sempre
com uma possibilidade, de qualquer modo sempre possvel que aquele que provado
no seja aprovado (KIERKEGAARD, 2007, p. 50). Por outro lado, o gape no
precisa de nenhuma prova. Afinal de contas, que prova de permanncia teria valor para
o amor que traz em si o selo da eternidade? De fato, a converso do gape em dever
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
48
Artigos/Articles
leva-o a prescindir de qualquer prova e essa , no entanto, a suprema prova na qual ele
aprovado. Essa aprovao, por sua vez lana fora qualquer angstia.
O amor que experimentou a mudana da eternidade est assegurado no apenas
contra a angstia, mas ele tambm est eternamente libertado em uma feliz
independncia. Em princpio soa desconcertante falar em independncia feliz luz de
um amor que se define em sua relao com o dever. Como algum que obrigado a
amar poderia ao mesmo tempo desfrutar dessa independncia feliz? Antes de tudo,
Kierkegaard tece uma crtica cida ao pretenso conceito de independncia associado aos
amores imediatos. Independncia que no tem coragem para se comprometer na
verdade uma expresso de covardia. Alm disso, continua o autor dinamarqus, ser
independente no significa estar livre de necessidade. No amor proposto pelo autor de O
conceito de angstia, a maior riqueza consiste exatamente em ter uma necessidade, sua
maior liberdade consiste em sujeitar-se a uma lei. Ao modo kierkegaardiano:
O amor que se submeteu transformao da eternidade em se tornando dever, e ama
porque deve amar, independente, tem a lei de sua existncia na prpria relao do
amor para com o eterno. Este amor jamais pode tornar-se dependente no sentido no
verdadeiro, pois a nica coisa de que ele depende o dever, e o dever a nica coisa
que liberta. O amor imediato torna um ser humano livre, e no instante seguinte
dependente (KIERKEGAARD, 2007, p. 56).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
49
Artigos/Articles
Alm disso, o
CONSIDERAES FINAIS
A partir das consideraes acima, pode-se estabelecer dois pontos fundamentais.
Em primeiro lugar, percebe-se que a acusao feita a Kierkegaard de solipsista
improcedente e implausvel, pois no leva em considerao a categoria do prximo em
As obras do amor. Assim, no seria foroso afirmar que o pensador da subjetividade e
da individualidade tambm o pensador da alteridade. Visto que apenas quando o
homem se faz indivduo, e verdadeiro indivduo singular aquele que empregou a sua
singularidade para dirigir-se ao Eterno, estar apto a dirigir-se ao outro de modo
adequado. Dito de outro modo, no existe ningum mais apto para reconhecer a
alteridade amando o prximo do que aquele empregou sua singularidade para amar a
Deus.
Em segundo lugar, no h contradio na relao entre amor e dever. Em outras
palavras, o dever no necessariamente uma negao da independncia do amor. Como
vimos, possvel pensar em uma independncia mesmo a partir do comprometimento,
do dever. O gape independente no sentido de ter autonomia para ser eternamente o
que . Ele to livre que as contingncias do objeto amado no so capazes de alter-lo
e convert-lo em seu oposto.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
50
Artigos/Articles
BIBLIOGRAFIA
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
51
Artigos/Articles
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
52
TRADUES/TRANSLATIONS
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
54
Tradues/Translations
No h dvida de que o rtulo internismo (ou o rtulo contrastante externismo) pode ser
aplicado a abordagens ao conhecimento; mas parece claro que, se vamos us-los para marcar
uma distino interessante aqui, isso tem de ser em virtude deles se ligarem a algum elemento
ou ingrediente mais restrito do conhecimento, presumivelmente ou garantia ou justificao
sendo que os outros ingredientes plausveis do conhecimento, nomeadamente a crena, a
verdade e alguma condio anti-Gettier parecem cada um deles se enquadrar claramente ou no
internismo (a crena) ou no externismo (os outros dois). Michael Bergman sugeriu que a
noo de internismo deveria ser considerada como pertencendo primariamente garantia,
entendida (no sentido tcnico introduzido por Plantinga3) como seja o que for que se adicione
crena verdadeira para produzir conhecimento;4 mas alm dessa incluso da condio antiGettier obviamente externa, essa noo de garantia me parece altamente artificial,
correspondendo a nada no pensamento comum, e tornando os principais argumentos intuitivos
difceis ou impossveis de se avaliar. Por essas razes, seguirei inicialmente a maior parte da
bibliografia tomando a noo de internismo e da distino resultante como se aplicando
primariamente s abordagens da justificao epistmica, aceita por enquanto com uma das
exigncias para o conhecimento (junto com a crena, a verdade, e a condio anti-Gettier)
embora eu v (no 3) discutir algumas razes para se duvidar do quo satisfatria de fato
essa concepo.
O que significa, ento, dizer que uma abordagem da justificao internista em carter? O
que exatamente supomos como interno ao qu? Num respeitado manual introdutrio, Mathias
Steup oferece a seguinte caracterizao:
O que torna uma abordagem da justificao internista que ela impe certa condio queles
fatores que determinam se uma crena justificada. [...] A condio requer [que tais fatores]
sejam internos mente do sujeito ou, pondo de outro modo, acessvel reflexo.5
Temos aqui aquelas que claramente so as duas principais alternativas nas discusses recentes
sobre uma abordagem ao internismo,6 alternativas que parecem de fato distintas.7 De acordo
3
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
55
Tradues/Translations
com a primeira, qual Conee e Feldman (talvez seus principias proponentes) adotaram o
rtulo mentalismo, uma abordagem internista apenas no caso em que recorre apenas a
coisas que so internas vida mental da pessoa, a estados, eventos e condies mentais
ocorrentes e disposicionais.8 De acordo com a segunda, que mais comumente referida com
internismo acessibilista, uma abordagem internista aquela de acordo com a qual os
fatores justificativos todos eles, de acordo com a maioria das verses comuns tm de ser
acessveis pessoa, num sentido em que preciso pelo menos alguma clarificao. Vale a
pena notar que a base para a concepo mentalista do internismo parece ser,
surpreendentemente, metafsica em carter; ao passo que, em contraste, a base para a
concepo internista acessibilista reconhecidamente epistemolgica.9
Qual dessas duas perspectivas melhor capta a ideia intuitiva central do internismo? Ao pensar
sobre essa questo ser til ter em mos uma amostra da perspectiva externista da justificao
epistmica para servir como ponto dialtico, pois certamente um bom teste para uma
abordagem internista que ela possa dar um tratamento claro daquilo que supostamente falta s
perspectivas externistas. A escolha bvia para esse propsito, e de fato a nica perspectiva
externista especfica que ser discutida, o fiabilismo: a perspectiva de que uma crena
epistemicamente justificada se resulta de um processo cognitivo que (suficientemente) fivel
em produzir crenas verdadeiras.10 Argumentarei que o mentalismo faz um trabalho
insatisfatrio em captar o contraste pretendido com tal perspectiva externista e, que, por essa
razo, o internismo acessibilista prefervel.11
H dois aspectos dessa razo. A primeira que h exemplos possveis de estados e processos
mentais que no parecem produzir o tipo de justificao internista que seria contrastado da
maneira correta com o fiabilismo. Considere, por exemplo, a ideia bastante aceita de estados
mentais inconscientes, estados que presumivelmente poderiam ser combinados com processos
8
Conee e Feldman, Internalism Defended, em Conee e Feldman, 2004, pp. 55-56. Na formulao preferida
deles, a tese internista a de que a justificao epistmica sobrevm a itens desse tipo.
9
Embora me foque quase que inteiramente nessas duas concepes de internismo, elas no so as nicas a serem
encontradas na bibliografia. razoavelmente claro, porm, que so as mais proeminentes e geralmente aceitas.
10
O criador e principal proponente do fiabilismo , certamente, Alvin Goldman. Veja inter alia Goldman, 1986.
11
A razo inicial de Conee e Feldman para adotar o mentalismo como abordagem ao internismo que ele se
aproxima bastante das distines [entre internismo e externismo] na sua contraparte na filosofia da mente e na
tica (Conee e Feldman, 2004, p. 57): as posies internistas nessas outras reas so teses da sobreveincia, e
a formulao preferida de Conee e Feldman do mentalismo, como notado acima, sustenta que o estatuto
justificacional sobreveniente aos estados mentais. Mas essa razo obviamente no tem uma tendncia real de
mostrar que a mentalismo assim entendido o melhor modo de capturar a distino epistemolgica que nos
interessa: que h um paralelo significativo entre a epistemologia e essas outras reas no obviamente algo que
possa ser aceito antes que uma abordagem epistemologicamente adequada seja oferecida.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
56
Tradues/Translations
mentais inconscientes. No h razo aparente pela qual esses estados ou processo mentais no
poderiam de algum modo tornar provvel a verdade de uma crena particular, e nem pela qual
eles poderiam no contribuir causalmente para se sustentar tal crena. Esse seria um tipo de
processo cognitivo fivel, um processo que difere daqueles (tais como os processos
perceptuais mais comumente citados pelos fiabilistas) apenas por serem inteiramente
internos mente. Mas por que esse fato metafsico deveria ter qualquer importncia
epistemolgica, dado que em ambos os casos a razo a favor da crena que est disponvel na
situao no uma razo cuja pessoa em questo normalmente estar ciente? Essa uma
queixa internista comum ao fiabilismo, mas parece tambm se aplicar justificao internista
(de acordo com o mentalismo) anteriormente descrita. Um tipo diferente de exemplo, que
trata do mesmo ponto, uma justificao que apela a algum tipo de propriedade do estado
mental de uma pessoa talvez a coerncia de todo o seu sistema de crenas que seja
demasiado complexa e multifacetada para a pessoa ser sempre capaz de apreender
refletivamente que foi obtida. Novamente, embora uma crena que resulte da presena de tal
propriedade pudesse ser fiavelmente causada, difcil ver por que uma justificao que apela
a esse tipo de situao inteiramente mental deveria contar como internista de modo que as
justificaes fiabilistas comuns no: uma vez mais, h uma diferena metafsica, mas uma
diferena que parece no ter importncia epistemolgica bvia.
O outro lado da moeda a possibilidade de elementos externos mente mas que so, no
obstante, capazes de serem diretamente apreendidos de uma maneira que lhes permita
desempenhar um papel justificativo, um papel que contraste com uma justificao fiabilista
tpica naquilo que intuitivamente parece ser o modo correto. As teorias da percepo realistas
diretas sustentam que os objetos materiais so capazes de serem apreendidos diretamente de
uma maneira que permite que a sua presena na percepo justifique as crenas
correspondentes. E muitas abordagens racionalistas da justificao a priori sustentam que
entidades como universais, entidades matemticas e conexes lgicas podem ser direta ou
intuitivamente apreendidas e, por isso, desempenham um papel na justificao das afirmaes
a priori. Em ambos os casos h entidades mentais envolvidas, mas a suposta justificao
parece envolver essencialmente a relao de tais estados com essas entidades no-mentais, de
modo que as entidades no-mentais desempenham um papel indispensvel.12 Certamente que
ambas as perspectivas foram seriamente criticadas, e meu prprio ponto de vista que a
12
Estou em dbito aqui com uma valorosa discusso em Fumerton, 1995, pp. 60-62.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
57
Tradues/Translations
primeira est errada. Mas na verdade nenhuma delas est to obviamente errada a ponto de ser
completamente ignorada de maneira razovel. O ponto ento que em cada caso a
justificao, embora recorra a entidades no-mentais, parece contrastar com a justificao
fiabilista exatamente na maneira correta epistemologicamente significante: a base para a
justificao aquela em que a pessoa capaz de (i) apreender refletidamente e (ii) avaliar
criticamente, e so essas as caracterstica, concedo, que tornam plausvel classific-la como
internista em carter.13
Sugiro, ento, que a abordagem correta do internismo no fim das contas o internismo
acessibilista: o que principalmente importa no o estatuto metafsico de um elemento ou
fator justificativo, mas ao invs a sua disponibilidade pessoa como uma razo (ou a base pra
uma razo) para se aceitar uma crena particular, uma razo que ela esteja ento em posio
de avaliar criticamente pois a falta dessas caractersticas que fazem uma justificao
fiabilista tpica parecerem insatisfatrias de acordo com as intuies reconhecidamente
internistas. Isso dizer que o tipo relevante de internalidade ser interno perspectiva
cognitiva de primeira pessoa de algum, no qual ser interno sua mente num sentido
metafsico claramente no suficiente e defensavelmente no necessrio.
Esse modo de entender o internismo tem dois corolrios. Um, que, com efeito, temos
pressuposto at agora, mas que s vezes rejeitado,14 que apenas uma perspectiva de acordo
com a qual todos os elementos exigidos para se fornecer uma razo cogente para a crena em
questo so apropriadamente acessveis pode satisfazer a intuio internista fundamental.
Somente se for assim que a pessoa genuinamente tem uma razo, como oposta a meramente
parte de uma razo, para a crena, uma razo que pudesse parecer justificar refletidamente a
crena e que estivesse disponvel para a avaliao crtica. E uma perspectiva externista ser,
ento, aquela que permite que algum elemento que seja essencial cogncia de uma razo
justificativa esteja fora da, externo a, perspectiva cognitiva da pessoa. o fato de que isso
claramente possvel para o fiabilismo que o torna uma perspectiva externista.
13
Outro exemplo seria a posio de G. E. Moore de que os dados dos sentidos, embora objetos da experincia
direta e, por isso, aparentemente capazes de contribuir para a justificao, so eles prprios no-mentais em
carter uma tese que surpreendentemente plausvel em pelo menos algumas concepes dos dados dos
sentidos e daquilo que conta com mental. Veja Moore, 1922, pp. 1-30.
14
E.g. por Bergmann, 1997.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
58
Tradues/Translations
O outro corolrio, que foi ainda mais desafiado, que a acessibilidade dos fatores ou
elementos justificativos tm de ser entendidos de maneira bastante forte. Parte desse desafio
j fora feito na insistncia de Steup e outros sobre a acessibilidade reflexiva: ter acesso
referncia til ou a uma situao perceptvel que pudesse fornecer uma razo no torna essas
razes internamente acessveis da maneira correta, uma vez que at que eu faa aquilo que
exigido para us-las, no tenho efetivamente a razo em questo. Mas do mesmo modo (e eis
outro problema com o mentalismo) o fato de que uma base para uma razo de algum modo
escondida em minha experincia perceptiva, ou no sistema de crenas, ou em outros
contedos mentais de um modo inteiramente desapercebido tambm no parece me fornecer
uma razo apropriadamente internista para a crena correspondente (novamente, a coerncia
irreconhecida do meu sistema de crenas completo um bom exemplo): at que eu faa
aquilo que necessrio para isolar os ingredientes de tal razo e junt-los de maneira
apropriada, novamente no tenho efetivamente a razo em questo e, obviamente, no estou
em posio de avali-la criticamente. No quero aqui insistir que tudo isso tem de ser feito de
maneira explcita e completamente manifesta, embora de um ponto de vista estritamente
epistemolgico isso seja obviamente ideal. Mas algum tipo de conscincia tcita ou implcita
daquilo que est envolvido exigida se tenho que ter uma razo efetiva ao invs de uma razo
meramente potencial. E uma razo meramente potencial no difere de uma justificao
fiabilista na maneira correta: qualquer justificao fiabilista individual uma justificao que
as pessoas pelo menos em princpio poderiam se tornar explicitamente cientes dela, e o mero
fato de que tal conscincia mais fcil de alcanar num caso do que no outro no parece em si
fazer uma diferena epistemolgica na justificao da crena na situao em que tal
conscincia ainda no foi alcanada.
2. Argumentos recentes
Passando aos argumentos a favor e contra essa concepo de internismo e a concepo
correlata de externismo, quero primeiro considerar alguns argumentos que se tornaram padro
em cada lado (focando-me novamente inteiramente nas verses fiabilistas do externismo),
mas que pouco precisa ser dito num exame dos desenvolvimentos recentes. Do lado internista
temos: (1) o apelo a casos do gnio maligno cartesiano e similares a fim de mostrar que a
fiabilidade no necessria para a justificao; (2) o apelo a exemplos de clarividncia e
similares a fim de mostrar que a fiabilidade no suficiente para a justificao; e (3) a
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
59
Tradues/Translations
Para uma discusso mais detalhada desses argumentos, veja BonJour, 2002.
Para uma excelente discusso desse problema, veja Conee e Feldman, The Generality Problem for
Reliabilism, em Conee e Feldman, 2004, pp. 135-165. A tentativa recente melhor desenvolvida e mais extensa
de resolver o problema de longe a de William Alston, no captulo 6 de seu 2005. Contrrio a alegao de
Alston, no estou convencido de que ele tenha sido bem sucedido em resolver o problema, mas h pouca dvida
de que a sua discusso o ponto de partida para qualquer tentativa futura nessa direo.
17
Goldman 1999. As referncias entre parnteses nesta seo sero das pginas desse artigo.
16
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
60
Tradues/Translations
formula ao longo do artigo no correspondem muito bem a algumas das idias que os
internistas reais sempre defenderam. Parece-me que tudo isso d um carter de certo modo
espantalhesco a uma boa parte de sua discusso.18 Na presente discusso, porm, tratarei
primariamente de alguns dos problemas mais especficos que Goldman levanta para o
internismo. No penso que quaisquer desses argumentos apiem a concluso de Goldman de
que o internismo fundamentalmente insustentvel. Mas levantam problemas que uma
perspectiva internista precisa tratar, problemas que podem de fato contribuir de maneira
importante para refinar e clarificar a posio internista.
Considere primeiro aquilo que Goldman de o problema das crenas estocadas:
[...] Num dado momento a vasta maioria das crenas de uma pessoa esto estocadas na
memria ao invs de serem ocorrentes ou estarem ativas [...] Ademais, para quase todas essas
crenas o estado consciente dessa pessoa nesse momento nada inclui que as justifique.
Nenhuma experincia perceptiva, nenhum evento de memria consciente, e nenhumas
premissas
conscientemente
levadas
em
conta
no
momento
selecionado
sero
justificacionalmente suficientes para tal crena. De acordo com o internismo forte, ento,
nenhumas dessas crenas est justificada naquele momento. (p. 278) (Internismo forte aqui
a perspectiva de que apenas fatos sobre os estados conscientes de um agente num momento
particular podem justificar suas crenas naquele momento.)
De fato, o principal problema com o qual Goldman parece estar preocupado aqui, na verdade,
no se limita como tal s crenas estocadas, mas tem a ver ao invs com o problema de se
num dado momento pode haver conscientemente uma base adequada na mente que justifique
praticamente qualquer crena que se possa escolher, esteja estocada ou no. Mas, embora
alguns internistas tenham talvez aceitado tolamente a limitao ao que est disponvel no
momento (por mais extensa que seja!), no h, sugiro, qualquer coisa acerca da base internista
que requeira de algum modo tal perspectiva quixotesca. O que est diretamente disponvel a
partir da perspectiva epistmica em primeira pessoa no deixa de estar disponvel ou se torna
de algum modo externo em carter s porque tem de ser reunido, revisto e examinado a todo
momento. Na verdade, uma razo justificativa ou argumento cujos elementos foram reunidos
ao longo do tempo tm ainda de ser apreendidos de algum modo como um todo unificado
18
Para alguma elaborao desses pontos, veja BonJour 2001. Esse artigo tambm contm uma discusso mais
completa dos argumentos de Goldman do que possvel aqui, e dele que tirei algum do material da presente
discusso. (Para outras considerao internistas dos argumentos de Goldman bastante diferente, veja Earl Conee
e Richard Feldman, Internalism Defended, em Conee e Feldman 2004, pp. 53-82).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
61
Tradues/Translations
com a ajuda da memria e talvez de registros escritos. Mas no h razo pela qual essa
apreenso tenha de ser momentnea. Assim, a primeira objeo no forte o bastante contra
formas razoveis de internismo.19
A segunda objeo que pretendo discutir aquela a que Goldman chama o problema dos
indcios esquecidos. Ela diz respeito aos casos em que a pessoa em questo simplesmente
esqueceu-se da base indiciria sobre a qual uma crena foi originalmente aceita, mas ainda
mantm tal crena. Assim, em seu exemplo, Sally leu, na seo de cincia do New York Times
(que podemos aceitar como sendo uma fonte altamente fivel), um artigo sobre os benefcios
sade de se comer brcolis e formou a crena correspondente. Ele ainda tem a crena,
porm esqueceu-se como a adquiriu. Assim, ela parece no ter disponvel uma justificao
apropriadamente internista, embora, de acordo com Goldman, a sua crena ainda seja
justificada (p. 280).20
Na verdade, se Sally tem uma razo internista a favor de sua crena, e o quo forte ela ,
depender de outros detalhes do caso, alguns deles bastante sutis. Uma questo se Sally tem
boas razes para pensar que ela geralmente cuidadosa com as fontes pelas quais ela aceita
suas crenas ou talvez apenas as crenas sustentadas com o grau de segurana com o qual
ela sustente essa crena. Outra questo se Sally acredita que adquire a crena de uma fonte
fivel, ainda que no possa se lembrar qual , e se tem razes para pensar que tanto seus
juzos sobre a fiabilidade das fontes quanto as suas memrias so fiveis. Uma terceira
questo se Sally pode se lembrar de vrios tipos de detalhes que ampliam e reforam a
crena em questo: os detalhes sobre os modos especficos em que o brcolis leva a uma boa
sade e sobre como ele produz esses efeitos, ainda que as memrias desses detalhes sejam
tambm crenas cujas bases justificativas originais ela no se lembra. Sally poderia muito
bem ter boas razes internistas para pensar que as crenas pelas quais ela pode se lembrar dos
detalhes desses tipos muito provavelmente foram derivadas de uma fonte fivel e talvez
19
Para ser sincero, h um problema prximo para algumas posies intenistas. Reflete-se naquilo que Goldman
chama o problema da recuperao simultnea, que , como ele sugere, particularmente um problema para as
razes ou argumentos justificativos caractersticos do coerentismo holista: duvidoso que uma razo que
dependa da coerncia de todo o sistema de crenas de algum ou mesmo de um subsistema muito amplo seja
capaz de ser reunida e compreendida adequadamente com a ajuda da memria e registros escritos.
20
E, se verdadeiro, esse caso constitui uma instncia de conhecimento. No vejo razo para um internista negar
que haja um sentido ou uso de conhecimento no qual a crena de Sally conte como conhecimento (muito
provavelmente, junto de outros sentidos em que no conta, e ainda outros nos quais o resultado , de longe,
incerto). s vezes os epistemlogos parecem falar do conhecimeto como se fosse uma bandeira que se esteja
permitido balanar, ou mesmo um emblema que se possa vestir, e no tenho objees a Sally balanar a bandeira
do conhecimento, se ele assim o quiser (ou a algum mais que queira).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
62
Tradues/Translations
As pessoas de fato raramente fazem uso de procedimentos desse tipo para decidir questes lgicas como
opostas a questes matemticas. Certamente a imagem que Goldman evoca a certa altura de um aspirante a
coerentista tentando estabelecer a consistncia de seu conjunto de crenas usando uma tabela de verdade muito
longa no uma perspectiva plausvel das operaes cognitivas reais de algum.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
63
Tradues/Translations
Poderia, contudo, parecer haver uma questo de quanto tempo uma pessoa levaria para alcanar insights a
priori de vrios tipos ou mesmo argumentos justificativos resultantes, mas difcil ver a importncia disso. O
ineternista diria simplesmente que a justificao pode resultar apenas daquelas conexes lgicas ou
probabilsticas que foram efetivamente reconhecidas embora tenhamos de adicionar que tal reconhecimento
possa ser mais ou menos preciso e explcito, podendo a fora da razo resultante variar de acordo com isso. Se
algum demora mais e, com isso, alcana uma cogente, embora complicada, ento, na medida em que essa razo
adequadamente apreendida por fim, no h razo aparente pela qual um internista devesse exclu-la com base
no tempo que levou.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
64
Tradues/Translations
para eles. Mas difcil ver por que algum deveria achar isso surpreendente ou objetvel de
todo.
A quinta e ltima das questes que pretendo considerar aqui tem a ver com a acessibilidade
aos princpios epistmicos que subjazem s supostas razes internistas a agentes epistmicos
ingnuos ou comuns. Goldman argumenta, embora no exatamente desse modo, que tais
princpios deveriam ser vistos como partes essenciais das razes em questo, de modo que
eles teriam de ser acessveis, presumivelmente em bases a priori, a partir da perspectiva
epistmica em primeira pessoa se tais razes tm de ser internisticamente aceitveis. Inclinome a concordar. E o seu argumento adicional de acordo com essa base que a maioria ou
todos os agentes epistmicos, e de fato, pelo menos alguns epistemlogos, no so capazes de
formular e reconhecer tais princpios. Do modo como ele formula a tese bsica internista, isso
significa que tais princpios no so elegveis como componentes de razes ou justificaes
internistas a qualquer um, conduzindo assim ao completo ceticismo (pp. 287-8).
Esse o mais srio dos problemas que Goldman levanta e o mais difcil de tratar num curto
espao. Mas podemos ver imediatamente que algo est errado com a sua formulao da
questo se perguntarmos por que um princpio epistmico que seja genuinamente autoevidente de um ponto de vista a priori para um agente epistmico deveria ser considerado
inelegvel para contribuir para a razo ou justificao da crena do agente s porque acontece
dele ser demasiado complicado ou sutil de ser discernvel por outros agentes epistmicos
menos sofisticados. Certamente que a coisa certa a se dizer aqui que os princpios
epistmicos que contribuem para as razes ou justificaes de um agente tm de estar
disponveis a qualquer momento necessrio quele agente. Isso certamente significar que a
acessibilidade de tais razes variar de um agente a outro, embora eu no consiga ver que haja
algo de implausvel sobre tal resultado.
A segunda coisa a dizer sobre esse problema que a disponibilidade pode ser uma questo de
grau, no exigindo a capacidade de formulao explcita de todos os graus de disponibilidade.
Aqui a situao bastante paralela situao dos princpios lgicos. Os agentes ingnuos
comuns provavelmente no conseguem formular explicitamente um princpio como o modus
ponens, mas podem no obstante ser capazes, aps sua formulao e explicao, de
reconhec-lo como o princpio que estavam seguindo. E algo anlogo pode muito bem
acontecer com vrios princpios epistmicos, embora o grau ao qual um princpio ser
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
65
Tradues/Translations
plausvel variar amplamente de caso para caso. Tanto esse ponto quanto o anterior
significaro que o grau ao qual vrias crenas so justificadas de um ponto de vista internista
provavelmente variar de pessoa a pessoa, mas uma vez que a questo de quem balana a
bandeira do conhecimento posta de lado como desinteressante, como acredito que deva ser,
difcil ver que h algo de alarmante ou mesmo particularmente surpreendente em tal
resultado.
A ltima coisa que quero dizer nessa ocasio sobre essa ltima questo que, embora seja
relevante para a avaliao das perspectivas internistas particulares, ela no constitui qualquer
objeo real ao internismo. Se um internista chega a uma abordagem de outra forma plausvel
da justificao de um tipo particular de crena, mas que depende de um princpio que no seja
plausivelmente um princpio que as pessoas comuns sequer estejam cientes, ento essa
abordagem da justificao no ter qualquer relevncia ao problema de se a crena ou crenas
em questo so justificadas a eles embora pudesse ainda ser de grande interesse enquanto
abordagem de como a crena ou crenas em questo poderiam estar justificadas para aqueles
que venham a reconhecer o princpio em questo. No penso que Goldman esteja correto de
que todas as abordagens internistas da justificao dos principais tipos de crenas que o senso
comum considera como justificadas ou razoveis tero de rejeitar esse estatuto; mas, caso o
faam, esse seria simplesmente uma resultado filosfico a ser respeitado como qualquer outro.
Se tal resultado parece implausvel, como acredito que seja, porque, concedo, todos ns
acreditamos que temos boas razes para as nossas crenas sobre o mundo, e no porque
acreditamos que estejam justificadas de uma maneira no especfica que no precise envolver
a possesso de tais razes.
3- H uma controvrsia genuna?
Tendo dito tudo isso em explanao da posio internista e em sua defesa contra as objees
de Goldman, darei um pequeno passo atrs e perguntarei se a disputa entre internismo e
externismo de fato to claramente definida quanto ainda muito comumente se considera.
Uma razo para se duvidar se isso assim o carter aparentemente intratvel da disputa,
pouco comum at para uma questo filosfica, na qual as partes opostas no apenas no
conseguem chegar a um acordo mas frequentemente tem bastante dificuldade em concordar
at sobre aquilo que conta como uma boa razo para um lado ou para o outro.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
66
Tradues/Translations
Outra razo a maneira pela qual a controvrsia comumente formulada: como uma disputa
sobre a abordagem ou anlise correta da suposta propriedade da justificao epistmica. Mas
que propriedade exatamente essa? O termo obviamente um termo tcnico, no claramente
presente no senso comum, e vale a pena perguntar se h algum modo de se especificar o seu
suposto significado que seja neutro o bastante aos dois lados opostos para fornecer um alvo
claro para a disputa. A resposta mais comum aqui aquela brevemente j aludida
anteriormente. A justificao epistmica supostamente uma das exigncias para o
conhecimento: a que precisa ser adicionada crena, verdade, e satisfao de uma
condio anti-Gettier.
Mas esse modo de se especificar o conceito alvo funcionar apenas se houver um conceito
claro e inequvoco do prprio conhecimento, algo que me parece cada vez mais duvidoso.
Alguns epistemlogos tm de fato sugerido que h pelo menos dois conceitos bastantes
diferentes de conhecimento, um pelo menos predominantemente externista em carter e um
predominantemente internista em carter,23 uma sugesto que me parece plausvel, mas ainda
bastante restrita. E se algo assim o caso, ento um apelo ao conceito de conhecimento
obviamente no servir para apanhar o conceito nico de justificao epistmica sobre o qual
internistas e externistas supostamente esto em desacordo.
De fato, dado o carter intelectual do termo justificao epistmica, no poderia ser o caso
de simplesmente haver conceitos diferentes e incomensurveis de justificao epistmica, um
(ou mais?) deles internista e um (ou mais?) deles externista deixando pouco claro em que
sentido eles competem numa escolha? Mesmo um internista de carteirinha com eu pode
reconhecer que h questes importantes e claramente epistemolgicas para as quais uma
abordagem predominantemente externista parea completamente apropriada e talvez mesmo
prefervel. A maioria dessas questes enquadra-se naquilo que Philip Kitcher rotulou
apropriadamente o projeto epistemolgico aperfeioador,24 isto , o projeto geral de
avaliao e aperfeioamento da fiabilidade dos esforos cognitivos humanos num sentido
amplamente emprico.25 Nem me parece que qualquer externista razovel devesse se indispor
23
Para verses de tal perspectiva, veja Mackie 1976, pp. 217-220, e Sosa 1991, p. 240 (e alhures no mesmo
volume).
24
Em Kitcher 1992, pp. 64-65.
25
Goldman, no artigo discutido acima, descreve em algum detalhe uma investigao desse tipo geral: uma
investigao psicolgica das diferenas fenomenolgicas (embora ele no use esse termo) entre memrias
aparentes de percepes que genuinamente refletem percepes prvias e aquelas que so meramente produtos
da imaginao, sendo a primeira obviamente mais fivel no que diz respeito verdade das afirmaes resultantes
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
67
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
68
Tradues/Translations
partir de um ponto de vista da terceira pessoa, externista, junto com algumas que so mais
naturalmente vistas como questes internistas. O que mais infeliz dessa perspectiva a
tendncia de cada lado da disputa internista-externista de reivindicar a possesso exclusiva do
campo da epistemologia.27 Repetindo Alston (e, certamente, o Presidente Mao), por que no
deixar as flores epistemolgicas desabrocharem?
Tendo sido reconciliador nesse ponto, quero, porm, insistir que h um sentido claro no qual
uma abordagem internista, alm de ser intelectualmente legtima por si prpria, tem um tipo
fundamental de prioridade para a epistemologia como um todo. ( por isso que disse apenas
que Alston estava em grande parte correto). No importa quanto trabalho possa ser feito no
delineamento das concepes externistas do conhecimento, da justificao ou da fiabilidade e
na investigao de como eles se aplicam a vrios tipos de crenas ou reas de investigao, h
um sentido no qual todos esses resultados so meramente hipotticos e inseguros na medida
em que no podem ser alcanados a partir de recursos disponveis de uma perspectiva
epistmica em primeira pessoa. Se, por exemplo, um epistemlogo afirma que certa crena ou
conjunto de crenas, sejam suas ou de algum mais, foi alcanado de maneira fivel, mas o
diz com base em seus prprios processos cognitivos cuja fiabilidade para ele meramente um
fato externo ao qual ele no tem acesso em primeira pessoa, ento a sua concluso apropriada
meramente a de que a crena ou crenas originalmente em questo so alcanadas de
maneira fivel (e talvez por isso so justificadas ou constituem conhecimento nos sentidos
externista) se os prprios processos cognitivos do epistemlogo so fiveis no sentido de que
ele acreditam que so. A nica maneira aparente de alcanar um resultado que no seja em
ltima instncia hipottico nesse sentido a fiabilidade de pelo menos alguns processos
poderem ser estabelecidos com base naquilo que o epistemlogo pode saber direta ou
imediatamente de sua perspectiva epistmica em primeira pessoa. (O problema do regresso
epistmico nos espreita aqui).
E por isso que o internismo indispensvel epistemologia como um todo, ainda que no
seja a melhor maneira de se abordar todos os problemas epistemolgicos. Embora haja muitos
outros problemas e questes legtimos, apenas uma abordagem internista funcionar em
ltima instncia quando, parafraseando agora o Bispo Butler, Eu descansar num perodo de
frescor e indagar se em ltima instncia tenho quaisquer boas razes para pensar que minhas
27
Uma tendncia que me parece (embora talvez eu esteja sendo tendencioso) ter sido manifestada mais
fortemente por aqueles de persuaso externista (junto daqueles de persuaso naturalista).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
69
Tradues/Translations
crenas so verdadeiras ou se de fato tenho quaisquer boas razes para pensar que so
obtidas de maneira fivel.
Bibliografia
Kornblith, H. (2002) Knowledge and Its Place in Nature (Oxford: Oxford University
Press).
Plantinga, A. (1993) Warrant: The Current Debate (Oxford: Oxford University Press).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
70
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
71
Tradues/Translations
Devo dizer que este artigo tanto um exerccio em sociologia da filosofia quanto em
filosofia. Na maior parte dele abstra de minhas prprias posies filosficas e metafilosficas
para ter uma viso de fora do progresso filosfico, de uma perspectiva sociolgica. Em
grande parte do artigo estou amplamente dizendo o bvio, mas algumas vezes vale dizer o
bvio para que o menos bvio possa ser dito a partir dele. Somente perto do final trarei
minhas prprias posies, que se inclinam um pouco mais em direo ao otimismo, e verei
como a questo do progresso filosfico fica sob a luz delas.
1. A TESE CENTRAL
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
72
Tradues/Translations
Aqui est minha tese central: no tem havido ampla convergncia coletiva verdade
sobre as grandes questes da filosofia.
As grandes questes da filosofia aqui so questes como: qual a relao entre mente
e corpo? Como conhecemos o mundo exterior? Quais so os princpios fundamentais da
moralidade? H um deus? Temos livre arbtrio? No tentarei oferecer uma lista mais precisa
que essa, mas qualquer filsofo pode facilmente aparecer com uma lista de cerca de 10
grandes questes, e suspeito que haveria muita sobreposio entre essas listas. Poderamos at
usar essas listas para definir operacionalmente as grandes questes: as grandes questes de um
campo no tempo t so aquelas que os membros desse campo contariam como as grandes
questes do campo no tempo t. Para propsitos de comparao, podemos querer impor
alguma regimentao na forma das grandes questes, por exemplo, formulando todas como
escolhas entre um pequeno nmero de opes mutuamente excludentes.
Podemos definir a convergncia coletiva sobre uma resposta em um perodo de tempo
como o aumento no grau de acordo sobre a resposta desde o comeo at o fim do perodo. O
grau de acordo pode ser definido usando-se uma das vrias medidas matemticas para o
acordo dentro de um grupo de pessoas sobre um conjunto de problemas.2 A convergncia
coletiva (simpliciter) em um perodo de tempo definida como a convergncia coletiva sobre
a resposta dominante no fim do perodo. O grau de acordo em um perodo sobre respostas
para as grandes questes no mesmo perodo normalmente ser baixo, conforme o desacordo
sobre a resposta para uma questo altamente relevante para torn-la uma grande questo. A
convergncia durante um perodo fornece uma medida mais discriminativa, que se pode
razoavelmente esperar que seja alta em alguns casos e baixa em outros. Para nossos
propsitos poderamos escolher um perodo arbitrrio (digamos, de 200 anos atrs at hoje),
Deixarei aberta a questo de qual medida de acordo a melhor para os presentes propsitos. Uma medida til
a alfa de Krippendorff (Krippendorff 2013, pp.221-50), igual a 1-(Do/De), onde Do a incidncia observada de
discordncia entre os respondentes (somando todos os pares de respondentes e todas as questes) e De a
incidncia esperada por puro acaso. Essa medida pode ser aplicada para comunidades de tamanhos diferentes
(nas quais nem todos os membros precisam ter uma posio sobre o problema dado) e para questes cujas
respostas tm muitos tipos diferentes de estruturas. A discordncia pesada por uma medida de distncia entre
duas respostas quaisquer, o que torna alfa particularmente til para comparar questes com nmeros diferentes
de respostas. Com tal mtrica em mos, pode-se usar uma verso de alfa para medir o grau de acordo comunal a
uma resposta especfica. Para nossos propsitos algum ajuste de escala pode ser til (e.g. impor um limite
inferior de zero e ento alinhar).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
73
Tradues/Translations
ou talvez melhor, escolher muitos perodos diferentes e obter a convergncia mdia durante
esses perodos.3
Podemos dizer que a ampla convergncia coletiva durante um perodo exige tanta
convergncia quanto houver sobre as grandes questes nas cincias duras no mesmo perodo.
Aqui assumirei as cincias duras como incluindo ao menos a matemtica e as cincias
naturais: paradigmaticamente fsica, qumica e biologia. Deixarei de lado as cincias
cognitivas e sociais, que alegavelmente viram menos convergncia nas respostas para suas
grandes questes. Para os presentes propsitos no preciso tomar partido sobre como a
filosofia fica relativamente estas.
Ampla convergncia coletiva verdade em um perodo requer ampla convergncia
coletiva s respostas verdadeiras para as grandes questes do perodo. Isto , precisamos ter
tanto aumento de acordo sobre as respostas verdadeiras para as grandes questes quanto h
nas cincias duras. Por causa da referncia verdade, a ampla convergncia coletiva requer
um grau de realismo sobre os domnios em questo. Porm, algo como a convergncia
verdade necessrio para que a convergncia constitua progresso e no retrocesso.
Aqui no estou invocando a noo matemtica padro de convergncia, que se aplica para sries infinitas ou
perodos infinitos em vez de perodos discretos, e que requer que a comunidade eventualmente chegue
arbitrariamente perto do consenso universal sobre um problema. Mas, um elemento de seu tempero estar
presente se nossa medida de concordncia tiver algum vis direcionado concordncia universal (como a verso
de escala ajustada do alfa de Krippendorff tem), de modo que, por exemplo, uma mudana de 79% para 99% da
comunidade concordando sobre uma resposta para uma questo binria conta como uma convergncia maior do
que uma mudana de 40% para 60%.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
74
Tradues/Translations
Obrigado a Hedda Hessel Morch e Rory Madden por apontarem maneiras em que a premissa conectora poderia
se mostrar falsa.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
75
Tradues/Translations
(11)
(12)
(13)
(14)
(15)
(16)
(17)
(18)
(19)
Problema de Newcomb: duas caixas 31%, uma caixa 21%, outros 47%.
(20)
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
76
(21)
Tradues/Translations
disjuntivismo 11%, teoria dos dados dos sentidos 3%, outros 42%.
(22)
Identidade pessoal: viso psicolgica 34%, viso biolgica 17%, viso do fato-
41%.
(24)
(25)
(26)
(27)
(28)
(29)
(30)
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
77
Tradues/Translations
pesquisa BioPapers, e por a adiante. E precisaramos de uma medida razovel de acordo por
perodo. Prevejo que se tivssemos tais pesquisas e medidas encontraramos muito menos
convergncia nas respostas para as grandes questes sugeridas por pesquisas anteriores dos
filsofos do que encontraramos nas respostas correspondentes em outros campos.
Alguns dados parciais so fornecidos pelos 23 problemas que David Hilbert colocou
para a matemtica em 1900 (Hilbert, 1902; Yandell, 2002). Cerca de 10 desses 23 problemas
foram claramente resolvidos, levando ao consenso universal, e sete foram parcialmente
resolvidos, levando ao consenso parcial. Um padro similar pode razoavelmente ser esperado
na fsica, qumica e biologia. Podemos comparar esses resultados com os problemas de Os
Problemas da Filosofia, de Bertrand Russell, de 1912.5 Nenhum destes levou convergncia
universal e quase nenhum levou para qualquer coisa prxima.
bvio que poderia se objetar essa tese de vrios modos. Algum poderia sustentar
que tem havido mais convergncia nas grandes questes filosficas do passado do que esses
estudos de caso sugerem. Alternativamente, algum poderia sustentar que tem havido menos
convergncia nas grandes questes cientficas do passado do que sugerido.
Uma verso da primeira objeo nasce da observao de que disciplinas como a fsica
eram consideradas parte da filosofia. Se voltarmos a um momento anterior separao, ento
na medida em que as grandes questes da fsica esto entre as grandes questes da filosofia
em tal momento, alta convergncia na primeira levar convergncia significativa na
segunda. Contudo, na medida em que a fsica era apenas uma parte prpria da filosofia, e mais
suscetvel de convergncia do que as outras partes, ainda se esperaria que a convergncia na
primeira produzisse menos convergncia na segunda. E tambm no est inteiramente claro
que a filosofia como ns a entendemos deveria ganhar crdito pela convergncia na fsica: o
que foi chamado de filosofia no passado era plausivelmente um campo diferente e mais
amplo.
Em todo caso, pode-se contornar essa objeo ao se concentrar em um ponto depois da
separao entre fsica e filosofia: digamos, 1809 ou 1909. O objetor pode responder que ento
haver menos convergncia somente porque ns separamos as partes da filosofia que fizeram
mais progresso. Mas, isso conceder a tese central e sustentar certa explicao dela, uma que
considerarei mais tarde no artigo. Outra resposta que haveriam mais separaes depois desse
5
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
78
Tradues/Translations
ponto: psicologia, lgica, lingustica e economia, por exemplo. Ainda assim, penso que as
questes resolvidas por essas reas constituem uma frao suficientemente pequena das
grandes questes da filosofia em 1809 ou 1909 para que, mesmo que a filosofia ganhe crdito
por elas, isso no aproxime o nvel de convergncia na filosofia do nvel correspondente nas
cincias duras.
Uma outra verso da primeira objeo sugere que algumas grandes questes
filosficas do passado alcanaram consenso e, portanto, foram retiradas da lista das grandes
questes, mesmo sem terem suas prprias disciplinas se ramificando. Talvez algo assim seja
plausvel para algumas questes polticas e morais, por exemplo, como a questo de todas as
pessoas serem iguais, onde a convergncia na filosofia refletiu a convergncia na sociedade
de modo geral. E podem ter existido questes que foram consideradas verdadeiramente
importantes em dado perodo (sobre a viabilidade de certas verses do idealismo, digamos)
sobre as quais existe uma posio consensual hoje. A existncia de questes assim ajudam
contra a tese do copo vazio. Mas, no que concerne tese do copo-meio-vazio, basta notar que
a proporo de questes assim menor na filosofia do que nas cincias duras.
Sobre a segunda objeo, poder-se-ia defender que muitas das grandes questes das
cincias duras so elas mesmas questes filosficas e tm visto pouca convergncia: questes
sobre a interpretao da mecnica quntica, por exemplo, ou sobre o locus da seleo natural.
Porm, enquanto algumas das grandes questes das cincias duras no forem questes
filosficas, como certamente plausvel, e enquanto elas forem mais suscetveis
convergncia, ns ainda esperaremos que a tese central seja verdadeira. Alm disso, na
medida em que essa objeo assume um contraste entre questes filosficas e no-filosficas,
ela tende a reforar o contraste subjacente na convergncia.
Tambm poderia ser sugerido que vrias questes no-filosficas nas cincias duras
encontraram baixa convergncia: questes sobre a origem da vida, por exemplo. Isso
certamente est correto, mas permanece plausvel que um nmero suficiente de questes viu
grande convergncia, de modo que ainda existe uma diferena significativa entre o nofilosfico e o filosfico. O caso dos problemas de Hilbert na matemtica destaca isso. Os
problemas so na maioria no-filosficos, e embora alguns no estejam resolvidos, a
convergncia geral sobre eles tem sido bastante dramtica. Algo similar plausivelmente se
aplica para fsica, qumica e biologia.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
79
Tradues/Translations
Uma objeo final que ainda que exista mais acordo agora nas cincias duras do que
na filosofia, essas cincias podem j comear em uma posio de maior acordo, resultando em
um menor aumento de acordo nas cincias do que na filosofia. Essa hiptese
matematicamente consistente, mas no penso que seja especialmente plausvel. Sobretudo
dada a medida de acordo que enviesada concordncia universal, como discutido antes, e
dado que h discordncia considervel sobre quais so as grandes questes de um perodo no
prprio perodo, os vrios casos em que as cincias duras (diferentemente da filosofia) se
aproximarem do consenso universal tendero a produzir igualmente maior convergncia geral.
3. AS VARIEDADES DE PROGRESSO
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
80
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
81
Tradues/Translations
valores. Disso segue que o progresso em direo verdade uma forma de progresso
filosfico.
Mais fortemente, penso que pode ser defendido que alcanar a verdade o objetivo
primrio de pelo menos muitas partes da filosofia, como a filosofia analtica. Afinal, a maior
parte da filosofia, ou ao menos da filosofia analtica, consiste em propor teses como
verdadeiras e argumentar pelas suas verdades. Suspeito que para a maioria dos filsofos a
motivao primria para fazer filosofia encontrar a verdade sobre os assuntos relevantes:
qual a relao entre mente e corpo? Qual a natureza da realidade e como podemos
conhec-la? Certamente essa a motivao primria no meu prprio caso. Portanto, sou
simptico alegao de que o progresso em direo verdade tem certa primazia entre as
formas de progresso filosfico. Mas, mesmo que se negue isso, difcil negar que ele esteja
entre essas formas.
De vez em quando dito que uma obsesso com a verdade reflete uma concepo
demasiado cientfica da filosofia. Ns no devemos pensar a filosofia como uma busca por
respostas. Em vez disso, ela uma busca por algo diferente: entendimento, clareza,
iluminao. Concordo que esses sejam objetivos que vale perseguir, e que a filosofia pode nos
ajudar a persegui-los. E posso ver porque, na ausncia de respostas para os problemas
filosficos, possa parecer especialmente interessante se concentrar ento em tais objetivos. No
entanto, penso que devemos reconhecer que essa reao envolve algo como um rebaixamento
das nossas aspiraes para a filosofia. Ao menos pr-teoricamente, muitos de ns entram na
filosofia procurando pela verdade e pelas respostas. Algum poderia argumentar que essa
esperana ingnua: verdade e conhecimento no sero obtidos na filosofia, deveramos nos
contentar com algo diferente. Mas, mesmo assim, a esperana e a ingenuidade so notveis.
Por que a convergncia verdade importante, e por que deveramos nos preocupar
com sua ausncia? Uma resposta bvia que valorizamos o conhecimento, o acordo
necessrio para o conhecimento e a convergncia acompanha os aumentos de conhecimento.
Uma verso forte dessa posio, sugerida pela discusso de van Inwagen, que onde h
desacordo suficiente entre especialistas no se pode dizer que qualquer indivduo sabe a
verdade. Mesmo que alguns indivduos tenham encontrado bons argumentos para concluses
verdadeiras, como eles teriam confiana justificada de que esses so bons argumentos quando
tantos de seus pares discordam? No tenho tanta certeza: penso que ao menos em alguns casos
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
82
Tradues/Translations
um bom argumento pode fundamentar o conhecimento que o indivduo tem de uma concluso
mesmo que os pares o rejeitem. Por exemplo, penso que a presena de qualquer nmero de
pares que neguem a existncia da conscincia no solaparia meu conhecimento de que estou
consciente. Similarmente, no solapariam argumentos que assumem essa alegao como
premissa.
Porm, mesmo que o acordo no seja requerido para o conhecimento individual,
algum grau de acordo plausivelmente requerido para o conhecimento coletivo. Se a
comunidade dos especialistas em uma questo discorda seriamente sobre a resposta da
questo, ento no pode ser dito que essa comunidade sabe coletivamente a resposta para a
questo, e nem pode sabe-lo a comunidade mais ampla da qual ela faz parte. Mesmo quando
alguns indivduos sabem a resposta da questo, esse conhecimento individual normalmente
no vai ser suficiente para o conhecimento coletivo, exceto talvez em circunstncias especiais,
tais como quando a comunidade defere a esses indivduos.
Alm disso, valorizamos o conhecimento coletivo. Uma razo pela qual o progresso
das cincias duras tem sido to impressionante que ele plausivelmente permitiu a nsa
comunidade de investigadoressaber coletivamente as respostas dessas questes. Mas, na
ausncia de acordo suficiente sobre as repostas das questes filosficas, no se pode dizer que
temos conhecimento coletivo dessas respostas.
Obviamente se pode discutir quais so exatamente o grau e o padro de acordo
requeridos para o conhecimento coletivo. Contudo, altamente plausvel que o tipo de
discordncia que observamos sobre as respostas para as grandes questes da filosofia baste
para solapar qualquer alegao de conhecimento coletivo das respostas para a maioria dessas
questes. Talvez se pudesse defender que na pesquisa acima algumas posies (realismo noctico sobre o mundo exterior, atesmo, conhecimento a priori) exibem o tipo de consenso que
permite o conhecimento coletivo. Mas, mesmo essa alegao seria ousada, e a extenso para
alegaes com menos consenso (fisicismo e compatibilismo, digamos) parece to ousada que
seria implausvel. Portanto, assumo que a diferena na concordncia sobre as grandes
questes na cincia e na filosofia reflete uma diferena significativa no conhecimento coletivo
que obtivemos. Semelhantemente, a diferena na convergncia sobre as grandes questes
reflete uma diferena significativa no aumento do conhecimento coletivo ao longo do tempo.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
83
Tradues/Translations
4. ARGUMENTO FILOSFICO
Agora me volto para a questo central: por que no h mais progresso na filosofia? E
em particular: por que h menos convergncia na filosofia do que nas cincias duras?
Uma explicao inicial, ainda que talvez seja meramente uma articulao do
fenmeno, repousa no poder relativo dos mtodos usados nesses domnios. As cincias duras
tm mtodosprovas, no caso da matemtica, e o mtodo observacional/experimental na
fsica, qumica e biologiaque tm o poder para compelir o acordo sobre as respostas para as
grandes questes. A filosofia tem um mtodoo mtodo do argumentoque no o faz.
Qual a diferena entre esses mtodos? Uma diferena que os mtodos de
experimento e prova partem de premissas amplamente aceitasobservaes na cincia,
axiomas na matemticae prosseguem delas para concluses fortes e surpreendentes.
Aspiramos fazer isso na filosofia tambm: veja a observao de Russell de que o objetivo da
filosofia comear com algo to simples que no parea que vale a pena dizer, e terminar
com algo to paradoxal que ningum vai acreditar (Russell 1918). Porm, na prtica,
premissas amplamente aceitas raramente bastam para embasar concluses fortes e
surpreendentes na filosofia.
H certamente muitos argumentos para concluses fortes na filosofia. Mas, na grande
maioria dos casos, eles tm premissas que oponentes podem negar sem muito custo, ou
inferncias que oponentes podem rejeitar sem muito custo (me concentro principalmente nas
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
84
Tradues/Translations
premissas, mas tudo que digo tambm se aplica para inferncias, transformando inferncias
no-dedutivas em premissas tcitas de argumentos dedutivos, por exemplo). Algumas vezes a
premissa negada previamente plausvel, e a negao um tanto surpreendente. Contudo,
mesmo com isso a negao raramente tem a implausibilidade de se negar um axioma
matemtico, ou de se negar uma observao experimental bem replicada. Assim, essas
negaes so normalmente defensveis, ao menos no sentido largamente sociolgico de
defensibilidade.
Digamos que premissas (e inferncias) consensuais so aquelas consideradas pela
comunidade como inegveis, ou ao menos como se neg-las incorresse em custos enormes.
Uma premissa consensual pode ser negada por uns poucos dissidentes, mas no pode ser
objeto de discordncia generalizada dentro da comunidade. Digamos que um argumento que
usa apenas premissas e inferncias consensuais um argumento decisivo (note que premissas
consensuais e argumentos decisivos so ambos definidos em termos sociolgicos). Ento a
alegao de que enquanto h argumentos decisivos para concluses fortes na cincia, h
relativamente poucos argumentos assim na filosofia.
Certamente h algumas premissas consensuais em argumentos filosficos. Afinal,
essas mesmas premissas podem incluir axiomas matemticos e observaes empricas, bem
como teoremas e teorias baseados neles. Mas, premissas matemticas e observaes empricas
sozinhas nunca so suficientes para se tirar concluses filosficas fortes. Premissas ou
inferncias adicionais so necessrias para se fazer a ponte da matemtica e da cincia para a
filosofia, e essas premissas e inferncias so tipicamente negveis.
Somando aos axiomas matemticos e observaes empricas, h algumas intuies
filosficas que so extremamente difceis de negar. Entretanto, essas intuies no so to
comuns (muitas intuies previamente plausveis se revelam negveis), e onde existem
tipicamente difcil tirar delas concluses filosficas fortes. H alguns casos onde essas
intuies, talvez em conjuno com alegaes matemticas e empricas, nos permitem tirar
concluses fortes e surpreendentes. Isso funciona particularmente bem para teses negativas,
nas quais intuies e modelos formais podem gerar contraexemplos para teses positivas ou
outras razes para rejeit-las. O argumento de Gettier partindo da intuio sobre um caso para
a concluso de que conhecimento no crena verdadeira justificada um exemplo. O
argumento formal de Lewis de que probabilidades condicionais no so probabilidades de
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
85
Tradues/Translations
condicionais talvez seja outro. Contudo, notvel que essas concluses negativas fiquem
longe de serem respostas para as grandes questes da filosofia. Quase qualquer argumento
para uma resposta positiva para essas questes envolve premissas negveis.6
Para a maioria dos praticantes da filosofia, o fenmeno da negabilidade das premissas
familiar em ambos os lados. Quando oferecemos argumentos para nossas posies nos
frustramos em encontrar oponentes mordendo a bala7 ao rejeitar o que tomamos como uma
premissa plausvel, sem que isso sirva como qualquer sinal de derrota. Quando abordamos
argumentos contra nossas posies, ns algumas vezes trabalhamos de trs pra frente, da
nossa rejeio da concluso para ver qual premissa temos que negar, e ns a negamos. No
melhor dos casos, aprendemos algo com isso, e aceitamos compromissos que poderamos
previamente considerar surpreendentes. Mas, raramente esses compromissos so inviveis
para se manter.
Como resultado argumentos filosficos tipicamente no levam ao acordo, mas ao
desacordo sofisticado. Defensores de uma posio aprendero quais compromissos extras eles
precisaro aceitar para evitar os argumentos. Verses ruins de uma posio so rejeitadas e
verses sofisticadas so desenvolvidas em seus lugares. Isso leva a um tipo de progresso
negativo onde reas do espao filosfico so eliminadas, mas apenas em pequenos fragmentos
de cada vez. raro que uma posio maior geral (materialismo ou dualismo, compatibilismo
ou incompatibilismo, utilitarismo ou deontologia) seja eliminada desse modo. Em vez disso,
6
Para recolher dados aqui, fiz uma pesquisa informal na internet com filsofos, perguntando por argumentos que
sejam quase universalmente considerados por eles como estabelecendo suas concluses. Os candidatos
adicionais incluram o argumento da doao forosa de rgos contra verses simples do utilitarismo, o
argumento de Kripke de que a necessidade se separa da a prioricidade, o argumento de Gdel contra verses do
formalismo matemtico, o argumento do mal contra o tesmo, o argumento modelo-terico contra o
descritivismo global, o argumento do ator perfeito contra o behaviorismo lgico, o argumento da realizabilidade
mltipla contra a teoria da identidade, o argumento de Goodman contra a lgica indutiva puramente formal,
argumentos da relatividade contra o presentismo, o argumento de Frankfurt de que a responsabilidade moral no
requer a capacidade de agir diferentemente, o argumento de Hart contra a teoria do comando sobre leis de
Austin, a refutao de Russell da Lei Bsica V de Frege, o argumento da questo aberta de Moore contra o
naturalismo analtico, o argumento de Putnam para o externismo sobre o significado, o cogito de Descartes, e
muitos outros. impactante que em sua grande maioria esses argumentos sejam naturalmente considerados
argumentos para concluses negativas, dado que so argumentos contra posies bastante especficas. bvio
que a distino negativo/positivo no inteiramente clara, mas temos um entendimento intuitivo razovel dela.
Algumas poucas concluses tm um sabor positivo: a prpria existncia (o cogito), externismo (Putnam), talvez
o necessrio a posteriori (Kripke) e o atesmo (o argumento do mal). Mas, os trs primeiros so no mximo casos
marginais de respostas para grandes questes, e os dados da pesquisa sugerem que o segundo e o quarto so no
mximo casos marginais de acordo quase universal. Tudo isso refora o ponto de que argumentos decisivos so
raros na filosofia, que argumentos decisivos para posies positivas so ainda mais raros, e que argumentos
decisivos para respostas positivas para as grandes questes so to raros que so quase inexistentes.
7
N. do T.: da expresso em ingls bite the bullet, que significa o ato de aceitar uma tese mesmo reconhecendo
suas consequncias implausveis.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
86
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
87
Tradues/Translations
oponente pode rejeitar argumentos individuais para uma tese sem muito custo, ele
normalmente pode rejeitar colees de argumentos sem muito custo tambm.
Isso significa que todos os argumentos filosficos para teses positivas so
malsucedidos, como van Inwagen (2006) sugeriu? (van Inwagen fala de teses substanciais,
mas a discusso que ele faz sugere que se requer que estas sejam teses positivas). Isso
depende do que se quer dizer com sucesso. Se sucesso for definido em termos
sociolgicos, de maneira que o sucesso exija convencer quase todos de uma comunidade,
ento vimos que no melhor dos casos bem poucos argumentos filosficos para teses positivas
tm sido bem-sucedidos em nossa comunidade. Van Inwagen define sucesso em termos
epistemolgicos idealizados: um argumento bem-sucedido para uma proposio p um que
convenceria uma audincia de pensadores ideais que so inicialmente agnsticos sobre p, na
presena de um oponente ideal de p. No penso que as observaes sociolgicas acima (ou as
observaes sociolgicas para as quais van Inwagen apela) chegam perto de estabelecer que
nenhum argumento filosfico bem sucedido nesse sentido (cf. McGrath e Kelly no prelo
para mais sobre esse tema). Seres humanos simplesmente esto muito longe do ideal para que
essa concluso se siga.
Tambm no segue de nada que eu tenha dito que todos os argumentos filosficos so
peties de princpio, ou que sejam dialeticamente impotentes. Mesmo quando argumentos
tm premissas negveis, eles normalmente tm poder dialtico, pois suas premissas tm um
suporte prvio que no repousa sobre consideraes prximas demais da concluso. Nesse
caso o argumento no petio de princpio. Mesmo que um oponente sofisticado e
comprometido v negar a premissa, o argumento pode muito bem fazer um observador
agnstico aceitar a concluso. Na prtica, geralmente usamos esse tipo de poder dialtico
como critrio para um bom argumento com o qual muitos filsofos podem concordar, mesmo
que eles discordem sobre a persuaso definitiva do argumento.
Tambm no estou dizendo que esses argumentos no podem produzir conhecimento.
Premissas negveis podem ainda assim ser conhecidas por muitas pessoas como verdadeiras.
Como antes, enquanto muita discordncia sobre uma alegao pode solapar o conhecimento
coletivo dessa alegao, isso no precisa solapar o conhecimento individual da alegao.
Semelhantemente, um argumento pode fundamentar o conhecimento individual mesmo
quando pares o rejeitam. Isso se aplica ainda mais quando no-pares esto envolvidos. Mesmo
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
88
Tradues/Translations
com tudo que eu disse, alguns argumentos podem ter premissas e inferncias que s podem
ser negadas implausivelmente, ou por pensadores no-ideais. Se for assim, esses argumentos
podem muito bem produzir conhecimento em seres mais razoveis que aqueles que os negam.
Portanto, no fcil tirar concluses sobre a falta de fora normativa a partir de
premissas sobre a falta de sucesso sociolgico. Talvez exista uma noo normativa
intermediria, definindo um argumento bem sucedido como um que tem o poder de persuadir
todos os agnsticos competentes, em que competncia seja algum padro razoavelmente alto
mas no-ideal que muitos filsofos humanos alcanam. H boa razo para pensar que alguns
argumentos filosficos para posies positivas persuadem todos os filsofos competentes, ou
mesmo todos os agnsticos competentes. Diante disso, a discordncia sobre grandes questes
entre os filsofos mais capazes (por qualquer medida razoavelmente neutra) to
predominante quanto discordncias entre filsofos de modo geral. Isso sugere que a maioria
dos argumentos filosficos no so bem-sucedidos no sentido normativo ligado
competncia, mesmo que sejam bem-sucedidos nos outros sentidos normativos.
Burton Dreben me disse uma vez de modo memorvel (na nica ocasio em que o
encontrei, em St. Louis por volta de 1994): Grandes filsofos no argumentam. Ele
prosseguiu elaborando que entre Frege, Russell, Wittgenstein, Carnap ou Quine, ningum
realmente oferece argumentos para suas posies. Claro que isso no estritamente
verdadeiro, contudo, penso que o ponto dele era que nesses filsofos o trabalho real no era
feito por argumentos para uma tese, mas pela prpria tese, ou o enquadramento em que ela
estava encaixada. Uma verso refinada dessa alegao (sugerida para mim por Gene
Callahan) pode dizer: grandes filsofos podem argumentar, mas seus argumentos no so o
que os torna grandes. Uma parte do pensamento de Dreben, como eu o entendi, era de que
como argumentos so facilmente refutados, dar argumentos um sinal de fraqueza. melhor
simplesmente asserir e desenvolver uma tese. Assim os leitores tm que se envolver com a
prpria tese, sem a distrao barata de refutar argumentos para ela.
Rawls (2001) elabora a posio de Dreben em uma direo algo diferente: Burt no
negaria, claro, o fato evidente de que filsofos fazem muitos argumentos complicados. Mas
ele pensa que no fundo no h argumentos que um filsofo possa usar para convencer outro
de um ponto metafsico. No nvel bsico, filsofos simplesmente se apoiam em e apelam para
dados diferentes. uma disputa sem resoluo por argumentos. Burt disse que Quine um
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
89
Tradues/Translations
metafsico, um metafsico da cincia. Com isso ele quis dizer que Quine no argumenta pelo
fisicismo, ou realismo cientfico. Ele o assume e elabora sua posio a partir da.
Descobri que para mim mesmo impossvel seguir o conselho de Dreben. Em meu
trabalho sou um argumentador compulsivo, o que sem dvida me torna alvo para um modus
tollens da tese de Dreben. Mas, certamente raro que esses argumentos convenam um
grande setor da populao. Isso especialmente o caso quando muitas das pessoas j tm
compromissos firmes, em questes como o problema mente-corpo e a teoria do significado: a
difcil fazer mais que convencer algumas pessoas aqui e ali. Sobre questes em que as
pessoas so inicialmente agnsticas ou seus compromissos so fracos, pode haver mais
movimento.8 Mesmo aqui o fato de que o movimento limitado refora o ponto bsico.
A lio que o consenso na filosofia est to difcil de se obter quanto sempre foi, e
argumentos decisivos so to raros quanto sempre foram. Para mim, esse o maior
desapontamento na prtica da filosofia. Uma vez que se fez filosofia por algum tempo, no se
espera mais que argumentos produzam acordo, e se julga um argumento bom quando ele
meramente tem algum poder dialtico. No entanto, esse um ajuste de expectativas em
resposta uma realidade desapontadora. Antes de fazer filosofia se poderia esperar que algo
mais era possvel.
Diante da falha dos mtodos filosficos tradicionais, podemos procurar por novos
mtodos. Ocasionalmente novos mtodos so desenvolvidos por pensadores que se
consideravam filsofos e que ajudaram a resolver questes que foram uma vez consideradas
filosficas: veja o desenvolvimento da lgica, da fsica, da psicologia, e por a vai. natural
esperar que novos mtodos possam produzir mais progresso.
8
Para praticar autobiografia: tenho a impresso de que meus argumentos com Andy Clark para a tese da mente
estendida (uma rea em que compromissos prvios eram relativamente fracos) pode ter convencido mais gente
que meus argumentos contra o fisicismo ou para a semntica bidimensional (reas em que compromissos prvios
so fortes). Mesmo aqui suspeito que a tese e o enquadramento convenceram tantas pessoas quanto os
argumentos. Talvez o argumento mais efetivo de todos tenha sido o de The Matrix as Metaphysics, que
convence muita gente da posio de que se estamos em um cenrio de matrix ou em que somos crebros em
cubas, a maioria das nossas crenas so verdadeiras (ao menos ele tem esse efeito em apresentaes de aula e
discusses informais; houve relativamente pouca discusso impressa do argumento). Ainda que as pessoas
achem essa posio inicialmente contra-intuitiva, se revela que o compromisso prvio delas era fraco.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
90
Tradues/Translations
Por volta do ltimo sculo, muitos mtodos filosficos novos foram desenvolvidos e
muitos mtodos filosficos velhos foram refinados para ajudar a alcanar concluses
filosficas. A filosofia emprica se apoia na cincia emprica. A filosofia formal se apoia no
raciocnio formal. A filosofia lingustica se apoia na anlise da linguagem. A fenomenologia
se apoia na reflexo fenomenolgica. A filosofia feminista se apoia na considerao e anlise
de gneros. A filosofia transcultural se apoia em mltiplas tradies culturais na filosofia. A
filosofia experimental se apoia no estudo emprico dos juzos filosficos.9
Todos esses mtodos levaram a novos insights e ao progresso filosfico. Todos
levaram a novos argumentos e concluses interessantes. Porm, manifestamente, nenhum
desses mtodos levou qualquer convergncia recente sobre as respostas das grandes
questes da filosofia. No surgimento de cada um desses mtodos a discordncia filosfica era
to predominante quanto sempre foi. Mesmo dentro de uma tradio so poucos os casos em
que as grandes questes so tidas como resolvidas. Em vez disso, esses mtodos nos levaram
novamente para verses mais sofisticadas de discordncias antigas.
Em muitos casos o problema bsico o da negao das premissas. Nos casos da
filosofia emprica e formal, j vimos que resultados empricos e formais precisam ser
combinados com premissas de ligao adicionais para resolver uma questo filosfica. Na
maioria dos casos vemos que essas premissas de ligao podem ser negadas. Frequentemente
elas so to controversas quanto as concluses que buscam estabelecer. Em alguns casos
resultados empricos e formais ajudam a resolver questes relativamente pequenas, bem como
introduzem e abordam questes novas importantes. Mas, quando elas so trazidas para
consideraes sobre as grandes questes, raro que faam muito para produzir consenso.
H algumas excees parciais: talvez o peso da evoluo sobre o tesmo, da
relatividade sobre o presentismo e do teorema de Gdel no formalismo matemtico. Mas,
essas excees no so especialmente comuns, e mesmo nesses casos h verses modificadas
das posies relevantes que retiveram vrios defensores srios. As excees que existem
parecem essencialmente cair em duas classes. Primeiro, h casos em que mtodos empricos
pesam fortemente sobre reas da filosofia que se concentram na realidade concreta, como
subcampos da metafsica e da filosofia da cincia. Segundo, h casos em que mtodos formais
E h muitos outros mtodos que no tenho competncia para discutir. Por exemplo, Nielsen (1987) sugere que
uma esperana de progresso na filosofia a teoria crtica.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
91
Tradues/Translations
pesam fortemente em reas que lidam com questes formais, como a filosofia da matemtica
e da lgica. bvio que ambos os tipos de mtodo so frequentemente trazidos para serem
considerados em outras reasreas normativas como tica e epistemologia, por exemplo
mas casos em que produzem consenso so muito mais raros.
Se pode pensar que a filosofia da mente seria uma exceo, dadas as bvias conexes
com a neurocincia e a psicologia. Mas, mesmo nela, essas cincias parecem ter deixado as
grandes questesos problemas da conscincia e da intencionalidade, da causao mental e
do livre arbtriobastante abertas. Certamente tem havido argumentos da neurocincia e da
psicologia para posies sobre esses problemas, mas na maioria dos casos as premissas de
ligao requeridas tm sido to controversas quanto a maioria das outras alegaes filosficas.
O que resultou foi uma sofisticao muito aumentada com verses cientificamente informadas
de posies relevantes, mas no muito mais em questo de consenso. Talvez o maior peso
sobre essas grandes questes acerca da mente no tenha vindo desses campos, mas da fsica,
onde a evidncia do fechamento causal no nvel microfsico colocou uma sria presso sobre
posies como o dualismo interacionista. Entretanto, mesmo nisso muitos tm resistido
presso, e em qualquer caso a negao do interacionismo no leva realmente uma posio
positiva.
Outros mtodos novos sequer oferecem premissas com a relativa segurana das
premissas empricas e formais. Em fenomenologia, por exemplo, as premissas
fenomenolgicas centrais so tipicamente to negveis quanto qualquer outra premissa
filosfica. Algo similar pode se aplicar para a filosofia feminista e transcultural, enquanto
outros mtodos podem exibir uma mistura dos dois padres acima.10 Alguns mtodos, como a
filosofia feminista e a filosofia experimental, tm cumprido um papel crtico crucial, mas a
lio tem sido amplamente a de diminuirmos nossa confiana sobre as respostas das grandes
questes em vez de fortalec-la.
Claro, novos mtodos esto sempre sendo desenvolvidos. Ainda acontece de
problemas gradualmente migrarem da filosofia para a cincia conforme os mtodos se tornam
mais rigorosos e decisivos: dois exemplos recentes incluem o desenvolvimento da semntica
formal e o desenvolvimento em andamento de uma cincia da conscincia. Ainda assim,
10
Sobre minha prpria opinio sobre os poderes e limites da filosofia experimental e lingustica, veja
http://consc.net/papers/xphi.pdf e http://consc.net/papers/langphil.pdf respectivamente.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
92
Tradues/Translations
mesmo nesses casos seria difcil dizer que os novos mtodos levaram ao consenso sobre as
grandes questes filosficas que precediam seus desenvolvimentos. Portanto, enquanto
podemos esperar por mais mtodos que produzam convergncia sobre as grandes questes,
esses mtodos tero que ir bem alm do que vimos no ltimo sculo.
6. EXPLICAES
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
93
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
94
Tradues/Translations
Tambm cabe notar (como Larry Solum me sugeriu) que as cincias sociais tm muito menos convergncia
que as cincias duras apesar de estarem menos distantes dos dados que a filosofia. Uma questo geral
interessante se a falta de convergncia nas cincias sociais e na filosofia deveria receber explicaes diferentes
ou uma explicao uniforme. Suspeito que seja a primeira opo: por exemplo, a complexidade e desordem dos
sistemas sociais parece especialmente relevante nas cincias sociais, mas menos relevante na filosofia.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
95
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
96
Tradues/Translations
(7) Explicaes evolutivas. s vezes sugerido (e.g. McGinn, 1993) que h uma
explicao darwiniana para a falta de progresso na filosofia. A ideia bsica que
no evolumos para sermos bons em filosofia, dado que no ambiente evolutivo no
houve presso seletiva que favorecesse a habilidade filosfica ou qualquer coisa
que se correlacionasse fortemente com ela. Talvez haja alguma plausibilidade
nisso, ainda que seja necessrio algum trabalho para se explicar porque o mesmo
no se aplica para habilidade de praticar matemtica abstrata ou cincia altamente
terica. Em qualquer caso, esse tipo de explicao vai funcionar melhor em
conjuno com a explicao psicolgica, e levanta as mesmas questes cruciais
discutidas sobre ela.
Penso que todas essas sete explicaes podem estar parcialmente corretas. Contudo,
no penso que do modo como esto elas coletivamente forneam uma explicao completa do
fenmeno. Para fazer isso muitos dos detalhes precisariam ser preenchidos. Em particular,
ainda precisaramos de uma boa explicao do que exatamente peculiar sobre questes
filosficas de modo que elas levem falta de convergncia. Apenas (2) e (4) realmente
abordam isso, mas (antirrealismo global parte) (2) se aplica apenas em alguns casos,
enquanto (4) est perto demais de ser uma reformulao do fenmeno. Deve ser possvel
fornecer uma explicao dessa peculiaridade que se misture com as explicaes psicolgicas,
evolutivas e talvez sociolgicas para fornecer uma explicao completa da falta de
convergncia. Porm, por ora penso que isso continua uma questo aberta.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
97
fundamentais
acerca
de
propriedades
leis
Tradues/Translations
fundamentais
naturais.
Segue
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
98
Tradues/Translations
e que antecedentemente improvvel que estejamos praticamente nesse nvel. Ento, muito
mais provvel que o nvel fique acima de ns. No estou to certo sobre esse argumento.
Penso que j sabemos que para um grande nmero de questes humanos esto exatamente no
nvel para ir bem: questes cientficas e matemticas, por exemplo. Por causa disso,
defensvel que estejamos em um limiar especial de inteligncia no qual um nmero
extraordinariamente amplo de questes fica ao nosso alcance ao longo do tempo. No bvio
se questes filosficas iro ou no cair dentro desse alcance, mas no obviamente mais
provvel que elas no caiam do que caiam.
Se McGinn e van Inwagen esto certos, permanece possvel que possamos responder
questes filosficas ao aprimorar primeiramente nosso nvel de inteligncia, talvez por
melhoria ou extenso cognitiva. Alternativamente, poderamos construir seres com
inteligncia artificial mais inteligentes que ns, que seriam ento capazes de construir seres
com inteligncia artificial mais inteligentes que eles, e assim em diante. A exploso de
inteligncia resultante poderia levar at criaturas que poderiam finalmente responder as
grandes questes filosficas.
Se McGinn e van Inwagen esto errados, por outro lado, ento podemos
eventualmente responder questes filosficas sem melhorias cognitivas radicais. Talvez
tenhamos que desenvolver novos mtodos, aumentar a disciplina, ter novos tipos de insights,
e talvez v precisar haver uma revoluo conceitual ou duas, mas nada disso vai ficar fora da
capacidade humana. Pode se revelar que h uma curva de sofisticao filosfica crescente tal
que, depois de certo ponto na curva, um progresso maior possvel. No estamos l ainda,
mas estamos trabalhando na direo disso.
No bvio se McGinn ou van Inwagen esto certos ou errados. A questo das
grandes questes filosficas serem humanamente solveis ela mesma uma grande questo
metafilosfica. Como outras grandes questes da filosofia, uma para a qual ns atualmente
no sabemos a resposta. Ambas as respostas para essa questo metafilosfica parecem estar
abertas, e ns atualmente no temos fortes razes para preferir nenhuma.
Se ns no sabemos qual dessas duas opes o caso, ento penso que para fazer
filosofia ns podemos assumir a suposio de trabalho de que a segunda opo: as questes
podem ser respondidas por ns, mas at o momento no esto resolvidas. Ento ns podemos
simplesmente fazer filosofia to bem quanto podemos, fazendo nosso melhor para pensar
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
99
Tradues/Translations
nesses novos insights, mtodos e conceitos que possam finalmente nos levar a responder as
questes. Afinal, ainda estamos aprendendo a fazer filosofia bem. Para ver o quo longe ela
pode nos levar, temos que continuar fazendo filosofia.
BIBLIOGRAFIA
BOURGET, D. e CHALMERS, D. J. 2014. What do philosophers believe? Philosophical
Studies.
CHALMERS, D. J. 2011. Verbal Disputes. Philosophical Review 120: 515-66.
CHALMERS, D. J. 2012. Constructing the World. Oxford University Press.
DIETRICH, E. 2010. There is no progress in philosophy. Essays in Philosophy 12: 329-44.
HILBERT, D. 1902. Mathematical Problems. Bulletin of the American Mathematical Society
8: 437-79.
KELLY, T. e MCGRATH, S. no prelo. Are there any successful philosophical arguments? In
(J. Keller ed.) Being, Freedom, and Method: Themes from van Inwagen. Oxford University
Press.
KRIPPENDORFF, K. 2013. Content Analysis: An Introduction to its Methodology, 3rd
edition. Sage Publishing.
MCGINN, C. 1993. Problems in Philosophy. Oxford University Press.
MOODY, T. 1986. Progress in philosophy. American Philosophical Quarterly 23: 35-46.
NIELSEN, K. 1987. Can there be progress in philosophy? Metaphilosophy 18: 1-30.
RAWLS, J. 2001. Afterword. In (J. Floyd & S. Shieh eds.) Future Pasts: The Analytic
Tradition in Twentieth-Century Philosophy. Oxford University Press.
RUSSELL, B. 1912. The Problems of Philosophy. Williams and Norgate.
RUSSELL, B. 1918. The Philosophy of Logical Atomism. The Monist 28: 295-527.
Reimpresso como The Philosophy of Logical Atomism (Taylor and Francis, 2009).
STOLJAR, D. no prelo. Philosophical Progress: In Defense of a Reasonable Optimism.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
100
Tradues/Translations
VAN INWAGEN, P. 2004. Freedom to break the laws. Midwest Studies in Philosophy 28:
334-50.
VAN INWAGEN, P. 2006. The Problem of Evil: The Gifford Lectures. Oxford University
Press.
VAN INWAGEN, P. 2009. Metaphysics (third edition).
WILLIAMSON, T. 2006. Must do better. In (P. Greenough & M. Lynch, eds.) Truth and
Realism. Oxford University Press.
YANDELL, B. H. 2002. The Honors Class: Hilberts Problems and their Solvers. A. K.
Peters.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
101
Tradues/Translations
LGICA MODAL*
James Garson
Traduo de Heitor Hedler Siqueira Campos1
Lgica
Smbolos
Expresses Simbolizadas
Lgica Modal
necessrio que...
possvel que...
Mestrando da UFPE. Revisor 1: Mrcio Moretto Ribeiro, professor doutor da EACH-USP. Revisor 2: Joo
Marcos, professor adjunto, UFRN.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
102
Lgica Dentica
Lgica Temporal
Lgica Doxstica
obrigatrio que...
permitido que....
proibido que...
Bx
x acredita que...
Tradues/Translations
2 Lgicas Modais
As lgicas mais conhecidas na famlia modal so construdas a partir de uma lgica
mais fraca K (em homenagem a Saul Kripke). Na leitura mais estrita, a lgica modal se
preocupa com a possibilidade e a necessidade. Uma diversidade de smbolos diferentes pode
ser desenvolvida para tais lgicas utilizando K como fundamento. Os smbolos de K incluem
'~' para 'no', '' para 'se...ento', e '' para o operador modal ' necessrio que'. (Os
conectivos '&', '' e '' podem ser definidos a partir de '~' e '' como na lgica
proposicional.) K resulta da adio aos princpios da lgica proposicional o seguinte.
Regra da Necessitao: Se A um teorema de K, ento A tambm o .
Axioma de Distribuio: (A B) (A B)
(Nesses princpios utilizamos 'A' e 'B' como metavariveis sobre frmulas da
linguagem.) De acordo com a Regra da Necessitao, qualquer teorema da lgica
necessrio. O Axioma da Distribuio diz que se necessrio que se A ento B, ento se
necessariamente A ento necessariamente B.
O operador (para 'possivelmente') pode ser definido a partir de tomando A =
~~A. Em K, os operadores e comportam-se de forma muito semelhante aos
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
103
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
104
Tradues/Translations
ao ltimo operador na cadeia. Assim, por exemplo, dizer que possvel que A seja necessrio
o mesmo que dizer que A necessrio. Segue um sumrio dessas caractersticas de S4 e S5.
S4: ... = e ... =
S5: 00... = e 00... = , onde cada 0 um ou um
Pode-se se engajar em infindveis discusses sobre a correo ou incorreo desses e outros
princpios de iterao para e . A controvrsia pode ser parcialmente resolvida pelo
reconhecimento de que as palavras 'necessariamente' e 'possivelmente' possuem muitos usos
diferentes. Ento, a aceitabilidade dos axiomas da lgica modal depende de quais desses usos
temos em mente. Por esse motivo, no h uma lgica modal, mas ao invs disso uma famlia
inteira de sistemas construdos a partir de M. O relacionamento entre esses sistemas
diagramado na Seo 8, e sua aplicao a diferentes usos de 'necessariamente' e
'possivelmente' podem ser mais profundamente entendida estudando sua semntica de mundos
possveis na Seo 6.
O sistema B (em homenagem ao lgico Brouwer) formado adicionando o axioma (B)
a M.
(B) A A
interessante notar que S5 pode ser formulado de forma equivalente adicionando (B) a S4. O
axioma (B) levanta um ponto importante sobre a interpretao das frmulas modais. (B) diz
que se A o caso, ento A necessariamente possvel. Pode-se sustentar que (B) deveria
sempre ser adotado em qualquer lgica modal, pois certamente se A o caso, ento
necessrio que A seja possvel. Entretanto, h um problema com essa assertiva que pode ser
exposto notando que A A demonstrvel a partir de (B). Ento A A deveria ser
aceitvel se (B) o for. Todavia, A A diz que se A possivelmente necessrio, ento A o
caso, e isso est longe de ser bvio. Por que (B) parece bvio, enquanto uma de suas
consequncias parece no ser realmente bvia? A resposta que h uma ambiguidade
perigosa na interpretao em portugus de A A. Frequentemente utilizamos a expresso
'Se A ento necessariamente B' para expressar que o condicional 'se A ento B' necessrio.
Essa interpretao corresponde a (A B). Em outras ocasies, queremos dizer que se A,
ento B necessrio: A B. Em portugus, 'necessariamente' um advrbio, e j que
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
105
Tradues/Translations
3 Lgicas Denticas
As lgicas denticas introduzem o smbolo primitivo O para ' obrigatrio que', a
partir do qual os smbolos P para ' permitido que' e F para ' proibido que' so definidos: PA
= ~O~A e FA = O~A. O anlogo dentico do axioma modal (M): OA A claramente no
apropriado para a lgica dentica. (Infelizmente, o que deve ser nem sempre o caso).
Entretanto, um sistema bsico D de lgica dentica pode ser interpretado adicionando o
axioma mais fraco (D) a K.
(D) OA PA
O axioma (D) garante a consistncia do sistema de obrigaes insistindo que quando A
obrigatrio, A permissvel. Um sistema que nos obriga a A, mas no nos permite faz-lo,
coloca-nos numa situao difcil. Apesar do fato de que alguns sustentaro que tais conflitos
de obrigao so ao menos possveis, a maioria dos lgicos denticos aceita (D).
O(OA A) outro axioma dentico que parece desejvel. Apesar de ser equivocado
dizer que se A obrigatrio ento A o caso (OA A), ainda assim, essa condicional deveria
ser o caso. Alguns lgicos denticos acreditam que D precisa ser suplementado com O(OA
A) tambm.
A controvrsia a respeito da iterao (repetio) de operadores surge novamente na
lgica dentica. Em algumas concepes de obrigao, OOA coincide com OA. 'deve ser o
caso que deve ser o caso' tratado como uma espcie de repetio desnecessria, os 'deve's
adicionais no adicionam nada de novo. Axiomas ento so adicionados para garantir a
equivalncia entre OOA e OA. A poltica de iterao mais abrangente incorporada em S5
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
106
Tradues/Translations
tambm pode ser adotada. Entretanto, h concepes de obrigao nas quais a distino entre
OA e OOA preservada. A ideia de que h diferena genuna entre as obrigaes que ns
realmente temos e as obrigaes que ns deveramos adotar. Ento, por exemplo, 'deve ser o
caso que deve ser o caso que A' comanda a adoo de alguma obrigao que pode no estar de
fato estabelecida, resultando no fato de que OOA pode ser verdadeiro mesmo quando OA
falso.
4 Lgicas Temporais
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
107
Tradues/Translations
forma que ir ocorrer no futuro (HFA). Entretanto, a semntica de mundos possveis para a
lgica temporal revela que essa preocupao resulta de uma simples confuso, e que os dois
axiomas de interao so igualmente aceitveis.
Note que o axioma caracterstico da lgica modal, (M): A A, no aceitvel nem
para H nem para G, j que A no se segue de 'sempre foi o caso que A', nem de 'sempre ser o
caso que A'. Entretanto, aceitvel numa lgica temporal aparentada na qual G lido como '
e sempre ser o caso que', e H lido como ' e sempre foi o caso que'.
Dependendo de quais suposies so feitas a respeito da estrutura do tempo, axiomas
ulteriores precisam ser adicionados s lgicas temporais. Segue-se uma lista de axiomas
comumente adotados nas lgicas temporais. Uma explicao de como eles dependem da
estrutura do tempo ser encontrada na seo Semntica de Mundos Possveis.
GA GGA e HA HHA
GGA GA e HHA HA
GA HA e HA PA
interessante notar que certas combinaes de operadores de passado e futuro podem
ser utilizadas para expressar sentenas complexas na lngua portuguesa. Por exemplo, FPA
corresponde sentena A no futuro do presente composto do indicativo, (como em 'daqui a 20
segundos a iluminao ter mudado'). Similarmente, PPA expressa o pretrito-mais-queperfeito.
5 Lgicas Condicionais
O fundador da lgica modal, C. I. Lewis, definiu uma srie de lgicas modais que no
possuam como smbolo primitivo. Lewis estava ocupado em desenvolver uma lgica dos
condicionais que estivesse livre dos chamados Paradoxos da Implicao Material, a saber os
teoremas clssicos A (~A B) e B (A B). Ele introduziu o smbolo
implicao estrita e desenvolveu lgicas onde nem A
(~A
A) nem B
para
(A
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
108
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
109
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
110
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
111
Tradues/Translations
V s premissas num mundo tambm atribui V concluso no mesmo mundo. Como o leitor
pode ter adivinhado a partir do nosso uso de K, mostrou-se que a lgica modal mais simples
K tanto correta quanto completa para K-validade.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
112
Tradues/Translations
outro. A densidade seria falsa se o tempo fosse atmico, isto , se houvesse intervalos de
tempo que no pudessem ser divididos em partes menores. A densidade corresponde ao
axioma (C4): A A, a recproca de (4). Ento, por exemplo, o sistema KC4, o qual
corresponde a K adicionado de (C4), adequado com relao aos modelos cujo
enquadramento <M,R> denso, e KDC4, adequado a respeito dos modelos cujos
enquadramentos so seriais e densos, e assim por diante.
Cada um dos axiomas da lgica modal que discutimos anteriormente corresponde da
mesma maneira a uma condio sobre os enquadramentos. O relacionamento entre condies
sobre os enquadramentos e os axiomas correspondentes um dos tpicos centrais no estudo
das lgicas modais. Uma vez que a interpretao do operador intensional foi decidida, as
condies apropriadas sobre R podem ser determinadas para se ajustarem s correspondentes
noes de validade. Por sua vez, isto nos permite selecionar o conjunto certo de axiomas para
aquela lgica.
Por exemplo, considere uma lgica dentica, na qual lido como obrigatrio
que. Aqui a verdade de A no requer a verdade de A em todos os mundos possveis, mas
apenas num subconjunto desses mundos onde as pessoas fazem o que devem. Ento tambm
desejaremos introduzir a relao R para este tipo de lgica, e iremos utilizar a clusula de
verdade (K) para avaliar A em um mundo. Entretanto, nesse caso, R no pRecedncia
temporal. Ao invs disso, mRm vale caso o mundo m seja uma variante moralmente
aceitvel de m, isto , um mundo no qual nossas aes podem realizar o que moralmente
correto, ou certo, ou justo. Sob tal leitura, seria para ficar claro que os enquadramentos
relevantes deveriam obedecer serialidade, a condio que requer que cada mundo possvel
possua uma variante moralmente aceitvel. A anlise das propriedades desejadas para R torna
claro que uma lgica dentica bsica pode ser formulada adicionando o axioma (D) a K.
Mesmo na lgica modal, pode-se desejar restringir o leque de mundos possveis que
so relevantes para determinar se A verdadeiro num dado mundo. Por exemplo, posso
dizer que necessrio para mim pagar minhas contas, mesmo que eu saiba perfeitamente que
h um mundo possvel no qual eu falho em pag-las. No discurso ordinrio, a assertiva de que
A necessrio no requer a verdade de A em todos os mundos possveis, mas apenas numa
subclasse de mundos que eu tenho em mente (por exemplo, mundos onde evito as sanes por
falhar em pagar as contas). Para fornecer um tratamento genrico da necessidade, precisamos
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
113
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
114
Tradues/Translations
Neste diagrama, os sistemas so dados pela lista de seus axiomas. Assim, por exemplo,
M4B o resultado de adicionar (M), (4) e (B) a K. Em negrito, indicamos os nomes
tradicionais de alguns desses sistemas. Quando o sistema S aparece abaixo e/ou esquerda de
S conectado por uma linha, ento S uma extenso de S. Isso significa que cada argumento
demonstrvel em S demonstrvel em S, mas S mais fraco que S, i.e. nem todos os
argumentos demonstrveis em S so demonstrveis em S.
A lista a seguir indica os axiomas, seus nomes, e as correspondentes condies sobre a
relao de acessibilidade R para os axiomas at agora discutidos neste verbete da
enciclopdia.
Nome Axioma
(D)
AA
u mRo
Serial
(M)
AA
mRm
Reflexiva
(4)
AA
(mRn&nRo) mRo
Transitiva
(B)
AA
mRn nRm
Simtrica
(5)
AA
(mRn&mRo) nRo
Euclidiana
(CD)
AA
(mRn&mRo) n=o
Funcional
(M) (AA)
mRn nRn
Reflexiva Deslocada
(C4)
AA
mRn o(mRo&oRn)
Densa
(C)
A A mRn&mRp o(nRo&pRo)
Convergente
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
115
Tradues/Translations
9 O Axioma Geral
A correspondncia entre axiomas e condies sobre enquadramentos pode parecer um
mistrio. Um belo resultado de Lemmon e Scott (1977) explica muito bem esse
relacionamento. O teorema deles diz respeito aos axiomas que possuem a seguinte forma:
(G) hiA jkA
Utilizamos a notao n para representar uma cadeia de n losangos. Assim, por
exemplo, 3 abrevia uma cadeia de trs losangos: . De forma similar, n representa
uma cadeia de n quadrados. Quando os valores de h, i, j e k so todos 1, temos o axioma (C):
(C) A A = 11A 11A
O axioma (B) resulta de atribuir 0 a h e a i, e atribuir 1 a j e a k:
(B) A A = 00A 11A
Para obter (4), podemos atribuir 0 a h e a k, atribuir 1 a i e 2 a j:
(4) A A = 01A 20A
Muitos (mas no todos) os axiomas da lgica modal podem ser obtidos dando os
valores corretos aos parmetros em (G).
Nossa prxima tarefa ser dar as condies sobre enquadramentos que correspondem a
(G) para uma dada seleo de valores para h, i, j e k. Para faz-lo, vamos precisar de uma
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
116
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
117
Tradues/Translations
Pela definio de R2, vR2u sse x (vRx & xRu), ento isso leva a:
x(vRx & xRu) vRu,
o que pela lgica de predicados, equivalente transitividade.
vRx & xRu vRu.
O leitor pode achar um exerccio aprazvel verificar como as condies
correspondentes saem da hijk-Convergncia quando os valores dos parmetros h, i, j e k so
dados por outros axiomas.
Os resultados de Scott-Lemmon fornecem um mtodo rpido para estabelecer
resultados sobre o relacionamento entre os axiomas e as correspondentes condies sobre os
enquadramentos. Dado que eles mostraram a adequao de qualquer lgica que estende K
pela adio de uma combinao de axiomas da forma (G) com relao aos modelos que
satisfazem o conjunto correspondente de condies sobre os enquadramentos, eles forneceram
demonstraes de adequao no atacado para a maioria dos sistemas na famlia modal.
Sahlqvist (1975) descobriu generalizaes importantes do resultado de Scott-Lemmon,
cobrindo um escopo muito mais amplo de axiomas.
10 Lgicas da demonstrabilidade
A lgica modal foi til para clarificar nosso entendimento de resultados centrais a
respeito da demonstrao nos fundamentos da matemtica (Boolos, 1993). As lgicas da
demonstrabilidade so sistemas onde as variveis proposicionais p, q, r, etc. dizem respeito a
frmulas de algum sistema matemtico, por exemplo, o sistema PA de Peano para a
aritmtica. (O sistema escolhido para a matemtica pode variar, mas assuma que PA para
essa discusso). Gdel mostrou que a aritmtica possui forte capacidade expressiva.
Utilizando cdigos numricos para sentenas aritmticas, ele foi capaz de demonstrar uma
correspondncia entre sentenas da matemtica e fatos sobre quais sentenas so e quais no
so demonstrveis em PA. Por exemplo, ele demonstrou que h uma sentena C que
verdadeira exatamente quando nenhuma contradio demonstrvel em PA e h uma
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
118
Tradues/Translations
consistncia, e ~
~~
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
119
Tradues/Translations
12 Bissimulao
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
120
Tradues/Translations
y(Rxy Py), e
P x[ y
(Rxy Py) Px]. Dada esta traduo, possvel instanciar a varivel P por um predicado
unrio arbitrrio, por exemplo o predicado Rx cuja extenso o conjunto de todos os mundos
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
121
xRxx, j que
Tradues/Translations
(todo) e
(algum) na
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
122
Tradues/Translations
1990 para um bom resumo.) No obstante, a viso de que h algo errado em quantificar-se
em ainda vastamente compartilhada. Um segundo tipo de complicao tcnico. H uma
grande variedade de escolhas que se pode fazer na semntica para lgicas modais
quantificadas, e a demonstrao de que um sistema de regras apropriado para uma dada
escolha pode ser difcil. Os trabalhos de Corsi (2002) e Garson (2005) avanam em direo a
trazer unidade neste terreno, mas a situao permanece desafiadora.
Uma outra complicao a de que alguns lgicos acreditam que a modalidade requer
abandonar as regras de quantificao clssica em prol das regras mais fracas da lgica livre
(Garson 2001). Os principais pontos de divergncia no que diz respeito s regras de
quantificao podem ser de fato ligados s decises sobre como lidar com o domnio de
quantificao. A alternativa mais simples, a abordagem do domnio fixo (s vezes chamada de
possibilista), assume um domnio nico de quantificao que contm todos os objetos
possveis. Por outro lado, a interpretao relativa ao mundo (ou atualista) assume que o
domnio da quantificao muda de mundo para mundo, e contm apenas os objetos que so
atuais em um dado mundo.
A abordagem do domnio fixo no requer grandes ajustes no maquinrio clssico dos
quantificadores. As lgicas modais que so adequadas para uma semntica de domnio fixo
podem normalmente ser axiomatizadas adicionando princpios de uma lgica modal
proposicional s regras clssicas de quantificao, juntamente com a Frmula de Barcan (BF)
(Barcan 1946). (Para uma explicao de algumas excees interessantes ver Cresswell
(1995)).
(BF)
xA xA.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
x(x=y) seja
123
Tradues/Translations
parece ser uma caracterstica fundamental das ideias mais comuns sobre a modalidade que a
existncia de muitas coisas contingente, e que diferentes objetos existem em diferentes
mundos possveis.
O defensor da interpretao do domnio fixo pode responder a essas objees
insistindo que em sua leitura dos quantificadores o domnio da quantificao contm todos os
objetos possveis, no apenas os objetos que existem num dado mundo. Assim o teorema
y x(x=y) faz a assertiva incua de que todo objeto possvel necessariamente encontrado
no domnio de todos os objetos possveis. Alm disso, as expresses quantificadas da
linguagem natural cujo domnio relativo ao mundo (ou momento) podem ser expressadas
utilizando o quantificador de domnio fixo
atualmente existe. Por exemplo, ao invs de traduzir Existe algum Homem que Assinou a
Declarao de Independncia dos EUA por
x(Hx & Ax)
O defensor dos domnios fixos pode escrever:
x(Ex & Hx & Ax),
assegurando assim que a traduo falsa no tempo presente. Cresswell (1991) faz a
interessante observao de que a quantificao relativa ao mundo possui poder expressivo
limitado em relao quantificao de domnio fixo. A quantificao relativa ao mundo pode
ser definida com quantificadores de domnio fixo e E, mas no h maneira de expressar
plenamente quantificadores de domnio fixo com quantificadores relativos ao mundo. Apesar
disso argumentar a favor da abordagem clssica para a lgica modal quantificacional, a ttica
de traduo tambm aponta para algo como uma concesso em prol da lgica livre, pois os
quantificadores relativos ao mundo assim definidos obedecem exatamente s regras da lgica
livre.
Um problema com a estratgia de traduo utilizada por defensores da quantificao
de domnio fixo que interpretar a linguagem natural na lgica algo menos direto, j que E
precisa ser adicionado a todas as tradues de todas as sentenas cujas expresses
quantificadas possuem domnios dependentes do contexto. Uma objeo mais sria
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
124
Tradues/Translations
quantificao de domnio fixo que ela retira do quantificador um papel que Quine
recomendou para ele, a saber, representar um comprometimento ontolgico robusto. Nesta
viso, o domnio de
e objetos possveis so abstratos demais para assim merecer tal qualificao. Atualistas desta
estirpe vo querer desenvolver a lgica de um quantificador
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
125
Tradues/Translations
padro so utilizadas, entretanto, cada termo t precisa se referir a algo que exista em todos os
mundos possveis. Isso parece incompatvel com nossa prtica ordinria de usar termos para
nos referirmos a coisas que existem apenas contingentemente.
Uma resposta a essa dificuldade simplesmente eliminar termos. Kripke (1963) deu
um exemplo de um sistema que usa interpretao relativa ao mundo e preserva as regras
clssicas. Entretanto, os custos so pesados. Primeiramente, a sua linguagem artificialmente
empobrecida, e em segundo lugar, as regras para a lgica modal proposicional precisam ser
enfraquecidas.
Presumindo que desejamos uma linguagem que inclui termos, e que regras clssicas
sejam adicionadas aos sistemas tradicionais da lgica modal proposicional, um novo
problema surge. Em tal sistema, possvel provar (CBF), a recproca da Frmula de Barcan.
(CBF) xA xA
Esse fato possui srias consequncias para a semntica dos sistemas. No difcil
mostrar que todo modelo relativo ao mundo de (CBF) precisa cumprir a condio (ND) (de
Domnios aNinhados).
(ND) Se mRn ento o domnio de m um subconjunto do domnio de n.
Entretanto (ND) entra em conflito com a ideia de introduzir domnios relativos ao
mundo. A ideia afinal era de que a existncia de objetos contingente e portanto h mundos
possveis acessveis onde algumas coisas no nosso mundo no existem.
Uma soluo direta para esses problemas abandonar as regras clssicas dos
quantificadores e ao invs disso adotar regras para lgica livre (FL). As regras de FL
coincidem com as regras clssicas, com exceo de que as inferncias de
xRx permitido
x definido por
http://periodicoinvestigacaofilosofica.blogspot.com.br
xA(x) tambm o .
IF
126
Tradues/Translations
x(x=t),
x(x=t)
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
127
Tradues/Translations
conceitos individuais ao invs de objetos. Essa interpretao mais geral fornece um ajuste
melhor entre o tratamento dos termos e o tratamento dos quantificadores e resulta em sistemas
que so adequados para regras clssicas ou regras de lgica livre (dependendo da escolha
entre domnios fixos ou domnios relativos ao mundo).
Bibliografia
Uma excelente bibliografia de fontes histricas pode ser encontrada em Hughes e
Cresswell (1968).
Anderson, A. e Belnap, N., 1975, 1992, Entailment: The Logic of Relevance and Necessity,
vol. 1 (1975), vol. 2 (1992), Princeton: Princeton University Press.
Barcan (Marcus), R., 1947, A Functional Calculus of First Order Based on Strict
Implication, Journal of Symbolic Logic, 11: 1-16.
Barcan (Marcus), R., 1967, Essentialism in Modal Logic, Nos, 1: 91-96.
Barcan (Marcus), R., 1990, A Backwards Look at Quine's Animadversions on Modalities,
in R. Bartrett and R. Gibson (eds.), Perspectives on Quine, Cambridge: Blackwell.
Bencivenga, E., 1986, Free Logics, in D. Gabbay and F. Guenthner (eds.), Handbook of
Philosophical Logic, 3.6, Dordrecht: D. Reidel.
Benthem, J. F. van, 1982, The Logic of Time, Dordrecht: D. Reidel.
Benthem, J. F. van, 1983, Modal Logic and Classical Logic, Naples: Bibliopolis.
Benthem, J. F. van, 1996, Exploring Logical Dynamics, Stanford: CSLI Publications.
Blackburn, P., Rijke, M. de, and Venema, Y., 2001, Modal Logic, Cambridge: Cambridge
University Press.
Blackburn, P., Bentham, J. van, e Wolter, F., 2006, Handbook of Modal Logic, Amsterdam:
North Holland.
Bonevac, D., 1987, Deduction, Part II, Palo Alto: Mayfield Publishing Company.
Boolos, G., 1993, The Logic of Provability, Cambridge: Cambridge University Press.
Bull, R. e Segerberg, Krister, 1984, Basic Modal Logic, in Gabbay, D., and Guenthner, F.
(eds.) Handbook of Philosophical Logic, 2.1, Dordrecht: D. Reidel.
Carnap, R., 1947, Meaning and Necessity, Chicago: U. Chicago Press.
Carnielli, W. e Pizzi, C., 2008, Modalities and Multimodalities, Heidelberg: Springer-Verlag.
Chagrov, A. e Zakharyaschev, M., 1997, Modal Logic, Oxford: Oxford University Press.
Chellas, Brian, 1980, Modal Logic: An Introduction, Cambridge: Cambridge University Press.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
128
Tradues/Translations
Cresswell, M. J., 2001, Modal Logic, in L. Goble (ed.), The Blackwell Guide to
Philosophical Logic, Oxford: Blackwell, 136-158.
Cresswell, M. J., 1995, Incompleteness and the Barcan formula, Journal of Philosophical
Logic, 24: 379-403.
Cresswell, M. J., 1991, In Defence of the Barcan Formula, Logique et Analyse, 135-136:
271-282.
Corsi, G, 2002, A Unified Completeness Theorem for Quantified Modal Logics, Journal of
Symbolic Logic, 67: 1483-1510.
Fitting, M. e Mendelsohn, R., 1998, First Order Modal Logic, Dordrecht: Kluwer.
Gabbay, D., 1976, Investigations in Modal and Tense Logics, Dordrecht: D. Reidel.
Gabbay, D., 1994, Temporal Logic: Mathematical Foundations and Computational Aspects,
New York: Oxford University Press.
Garson, J., 2001, Quantification in Modal Logic, in Gabbay, D., and Guenthner, F.
(eds.) Handbook of Philosophical Logic, second edition, volume 3, Dordrecht: D. Reidel,
267-323.
Garson, J., 2005, Unifying Quantified Modal Logic, Journal of Philosophical Logic, 34:
621-649.
Garson, J., 2006, Modal Logic for Philosophers, Cambridge: Cambridge University Press.
Goldblatt, R., 1993, Mathematics of Modality, CSLI Lecture Notes #43, Chicago: University
of Chicago Press.
Goldblatt, R., 2006, Mathematical Modal Logic: a View of its Evolution, in D. Gabbay and
J. Woods (eds.),Handbook of the History of Logic, vol. 6, Amsterdam: Elsevier.
Harel, D., 1984, Dynamic Logic, in D. Gabbay and F. Guenthner(eds.), Handbook of
Philosophical Logic, volume 2, Dordrecht: D. Reidel, 497-604.
Hintikka, J., 1962, Knowledge and Belief: An Introduction to the Logic of the Two Notions,
Ithaca, NY: Cornell University Press.
Hilpinen, R., 1971, Deontic Logic: Introductory and Systematic Readings, Dordrecht: D.
Reidel.
Hughes, G. e Cresswell, M., 1968, An Introduction to Modal Logic, London: Methuen.
Hughes, G. e Cresswell, M., 1984, A Companion to Modal Logic, London: Methuen.
Hughes, G. e Cresswell, M., 1996, A New Introduction to Modal Logic, London: Routledge.
Kripke, Saul, 1963, Semantical Considerations on Modal Logic, Acta Philosophica
Fennica, 16: 83-94.
Konyndik, K., 1986, Introductory Modal Logic, Notre Dame: University of Notre Dame
Press.
Kvart, I., 1986, A Theory of Counterfactuals, Indianapolis: Hackett Publishing Company.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
129
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
130
Tradues/Translations
INTRODUO
O contedo da metodologia e melhor definido em oposiao ao da lgica. A logica e
o estdo do raciocnio dedtivamente valido: nm argmento dedtivamente valido as
premissas fornecem razoes conclsivas para a conclsao; e completamente impossvel
qe as premissas sejam verdadeiras e a conclsao falsa. No entanto, grande parte do
raciocnio qe efetivamente samos nao corresponde a esse ideal. Tanto na vida comm
qanto na ciencia, os argmentos qe samos nao fornecem razoes conclsivas para as
sas conclsoes. Eles podem, em algm sentido, nos fornecer boas razoes para acreditar
em sas conclsoes, mas nao nos obriga da mesma maneira absolta qe os argmentos
dedtivos.
A seginte discssao acerca da metodologia tratara desse tipo de raciocnio naodedtivo e das varias qestoes filosoficas qe srgem na tentativa de entende-lo. Havera
cinco seoes: (1) A Indao e ses Problemas; (2) Leis da Natreza; (3) Realismo,
Instrmentalismo e Sbdeterminaao; (4) Confirmaao e Probabilidade; (5) Explicaao.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
131
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
132
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
133
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
134
Tradues/Translations
Introduzindo a probabilidade
Otra resposta possvel ao problema da indao e considerar qe as inferencias
indtivas geram apenas conclsoes provveis, ao inves de conclsoes certas. Ainda qe
os indcios do passado nao nos assegrem os padroes ftros, nao poderiam pelo menos
sstentar as conclsoes sobre os padroes provveis?
Mais adiante veremos qe a ideia de probabilidade e de fato importante para o
nosso entendimento dos argmentos indtivos. Mas nao e difcil mostrar qe por si
propria ela nao e sficiente para resolver o problema da indao.
De fato, com veremos mais adiante, ha na verdade das nooes de probabilidade.
Grosso modo, precisamos distingir a probabilidade no sentido de grau de crena
racional da probabilidade no sentido de tendncia objetiva. Qando dizemos qe a
probabilidade de nevar hoje e de 50 por cento, poderamos qerer dizer ma de das
coisas. Primeiro, poderamos estar expressando m gra de crena: dizendo qe temos
ma expectativa igal a de qe nevara o nao nevara hoje. Alternativamente, poderamos
estar fazendo ma afirmaao sobre ma tendencia: dizendo qe, em geral neva em 50
por cento dos dias como os de hoje. Mais adiante veremos em maior detalhe essas
interpretaoes sbjetiva e objetiva da probabilidade. Qero aqi apenas mostrar qe
nenhma delas nos ajda no problema da indao.
Sponha primeiro qe a conclsao de ma inferencia indtiva e m ennciado de
probabilidade objetiva, estabelecendo, digamos, qe em 90 por cento dos casos em qe
os As se mostraram Bs (por exemplo, qe em 90 por cento dos dias segidos de
entardeceres com o ce avermelhado ha bom tempo). Os ndicos para essa afirmaao
serao, contdo, m corpo finito de observaoes, a saber, qe em nossa experiencia at
agora mais o menos 90 por cento de As foram BS. Portanto, o problema da indao esta
ainda conosco, pois ainda precisamos explicar como m corpo finito de indcios pode
estabelecer ma conclsao geral. Pois, note qe a conclsao probabilstica e ainda ma
afirmaao alegando nao apenas qe 90 por cento de As foram Bs no passado, mas
tambem qe isso continara no ftro. Ainda qe o padrao no qal estejamos agora
interessados seja probabilstico, mesmo sem exceao, ainda enfrentamos a mesma
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
135
Tradues/Translations
dificldade em explicar como os padroes do passado podem nos dizer algo sobre os do
ftro.
Alternativamente, poderamos tomar a conclsao de ma inferencia indtiva
como sendo m ennciado de probabilidade sbjetiva, declarando qe Deveramos
atribir m alto gra de crena a proposiao de todos os As sao Bs. (Note qe
poderamos tambem ter m ennciado de probabilidade sbjetiva sobre ma proposiao
de probabilidade objetiva: por exemplo, Deveramos atribir m alto gra a proposiao
de qe 90 por cento de As sao Bs). A dificldade, mais ma vez, e qe nossos indcios
para tal conclsao sobre a probabilidade sbjetiva e simplesmente qe As foram
observados jnto de Bs at agora. A conclsao, contdo, diz qe deveramos ter ma
expectativa alta de qe os As estarao jnto dos Bs no ftro assim como no passado.
Portanto, ainda enfrentamos o problema de explicar como fatos sobre o passado podem
nos dizer o qe pensar sobre o ftro.
A alternativa de Popper induo
Deve-se a Karl Popper ma linha de resposta bastante diferente ao problema da
indao. Popper olha para a pratica da ciencia a fim de nos mostrar como lidar com o
problema. Na perspectiva de Popper, a ciencia, em primeiro lgar, nao reposa na
indao. Ele nega qe os cientistas comecem com observaoes e depois inferem ma
teoria geral. Ao inves, eles primeiro avanam ma teoria como ma conjectra
inicialmente nao corroborada, e entao comparam sas previsoes com as observaoes
para verem se resistem ao teste. Se tais testes se provarem negativos, entao a teoria e
experimentalmente falseada e os cientistas procrarao algma alternativa nova. Se, por
otro lado, os testes se enqadrarem na teoria, entao os cientistas continarao a
sstentando nao como ma verdade admitidamente demonstrada, mas como ma
conjectra nao derrbada.
Se olharmos para a ciencia desse modo, argmenta Popper, entao veremos qe ela
nao precisa da indao. De acordo como Popper, as inferencias qe importam para a
ciencia sao as refutaes, qe toma como premissa ma previsao malograda e concli
qe a teoria por tras dessa previsao e falsa. Essas inferencias nao sao indtivas, mas
antes dedtivas. Vemos qe algm A e m nao-B, e conclmos qe nao e o caso qe
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
136
Tradues/Translations
todos os As sejam Bs. Nao ha espao aqi para qe as premissas sejam verdadeiras e a
conclsao falsa. Se descobrirmos qe algma amostra de sodio nao fica alaranjada
qando aqecida, entao sabemos com certeza qe nao e o caso qe todo sodio aqecido
fica alaranjado. O ponto aqi e qe e mito mais facil reftar teorias do qe prova-las.
Um nico exemplo contrario constitira ma prova conclsiva.
De acordo com Popper, a ciencia e, portanto, ma seqencia de conjectras. As
teorias cientficas sao desenvolvidas como hipoteses e sao sbstitdas por novas
hipoteses qando sao falseadas. No entanto, essa perspectiva da ciencia levanta ma
pergnta obvia: se as teorias cientficas sao sempre conjectrais, entao o qe torna a
ciencia melhor do qe a astrologia, o o espiritismo, o qalqer otra forma de
sperstiao injstificada? Um nao-poperiano responderia essa pergnta dizendo qe a
verdadeira ciencia prova sas alegaoes baseando-se em indcios observacionais, ao
passo qe a sperstiao nao e nada alem de mera conjectra. Mas na abordagem de
Popper, mesmo as teorias cientficas sao mera conjectra pois nao podem ser provadas
pelas observaoes, sendo apenas conjectras nao derrbadas.
Popper chama isso de problema da demarcaao qal a diferena entre ciencia e
otras formas de crena? A sa resposta e qe a ciencia, ao contrario da sperstiao, e
pelo menos falsevel, ainda qe nao seja demonstravel. As teorias cientficas sao
concebidas em termos precisos, e por isso prodzem previsoes definidas. Por exemplo,
as leis de Newton nos dizem exatamente onde certos planetas aparecerao em certos
momentos. E isso significa qe se tais previsoes falharem, podemos ter certeza de qe a
teoria por tras delas e falsa. Em contraste, sistemas de crenas como a astrologia sao
irremediavelmente vagos, de modo qe evitam sempre qe se mostre qe estao
definitivamente errados. A astrologia pode prever qe m escorpiano prosperara em
sas relaoes pessoais nas qintas-feiras, mas ao se deparar com m escorpiano cja
esposa foi embora na qinta-feira, os defensores da astrologia provavelmente
responderao qe no fim da contas o fim do casamento foi o melhor. Por casa disso, nada
forara os astrologos a admitir qe a teoria deles esteja errada. A teoria e expressa em
termos tao imprecisos qe nenhmas observaoes efetivas poderao falsifica-la.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
137
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
138
Tradues/Translations
inves de apenas E falso qe todos os As sao Bs, entao ele certamente falho em lidar de
maneira adeqada como o problema da indao.
A resposta comm de Popper a essa objeao e qe ele esta preocpado como a
logica da pesqisa cientfica pra, e nao com qestoes praticas sobre aplicaoes
tecnologicas. A pesqisa cientfica reqer apenas qe formlemos conjectras falseaveis
e as rejeitemos caso descbramos contraexemplos. A qestao adicional de saber se
deveramos acreditar naqelas conjectras e confiar em sas previsoes qando,
digamos, prescrevemos algma droga o constrmos m diqe, Popper considera como
ma qestao essencialmente pratica, e como tal nao faz parte da analise da pratica
cientfica racional.
Mas isso nao sera assim caso Popper esteja spostamente oferecendo ma
solao ao problema da indao. O problema da indao e essencialmente o problema
de como podemos basear jzos sobre o ftro a partir de indcios sobre o passado. Ao
insistir qe as teorias cientficas sao apenas conjectras, e qe, portanto, nao temos base
racional pra acreditar em sas previsoes, Popper esta simplesmente negando qe
possamos fazer jzos racionais sobre o ftro.
Considere as das previsoes:
Qando e plar dessa janela do decimo andar, vo dolorosamente me espatifar no
chao.
Qando e plar da janela, fltarei como ma pena ate aterrissar savemente.
Intitivamente e mais racional acreditar em (A), qe presme qe o ftro sera como o
passado, do qe (B), qe nao o faz. Mas Popper, ma vez qe rejeita a indao, esta
comprometido com a ideia de qe os indcios do passado nao tornam qaisqer crenas
sobre o ftro mais racionais do qe qaisqer otras e, portanto, com a ideia de qe
acreditar em (B) nao e menos racional qe acreditar em (A).
Algo vai mal. Acreditar em (A) e, com certeza, mais racional do qe acreditar em
(B). Ao dizer isso, nao qero negar qe haja m problema da indao. Na verdade, e
precisamente porque acreditar em (A) e mais racional do qe acreditar em (B) qe a
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
139
Tradues/Translations
indao e problematica. Todo mndo, exceto Popper, pode ver qe acreditar em (A) e
mais racional qe acreditar em (B). O problema e entao explicar, frente ao fato de a
indao nao ser logicamente garantida, por que acreditar em (A) e mais racional do qe
acreditar em (B). Portanto, a negaao de Popper da sperioridade racional de (A) sobre
(B) nao e tanto ma solao ao problema da indao, mas simplesmente a recsa de
reconhecer o problema em primeiro lgar. Como m crtico de m dos livros de Popper
ma vez disse, a atitde de Popper com a indao e como a de algem qe se poe na
linha de partida de ma corrida e grita, Venci, venci.
Ainda qe falhe em lidar com a indao, dever-se-ia reconhecer qe a filosofia da
ciencia de Popper tem algma fora enqanto descriao da pesqisa cientfica pra. Pois
certamente e verdade qe mitas teorias cientficas nascem como conjectras,
exatamente como Popper descreve. Por exemplo, qando a teoria de Einstein da
relatividade geral foi pela primeira vez proposta, pocos cientistas acreditavam
efetivamente nela. Ao inves disso, consideravam-na como ma hipotese interessante e
estavam criosos para ver se era verdadeira. Nesse estagio inicial da vida de ma teoria,
as recomendaoes de Popper fazem m sentido eminente. Obviamente qe se voce
qiser ver se ma teoria e verdadeira, o passo seginte e sbmete-la ao teste
observacional. E para esse proposito e importante qe a teoria seja concebida em termos
bastante precisos a fim de qe os cientistas testem aqilo qe ela implica sobre o mndo
observavel isto e, em termos bastante precisos para ser falseavel. E natralmente, se a
nova teoria for falseada, entao os cientistas a rejeitarao e procrarao algma alternativa,
ao passo qe se sas previsoes forem corroboradas, entao os cientistas continarao a
investiga-la.
Onde a filosofia da ciencia de Popper corre mal, no entanto, e ao sstentar qe as
teorias cientficas nnca progridem alem do nvel da conjectra. Como ja consenti, as
teorias sao geralmente meras conjectras qando sao pela primeira vez desenvolvidas, e
podem permanecer como conjectras ate qe os primeiros indcios apaream. Mas em
mitos casos o acmlo de indcios em favor de ma teoria as promovera do estatto de
conjectra ao de verdade estabelecida. A teoria geral da relatividade nasce como ma
conjectra, e ainda assim mitos cientistas a consideraram hipotetica, mesmo apos as
famosas observaoes iniciais de Sir Arthr Eddington em 1919 da lz aparentemente se
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
140
Tradues/Translations
crvando proximo ao sol. Mas nesse meio tempo esse indcio inicial foi splementado
com indcios na forma de desvios gravitacionais para o vermelho, dilataao do tempo, e
bracos negros; seria considerado m cientista excentrico aqele qe hoje considerasse
a teoria geral da relatividade como menos do qe firmemente estabelecida.
Esse exemplo pode ser mltiplicado. A teoria heliocentrica do sistema solar, a
teoria da evolao por seleao natral, e a teoria da deriva continental nasceram como
conjectras intrigantes e com pocos indcios a favor delas sobre sas rivais. Mas desde
o perodo em qe foram pela primeira vez propostas, essas teorias acmlaram ma
grande qantidade de indcios qe lhe dao apoio, e qase todos aqeles qe tem contato
com esses indcios nao tem dvida de qe essas teorias sao verdades bem estabelecidas.
A induo racional por definio
Ja insisti, contra Popper, qe geralmente e racional acreditar nas conclsoes das
inferencias indtivas. No entanto, como e disse, essa observaao nao e de modo algm
ma solao ao problema da indao. Pois ainda precisamos explicar como as
inferencias indtivas podem ser racionais dado qe sas conclsoes nao sao logicamente
garantidas por sas premissas.
Algns filosofos argmentaram qe podemos resolver o problema focando-se no
significado comm do termo racional.2 Afinal, dizem eles, no so normal, esse termo
nao se restringe de modo algm ao raciocnio dedtivo. Na verdade, todo mndo
reconhece qe o raciocnio dedtivo e uma especie de argmento racional. Mas ao
mesmo tempo, qase todo mndo tambem aplica o termo racional a otros tipos de
raciocnio, e em particlar ao raciocnio indtivo.
Para fins ilstrativos, considere tres formas diferentes de se prever o tempo. O
primeiro tipo de previsor nao presta qalqer atenao aos padroes de tempo do
passado, e simplesmente estima de maneira aleatoria sobre o tempo de amanha. Um
segndo tipo de previsor presta atenao nos padroes do passado, mas preve qe o tempo
2
Veja Paul Edwards, Russells Doubts about Induction, Mind, 68, 141-63; e a seo 9 de P. F.
Strawson, Introduction to Logical Theory (Londres, 1952).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
141
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
142
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
143
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
144
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
145
Tradues/Translations
como ja enfatizado, ma forma de inferencia pode ser fiavel sem ser dedtivamente
valida.
Essa e apenas parte de ma defesa fiabilista da indao. Pois, ainda qe o
argmento tradicional falhe em mostrar qe a indao nao e fiavel, o fiabilista ainda
precisa fornecer razoes para se pensar qe a indao e fiavel. Ao contrario do filosofo da
lingagem comm, o fiabilista nao pode simplesmente defender a indao baseando-se
no fato de a maioria das pessoas considera-la racional. Pois, de acordo com o fiabilismo,
ma forma de inferencia e racional somente se satisfaz a exigencia fndamental de
fiabilidade de transmitir a verdade das premissas a conclsao.
Mas talvez o fiabilista possa responder esse desafio. A qestao e saber se as
inferencias indtivas prodzem em geral conclsoes verdadeiras caso sejam dadas
premissas verdadeiras. O fiabilista pode mostrar qe ha mitos indcios de qe
prodzem. Qando as pessoas fizeram indoes a partir de premissas verdadeiras no
passado, argmenta o falibilista, as sas conclsoes se mostraram verdadeiras. Podemos
inferir desse indcio, portanto, qe as inferencias indtivas sao em geral transmissoras
fiaveis de verdade.
E certo qe esse ltimo passo e ele mesmo ma inferencia indtiva qe parte do
scesso das indoes no passado a sa fiabilidade geral, e por isso esse argmento e
simplesmente ma versao da defesa indtiva da indao qe acsei de presspor o qe
esta em casa na Seao 1.2.2. No entanto, naqele ponto estavamos presmindo qe o
argmento tradicional levantava m problema genno para a indao e qe, portanto,
seria ilegtimo sar a indao em otras analises filosoficas. Mas a primeira observaao
feita pela defesa fiabilista da indao, foi qe o argmento tradicional, qe apenas
mostra qe a indao nao e dedao, em nada compromete a indao. Por qe, entao,
nao deveramos sar os nossos metodos indtivos normais determinar se a indao e
fiavel? De qe otra forma, pode razoavelmente indagar o fiabilista, esperaramos tratar
o problema?
Esse tipo de defesa indtiva da indao claramente nao ira persadir algem qe
ja nao aceita indoes, pois tal pessoa nao estara propensa a conclir a partir da
premissa qe as indoes fncionaram no passado, qe fncionarao no ftro. Mas o
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
146
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
147
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
148
Tradues/Translations
Algns filosofos sgeriram qe o problema pode ser resolvido com certa rapidez,
proibindo-se simplesmente qaisqer predicados cja definiao faz referencia algm
tempo particlar, como e o caso da definiao de verdl se referir a 2100. Mas Goodman
mostra qe o problema nao pode ser resolvido com essa facilidade. Pois sponha qe
definamos azerde como examinado pela primeira vez antes de 2100 e azl o nao
examinado pela primeira vez antes de 2100 e verde. Assim, e verdade qe se
comearmos com os predicados verde e azl, e definirmos verdl e azerde em
termos deles, como feito acima, entao as definioes fazem menao de tempos
particlares. Mas sponha qe, ao inves, comeamos com verdl e azerde como
nossos termos primitivos. Assim, poderamos definir verde como examinado pela
primeira vez antes de 2100 e verzl o nao examinado pela primeira vez antes de 2100 e
azerde; e poderamos definir azl como examinado pela primeira vez antes de 2100 e
azerde o nao examinado pela primeira vez antes de 2100 e verdl; dessa perspectiva
sao, entao, as definioes de verde e azl qe fazem menao ao tempo. Assim, apelar
paro o tempo e com efeito presspor o qe esta em casa. Pois e apenas porqe
partimos da sposiao de qe verde e azl sao predicados consideraveis, no sentido
de qe verdl e azerde precisam ser definidos e nao vice-versa, qe acreditamos qe
verdl e azerde nao sao consideraveis.
A propria solao de Goodman e qe os predicados projetaveis sao
simplesmente aqeles cja ocorrencia esta encerrada em nossas praticas indtivas, no
sentido de qe eles sao os predicados qe a comnidade so para fazer inferencias
indtivas no passado. Otros filosofos, no entanto, tentaram encontrar meios menos
arbitrarios de traar a linha recorrendo as ideias de simplicidade e importancia pra a
ciencia. Seria jsto dizer, penso, qe nao ha solao niversalmente aceita ao problema.
Em qalqer caso, traar simplesmente ma linha entre predicados projetaveis e
os demais e defensavelmente apenas metade do problema. Poderamos tambem qerer
algma explicaao de por qe e racional fazer indoes com predicados projetaveis e nao
com os otros. Da perspectiva fiabilista delineada na ltima seao tal explicaao
precisaria estabelecer qe as indoes feitas sando-se predicados projetaveis de modo
fiavel prodzem conclsoes verdadeiras dadas premissas verdadeiras.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
149
Tradues/Translations
2. LEIS DA NATUREZA
2.1. Hume, Leis e Acidentes
Nesta seao vo considerar m enigma diferente levantado pela existencia de
verdades gerais sobre a natreza. O enigma nao tem a ver com o nosso conhecimento de
tais verdades, mas com a natreza da realidade qe elas descrevem: e m problema de
metafsica ao inves de epistemologia. Esse problema e normalmente chamado de o
problema de distingir as leis da natreza das generalizaoes acidentais.
Um modo til de abordar esse problema e retornar a analise de David Hme da
casalidade. Antes de Hme os filosofos aceitavam qe qando ma coisa casa otra,
isso era porqe a casa possa algm tipo de poder qe necessitava a ocorrencia do
efeito. Alem do mais, eles consideravam qe podemos conhecer a priori essas conexoes
de necessitaao, no sentido de qe podemos inferir a priori qe o efeito segira
necessariamente a casa, ainda qe nnca tenhamos tido experiencia previa de sa coocorrencia.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
150
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
151
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
152
Tradues/Translations
No entanto, antes de explorar esses dois tipos de respostas, sera til tratar de
ma qestao relacionada. Uma diferena freqentemente notada entre leis e acidentes e
qe as leis, mas nao os acidentes, sportam condicionais contrafactuais. Uma condicional
contrafactal e ma afirmaao se... entao... com a clasla antecedente falsa. Assim, por
exemplo, a afirmaao Se a temperatra tivesse cado a baixo de 0 C, entao teria havido
gelo sobre a estrada, feita na ocasiao em qe a temperatra de fato nao cai a baixo de
0 C e a aga nao congelo, e ma condicional contrafactal. Na verdade, e ma
condicional contrafactal qe aceitamos intitivamente como verdadeira em virtde da
lei qe a aga sempre congela a 0 C. Mas considere agora a condicional contrafactal Se
e tivesse ido ao jogo do Arsenal, o placar teria sido 0 X 0, feita sobre ma partida qe
nao fi e qe nao termino em empate. Mito embora seja de fato verdadeiro qe em
todas as ocasioes em qe estive presente nao hove gols, nao aceitamos essa segnda
condicional contrafactal como verdadeira pela seginte razao. Intitivamente
consideramos qe a minha presena nao teria feito qalqer diferena. Ainda qe e
estivesse esta la, os gols ainda teriam sido marcados.
E esse o sentido em qe as leis, mas nao os acidentes, sportam contrafactais.
Intitivamente projetamos leis, mas nao acidentes, em sitaoes contrafactais. No
entanto, ao passo qe isso e certamente m bom sintoma da diferena entre leis e
acidentes, nao corresponde a ma explicaao da diferena.
A razao e qe o significado das contrafactais e em si ma qestao qe exige
explicaao filosofica. Poderamos comear tal explicaao dizendo qe as contrafactais
exprimem aqilo qe acontece em sitaoes nao efetivas. Mas em qe sentido sitaoes
nao efetivas existem? E se nao existem, o qe torna as afirmaoes contrafactais
verdadeiras?
Uma teoria filosofica possvel das contrafactais e dizer qe as contrafactais sao
verdadeiras apenas no caso em qe ha ma lei conectando a antecedente e a
conseqente. Mas se tomamos essa via no qe diz respeito as contrafactais, entao
obviamente nao podemos continar a sar as contrafactais para explicar a diferena
lei-acidente. Pois essa teoria das contrafactais presspoe essa diferena.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
153
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
154
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
155
Tradues/Translations
Nao haveria, contdo, a despeito dos argmentos da seao anterior, algm sentido
em qe os acidentes sao demasiado especficos e locais para fncionar como gias gerais
ao fncionamento do niverso? J. L. Mackie argmento a favor de m modo diferente de
captrar essa intiao. O problema com os acidentes, de acordo com Mackie, nao e qe
eles tem mito pocas instancias, como tal, mas antes, e qe nao sao indutivamente
apoiados por sas instancias. Qando observamos diversos casos de a aga congelando a
0 C, isso nos da boas razoes para spor qe toda aga congela a 0 C. Em contraste, qe
os times nao marcaram nas tres primeiras das qatro vezes em qe fi ao jogo do
Arsenal parece ma razao rim para spor qe a minha presena os impediria de marcar
da proxima vez qe e fosse.
Com efeito, Mackie esta sgerindo qe expliqemos a diferena entre leis e
acidentes em termos da diferena entre predicados projetaveis e nao-projetaveis.4
Recorde-se da discssao do novo problema da indao de Goodman na Seao 1.
Goodman mostra qe precisamos reconhecer a distinao entre padroes qe envolvem
predicados como ... e verde, qe podem ser racionalmente projetados em otros casos
inobservados, e padroes qe envolvem predicados como ... e verdl, qe e irracional
esperar continar. A sgestao de Mackie, entao, e simplesmente qe as leis sao aqelas
generalizaoes qe contem predicados projetaveis.
Note como essa sgestao prodz ma explicaao natral do porqe os exemplos
de acidentes tendem a ser constrdos em termos nao-qalitativos e a ter ma
qantidade finita de instancias. De acordo com Mackie, enqanto qe as leis podem ser
asseridas com base nos sbconjntos de sas instancias, os acidentes, qe nao sao
indtivamente apoiadas por sas instancias, podem apenas ser aceitos como
verdadeiros qando sabemos qe checamos exastivamente todas as sas instancias.
(Por exemplo, apenas sobemos qe a generalizaao do Arsenal foi verdadeira porqe
e poderia lhe prometer qe nao iria mais aos jogos.)
Portanto, ma condiao para saber qe m acidente e verdadeiro e qe ele tenha
ma qantidade finita de instancias, pois do contrario o exame exastivo seria
4
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
156
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
157
Tradues/Translations
ed.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
158
Tradues/Translations
eletronicos e dos radios sao presmivelmente projetaveis, se algo o for, voce infere qe,
qando m eqipamento desse tipo estiver ligado, os radios como o se farao m
barlho estranho. Mas sponha qe na verdade nao ha conexao real, e qe o se radio
esteja fazendo os barlhos estranhos por ma razao completamente diferente. Entao, a
generalizaao Qando m eqipamento desse tipo esta ligado, os radios como o se
fazem m barlho estranho sera verdadeira sem exceao, e contera predicados
projetaveis. Contdo, ela claramente nao e ma lei. Isso mostra qe Ramsey e Lewis
estao corretos sobre as leis e Mackie errado, ma vez qe a teoria de Ramsey-Lewis nao
considera essa generalizaao como ma lei, ao passo qe a teoria de Mackie considera.
(Se voce fosse o experimentador no exemplo, nao dvidaria qe o padrao e ma lei, pois
nao dvidaria de qe tem ma explicaao em termos de ciencia basica. Mas contdo,
voce estara errado ao pensar isso, ma vez qe nao ha tal explicaao.)
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
159
Tradues/Translations
David Armstrong, What is a Law of Nature? (Cambridge, 1983); Fred Dretske, Laws of
Nature, Philosophy of Science, 44 (1977), 248-68; Michael Tooley, The Nature of Laws, Canadian
Journal of Philosophy, 7 (1977), 667-98.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
160
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
161
Tradues/Translations
Mais
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
162
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
163
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
164
Tradues/Translations
frqentemente
fenomenos
observaveis
srpreendentes
ate
entao
completamente desconhecidos. Por exemplo, Einstein previ, com base na teoria geral
da relatividade, qe a lz se crvaria nas proximidades do sol. Fora essa teoria, nao havia
qaisqer razoes para se esperar isso. Contdo, essa previsao foi trinfantemente
confirmada pelas famosas observaoes de Sir Arthr Eddington no oeste da Africa
drante m eclipse solar em 1919. Isso fornece otro argmento a favor do realismo.
Pois o realista pode insistir qe nao haveria razao pela qal as previsoes devessem
seqer fncionar se as teorias por tras delas nao fossem verdadeiras.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
165
Tradues/Translations
(Oxford, 1983).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
166
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
167
Tradues/Translations
novo significado para explicaao. Mas se isso o deixa preocpado, sempre ha a primeira
resposta para se recorrer.)
3.3.3. Previso
Resta o argmento realista da previsao. Aqi das linhas instrmentalistas de
resposta estao disponveis novamente. A mais radical, e talvez menos plasvel, seria
negar qe a capacidade de fazer tais previsoes seja ma caracterstica genna da pratica
cientfica. Os instrmentalistas qe segem essa linha com certeza consentem qe os
cientistas faam previsoes no sentido de qe tirem conseqencias observacionais de
sas teorias. Mas podem negar qe essa pratica gere qaisqer previsoes mais
verdadeiras do qe sposioes aleatorias gerariam. Afinal, eles podem salientar, as
nicas previsoes verdadeiras das qais lembramos sao as bem scedidas, como a
previsao de Einstein do desvio da lz. Mas para toda previsao bem scedida ha milhares
de experimentos cientficos qe nao prodzem os resltados esperados. Assim, qe
razoes reais temos para pensar qe as teorias sobre inobservaveis nos permitam
antecipar novos fenomenos observaveis? Talvez essa seja apenas ma impressao criada
pela memoria seletiva. Se isso estiver correto, e a ciencia nao for de fato preditivamente
bem scedida, entao obviamente nao ha necessidade de ma explicaao instrmentalista
desse scesso.
No entanto, como e disse, essa resposta nao e inteiramente plasvel. Parece
improvavel qe a capacidade das teorias sobre inobservaveis as vezes antecipar novos
fenomenos observaveis seja apenas ma qestao de sorte. No entanto, ainda qe
aceitemos qe a ciencia seja preditivamente bem scedida, resta espao para ma
abordagem instrmentalista disso. A abordagem realista, lembre-se, foi a de qe as
teorias sobre inobservaveis sao caracteristicamente verdadeiras, e por isso nao
srpreende qe resltem em previsoes verdadeiras. Os instrmentalistas, qe negam a
verdade das teorias sobre inobservaveis, nao podem dizer isso. Mas podem dizer algo
mais. Eles podem aceitar qe haja m padrao bem estabelecido, visvel na historia da
ciencia, de novas previsoes observaveis sgeridas pelas teorias sobre inobservaveis qe
se mostraram verdadeiras. E entao podem simplesmente insistir, de acordo com o se
instrmentalismo, qe nao ha necessidade de fornecer qalqer explicaao lterior
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
168
Tradues/Translations
desse padrao em termos de tais fatos sbjacentes como a verdade das teorias tratadas.
Afinal, o instrmentalismo e precisamente o ponto de vista de qe nao precisamos
explicar os padroes manifestos em termos de casas sbjacentes (o qe no maximo
deveramos explica-las conectando-as a padroes manifestos mais amplos). Dado qe os
instrmentalistas partem da negaao da necessidade das explicaoes inobservaveis,
seria cometer ma petiao de princpio contra eles insistir qe eles deveriam prodzir
tal explicaao do scesso preditivo da ciencia.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
169
Tradues/Translations
P. Duhem, The Aim and Structure of Physical Theory, edio em ingls (London, 1962)/edio
brasileira: A Teoria Fsica: seu objeto e sua estrutura. Eduerj, 2014; W. V. O. Quine, Two Dogmas of
Empiricism, in From a Logical Point of View (Cambridge, Mass., 1953)/edio brasileira: De um
Ponto de Vista Lgico. Unesp, 2011.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
170
Tradues/Translations
A otra rota para a SDTI, primeiramente desenvolvida por fsicos como Henri
Poincare na virada do seclo XIX, tem m ponto de partida diferente.9 Comea, nao com
das teorias rivais, mas com ma dada teoria, cjas previsoes observacionais sao
spostamente exatas. Imagine qe T1 e a verdade completa acerca da realidade fsica e
qe implica verdades observacionais O. Entao, podemos sempre constrir ma T2
desocamizada qe postle mecanismos inobservaveis mais complicados, mas qe, nao
obstante, tem precisamente as mesmas conseqencias observacionais.
Por exemplo, sponha qe comecemos com sposioes padroes sobre a
localizaao dos corpos no espao-tempo e sobre as foras qe agem sobre eles. Uma
teoria desocamizada poderia entao postlar qe todos os corpos, inclindo todos os
instrmentos de mediao, estao se acelerando a 0,3 m/s2 nma dada direao, e entao
adicionar apenas as foras extras necessarias para explicar isso. Essa teoria teria clara e
exatamente as mesmas conseqencias observacionais qe a teoria original, mito
embora a contradiga no nvel inobservavel.
Para ver a diferena entre os dois argmentos a favor da SDTI, note qe o
argmento de Dhem-Qine nao especifica exatamente com qe teorias completas
terminaremos, ma vez qe deixa em aberto como as hipoteses axiliares de T1 e T2
podem ser revistas; o argmento da desocamizaao, em contraste, especifica de fato T1 e
T2 de maneira detalhada, inclindo as hipoteses axiliares. Em compensaao, o
argmento de Dhem-Qine nos promete teorias alternativas qalqer qe seja o dado
observacional qe possa aparecer no ftro; ao passo qe o argmento da
desocamizaao presme qe todas as observaoes ftras sao como T1 preve.
3.5. Simplicidade e Eliminao
A minha opiniao e a de qe os argmentos da seao anterior nos dao boas razoes
para aceitar a SDTI, a tese de qe sempre havera teorias incompatveis pra explicar
qalqer corpo de fatos observacionais. Nao concordo, no entanto, qe a SDTI seja m
bom argmento contra o realismo. O qe a SDTI mostra e qe mais do qe ma teoria
9
H. Poincar, Science and Hypothesis, edio em ingls (New York, 1952). Edio brasileira: A
cincia e a Hiptese. Editora UnB, 1988.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
171
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
172
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
173
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
174
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
175
Tradues/Translations
tecnologicos projetados para adentrar nesses reinos. Por isso, mais ma vez, poco
srpreende qe as sas teorias permaneam no nvel de hipoteses. Em contraste, nas
areas onde os indcios adeqados estao disponveis, como a qmica e a medicina, nao ha
barreira correspondente a passagem qe a ciencia faz das hipoteses as conclsoes
segras.
A moral da estoria e qe o realismo e mais defensavel em algmas areas da
ciencia do qe em otras. Em algmas qestoes cientficas indcios segros estao
disponveis e nos permite averigar certas teorias, como a teoria de qe a aga e
composta de moleclas de H2O, como sendo a verdade literal acerca da realidade. Em
otras areas os indcios sao fragmentados e inconclsivos e fazemos melhor se
considerarmos as teorias bem apoiadas, como a teoria de qe qarks e leptons sao
constitintes ltimos da materia, como instrmentos teis qe acomodam os dados
existentes, fazendo previsoes interessantes e sgerindo linhas lteriores de pesqisa.
A primeira vista, poderia parecer qe isso e ma vitoria do instrmentalismo
sobre o realismo. Pois os instrmentalistas nao aceitam qe deveramos ser realistas
acerca das coisas observaveis, e apenas recomendam o instrmentalismo para as teorias
incertas acerca de objetos inobservaveis? Em contraste, a posiao qe alcanamos nao
tem peso algm sobre a distinao entre o qe e observavel e o qe nao e. Em particlar,
ela defende qe a metaindao pessimista nao mostra qe a falsidade e o destino natral
de todas as teorias sobre inobservaveis, mas apenas qe ha ma linha na categoria das
teorias acerca de inobservaveis entre as teorias qe se pode esperar qe se mostrem
falsas e aqelas cjas reivindicaoes a verdade sejam segras. Assim, nossa posiao atal
nao e m instrmentalismo dogmatico sobre todos os inobservaveis, mas apenas a
perspectiva indisptavel de qe deveramos ser instrmentalistas sobre a sbclasse de
teorias qe nao sao apoiadas pelos indcios adeqados.
4. CONFIRMAO E PROBABILIDADE
4.1. A noo de Confirmao
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
176
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
177
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
178
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
179
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
180
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
181
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
182
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
183
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
184
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
185
Tradues/Translations
(Essa e apenas a ideia matematica padrao de limite m nmero tal qe, para qalqer
regiao minscla em sa volta, a freqencia relativa eventalmente se mantera nessa
regiao ma vez qe voce tenha percorrido a seqencia o bastante.)
No entanto, ainda qe a teoria freqencista possa lidar com esse problema
tecnico sscitado pelas seqencias infinitas, mitos filosofos ainda se sentem
desconfortaveis em definir as probabilidades em termos de fatos hipoteticos acerca
daqilo qe aconteceria se S ocorresse infinitamente. Uma vez qe a maioria dos Ss,
como arremessos de moedas, lanamentos de dados, o decaimentos atomicos,
efetivamente nao ocorrem infinitamente, isso significa qe estamos tentando definir as
probabilidade objetivas em termos de fatos nao existentes e imaginarios. Isso convence
mitos filosofos a procrar ma abordagem alternativa as probabilidades objetivas.
4.6.2. A Teoria Propensista
A teoria propensista da probabilidade objetiva abandona a ideia de freqencias
relativas em testes repetidos, e defende qe deveramos simplesmente tomar a noao de
probabilidade como ma noao primitiva qe mede a fora da propenso de cada S
particlar prodzir R. Os teoricos da propensao sam normalmente o termo chance
para referir essa qantidade. Assim, qando dizem qe a chance desta moeda de virar
cara qando e arremessa-la e de 0,4, qerem dizer simplesmente qe essa combinaao
particlar da moeda e do arremessador tem ma tendencia de 0,4 para prodzir caras.
A teoria propensista tem a desvantagem de nao definir a probabilidade, mas
simplesmente a toma como primitiva. Por otro lado, tem a vantagem de nao precisar
recorrer as seqencias infinitas nao-existentes da teoria freqencista. Qal dessas das
teorias voce prefere dependera principalmente de se voce pensa qe as seqencias
infinitas sao m preo a se pagar por ma definiao explcita.
A primeira vista poderia parecer qe a teoria pronpensista tera mais dificldades
em explicar como descobrimos as probabilidades objetivas do qe a teoria freqencista.
Pois certamente o nosso conhecimento das probabilidades objetivas advem da
observaao das freqencias. Contdo, a teoria propensista parece negar qalqer
conexao entre as probabilidades e as freqencias.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
186
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
187
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
188
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
189
Tradues/Translations
seja prevista por ela, ma vez qe e tambem prevista pela teoria newtoniana da
gravitaao.
4.8. Os Paradoxos Resolvidos
Consideremos agora como essa abordagem bayesiana da confirmaao lida com os
paradoxos da confirmaao.
4.8.1. O Paradoxo dos Corvos
Primeiro o paradoxo dos corvos. As sposioes qe geram o paradoxo, lembre-se,
sao (1) qe as generalizaoes sao confirmadas por sas instancias, e (2) qe a
confirmaao vale igalmente para proposioes logicamente eqivalentes. A resposta
bayesiana padrao a esse paradoxo e aceitar ambas as sposioes, e com isso a conclsao
aparentemente absrda de qe m sapato branco confirma qe todos os corvos sao
pretos. Mas os bayesianos entao explicam essa aparencia de absrdidade dizendo qe
m sapato branco confirma pouqussimo essa hipotese em comparaao com a
confirmaao obtida de m corvo preto.
Deixe-me sar imagens simples para ilstrar o ponto. Sponha qe voce
inicialmente pense qe cerca de 1/5 dos objetos fsicos sejam pretos, e qe cerca de
1/10 sejam corvos. (Isso nao e mito realista, mas mantenhamos as imagens simples.)
Entao, na falta de qaisqer panoramas especiais acerca das cores dos corvos, a
probabilidade qe voce atribi ao proximo objeto qe voce ver como sendo m corvo
preto sera 1/50, e como sendo m nao-corvo preto sera 36/50 (e similarmente como
sendo m corvo nao preto 4/50 e m nao-corvo nao-preto 9/50).
Considere agora a probabilidade condicional de m corvo preto e m nao-corvo
nao-preto de acordo com a sposiao (T) de qe todos os corvos sao pretos. Essa
sposiao tendera a amentar a probabilidade qe voce atribi a ambas observaoes
simplesmente porqe ela dimini a probabilidade de qe voce vera m corvo nao-preto
de 4/50 para zero. Sponha qe essa probabilidade condicional para m corvo naopreto seja 2/50, para m nao-corvo nao-preto 38/50 (e para m nao-corvo preto
10/50).
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
190
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
191
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
192
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
193
Tradues/Translations
crvatra da lz, de desvios gravitacionais para o vermelho, e assim por diante, acabara
de algma maneira acreditando nela nm gra proximo ao das otras pessoas.
No entanto, por mais satisfatorios qe sejam esses resltados, eles nao
respondem satisfatoriamente a preocpaao filosofica fndamental. Pois nao fncionam
para todos os possveis gras de crena. Ao inves, presmem qe as pessoas em qestao,
ao passo qe sao diferentes entre si, obtem ses gras de crena iniciais de certo
domnio. Ao passo qe esse domnio incli a maior parte dos gras de crena iniciais qe
parecem de todo plasveis, ha, contdo, otros gras de crena iniciais possveis qe
sao consistentes com os axiomas da probabilidade, mas qe nao condzirao a evental
convergencia. Assim, por exemplo, os bayesianos nao explicam de fato o qe esta errado
com as pessoas qe nnca terminarao acreditando na teoria da relatividade porqe
sempre pensam qe e provavel qe o crso da natreza mde amanha.
Parece-me qe isso mostra qe o bayesianismo fornece, na melhor das hipoteses,
ma explicaao parcial da confirmaao. Os bayesianismo nos mostra como nossos gras
de crena iniciais restringem o modo em qe responderamos a novos indcios. Mas ele
precisa ser splementado por ma explicaao adicional de por qe algns gras de
crena iniciais sao objetivamente speriores a otros. Talvez m modo de preencher
esse hiato seria apelar ao tipo de simplicidade mencionada no Seao 3.6. Mas seria ir
longe demais tratar dessa qestao aqi.
5. EXPLICAO
5.1. O Modelo de Cobertura por Lei
Ate agora temos tratado principalmente do nosso conhecimento de verdades
gerais. Nesta seao focar-me-ei na aplicaao desse conhecimento a explicao. Tanto na
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
194
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
195
Tradues/Translations
apenas nos permite inferir qe o explanandum ocorre. Porqe envolvem deduo via lei,
tais explicaoes sao geralmente chamadas de explicaoes dedtivo-nomologicas, o
explicaoes D-N resmidamente. (Ha ma variante do modelo de cobertra por lei qe
permite leis probabilsticas ao inves de determinsticas, cja exigencia de dedtibilidade
e relaxada. Assim, cobertra por lei e estritamente m termo mais amplo do qe
dedtivo-nomologico. Mas nos detenhamos por enqanto nos casos dedtivos e
deixemos as explicaoes probabilsticas de lado.)
E bom deixar claro qe a ideia de ma explicaao dedtiva nao presme qe a
lei L possa de algm modo ser dedzida de princpios primeiros de maneira a priori.
Tais leis ainda tem de ser estabelecidas por induo de observaoes passadas de
resltados. A ideia e simplesmente qe, se estabelecemos tal lei, entao ela implicara
dedtivamente, jnto com as condioes iniciais adeqadas, certas resltados lteriores.
O modelo de cobertra por lei implica certa simetria entre explicaao e previsao.
A estrtra das explicaoes, em qe dedzimos qe E ocorre a partir de condioes
iniciais e leis, assemelha-se a estrtra das previsoes, em qe dedzimos qe E ira
ocorrer das mesmas condioes iniciais e leis. Por exemplo, se podemos explicar a chva
desta manha pelas condioes iniciais e pela lei relevante, entao presmivelmente
poderamos ter previsto a chva de antemao com base na mesma informaao. Assim,
pelo modelo de cobertra por lei a diferena entre a explicaao e a previsao depende
apenas de se voce conhece o explanandum ante de dedzi-lo do explanans. Se voce ja
conhece E, entao a mesma dedao servira para preve-la. Uma previsao lhe diz o qe
esperar. Uma explicaao lhe mostra qe aqilo qe voce ja conhece era de se esperar.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
196
Tradues/Translations
com o sol nm dado anglo atras de voce. Posso explicar isso mostrando qe se sege de
leis qe (1) a lz do sol envolve ma mistra de todos os comprimentos de onda da lz,
(2) esses diferentes comprimentos de onda refratam diferentemente ao passarem da lz
a aga, e (3) os pingos de chva sao de forma tal qe condzirao a reflexao dentro da
gota. Eis qe expliqei ma lei com referencia a otras leis. Esqematicamente:
Explanans: L1, L2, ..., Ln
___________________
Explanandum: L.
Porqe o explanandum aqi e ma verdade geral, e nao m evento particlar ocorrendo
nm lgar e tempo especficos, nao e necessario qe as condioes iniciais estejam
envolvidas na explicaao. Mas a despeito dessa diferena, ela ainda e ma explicaao
dedutiva a partir de leis, e por isso e ainda ma especie de explicaao dedtivonomologica. As explicaoes desse tipo sao geralmente chamadas de explicaoes
teoricas para distingi-las das explicaoes particlares.
A possibilidade das explicaoes teoricas mostra como o modelo de cobertra por
lei pode responder ma objeao inicial comm. Considere mais ma vez a explicaao
particlar da chva desta manha oferecida na seao anterior. Algem poderia dizer qe
esta tdo mito bem em atribir a pressao e a midade a chva desta manha, mas
objetar qe isso nao e ma explicaao ate qe voce tenha mostrado por qe as gotas em
pressao em alta midade sao em geral segidas por chva.
O modelo de cobertra por lei pode responder insistindo qe a explicaao de ma
chva nesta manha e ma coisa, e a explicaao da lei de qe qedas de pressao em alta
midade sao segidas por chva e otra. Se voce qer explicaoes de ambas, pode te-las.
Mas disso nao se sege qe voce nao tenha explicado a primeira, a chva particlar, ate
qe tenha tambem explicado a segnda, a lei qe da conta da chva particlar.
Na verdade, seria obviamente atoderrotante exigir qe todas as explicaoes
contivessem explicaoes dos fatos adzidos nas explicaoes. Cairamos nm regresso
infinito. Tao logo qe explicassemos as leis qe originalmente apareceram no explanans
por otras leis, teramos, entao, de explicar as otras leis por otras leis, e assim por
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
197
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
198
Tradues/Translations
cobertra por lei? (B) Conversamente, toda instancia do padrao de cobertra por lei
eqivale a ma explicaao cientfica?
5.3.1. Todas as Explicaes se Adquam ao Modelo de Cobertura por Lei?
Deixe-me comear com (A). Considere este exemplo. A peqena Katy pega
catapora. Voce qer saber por qe. Voce e informado qe ela brinco com Miranda, qe
tinha catapora. Essa parece ma explicaao perfeitamente cogente. No entanto, nao
parece se conformar ao modelo de cobertra por lei. Sponha qe pensemos qe brincar
com otra criana com catapora e ma condiao inicial nma dedao de cobertra por
lei de Katy ter pegado catapora. Entao, precisamos como lei algo como Qando ma
criana qe nao teve catapora brinca com otra qe teve, a primeira tambem tera. Mas
nao ha tal lei. Ha diversos casos em qe crianas nao pegaram catapora apos brincar
como otra criana com catapora, ainda qe nao tivesse pegado antes.
Assim, isso e prima facie m contraexemplo: ma explicaao intitivamente
satisfatoria qe nao se adeqa ao modelo de cobertra por lei.
5.3.2. Todas as Instncias do Modelo de Cobertura por Lei so realmente Explicaes?
A pergnta (B) levanto a qestao conversa: toda instancia do padrao de
cobertra por lei e realmente ma explicaao? Eis m caso qe nao e.
I1, I2: O barometro decai essa manha; e a midade estava alta.
L: Qando o barometro decai em alta midade, chove.
_____________________________________________________
E: Chove esta manha.
Essa dedao se conforma perfeitamente as condioes do modelo de cobertra por lei de
ma explicaao particlar. Mas intitivamente nao e ma explicaao satisfatoria. A qeda
do barometro poderia dar conta de como voce sabe qe vai chover. Mas estar chovendo
efetivamente e m fato diferente de voce saber qe vai chover. E intitivamente parece
completamente errado dizer qe a qeda do barometro foi responsavel pela chva.
Eis algns casos similares.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
199
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
200
Tradues/Translations
potenciais sao explicaoes, o modelo de cobertra por lei tem problemas ao exclir essas
nao-explicaoes prima facie.
5.4. Explicao Probabilstica
Os defensores do modelo de cobertra por lei podem dar varias respostas a esses
contraexemplos. Deixe-me primeiro considerar os contra-exemplos do tipo (A),
designadamente, explicaoes intitivamente satisfatorias, como a catapora de Katy, qe
nao se adeqam ao modelo de cobertra por lei.
Uma possvel resposta aqi seria argmentar qe, se a catapora de Katy nao e
previsvel devido a falta de ma lei qe diz qe ela estava segra de pegar catapora
naqelas circnstancias, entao, a despeito das primeiras aparencias, ela brincar com
Miranda nao a explica. (Afinal, otras crianas qe entram em contanto com a infecao
as vezes nao pegam catapora. Portanto, por qe spor qe o contato de Katy com
Miranda seja sficiente para explicar ela ter contrado a doena?) Essa via salvaria o
modelo de cobertra por lei de explicaao ao negar qe o aparente contraexemplo fosse
m exemplo genno de explicaao.
Essa manobra, no entanto, parece nada atrativa. Seria mito estranho negar qe
Katy pego catapora porqe brinco com Miranda. Por isso, a maioria dos teoricos da
explicaao, de Hempel em diante, enfraqece as condioes do modelo de cobertra por
lei a fim de permitir qe haja explicaoes qe recorram a leis probabilsticas ao inves de
leis sem exceoes. Afinal, em nosso exemplo e presmivelmente verdadeiro qe a
maioria das crianas qe entram em contato com a catapora a contrai, e isso significa
qe podemos pelo menos antecipar qe Katy pegaria catapora de Miranda com ma
probabilidade alta, se nao com certeza. De acordo com isso, Hempel desenvolve a
seginte modelo de explicaoes indutivo-estatsticas como otra especie de explicaoes
de cobertra por lei jnto com as explicaoes dedtivo-nomologicas.
Condioes iniciais: I1, I2, ..., In
Leis probabilsticas: L, no sentido de qe a maioria das I1, ..., Ins sao Es
___________________________________________________________
Evento explicado: E.
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
201
Tradues/Translations
10
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
202
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
203
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
204
Tradues/Translations
Uma razao talvez pela qal Hempel e otros proponentes iniciais do modelo de
cobertra por lei fossem reltantes em impor esse tipo de conexao metafsica fosse
haver ma classe importante de explicaoes em qe o explanans nao casa e nem
constiti o explanandum. Sao as explicaoes funcionais o teleolgicas, explicaoes qe
desempenham m papel central na biologia, como por exemplo, em As plantas contem
clorofila para qe possam fazer fotossntese o Os rsos polares sao brancos para qe
nao possam ser vistos. De fato, essas explicaoes sao srpreendentes precisamente
porqe o item a ser explicado (a clorofila, a brancra) e a causa, e nao o efeito, do item
qe explica (a fotossntese, a camflagem).
Se levarmos essas explicaoes a serio, entao nao esta aberto a nos exigir qe as
explicaoes (nao-constittivas) sempre corram da casa ao efeito. Pois essas explicaoes
parecem correr jstamente em otra direao.
Ate mito recentemente a maioria dos filosofos da ciencia nao levaram tais
explicaoes a serio. Por isso, o proprio Hempel considero as explicaoes teleologicas
simplesmente como otro modo, jnto das explicaoes casais normais, de exemplificar
o modelo de cobertra por lei: a nica diferena e qe nas explicaoes casais o fato qe
explica (a baixa temperatra) precede temporalmente o fato explicado (o
congelamento), ao passo qe nas explicaoes fncionais e o fato explicado (a pela
branca) qe antecede temporalmente a conseqencia (a camflagem) qe o explica.
A maioria dos filosofos da ciencia contemporaneos, no entanto, adotam m ponto
de vista diferente, e argmentam qe as explicaoes fncionais, a despeito das
aparencias, sao realmente ma sbespecie das explicaoes casais. Desse ponto de vista,
a referencia aos efeitos ftros nas explicaoes fncionais e apenas aparente, e tais
explicaoes realmente se referem a casas passadas. No caso biologico essas casas
passadas serao as historias evoltivas qe levam a seleao natral do trao biologico em
qestao. Assim, a explicaao fncional da cor dos rsos polares seria entendida como
nos reportando ao fato de qe a sa camflagem passada condzi a seleao natral de
sa brancra, e nao ao fato de qe eles podem ser camflados no ftro.
Se adotarmos essa via no qe diz respeito as explicaoes fncionais, entao
podemos continar a preservar a exigencia de qe todas as explicaoes (nao-
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
205
Tradues/Translations
BIBLIOGRAFIA
Uma introdao classica ao problema da indao e a seao 6 de Os Problemas da
Filosofia (Edioes 70, 2009) de Bertrand Rssell. Para a resposta poperiana ao problema
da indao, veja a seao 1 da Lgica da Pesquisa Cientfica (Cltrix, 1975) de Karl Popper.
Uma discssao crtica das ideias de Popper pode ser encontrada nas seoes 2 e 3 de An
Introduction to Philosophy of Science (Oxford, 1989) de Anthony OHear. Uma abordagem
fiabilista da indao e defendida na seao 4 de Philosophical Naturalism (Oxford, 1993).
Para o novo problema da indao de Goodman veja a seao 3 de Facto, Fico and
Previso (Editorial Presena, 1991) de Nelson Goodman e o artigo de S. Baker e P.
Achinstein, On the New Riddle of Indction, e a resposta de Goodman Positionality
and Pictres, em P. H. Nidditch (ed.), The Philosophy of Science (Oxford, 1968).
Uma boa introdao geral ao problema de distingir leis de acidentes, tanto qanto ma
defesa de sa propria posiao nao-hmiana, e dada por David Armstrong em se What is
a Law of Nature? (Cambridge, 1983).
A maior parte do debate contemporaneo entre realistas e instrmentalistas se foca nos
argmentos em A Imagem Cientfica (Edsp, 2007) de Bas van Fraassen. Esses
argmentos sao disctidos depois em Images of Science (Chicago, 1985) organizado por
P. Chrchland e C. Hooker.
Ha dois excelentes livros sobre o bayesianismo, os qais tambem fornecem ma
introdao geral a teoria da confirmaao e aos conceitos de probabilidade: Probability
and Evidence (Cambridge, 1982) de Pal Horwich, e Scientific Reasoning (La Salle, Ill.,
1989) de Colin Howson e Peter Urbach.
O ponto de partida para aas discssoes contemporaneas da explicaao e a seao 4 de
Aspects of Scientific Explanation (New York, 1963) de Carl Hempel. Para debates mais
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
206
Tradues/Translations
http://periodicoinvestigacaofilosofica.blogspot.com.br
IF
207