Professional Documents
Culture Documents
R EALISMO/ANTI-R EALISMO
da EDIO DE 2014 do
COMPNDIO EM LINHA
DE P ROBLEMAS DE FILOSOFIA A NALTICA
2012-2015 FCT Project PTDC/FIL-FIL/121209/2010
Editado por
Joo Branquinho e Ricardo Santos
ISBN: 978-989-8553-22-5
Realismo/Anti-Realismo
Copyright 2014 do autor
Eduardo Castro
Palavras-chave
Existncia, independncia, metafsica, realismo cientfico, realismo
matemtico
Abstract
State of the art paper on the topic realism/anti-realism. The first part
of the paper elucidates the notions of existence and independence of
the metaphysical characterization of the realism/anti-realism dispute.
The second part of the paper presents a critical taxonomy of the most
important positions and doctrines in the contemporary literature on
the domains of science and mathematics: scientific realism, scientific
anti-realism, constructive empiricism, structural realism, mathemati-
cal Platonism, mathematical indispensability, mathematical empiri-
cism, intuitionism, mathematical fictionalism and second philosophy.
Keywords
Existence, independence, mathematical realism, metaphysics, scien-
tific realism
Realismo/Anti-Realismo
Na generalidade, as doutrinas do realismo/anti-realismo obedecem a
uma caracterizao e a um domnio de aplicao. A caracterizao pode
ser de natureza metafsica, ontolgica, epistmica, semntica, etc.
O domnio de aplicao poder ser sobre moral, esttica, linguagem,
cognio, modalidade, cincia, matemtica, etc. As diferentes com-
binaes de caracterizaes e domnios do origem a uma extensa
panplia de doutrinas realistas/anti-realistas na literatura contem-
pornea.
Embora existam algumas doutrinas realistas/anti-realistas total-
mente globais, como o idealismo de Berkeley, as doutrinas mais fre-
quentes so doutrinas realistas/anti-realistas locais. Ora, dada uma
caracterizao, estabelecem-se posies diferentes sobre domnios
particulares. Ora, dado um domnio, estabelecem-se posies dife-
rentes sobre caracterizaes particulares. Por exemplo, algum pode
considerar-se realista metafsico em cincia mas anti-realista metaf-
sico em matemtica; algum pode considerar-se realista semntico
em cincia mas anti-realista epistmico em cincia.
H trs caracterizaes importantes da disputa realismo/anti-
-realismo: metafsica, epistmica e semntica. Em metafsica a dis-
puta sobre o que existe e a sua natureza, nomeadamente, se aquilo
que existe ou no independente do mental. Em epistemologia a
disputa sobre que conhecimento possvel alcanar. Em semntica
a disputa sobre a relao entre a linguagem e o mundo, nomeada-
mente, uma disputa acerca do significado e das condies de verda-
de. A caracterizao metafsica a que mais se destaca das trs, em
virtude do seu carcter bsico e unificador dos diferentes domnios
disciplinares.1
Este artigo segue o estado de coisas anterior respeitante s carac-
terizaes. D-se prioridade caracterizao metafsica e secundari-
zam-se a caracterizao epistmica e a caracterizao semntica. O
artigo tem duas partes distintas. A primeira parte elucida duas noes
centrais da caracterizao metafsica existncia e independncia
e apresenta os argumentos a favor e contra estas noes. Esta parte
1
Por vezes, a caracterizao metafsica tambm conhecida por caracterizao
ontolgica.
1 Existncia e independncia
H duas noes centrais na disputa metafsica realismo/anti-realis-
mo: existncia e independncia. Um realista defende que existem Fs e
a sua existncia independente da nossa mente. Um anti-realista de-
fende que no existem alegados Fs ou, caso existam, a sua existncia
depende da nossa mente. Ou seja, um anti-realista pode rejeitar a
dimenso realista de existncia ou a dimenso realista de indepen-
dncia. Para o que imediatamente se segue, esta caracterizao me-
tafsica minimal suficiente para a nossa discusso. Note-se, no en-
tanto, que possvel edificar diferentes verses metafsicas realistas/
anti-realistas consoante a denotao considerada para Fs objectos,
propriedades, relaes, etc. e consoante o tipo de independncia
considerada causal, constitucional, objectiva, essencial etc.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 3
Edio de 2014
4 Eduardo Castro
2 Realismo/anti-realismo em cincia
O debate realismo/anti-realismo em cincia, em geral, enformado
pelas trs caracterizaes referidas neste artigo: metafsica, semnti-
ca e epistmica. A dimenso metafsica respeitante existncia de
uma realidade independente da mente que a cincia estuda. A dimen-
so semntica respeitante ao valor de verdade das proposies cien-
tficas. A dimenso epistmica respeitante ao conhecimento cien-
tfico. Grosso modo, a posio realista em cincia resulta da conjuno
das trs caracterizaes. A cincia acerca do mundo exterior aos
humanos (metafsica), formalizada por intermdio de proposies
com valores de verdade literais (semntica) e que estas proposies,
se verdadeiras, constituem-se como conhecimento acerca do mundo
exterior (epistemologia). Uma posio anti-realista em cincia con-
siste simplesmente em negar alguma das conjunes anteriores da
posio realista.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 9
2.1 $IDYRUGRUHDOLVPRFLHQWtFR
No h milagres
O melhor argumento para o realismo cientfico, supostamente, o
argumento de que no h milagres (Putnam 1975: 73), tambm co-
nhecido por argumento ltimo (van Fraassen 1980: 37). Este argumen-
to foi articulado por Popper (1963), Putnam (1975, 1978), Smart
(1963, 1989) e Boyd (1983). O argumento uma inferncia para a
melhor explicao:
Edio de 2014
10 Eduardo Castro
2.2 &RQWUDRUHDOLVPRFLHQWtFR
Na literatura contempornea destacam-se dois argumentos anti-
-realistas: a induo pessimista das teorias cientficas falsificadas e a
subdeterminao das teorias cientficas pelos dados experimentais.
Induo pessimista
A chamada induo pessimista, tambm conhecida por PHWDLQGXomR
pessimista, considera que do ponto de vista da histria da cincia, in-
meras teorias cientficas do passado foram falsificadas. Essas teorias
cientficas foram simplesmente abandonadas ou surgiram outras teo-
rias que as suplantaram. Assim, por induo, as nossas melhores teo-
rias cientficas contemporneas tambm sero falsas. Surgiro novos
dados experimentais que falsificaro as teorias correntes ou surgiro
novas teorias cientficas que suplantaro as teorias cientficas corren-
tes. Laudan (1981) a referncia sobre este argumento, apresentan-
do uma lista de teorias cientficas que foram falsificadas como, por
exemplo, a teoria qumica do flogisto, a teoria electromagntica do
ter, a teoria geocntrica, teoria da gerao espontnea e a teoria
calrica do calor. (Em Poincar (1968: 173) e Putnam (1978: 25)
tambm se encontram formulaes deste argumento embora, natu-
ralmente, no sejam subscritas pelos mesmos).
2
Falcia do esquecimento da taxa base. Suponhamos que em Portugal a taxa do
vrus VIH de 0,1%. Entretanto, surge um novo teste do vrus mas que no
totalmente fivel. O teste tem uma taxa de 5% de falsos-positivos, isto , em 5%
dos casos indica que uma pessoa est infectada quando, na verdade, isso no caso.
Suponhamos que fao o teste e o resultado positivo. A falcia consiste em inferir
que a probabilidade de estar infectado de 95%. Na verdade, a probabilidade
de apenas 2%. O erro resulta do esquecimento de utilizar a taxa base de 0,1% no
clculo. Esta falcia tambm conhecida como IDOiFLDGDSUREDELOLGDGHFRQGLFLRQDGD
em virtude de se supor, incorrectamente, que nestes casos P ($|B) = P (B|$).
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 11
Subdeterminao
A tese do holismo da confirmao de Duhem-Quine (Duhem (2007:
cap. 6); Quine 1975), segundo a qual uma hiptese cientfica apenas
pode ser testada enquanto pertencente a um bloc de teorias cient-
ficas WKHZHERIEHOLHI , a tese que fundamenta o argumento da
subdeterminao das teorias pelos dados experimentais que passo a
formalizar:
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 13
3
Para uma colectnea de artigos sobre 6FLHQWLF ,PDJH ver Churchland e
Hooker 1985 e Monton (2007: Parte I).
Edio de 2014
14 Eduardo Castro
4
[A] teoria de Fresnel permite-nos sempre fazer [previses dos fenmenos
pticos], hoje, bem como antes de Maxwell. As equaes diferenciais so sempre
verdadeiras () estas equaes expressam relaes, e se as equaes permanecem
verdadeiras, porque essas relaes preservam a sua realidade (Poincar 1968:
173-174). Ver tambm Redhead 1999 e Zahar 1994.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 15
5
Outro exemplo: para velocidades muito inferiores velocidade da luz, as
transformaes de Galileu da mecnica clssica de Newton so dedutveis das
transformaes de Lorentz da relatividade restrita de Einstein.
Edio de 2014
16 Eduardo Castro
3 Realismo/anti-realismo em matemtica
At h bem pouco tempo, a diviso tradicional em matemtica respei-
tante ao tpico deste artigo era platonismo versus anti-platonismo,
em virtude do carcter iminentemente abstracto da matemtica.
Do lado platonista defendia-se a existncia de entidades matemti-
cas abstractas; do lado anti-platonista defendia-se a no existncia de
entidades matemticas abstractas. Todavia, esta diviso tradicional
tem cado em desuso e a diviso mais crescentemente adoptada a
intitulada nesta seco, dando-se primazia s questes de existncia
em detrimento das questes da natureza dessa existncia.
3.1 $IDYRUGRUHDOLVPRPDWHPiWLFR
Platonismo matemtico
O platonismo matemtico a doutrina segundo a qual existem en-
tidades matemticas, abstractas e independentes do mental e que as
nossas teorias e proposies matemticas descrevem essas entidades.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 17
Indispensabilidade matemtica
A verso contempornea do argumento de Frege para o platonismo
o argumento da indispensabilidade matemtica de Quine-Putnam
6
Por exemplo, os nmeros naturais podem ser estabelecidos por recurso aos
ordinais de von Newmann ou aos ordinais de Zermelo. Para von Newmann os
nmeros naturais reduzem-se sequncia seguinte: para 0, {} para 1, {,
{}} para 2, {, {}, {, {}}} para 3 etc. Para Zermelo os nmeros naturais
reduzem-se sequncia seguinte: para 0, {} para 1, {{}} para 2, {{{}}}
para 3.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 19
Empirismo matemtico
Maddy (1990) defende a doutrina segundo a qual existem entida-
des matemticas mas localizadas no espao-tempo.7 Esta uma con-
cepo empirista sobre a matemtica (para outras perspectivas em-
piristas ver Mill 1843 e Kitcher 1984). Defende-se a existncia de
entidades matemticas, nomeadamente, conjuntos matemticos, por
intermdio do argumento da indispensabilidade acima focado e por
intermdio de teorias sobre a percepo. Argumenta-se que conjun-
tos so entidades percepcionveis:
7
Esta doutrina conhecida na literatura por Platonismo Naturalizado.
Edio de 2014
22 Eduardo Castro
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 23
Ficcionismo matemtico
O nominalismo a doutrina segundo a qual no h entidades abs-
tractas (e apenas entidades concretas existem). Em filosofia da mate-
mtica, o ficcionismo uma verso nominalista da doutrina anterior
para o domnio matemtico e estabelece-se em trs asseres. (1) As
teorias e proposies matemticas so acerca de entidades matemti-
cas abstractas; (2) no existem entidades matemticas abstractas; (3)
portanto, as teorias e proposies matemticas so falsas.
Edio de 2014
24 Eduardo Castro
8
Outras verses do ficcionismo: Balaguer 1998; Rosen 2001; Yablo 2001,
2002, 2005; Leng 2010; Bueno 2009; Melia 2000.
9
Um exemplo simples do que aqui est em questo. Seja a frase existem
dois pratos na mesa. Tal frase faz referncia ao objecto matemtico dois. A
nominalizao respectiva resultante a seguinte: existe x na mesa e existe y na
mesa tal que x prato, y prato e x diferente de y.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 25
3.3 )LORVRDVHJXQGDUHDOLVPRQRHDUUHDOLVPR
Numa trilogia, Maddy (1997, 2007, 2011) desenvolve uma nova for-
ma de naturalismo ps-quineana, chamado de ORVRDVHJXQGD, que
descreve os pensamentos e prticas de um investigador idealizado o
filsofo segundo em diversos contextos cientficos. A filosofia se-
gunda no uma doutrina ou sistema de crenas mas antes uma pr-
tica fortemente influenciada pela metodologia cientfica que rejeita
qualquer posio filosfica extra-emprica de investigao e defende
uma subordinao da filosofia cincia natural e, principalmente,
matemtica.
Maddy (2011) centra-se nos axiomas da teoria de conjuntos.
Consideraes metafsicas, externas metodologia matemtica,
como formas de realismo robustas (Gdel) so vistas com suspei-
o. Em alternativa, o filsofo segundo considera que h duas con-
cepes consistentes com a metodologia matemtica: realismo fino
e arrealismo. A concepo realista fina defende que a existncia de
conjuntos estabelecida pelas proposies matemticas da teoria de
conjuntos atravs da mera afirmao da sua existncia e de que as
proposies matemticas so verdadeiras. Conjuntos so entidades
Edio de 2014
26 Eduardo Castro
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 27
4 Concluso
Este artigo analisou a disputa realismo/anti-realismo. Esta anlise
foi, primariamente, metafsica e, secundariamente, epistmica e se-
mntica. Analisaram-se as posies mais relevantes sobre os dom-
nios disciplinares da cincia e da matemtica. Domnios disciplinares
relevantes como moral, esttica, linguagem, cognio, modalidade,
fico, etc. ficaram excludos deste artigo. Desenvolver aqui exaus-
tivamente todas as possveis combinaes de caracterizaes e do-
mnios seria transformar este artigo num livro volumoso. Este com-
pndio, ainda que em formato electrnico, justamente um livro
volumoso. A sua consulta mostrar ao investigador interessado que a
disputa aqui tratada transversal a outros tpicos filosficos.10
Eduardo Castro
Departamento de Matemtica, Universidade da Beira Interior
LanCog Group, Centro de Filosofia da Universidade de Lisboa
5HIHUrQFLDV
Atten, Mark van, Pascal Boldini, Michel Bourdeau, e Gerhard Heinzmann (org.).
2008. 2QH +XQGUHG <HDUV RI ,QWXLWLRQLVP 7KH &HULV\ &RQIHUHQFH.
Springer Science & Business Media.
Ayer, A. J. 1971. Language, Truth and Logic. Harmondsworth: Penguin.
Bain, Jonathan. 2013. Category-Theoretic Structure and Radical Ontic Structural
Realism. Synthese 190(9): 1621-1635. doi:10.1007/s11229-011-9896-6.
Baker, Alan. 2009. Mathematical Explanation in Science. 7KH%ULWLVK-RXUQDOIRUWKH
3KLORVRSK\RI6FLHQFH 60(3): 611-633. doi:10.1093/bjps/axp025.
Balaguer, Mark. 1998. 3ODWRQLVP DQG $QWL3ODWRQLVP LQ 0DWKHPDWLFV. New York:
Oxford University Press.
Benacerraf, Paul. 1965. What Numbers Could not Be. The Philosophical Review
74(1): 47-73. doi:10.2307/2183530.
Benacerraf, Paul. 1973. Mathematical Truth. 7KH -RXUQDO RI 3KLORVRSK\ 70(19):
661-679. doi:10.2307/2025075.
Blackburn, Simon. 1984. 6SUHDGLQJ WKH :RUG *URXQGLQJV LQ WKH 3KLORVRSK\ RI
Language. New York: Oxford University Press.
Boyd, Richard N. 1983. On the Current Status of the Issue of Scientific Realism.
Erkenntnis 19(1-3): 45-90. doi:10.1007/BF00174775.
Brouwer, L. E. J. 1981. %URXZHUV&DPEULGJH/HFWXUHVRQ,QWXLWLRQLVP. Cambridge:
Cambridge University Press.
Bueno, Otvio. 2009. Mathematical Fictionalism. In 1HZ :DYHV LQ 3KLORVRSK\ RI
Mathematics. Organizado por Otvio Bueno e ystein Linnebo. Basingstoke:
Palgrave Macmillan.
10
Agradecimento: Estou grato a Fernando Ferreira pelos comentrios e
sugestes a uma verso prvia deste artigo.
Edio de 2014
28 Eduardo Castro
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 29
Edio de 2014
30 Eduardo Castro
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
5HDOLVPR$QWL5HDOLVPR 31
Edio de 2014
32 Eduardo Castro
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD