Professional Documents
Culture Documents
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
O Problema da Induo
Copyright 2014 dos autores
Eduardo Castro e Diogo Fernandes
Palavras-chave
Hume, induo, probabilidade, bayesianismo, verdul
Abstract
State of the art paper on the problem of induction: how to justify the
conclusion that all Fs are Gs from the premise that all observed Fs
are Gs. The most prominent theories of contemporary philosophical
literature are discussed and analysed, such as: inductivism, reliabilism,
perspective of laws of nature, rationalism, falsificationism, the ma-
terial theory of induction and probabilistic approaches, according to
Carnap, Reichenbach and Bayesianism. In the end, we discuss the new
problem of induction of Goodman, raised by the grue predicate.
Keywords
Bayesianism, grue, Hume, induction, probability
O Problema da Induo
Em termos muito gerais, no uso argumentativo da linguagem salien-
tam-se dois tipos de argumentos: argumentos dedutivos e argumen-
tos indutivos. primeira vista, a principal diferena entre estes dois
tipos de argumentos de que um argumento dedutivo um argu-
mento aduzido com o propsito de estabelecer uma concluso como
seguindo-se necessariamente das premissas; enquanto um argumen-
to indutivo um argumento aduzido com o propsito de estabelecer
uma concluso como no se seguindo necessariamente das premissas
mas seguindo-se delas com algum grau de probabilidade.1
Os argumentos dedutivos dividem-se em vlidos e invlidos. Um
argumento dedutivo vlido um argumento cuja concluso se se-
gue das premissas: se as premissas do argumento so verdadeiras,
necessariamente, a concluso verdadeira, em virtude das regras l-
gicas aplicadas na deduo. Um argumento dedutivo invlido um
argumento cuja concluso no se segue das premissas: possvel as
premissas do argumento serem verdadeiras e a concluso ser falsa. A
classificao de um argumento particular como sendo vlido ou in-
vlido um procedimento meramente algortmico. Um argumento
vlido se tiver uma forma lgica conforme s regras da lgica clssi-
ca; um argumento invlido se tiver uma forma lgica no conforme
s regras da lgica clssica.
Os argumentos indutivos podem ser divididos em fortes e fracos.
Um argumento indutivo forte um argumento cujas premissas, assu-
midas como verdadeiras, tornam razovel que aceitemos a concluso;
enquanto um argumento indutivo fraco um argumento cujas pre-
missas, assumidas como verdadeiras, no tornam razovel que acei-
temos a concluso. Por exemplo, do dado observacional de que todos
os corvos observados tm sido negros, parece ser razovel inferir que
o prximo corvo observado seja negro; enquanto, no parece ser ra-
zovel inferir que o prximo corvo observado seja, digamos, branco.
Os argumentos indutivos so correntes no dia-a-dia e na cincia.
Embora a distino forte/fraco seja relativamente consensual na
literatura, para propsitos justificativos rigorosos da concluso, essa
1
Para uma discusso da distino entre argumentos dedutivos e indutivos ver
Machina 1985 e Wilbanks 2010.
2
Em matemtica, tambm existe a chamada induo matemtica. Em geral,
esta expresso uma forma abreviada daquilo que se designa por SULQFtSLR GH
induo matemtica. Este princpio um mtodo dedutivo de demonstrao de
proposies matemticas. Embora tambm seja disputvel a justificao deste
princpio (e.g. Poincar 1968 e Russell 1905), esta disputa cai completamente
fora deste artigo. Todavia, recentemente, especula-se sobre a existncia de um
problema da induo para a matemtica: o problema de justificao de mtodos
de demonstrao indutivos de proposies matemticas, baseados na induo
enumerativa matemtica. Ver Baker 2007.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 3
David Hume (2002; 2012: livro 1, seco VI) e justamente por essa
referncia que vamos comear. Na segunda seco, apresentam-se
algumas solues e dissolues ao problema: indutivismo, fiabilismo,
perspectiva das leis da natureza, racionalismo e teoria material da
induo. Na terceira seco, verificamos como a teoria das probabi-
lidades tem servido para alicerar solues para o problema. A teoria
de Carnap (1952, 1962) da lgica indutiva, a teoria de Reichenbach
(1971) das frequncias relativas e a abordagem bayesiana so o objec-
to da nossa discusso. Na quarta seco, discute-se o novo problema
da induo de Goodman (1983).
H vrios tipos de argumentos indutivos e, antes de prosseguir-
mos, importa registar que neste artigo teremos em considerao os
argumentos indutivos seguintes:
3
H quem considere que tambm so argumentos indutivos aqueles em
que a premissa (1) do argumento indutivo preditivo no uma quantificao
universal sobre o domnio de observao e, grosso modo, isso pode ser visto como
acrescentando o termo quase premissa (1) (ver Swinburne 1974: 4).
Edio de 2014
4 Eduardo Castro e Diogo Fernandes
1 Hume
Hume (2002, 2012: livro 1, seco VI) a primeira referncia mais
saliente que articula de forma informal o problema da induo.4
Hume subdivide o problema da induo em dois problemas. O pri-
meiro problema o problema da justificao dos argumentos indu-
tivos enumerativos: provar que os casos de que no tivemos experincia
se assemelham queles que experimentmos (Hume 2012: 125, itlico do
autor). O segundo o problema da explicao das inferncias indu-
tivas na vida prtica dos seres humanos: por que razo extramos de
mil casos uma inferncia que no somos capazes de extrair de um
nico caso que deles no difere em aspecto algum (Hume 2002:
58).
O primeiro problema, conhecido como problema de Hume, o
mais importante dos dois e aquele que tem merecido mais discus-
so na literatura. Com vista a compreender a resposta de Hume a
este problema necessrio introduzir os dois tipos de argumentos
demonstrativos e provveis que foram por ele evocados. Os argu-
mentos demonstrativos so acerca das relaes de ideias. Por exem-
plo, o teorema de Pitgoras, segundo o qual o quadrado da hipotenu-
sa igual soma do quadrado dos catetos, ilustra uma relao entre
as ideias de quadrado, hipotenusa e cateto. Os argumentos provveis
so acerca das questes de facto e de existncia. Por exemplo, Lisboa
a capital de Portugal uma proposio acerca de uma questo de
facto e de existncia. Os argumentos provveis fundamentam-se na
relao de causa e efeito que deriva da experincia.
Nenhum destes argumentos serve para justificar as inferncias
indutivas (i.e., as concluses dos argumentos indutivos). Nas infe-
rncias indutivas assume-se a uniformidade da natureza, isto , o
princpio de que o futuro conforme ao passado. Por um lado, a uni-
formidade da natureza no se consegue justificar por um argumento
demonstrativo, uma vez que os argumentos demonstrativos apenas
conseguem demonstrar proposies cuja sua negao contradit-
ria. Ora, no h qualquer contradio em assumir que a natureza
4
Note-se que o termo induo nunca referido nestes escritos de Hume. A
sua anlise faz-se em torno de termos como causa e efeito, leis da natureza, conexes
necessrias ou poderes.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 5
5
A resposta de Hume ao problema da induo, cunhado com o seu
prprio nome, tem sido objecto de controvrsia exegtica. Grosso modo, h duas
interpretaes correntes: a dedutivista e a no-dedutivista. O dedutivismo a tese
segundo a qual os argumentos vlidos so os nicos argumentos racionais. Stove
(1973) e Mackie (1980), por exemplo, defendem a interpretao dedutivista. Por
seu lado, Stroud (1977), Salmon (1978, 1968), Sober (1988), Okasha (2001,
2005), Ayer (1958), Strawson (1952) e Armstrong (1983, 1991), entre outros,
defendem a interpretao no-dedutivista. Neste artigo no estamos preocupados
com estes aspectos exegticos. Ver Okasha 2001, 2005.
Edio de 2014
6 Eduardo Castro e Diogo Fernandes
2 Solues e Dissolues
Destacam-se duas estratgias em volta do problema da induo. Ora
se tenta enfrentar o problema e avanar uma soluo para o mes-
mo, ora se tenta dissolver o problema. Comeamos pelas solues
indutivismo, fiabilismo e perspectiva das leis da natureza. Termi-
namos com as dissolues racionalismo, falsificacionismo e teoria
material da induo.
2.1 Indutivismo
Uma soluo para o problema da induo consiste em propor jus-
tificaes indutivas das regras indutivas que fundamentam os argu-
mentos indutivos preditivos (e.g., Black 1949, 1954, 1958, Edwards
1949, Barker 1965, Moore 1952 e Braithwaite 1974, aqui seguimos
Black).
Seja R a regra indutiva onde se argumenta a partir da premissa, a
PDLRULDGRVH[HPSODUHV$VH[DPLQDGRVQXPDDPSODYDULHGDGHGHFRQGLo}HV
tm sido B, para a concluso provvel, RSUy[LPR$DVHUHQFRQWUDGRVHUi%
(Black 1958: 721). Black considera que a regra R pode ser justificada
atravs do argumento seguinte, sendo este argumento conforme
prpria regra R:
(1) Na maior parte dos casos de utilizao de R em argumentos com
premissas verdadeiras, numa ampla variedade de condies, R tem sido
bem sucedida.
6
Ver Glymour 1980 para uma tentativa de soluo do segundo problema.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 7
Edio de 2014
8 Eduardo Castro e Diogo Fernandes
no sentido de ser uma regra que pode gerar concluses falsas a partir
de premissas verdadeiras. Todavia, admite que podem ser formuladas
outras regras semelhantes a R, mas regras fiveis, onde a regra a uti-
lizar em cada situao ter de ser analisada caso a caso, luz do seu
sucesso experimental passado.
2.2 Fiabilismo
A tese epistmica fiabilista, segundo a qual temos conhecimento de p
se p uma crena verdadeira resultante de um processo fidedigno de
obteno de crenas, tambm tem servido para tentar alicerar so-
lues para o problema da induo (e.g. Cleve 1984, Papineau 1992,
Levin 1993, Dauer 1980, Mellor 1991 e Nozick 1981, aqui seguimos
Papineau). Para um fiabilista, os argumentos indutivos, apesar de se-
rem argumentos invlidos, so um mtodo fidedigno para obteno
de conhecimento. Portanto, um fiabilista no considera que a indu-
o seja problemtica. O problema, na verdade, consiste em argu-
mentar a favor da ideia de que o mtodo indutivo um processo fivel
de obteno de crenas, evitando-se cair na indesejvel circularidade
inerente induo. O argumento o seguinte:
(1) Para i = 1 at n. Quando a pessoai, de todos os Fis observados
so Gis, inferiu por induo a conclusoi de que todos os Fis so
Gis verificou-se que a conclusoi era verdadeira.
perdido a lotaria, e R no tem sido bem sucedida, i.e. no tenho ganho a lotaria.
As premissas (1) de ambos os argumentos justificativos acima so verdadeiras
mas as concluses contraditrias. A partir das premissas (1) ora se concluiu que,
no prximo exemplo encontrado do uso de R, perderei a lotaria (R ser bem
sucedida), ora se concluiu que, no prximo exemplo encontrado do uso de R,
ganharei a lotaria (R ser bem sucedida), respectivamente.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 9
(2) A melhor explicao para (1): uma lei da natureza que todos
os Fs so Gs.
Todos os Fs so Gs.8
Armstrong considera que as leis da natureza so estados de coisas que
relacionam, necessria e nomicamente, universais de 1 ordem.9 Por
outras palavras, o explanans uma lei da natureza que todos os Fs
so Gs, significa que intemporalmente, F e G esto necessariamente
conectados. Esta conexo o tertium quid que medeia o observado
8
A formulao da enumerao indutiva como uma inferncia para a melhor
explicao foi proposta por Harman (1965).
9
Ver o artigo Leis da Natureza deste mesmo compndio.
Edio de 2014
10 Eduardo Castro e Diogo Fernandes
2.4 Racionalismo
Ayer (1958: 76-81), Strawson (1952: captulo 9), Armstrong (1983,
1991) e outros (e.g., Edwards 1949 e Barker 1965) tentam dissolver
o problema de Hume atravs da chamada perspectiva racionalista. O
problema de Hume no tem significado, porque, na verdade, um
problema sobre uma questo sem significado: racional ser racio-
nal? Em alternativa, o problema de Hume reformula-se como um
problema sobre o que ser racional e de como essa racionalidade
justificada. Neste contexto, as palavras-chave so racionalidade e pro-
va. Aparentemente, ser racional ter crenas justificadas por uma
prova. Por exemplo, de um ponto de vista cientfico, acreditamos
que 2+2=4, porque podemos deduzir esta proposio dos axiomas
de Peano; acreditamos na lei da queda dos graves de Galileu, por-
que podemos inferir esta lei de inmeras experincias do dia-a-dia
que tm um comportamento padronizado. As provas matemticas
so diferentes das provas empricas, mas o aspecto relevante neste
contexto que ambas so provas de alguma coisa. Digamos que
racional acreditar que 2+2=4, bem como na lei da queda dos graves.
Strawson (1952: captulo 9), por exemplo, defende que a racio-
nalidade da induo uma verdade analtica. No tem significado
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 11
2.5 )DOVLFDFLRQLVPR
Partindo do problema de Hume, Popper (1972, 2005) formula dois
problemas da induo subtilmente diferentes: (1) pode a alegao
de que uma teoria universal explicativa verdadeira ser justificada
por razes empricas (Popper 1972: 7); (2) pode a alegao de
que uma teoria universal explicativa verdadeira ou que falsa ser
justificada por razes empricas (Popper 1972: 7, itlico nosso).
Baseando-se numa anlise do mtodo cientfico, Popper responde
negativamente ao primeiro problema e responde afirmativamente ao
segundo problema.
A resposta ao primeiro problema mutatis mutandis a resposta de
Hume. Uma teoria cientfica universalmente quantificada, logo a
putativa confirmao da sua verdade requereria um nmero infini-
to de testes experimentais. Ora, no possvel realizar tal nmero
infinito de testes experimentais. As teorias cientficas so hipteses
ou conjecturas que esto para alm de quaisquer testes empricos,
por mais numerosos que estes sejam. Como tal, a alegada verdade
de uma teoria cientfica no pode ser justificada por meios empri-
cos. Contrariamente s pretenses verificacionistas dos positivistas
lgicos, uma teoria cientfica apenas pode ser corroborada. Ou seja,
uma teoria pode ultrapassar diversos testes experimentais que visam
a sua falsificao, mas nunca pode ser confirmada. A corroborao
ilustra o desempenho da teoria face a testes experimentais passados
mas estes testes no servem para suportar uma alegada confirmao
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 13
10
H inmeros exemplos na histria da cincia que ilustram a falsificabilidade
das teorias cientficas como a teoria geocntrica, a teoria da gerao espontnea,
a teoria da combusto do flogisto, a teoria electromagntica do ter, a teoria
calrica do calor, etc.
Edio de 2014
14 Eduardo Castro e Diogo Fernandes
3 Induo e probabilidade
A conexo entre probabilidade e induo estabelece-se pela ideia se-
gundo a qual as concluses dos argumentos indutivos so concluses
provveis (ver introduo). A teoria elementar de probabilidades a
teoria central para a anlise destes argumentos. Acontece que o ter-
mo probabilidade um termo primitivo no conjunto de axiomas desta
teoria (ver apndice). A principal diferena entre as vrias teorias da
probabilidade resulta, ento, da interpretao que feita do termo
probabilidade, com vista resoluo do problema da induo. Em se-
guida, sintetizam-se trs solues do problema lgica (Carnap),
frequencista (Reichenbach) e subjectivista (bayesiana).
11
Neste artigo traduzimos o termo ingls evidence por dados observacionais ou
informao observacional.
Edio de 2014
16 Eduardo Castro e Diogo Fernandes
12
Ao contrrio do valor de c*, as probabilidades extradas da concepo
clssica, e do seu Princpio da Indiferena, so probabilidades categricas.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 17
1. Fa Fb Fc 5. ~Fa ~Fb Fc
2. ~Fa Fb Fc 6. ~Fa Fb ~Fc
3. Fa ~Fb Fc 7. Fa ~Fb ~Fc
4. Fa Fb ~Fc 8. ~Fa ~Fb ~Fc
13
Consideremos a hiptese segundo a qual o indivduo a no tem a propriedade
F, ~Fa. Aplicando o princpio da indiferena, a probabilidade desta hiptese
de , pois existem quatro, de entre as oito descries de estado, em que a no
possui F. Suponha-se que vimos a saber que o indivduo c no tem a propriedade
F, consistindo tal em toda a nossa informao. Todavia, a probabilidade de ~Fa
continua a ser de . Intuitivamente, tal consequncia parece ser incorrecta.
Para que a funo c* tenha algum valor no que respeita aprendizagem atravs
da experincia, i.e., para que c* que tenha algum valor indutivo, a informao
que nos oferecida atravs de qualquer frase consistente da linguagem dever
incrementar ou diminuir a probabilidade a priori da hiptese ~Fa.
Edio de 2014
18 Eduardo Castro e Diogo Fernandes
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 19
Edio de 2014
20 Eduardo Castro e Diogo Fernandes
17
Tratando-se de um processo indutivo, quanto maior for o nmero de casos,
mais fivel ser o valor do limite. Por outro lado, convm tentar eliminar da
sequncia o maior nmero de casos com atributos irrelevantes.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 23
3.3 $DERUGDJHPED\HVLDQD
O bayesianismo a perspectiva segundo a qual a noo de proba-
bilidade pode ser interpretada de maneira subjectiva, especificando
o grau de crena numa determinada proposio. A teoria bayesiana
da confirmao diz-nos que novo grau de crena racional adop-
tar quando obtemos novos dados observacionais que confirmam as
nossas hipteses, tendo em conta os nossos graus de crena anterio-
res. Trata-se, pois, de uma teoria que nos permite atribuir um valor
quantitativo preciso ao modo como um determinado corpo de infor-
mao observacional serve para confirmar racionalmente as nossas
hipteses cientficas.
Ramsey (1964) foi um dos primeiros a construir uma teoria sub-
jectiva da probabilidade. Ao constatar a estreita conexo entre cren-
as, desejos e aces, Ramsey compreendeu tambm o seguinte: se,
por exemplo, estivermos dispostos a apostar em Brigadier Gerard para
ganhar a corrida, ento tambm estamos dispostos a apostar na ver-
dade da crena segundo a qual Brigadier Gerard vai ganhar a corrida.
Se estivermos dispostos a apostar numa hiptese de 8/10 em Brigadier
Gerard, ento o nosso grau de crena em como ele ir ganhar de 0.8
e, respectivamente, 0.2 em como ele ir perder.
Um cptico poder argumentar que uma teoria da probabilida-
de baseada em meros palpites no pode ser aplicada com seriedade
ao tratamento de questes cientficas. Contudo, De Finetti (1964)
conseguiu provar que se as nossas atribuies subjectivas de probabi-
lidade forem coerentes entre si, ento elas encontram-se de acordo
com os axiomas da teoria elementar de probabilidades. Mais, tam-
bm pde ser demonstrado que se as nossas atribuies subjectivas
de probabilidade estiverem de acordo com o clculo de probabilida-
des, ento elas tm de ser coerentes. Logo, a conformidade com os
axiomas do clculo de probabilidades uma condio necessria e
suficiente para a coerncia subjectiva das nossas atribuies de pro-
babilidade ou, o que o mesmo, para a coerncia dos nossos graus
de crena.18 Uma das ideias fundamentais do bayesianismo consiste,
18
Horwich (1982: 26-28) tambm demonstra este resultado.
Edio de 2014
24 Eduardo Castro e Diogo Fernandes
Edio de 2014
26 Eduardo Castro e Diogo Fernandes
20
Para uma exposio clara do problema, atravs deste exemplo, ver Howson
e Urbach (1993: 297-301).
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 27
21
Da mesma maneira, azerde pode ser definido como o predicado que se aplica
a todas as coisas examinadas antes de um tempo futuro t, apenas no caso de serem
azuis, ou a todas as outras apenas se forem verdes.
Edio de 2014
28 Eduardo Castro e Diogo Fernandes
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 29
Edio de 2014
30 Eduardo Castro e Diogo Fernandes
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 31
Edio de 2014
32 Eduardo Castro e Diogo Fernandes
5 Concluso
O problema da induo apresenta-se como um problema vivo e re-
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 33
Diogo Fernandes
LanCog Group, Centro de Filosofia da Universidade de Lisboa
Referncias
Achinstein, Peter. 1962. The Circularity of a Self-Supporting Inductive
Argument. $QDO\VLV 22(6): 138-141. doi:10.1093/analys/22.6.138.
Achinstein, Peter. 1963. Circularity and Induction. $QDO\VLV 23(6): 123-127.
doi:10.2307/3326923.
Achinstein, Peter. 2010. The War on Induction: Whewell Takes On Newton
and Mill (Norton Takes On Everyone). Philosophy of Science 77(5): 728-739.
doi:10.1086/656540.
Armstrong, David. 1983. What is a Law of Nature? Cambridge: Cambridge
24
Agradecimento: Estamos gratos a Pedro Galvo e Joo Branquinho pelos
comentrios realizados a uma verso prvia deste material.
Edio de 2014
34 Eduardo Castro e Diogo Fernandes
University Press.
Armstrong, David. 1991. What Makes Induction Rational? Dialogue 30(04): 503-
511. doi:10.1017/S0012217300011835.
Ayer, Alfred. 1958. The Problem of Knowledge. London: Macmillan.
Baker, Alan. 2007. Is There a Problem of Induction for Mathematics? In
0DWKHPDWLFDO Knowledge. Organizado por Mary Leng, Alexander Paseau e
Michael D. Potter. Oxford: Oxford University Press.
Barker, Stephen. 1965. Discussion: Is There a Problem of Induction? $PHULFDQ
Philosophical Quarterly 2(4): 271-273. doi:10.2307/20009175.
Beebee, Helen. 2011. Necessary Connections and the Problem of Induction. Nos
45(3): 504-527. doi:10.1111/j.1468-0068.2010.00821.x.
Black, Max. 1949. The Justification of Induction. In Language and Philosophy:
StudiesLQ0HWKRG. New York: Cornell University Press.
Black, Max. 1954. The Inductive Support of Inductive Rules. In Problems of
$QDO\VLV: Philosophical Essays. London: Routledge and Kegan Paul.
Black, Max. 1958. Self-Supporting Inductive Arguments. Journal of Philosophy
55(17): 718-725.
Black, Max. 1962. Self-Support and Circularity: A Reply to Mr. Achinstein.
$QDO\VLV 23(2): 43-44. doi:10.2307/3326638.
Braithwaite, Richard. 1974. The Predictivist Justification of Induction. In The
-XVWLFDWLRQ RI ,QGXFWLRQ. Organizado por Richard Swinburne. New York:
Oxford University Press.
Burks, Arthur. 1953. The Presupposition Theory of Induction. Philosophy of
Science 20: 177-197.
Carnap, Rudolf. 1952. 7KH&RQWLQXXPRI,QGXFWLYH0HWKRGV. Chicago: The University
of Chicago Press.
Carnap, Rudolf. 1962. Logical Foundations of Probability. Segunda edio, Chicago:
The University of Chicago Press. (Primeira publicao em 1950).
Castro, Eduardo. 2014. On Induction: Time-limited Necessity vs. Timeless Ne-
cessity. Teorema 33(3): 67-82.
Cleve, James Van. 1984. Reliability, Justification, and the Problem of Induction.
0LGZHVW 6WXGLHV ,Q 3KLORVRSK\ 9(1): 555-567. doi:10.1111/j.1475-4975.1984.
tb00077.x.
Dauer, Francis. 1980. Humes Skeptical Solution and the Causal Theory of
Knowledge. The Philosophical Review 89(3): 357-378. doi:10.2307/2184394.
De Finetti, Bruno. 1964. Foresight: Its Logical Laws, Its Subjective Sources. In
Studies in Subjective Probability. Traduo de H. Kyburg e organizao de H.
Kyburg e H. Smokler, New York: Wiley. (Primeira publicao em 1937).
Earman, John, e Wesley Salmon. 1992. The Confirmation of Scientific
Hypotheses. In Introduction to the Philosophy of Science. Organizado por Merri-
lee Salmon, John Earman, Clark Glymour, James Lennox, Peter Machamer,
J. E. McGuire, John Norton, Wesley Salmon e Kenneth Schaffner. Engle-
wood Cliffs, N.J.: Prentice Hall College Div.
Edwards, Paul. 1949. Russells Doubts about Induction. 0LQG LVIII(230): 141-
163. doi:10.1093/mind/LVIII.230.141.
Feigl, Herbert. 1950. De Principiis Non Disputandum . . . ? In Philosophical
$QDO\VLV $ &ROOHFWLRQ RI (VVD\V. Organizado por Max Black. Ithaca: Cornell
University Press.
Fine, Terrence. 1973. Theories of Probability. Waltham, MA: Academic Press.
Garber, Daniel. 1983. Old Evidence and Logical Omniscience in Bayesian
Confirmation Theory. In 7HVWLQJ6FLHQWLF7KHRULHV. Organizado por J. Earman,
Minnesota: University of Minnesota Press.
Glymour, Clark. 1980. Theory and Evidence. Princeton: Princeton University
Press.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 35
Goodman, Nelson. 1983. )DFW )LFWLRQ DQG )RUHFDVW. Cambridge, MA: Harvard
University Press.
Harman, Gilbert. 1965. The Inference to the Best Explanation. The Philosophical
Review 74(1): 88. doi:10.2307/2183532.
Harr, Rom. 1957. Dissolving the Problem of Induction. Philosophy 32(120):
58-64.
Hempel, Carl. 1945. Studies in the Logic of Confirmation. 0LQG 54: 1-26.
Horwich, Paul. 1982. Probability and Evidence. New York: Cambridge University
Press.
Howson, Colin, e Peter Urbach. 1993. 6FLHQWLF 5HDVRQ 7KH %D\HVLDQ $SSURDFK.
Chicago (IL): Open Court.
Huber, Franz. 2005. Subjective Probabilities as Basis for Scientific Reasoning?
British Journal of Philosophy of Science 56: 101-116.
Hume, David. 2002. 7UDWDGRV)LORVyFRV,,QYHVWLJDomRVREUHR(QWHQGLPHQWR+XPDQR.
Lisboa: Imprensa Nacional - Casa da Moeda.
Hume, David. 2012. Tratado da Natureza Humana. Lisboa: Fundao Calouste
Gulbenkian.
Jackson, Frank. 1975. Grue. The Journal of Philosophy 72: 113-31.
Jeffrey, Richard. 1973. Carnaps Inductive Logic. Synthese 25: 299-306.
Jeffrey, Richard. 1983. The Logic of Decision. Chicago: University of Chicago
Press. (Primeira publicao em 1965).
Johnsen, Bredo. 1972. Black and the Inductive Justification of Induction. $QDO\VLV
32 (3): 110-112. doi:10.2307/3327823.
Kasher, Asa. 1972. On the Puzzle of Self-Supporting Inductive Arguments. 0LQG
LXXXI (322): 277-279. doi:10.1093/mind/LXXXI.322.277.
Kelly, Thomas. 2010. Hume, Norton, and Induction without Rules. Philosophy of
Science 77(5): 754-764.
Levin, Michael. 1993. Reliabilism and Induction. Synthese 97(3): 297-334.
doi:10.1007/BF01064072.
Machina, Kenton. 1985. Induction and Deduction Revisited. Nos 19(4): 571-
578. doi:10.2307/2215354.
Mackie, John. 1980. The Cement of the Universe. New York: Oxford University
Press.
Mellor, Hugh. 1991. 0DWWHUV RI 0HWDSK\VLFV. Cambridge: Cambridge University
Press.
Moore, Asher. 1952. The Principle of Induction. The Journal of Philosophy 49(24):
741-747. doi:10.2307/2020560.
Moore, George. 1925. A Defence of Common Sense. In Contemporary British
Philosophy 6HFRQG 6HULHV. Organizado por J. H. Muirhead. London: George
Allen and Unwin.
Nicod, Jean. 1924. /H3UREOqPH/RJLTXHGHO,QGXFWLRQ. Paris: Alcan.
Norton, John. 2003. A Material Theory of Induction. Philosophy of Science 70(4):
647-670. doi:10.1086/378858.
Norton, John. 2005. A Little Survey of Induction. In 6FLHQWLF(YLGHQFHPhilosophical
7KHRULHV DQG $SSOLFDWLRQV. Organizado por Peter Achinstein. Maryland: The
Johns Hopkins University Press.
Norton, John. 2006. How the Formal Equivalence of Grue and Green Defeats
What Is New in the Riddle of Induction. Synthese 150(2): 185-207.
Norton, John. 2010. There Are No Universal Rules for Induction. Philosophy of
Science 77(5): 765-777. doi:10.1086/656542.
Norton, John. 2014. A Material Dissolution of the Problem of Induction. Synthese
191(4): 671-690. doi:10.1007/s11229-013-0356-3.
Nozick, Robert. 1981. Philosophical Explanations. Cambridge, MA: Harvard
University Press.
Edio de 2014
36 Eduardo Castro e Diogo Fernandes
Okasha, Samir. 2001. What Did Hume Really Show about Induction? The
Philosophical Quarterly 51(204): 307-327. doi:10.1111/1467-9213.00231.
Okasha, Samir. 2005. Does Humes Argument Against Induction Rest on a
Quantifier-Shift Fallacy? 3URFHHGLQJVRIWKH$ULVWRWHOLDQ6RFLHW\ 105(1): 237-255.
doi:10.1111/j.0066-7373.2004.00113.x.
Papineau, David. 1992. Reliabilism, Induction and Scepticism. The Philosophical
Quarterly 42(166): 1-20. doi:10.2307/2220445.
Poincar, Henri. 1968. /D6FLHQFHHWO+\SR\KqVH. Paris: Flammarion.
Popper, Karl. 1972. 2EMHFWLYH.QRZOHGJHDQ(YROXWLRQDU\$SSURDFK. Oxford: Oxford
University Press.
Popper, Karl. 2005. 7KH/RJLFRI6FLHQWLF'LVFRYHU\. London: Routledge.
Ramsey, Frank. 1964. Truth and Probability. In Studies in Subjective Probability.
Organizado por H. Kyburg e H. Smokler. New York: Wiley. (Primeira
publicao em 1929).
Reichenbach, Hans. 1971. The Theory of Probability. Berkeley: University of
California Press. Traduo de Ernest R. Hutton e Maria Reichenbach de
Wahrscheinlichkeitslehre. Eine Untersuchung uber die logischen und matematischen
Grundlagen der Wahrscheinlichkeitrechnung, Leiden, 1935. (Revista pelo autor).
Russell, Bertrand. 1905. Critical notices. 0LQG XIV(3): 412-418. doi:10.1093/
mind/XIV.3.412.
Sainsbury, Richard. 1995. Paradoxes. New York: Cambridge University Press.
Salmon, Wesley. 1957. Should We Attempt to Justify Induction? Philosophical
Studies 8(3): 33-48. doi:10.2307/4318273.
Salmon, Wesley. 1963 On Vindication Induction. Philosophy of Science 30(3): 252-261.
Salmon, Wesley. 1967. )RXQGDWLRQVRI6FLHQWLF,QIHUHQFH. Pittsburgh: University of
Pittsburgh Press.
Salmon, Wesley. 1968. The Justification of Inductive Rules of Inference. In The
Problem of Inductive Logic. Organizado por Imre Lakatos. Amsterdam: North
Holland Pub. Co.
Salmon, Wesley. 1978. Unfinished Business: The Problem of Induction.
Philosophical Studies 33(1): 1-19. doi:10.1007/BF00354278.
Sober, Elliott. 1988. 5HFRQVWUXFWLQJ WKH 3DVW 3DUVLPRQ\ (YROXWLRQ DQG ,QIHUHQFH.
Cambridge, MA: MIT Press.
Stove, David. 1973. 3UREDELOLW\DQG+XPHV,QGXFWLYH6FHSWLFLVP. Oxford: Clarendon
Press.
Strawson, Peter. 1952. Introduction to Logical Theory. London: Methuen & Co Ltd.
Stroud, Barry. 1977. Hume. London: Routledge.
Swinburne, Richard. 1974. Introduction. In 7KH -XVWLFDWLRQ RI ,QGXFWLRQ. New
York: Oxford University Press.
Vickers, John. 2011. The Problem of Induction. In E. Zalta, org., The Stanford
Encyclopedia of Philosophy (Fall 2011 Edition), URL = <http://plato.stanford.
edu/archives/fall2011/entries/induction-problem/>.
Wilbanks, Jan. 2010. Defining Deduction, Induction and Validity. $UJXPHQWDWLRQ
24(1): 107-124. doi:10.1007/s10503-009-9131-5.
Worrall, John. 2010. For Universal Rules, Against Induction. Philosophy of Science
77(5): 740-753. doi:10.1086/656823.
Zilho, Antnio. 2007. Teorema de Bayes, Quantificao da Confirmao de uma
Hiptese pela Evidncia e Actualizao de Crenas. In $7HRULDGRPrograma
8PD+RPHQDJHPD0/XUGHV)HUUD]HD06/RXUHQoR. Organizado por A. M.
Feij e M. Tamen. Lisboa: Universidade de Lisboa.
&RPSrQGLRHP/LQKDGH3UREOHPDVGH)LORVRD$QDOtWLFD
O Problema da Induo 37
Apndice
P($
(2) P (S) = 1
(3) Se $ e B so acontecimentos mutuamente exclusivos,
P($B)=P($)+P(B)
2 Teorema de Bayes
1. Caso simples:
P( H ) P( E | H )
a) dependente de P(E), P( H | E )
P( E )
b) no dependente de P(E),
P( H ) P( E | H )
P ( H ) P ( E | H ) P ( H ) P ( E | H )
P( H | E )
2. Caso geral:
Seja B1, B2, , Bk uma partio do espao amostral S (i.e., B1, B2, ,
Bk so (1) mutuamente exclusivos em S, (2) conjuntamente exausti-
vos de S e (3) P(Bi) > 0 para todo i e seja $ um acontecimento asso-
ciado a S:
P ( A | Bi ) P ( Bi ) i = 1, 2,, k.
P ( Bi | A) k
j 1
P( A | B j ) P( B j )
Edio de 2014