formal epistemology

21
8/11/2019 Formal Epistemology http://slidepdf.com/reader/full/formal-epistemology 1/21 !"#$%& ()*+,-$"&"./ "#$%&#' ()$$*$# + ,$- ./01$#203' &4 5026&/ !"#$% '$ ()*+ ,-. /0-- !1234#%12 35 616'"+ '$ 7'"#43' 8"*9:;'<%# ,7##&-*' 8&/23#9$:; 4&#<7* $=023$<&*&%' 02 7 <$3)&:&*&%087* 7==#&78) 3& 3#7:030&/7* 7/7*'308 $=023$<&*&%'> ?88&#:0/% 3& 3)02 10$-; 3)$ 70< &4 4&#<7* $=023$<&*&%' 02 3& )7#/$22 3)$ =&-$# &4 4&#<7* <$3)&:2 3& 6#0/% #0%&# 7/: 8*7#03' 3& =)0*&2&=)087* 7/7*'202> @$3; 0/ 6#&7:$# 3$#<2; 4&#<7* $=023$<&*&%' 02 /&3 <$#$*' 7 <$3)&:&*&%087* 3&&* 4&# $=023$<&*&%0232; 693 7 :0280=*0/$ 0/ 032 &-/ #0%)3> A/ 3)02 =#&%#7<<7308 10$-; 4&#<7* $=023$<&*&%' 02 7/ 0/3$#:0280=*0/7#' #$2$7#8) =#&%#7< 3)73 8&1$#2 -&#B 6' =)0*&2&=)$#2; <73)$<730807/2; 8&<=93$# 280$/30232; 23730230807/2; =2'8)&*&%0232; &=$#730&/2 #$2$7#8)$#2; 7/: $8&/&<0232 -)& 70< 3& %01$ <73)$<73087* 7/: 2&<$30<$2 8&<=93730&/7* #$=#$2$/3730&/2 &4; 7*&/% -03) 2&9/: 23#73$%0$2 4&# #$72&/0/% 76&93; B/&-*$:%$; 6$*0$4; C9:%<$/3 7/: :$8020&/ <7B0/%> D)02 $227' =#$2$/32 7 3-&E=#&/%$: 7#%9<$/3 4&# 4&#<7* $=023$<&*&%'> D)$ 40#23 =7#3 7::#$22$2 3)$ %$/$#7* F9$230&/ &4 -)' 7/'&/$ 2)&9*: 6&3)$# -03) 4&#<7* <$3)&:2 6' 0**923#730/%; 3)#&9%) 7 )023&#087* $G7<=*$; 3)$ #&*$ 3)73 4&#<7* <&:$*2 87/ =*7' 0/ 0/F90#'> D)$ 2$8&/: =7#3 :$28#06$2 3-& 2=$80408 $G7<=*$2 &4 #$8$/3 -&#B -03)0/ 4&#<7* $=023$<&*&%'; &/$ 3)73 7::#$22$2 7 *&/%237/:0/% 0229$ -03)0/ 3#7:030&/7* $=023$<&*&%'H/7<$*'; -)73 3& <7B$ &4 8&)$#$/3023 C9230408730&/H7/: 7/&3)$# 7::#$220/% 7 47**78' &4 =#&6760*02308 #$72&/0/% -)08) )72 0<=*08730&/2 78#&22 7 -0:$ #7/%$ &4 :0280=*0/$2; 7/: 3)$#$6' <7B0/% 7 872$ 4&# 7 6#&7:$#; =#&%#7<<7308 10$-> I0/7**'; -$ 8*&2$ -03) 7 <$3)&:&*&%087* =#&=&27* 4&# $=023$<&*&%'; &/$ 3)73 0/8&#=&#73$2 4&#<7*; $G=$#0<$/37*; 7/: 3#7:030&/7* 7==#&78)$2 0/3& &/$ =#&%#7<> !"# %& '()*+,- ()$/ '&9 40::*$ -03) 3)$ 8&/3#&*2 &4 '&9# 8&<=93$# 3& 2$*$83 7 8&*&#; $03)$# 6' 3'=0/% 7 3#0=*$3 &4 /9<6$#2 3& 2=$804' )&- <98) #$:; %#$$/; 7/: 6*9$ 3& 0/8*9:$; &# 6' 2$*$830/% 7 =&0/3 -03)0/ 7 8&*&# -)$$*; '&9 7#$ <7B0/% 92$ &4 7 <&:$* 3)73 :73$2 678B 3& JKLM> N3 -72 3)73 '$7#; 0/ 7 5&/:&/ *$839#$ )7**; 3)73 D)&<72 @&9/% 40#23 2=$89*73$: 3)73 )9<7/ 8&*&# =$#8$=30&/ 0/1&*1$2 3)#$$ :044$#$/3 #$8$=3&#2 0/

Upload: maxwellk

Post on 02-Jun-2018

238 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 1/21

!"#$%& ()*+,-$"&"./

"#$%&#' ()$$*$# +

,$- ./01$#203' &4 5026&/!"#$% '$ ()*+ ,-. /0--

!1234#%12 35 616'"+ '$ 7'"#43' 8"*9:;'<%#

,7##&-*' 8&/23#9$:; 4&#<7* $=023$<&*&%' 02 7 <$3)&:&*&%087* 7==#&78) 3&3#7:030&/7* 7/7*'308 $=023$<&*&%'> ?88&#:0/% 3& 3)02 10$-; 3)$ 70< &4 4&#<7*$=023$<&*&%' 02 3& )7#/$22 3)$ =&-$# &4 4&#<7* <$3)&:2 3& 6#0/% #0%&# 7/: 8*7#03' 3&=)0*&2&=)087* 7/7*'202>

@$3; 0/ 6#&7:$# 3$#<2; 4&#<7* $=023$<&*&%' 02 /&3 <$#$*' 7 <$3)&:&*&%087*3&&* 4&# $=023$<&*&%0232; 693 7 :0280=*0/$ 0/ 032 &-/ #0%)3> A/ 3)02 =#&%#7<<730810$-; 4&#<7* $=023$<&*&%' 02 7/ 0/3$#:0280=*0/7#' #$2$7#8) =#&%#7< 3)73 8&1$#2-&#B 6' =)0*&2&=)$#2; <73)$<730807/2; 8&<=93$# 280$/30232; 23730230807/2;=2'8)&*&%0232; &=$#730&/2 #$2$7#8)$#2; 7/: $8&/&<0232 -)& 70< 3& %01$<73)$<73087* 7/: 2&<$30<$2 8&<=93730&/7* #$=#$2$/3730&/2 &4; 7*&/% -03) 2&9/:23#73$%0$2 4&# #$72&/0/% 76&93; B/&-*$:%$; 6$*0$4; C9:%<$/3 7/: :$8020&/ <7B0/%>

D)02 $227' =#$2$/32 7 3-&E=#&/%$: 7#%9<$/3 4&# 4&#<7* $=023$<&*&%'> D)$40#23 =7#3 7::#$22$2 3)$ %$/$#7* F9$230&/ &4 -)' 7/'&/$ 2)&9*: 6&3)$# -03) 4&#<7*<$3)&:2 6' 0**923#730/%; 3)#&9%) 7 )023&#087* $G7<=*$; 3)$ #&*$ 3)73 4&#<7* <&:$*287/ =*7' 0/ 0/F90#'> D)$ 2$8&/: =7#3 :$28#06$2 3-& 2=$80408 $G7<=*$2 &4 #$8$/3 -&#B-03)0/ 4&#<7* $=023$<&*&%'; &/$ 3)73 7::#$22$2 7 *&/%237/:0/% 0229$ -03)0/3#7:030&/7* $=023$<&*&%'H/7<$*'; -)73 3& <7B$ &4 8&)$#$/3023 C9230408730&/H7/:7/&3)$# 7::#$220/% 7 47**78' &4 =#&6760*02308 #$72&/0/% -)08) )72 0<=*08730&/278#&22 7 -0:$ #7/%$ &4 :0280=*0/$2; 7/: 3)$#$6' <7B0/% 7 872$ 4&# 7 6#&7:$#;=#&%#7<<7308 10$-> I0/7**'; -$ 8*&2$ -03) 7 <$3)&:&*&%087* =#&=&27* 4&#$=023$<&*&%'; &/$ 3)73 0/8&#=&#73$2 4&#<7*; $G=$#0<$/37*; 7/: 3#7:030&/7*7==#&78)$2 0/3& &/$ =#&%#7<>

!"# %& '()*+,-

()$/ '&9 40::*$ -03) 3)$ 8&/3#&*2 &4 '&9# 8&<=93$# 3& 2$*$83 7 8&*&#; $03)$#6' 3'=0/% 7 3#0=*$3 &4 /9<6$#2 3& 2=$804' )&- <98) #$:; %#$$/; 7/: 6*9$ 3& 0/8*9:$;&# 6' 2$*$830/% 7 =&0/3 -03)0/ 7 8&*&# -)$$*; '&9 7#$ <7B0/% 92$ &4 7 <&:$* 3)73:73$2 678B 3& JKLM> N3 -72 3)73 '$7#; 0/ 7 5&/:&/ *$839#$ )7**; 3)73 D)&<72 @&9/%40#23 2=$89*73$: 3)73 )9<7/ 8&*&# =$#8$=30&/ 0/1&*1$2 3)#$$ :044$#$/3 #$8$=3&#2 0/

Page 2: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 2/21

2

3)$ $'$; 7/: 7 )7*4E8$/39#' *73$# O$#<7// O$*<)&*3P; 3)73 /0/$3$$/3) 8$/39#'8&*&2292; #$8B&/$: 3)73 $78) #$8$=3&# -72 2$/20301$ 3& 3)#$$ :0230/83 4#$F9$/80$2 &4*0%)3; 8&##$2=&/:0/% #&9%)*' 3& &9# =$#8$=30&/2 &4 #$:; %#$$/; 7/: 6*9$ QO$*<)&*3PJKRLS> ()73T2 <&#$; O$*<)&*3P =#&=&2$: 7 <73)$<73087* <&:$* -)$#$6' 7 %&&:=&#30&/ &4 3)$ 10206*$ 8&*&# 2=$83#9< 87/ 6$ #$=#$2$/3$: 6' 7/ 7::0301$ <0G39#$ &4

3)&2$ 3)#$$ 67208 4#$F9$/80$2> ?*3)&9%) 03 3&&B 7/&3)$# 8$/39#' 3& 8&/40#< 3)$=)'20&*&%087* 8*70<2 &4 3)$ @&9/%EO$*<)&*3PT2 3)$&#' &4 8&*&# 1020&/; 0/ 3)73 2=7/ &430<$ 3)$ UV" 7::0301$ 8&*&# <&:$* 2=9##$: 3)$ :$1$*&=<$/3 &4 8&*&# =)&3&%#7=)';)7*43&/$ 8&*&# =#0/30/%; 7/: 8&*&# 3$*$1020&/; 7<&/% &3)$# 3)0/%2>

D)$ 23&#' &4 3)$ UV" 8&*&# <&:$* &44$#2 7/ 7**$%&#' 4&# )&- 3& 3)0/B 76&934&#<7* $=023$<&*&%'> I&# 3)$ 23&#' 0**923#73$2 3)$ 0<=783 7 4&#<7* <&:$* 87/ )71$&/ 0/F90#'; 7/: 03 7*2& )0%)*0%)32 )&- 3& 722$22 3)$ <$#032 &4 7 4&#<7* <&:$*> V93&/$ <7' #$72&/76*$ 72B -)$3)$# 3)$ 7/7*&%' )&*:2 4&# $=023$<&*&%'> D)$#$ 02; 743$#7**; =*$/3' &4 $=023$<&*&%' 3)73 02 /&3 0/4&#<$: 6' 4&#<7* <$3)&:2; 7/: =*$/3' &4$=023$<&*&%0232 2$$< 8&<<033$: 3& B$$=0/% 03 3)73 -7'> "07/32 )71$ <7:$ 3)$0#

<7#B -03) *033*$ <&#$ 3)7/ 8&<<&/2$/2$ 7/: 7 2<0:%$&/ &4 *&%08> ()'; &/$ <0%)372B; 6&3)$# 6$0/% 4&#<7*W

D)$ 6$23 2)&#3 7/2-$# 3& 3)02 F9$230&/ 02 &/$ %01$/ '$7#2 7%& 6' U08)D)&<72&/>J D)&<72&/; 8&<<$/30/% &/ =)0*&2&=)$#2 -)& 10$- 4&#<7* <$3)&:2 727 :023#7830&/ 3& #$7* =)0*&2&=)087* 7:17/8$<$/3; &62$#1$: 3)73 3)$ &/*' #$7*7:17/37%$ 3)73 -$ )71$ &1$# 3)$ %#$73 =)0*&2&=)$#2 &4 3)$ =723 7#$ 3)$ /$- <$3)&:23)73 -$ )71$ 73 &9# :02=&27*> I0#23E&#:$# *&%08> X7*89*92> D)$ /9<6$# P$#&> N3 02)7#: 3& 0<7%0/$ 0<=#&10/% &/ ?#023&3*$ -03)&93 #$2&#30/% 3& <$3)&:2 3)73 -$#$20<=*' 9/7170*76*$ 3& )0<> Y/&-0/% C923 3)02 <98) 76&93 )023&#'; 7 6$33$# F9$230&/02 3)02Z -)' *0<03 '&9# &=30&/2W

D& 6$%0/ 7 *&/%$# 7/2-$#; #$39#/ 3& 3)$ @&9/%EO$*<)&*3P 3)$&#' 7/: /&308$3)#$$ 0<=&#37/3 237%$2 0/ 032 :$1$*&=<$/3> I0#23; 3)$#$ -72 @&9/%T2 0:$7 3)73 =$&=*$-03) /&#<7* 8&*&# =$#8$=30&/ #$*' &/ 3)#$$ #$8$=3&#2 0/ 3)$0# $'$2> D)02 -72 7 %#$730:$7; 693 3)$#$ -72 /$03)$# 7 <&:$* /&# <98) $<=0#087* $10:$/8$ 4&# 03; 2& 3)$ 0:$7*7/%902)$: 4&# [L '$7#2> ?3 3)73 30<$ 8&<<&/ -02:&< )$*: 3)73 3)&2$ 3)#$$#$8$=3&#2 -&9*: 29#$*' 6$ 2$/20301$ 3& #$:; +1**'= ; 7/: 6*9$; 20/8$ ,$-3&/T2 8&*&#-)$$* :$20%/73$: 3)&2$ 3)#$$ 72 3)$ =#0<7#' 8&*&#2; 7/: =70/3$#2 4&# 8$/39#0$2 )7:<0G$: 3)$0# =70/32 4#&< #$:; '$**&-; 7/: 6*9$> V93 0/39030&/ 7/: 3#7:030&//&3-03)237/:0/%; @&9/%T2 0:$7 -$/3 /&-)$#$ 9/30* O$*<)&*3P 87<$ 7*&/%> O020/%$/0&92 8&/3#06930&/ -72 3& #9/ $G=$#0<$/32 0/ -)08) 296C$832 -$#$ 0/23#983$: 3&<738) 3)$ 8&*&# &4 7 2-738) 3& 7 8&*&# &4 3)$0# 8)&08$; -)08) 3)$' 2$*$83$: 6' <0G0/%3)#$$ -71$*$/%3)2 &4 *0%)3> O$ 7*2& &62$#1$: 3)73 3)$ 296C$832 8&9*: /&3 <7B$ 7<738) -03) &/*' 3-& &4 3)&2$ 3)#$$ 67208 *0%)3 2&9#8$2> O$*<)&*3PT2 $G=$#0<$/328&/3#0693$: 0<=&#37/3 $<=0#087* $10:$/8$ 4&# 3)$ 3#08)#&<7308 788&9/3; <70/*' 6'&44$#0/% %#&9/:2 4&# #$=*780/% '$**&- -03) %#$$/ 0/ )02 788&9/3; 693 03 -72 )020/3#&:9830&/ &4 76#%>16#%34#* 6'21* 3& #$=#$2$/3 10206*$ 8&*&# 72 7/ 7::0301$

1 Krister Segerberg recounts Thomason’s remarks in (Segerberg 2005, p. 166).

Page 3: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 3/21

3

<0G39#$ &4 3)#$$ 67208 8&*&#2 3)73 #$7**' 2$3 3)0/%2 0/ <&30&/> O$*<)&*3PT2<73)$<73087* <&:$* <7#B$: 3)$ 6$%0//0/% &4 3)$ 2$8&/: 237%$ &4 3)$ 3)$&#'; -)08)2=9##$: 7 /9<6$# &4 0//&1730&/2> \7<$2 ]7G-$** 0/3#&:98$: 3)$ 40#23 3#08)#&<73088&*&# =)&3&%#7=) -03)0/ 7 :$87:$ &4 O$*<)&*3PT2 -&#B> O7*43&/$ =#0/30/% =#$22$287<$ 7*&/% 2&&/ 743$#> X&*&# 3$*$1020&/ 7/: 8&*&# <&30&/ =0839#$2 4&**&-$: 2$1$#7*

:$87:$2 *73$#> ?/: '$3; 7** &4 3)$2$ :$1$*&=<$/32 &889##$: -$** 6$4&#$ 3)$ *723 237%$;-)$/ =)'20&*&%087* <$8)7/02< 3)73 9/:$#=0/2 3)$ @&9/%EO$*<)&*P 3#08)#&<73083)$&#' &4 8&*&# 1020&/ -72 40/7**' 8&/40#<$:>

()73 02 23#0B0/% 76&93 3)02 28)$<7308 )023&#' &4 3)$ @&9/%EO$*<)&*P 3)$&#'&4 8&*&# 1020&/ 02 /&3 <$#$*' 3)$ &9320P$: 0<=783 &4 3)$ U"V 8&*&# <&:$* )7: &/ 3)$3)$&#' 7/: &/ &3)$# :$1$*&=<$/32 47# 740$*:; 693 3)$ 30<0/% 7/: 2$F9$/8$ &4 $1$/32>5$3 92 39#/ 3& :#7-0/% &93 3-& &4 3)&2$ 4$739#$2 7/: 8&/20:$# 3)$0# 6$7#0/% &/$=023$<&*&%'>

?@A1"3615%#* 1B321541 3< 36A'"%#5% C)% $#" $"'6 <)$$34315% >

^&<$ =)0*&2&=)$#2 )71$ 73378B$: 7 =#78308$ -03)0/ 3#7:030&/7* 7/7*'308$=023$<&*&%' &4 C92304'0/% /&#<7301$ 8*70<2 6' 7==$7*2 3& 0/39030&/H7 <$3)&:&*&%'3)73 ($0/6$#%; ,08)&*2; 7/: ^308) )71$ :966$: _N/39030&/ `#01$/ U&<7/30802<Q($0/6$#% 1%D #* > MLLJS> I&# 3)$2$ 8#03082; 3)$ 40#23 =7#3 &4 3)$ @&9/%EO$<*)&3P)023&#' -0** #$2&/7/3; 4&# @&9/%T2 0/20%)3 -72 237**$: 6$8792$ =$&=*$ 73 3)73 30<$-$#$ <02*$7: 6' 3)$0# 0/39030&/2 76&93 3)$ 3)#$$ 67208 _8&*&#2T /$8$227#' 4&# 8&*&#1020&/> N3 -72 O$*<)&*3PT2 $G=$#0<$/32 3)73 2$3 3)$ =#&%#7< &/ 3#78B 6' 0:$/304'0/%3)$ 8&##$83 2$3 &4 8&*&#2 3& 672$ 3)$ 3)$&#' &/>

a1$/ 2&; 3)$ 2$8&/: )7*4 &4 3)02 )023&#' 8&<=*0873$2 <733$#2 4&# 4#0$/:2 &4$G=$#0<$/37* =)0*&2&=)'> I&# 7*3)&9%) O$*<)&*3PT2 $G=$#0<$/32 -$#$ 8#9807* 4&#=&0/30/% 3& 3)$ #0%)3 2$3 &4 67208 8&*&#2; 3)$ $G=$#0<$/37* $10:$/8$ -72 47# 4#&<8&/8*9201$ 4&# $2376*02)0/% 3)$ 8$/3#7* =)'20&*&%087* 3)$202 76&93 3)$ =)&3&#$8$=3&#20/ 3)$ )9<7/ $'$> D)$ #&*$ 3)$2$ 0/0307* $G=$#0<$/32 =*7'$: -72 3& 2)043 3)$ 4&8924#&< 7/ 9/-&#B76*$ U@V <&:$* 3& 7 A*#)<3C*1 U"V 7::0301$ 8&*&# <&:$*; /&3 3& /70*:&-/ 3)$ U"V <&:$* 6$4&#$ 7/' &3)$# =#&%#$22 8&9*: 6$ <7:$>

V93 *&&B 8*&2$*' 73 ($0/6$#%; ,08)&*2; 7/: ^308)T2 73378B> ()73 3)$' 7#$ 9= 3&;&::*' $/&9%); 02 #$472)0&/0/% 7 *&/%237/:0/% 8#030802< &4 $G=$#0<$/37* =2'8)&*&%'&1$#4'5B1531541 <#6A*35E QX7#*2&/ JbcJ; ^$7#2 JbKR; O$/#08) 1%D #* > MLJLS 0/3& 7/73378B &/ 3#7:030&/7* 7/7*'308 $=023$<&*&%'> D)$ =#&6*$< -03) 8&/1$/0$/8$27<=*0/% 0/ 2&807* =2'8)&*&%087* #$2$7#8) 0/ =7#3089*7# 02 3)$ =#&6*$< &4 6720/%%$/$#7* 8&/8*920&/2 76&93 )9<7/ /739#$ &/ #$29*32 %7#/$#$: 4#&< 239:0$2 &49/:$#%#7:973$ =2'8)&*&%' 239:$/32; -)& 7#$ &1$#-)$*<0/%*' (aNU` =$&=*$QO$/#08) 1%D #* > MLJLSZ <$<6$#2 &4 ($23$#/; a:9873$:; N/:923#07*0P$:; U08); 7/:`$<&8#7308 2&80$30$2> N/ 7 8&<=7#7301$ #$10$- &4 3)$ *03$#739#$; O$/#08); O$0/$; 7/:,&#$/P7'7/ 4&9/: 3)73 (aNU` =$&=*$ 7#$ &43$/ 3)$ *1#<% #$=#$2$/37301$ =&=9*730&/20/ 239:0$2 &4 10297* =$#8$=30&/; 470#/$22; 8&&=$#730&/; 2=7307* #$72&/0/%;

Page 4: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 4/21

4

873$%&#0P730&/ 7/: 0/4$#$/307* 0/:9830&/; <&#7* #$72&/0/%; #$72&/0/% 23'*$2; 2$*4E8&/8$=32; 7/: 3)$ )$#03760*03' &4 Nd> D)$' #$<7#B 3)73

3)$#$ 7#$ /& &610&92# A"3'"3 %#&9/:2 4&# 8*70<0/% 3)73 7 =7#3089*7#6$)710&#7* =)$/&<$/&/ 02 9/01$#27* 672$: &/ 27<=*0/% 4#&< 7 20/%*$

296=&=9*730&/> A1$#7**; 3)$2$ $<=0#087* =733$#/2 29%%$23 3)73 -$ /$$: 3& 6$*$22 8717*0$# 0/ 7::#$220/% F9$230&/2 &4>)6#5 /739#$ &/ 3)$ 67202 &4 :737:#7-/ 4#&< 3)02 =7#3089*7#*' 3)0/; 7/: #73)$# 9/9297*; 2*08$ &4 )9<7/03'QO$/#08) $3> 7*> MLJL; => RJS>

^&; -)0*$ 3)$ B/&8B 7%70/23 3#7:030&/7* 7/7*'308 $=023$<&*&%' 02 3)73 3)$#$ 02$G=$#0<$/37* $10:$/8$ 3& 29%%$23 3)73 3)$#$ 7#$ :044$#$/8$2 0/ $=023$<08 0/39030&/20/ :044$#$/3 %#&9=2 7/: 3)$2$ :044$#$/8$2 9/:$#<0/$ 8*70<2 3)73 $=023$<08 0/39030&/27#$ 9/01$#27* Q($0/6$#% $3> 7*> MLLJS; 3)$ B/&8B 7%70/23 $G=$#0<$/37* =2'8)&*&%' 023)73 3)$#$ 7#$ :044$#$/8$2 6$3-$$/ 3)$ 296=&=9*730&/ 92$: 4&# 3)$ *0&/T2 2)7#$ &4239:0$2 7/: 3)$ %$/$#7* =&=9*730&/; 7/: 3)$2$ :044$#$/8$2 9/:$#<0/$ _2=$80$2E*$1$*T

%$/$#7*0P730&/2 QO$/#08) $3> 7*> MLJLS>

($0/6$#%; ,08)&*2 7/: ̂ 308) -&9*: )71$ 92 6$*0$1$ 3)73 :044$#$/3 $=023$<080/39030&/2 76&93 "$330$# 872$2 Q"$330$# JbReS 3)$' )71$ &62$#1$: 7<&/% 239:$/324#&< a723 ?207/ &# 3)$ N/:07/ 296E8&/30/$/3; &/ 3)$ &/$ )7/:; 7/: (aNU` 239:$/32&/ 3)$ &3)$#; 9/:$#<0/$2 $=023$<08 0/39030&/2> Q,VZ N3 02 9/8*$7# -)73 3)$' <7B$ &4_:97* =#&8$22T 3)$&#0$2 -03)0/ 8&%/0301$ 7/: 2&807* =2'8)&*&%';M -)08) :0230/%902)6$3-$$/ 0/390301$ 7/: :$*06$#7301$ C9:%<$/32 7/: 7#$ 2928$=306*$ 3& 7/ 7/7*&%&92(aNU` 8#030F9$ &4 O$/#08) 1%D #* > X#030802< &4 3)$ :97*E=#&8$22 3)$&#0$2 -03)0/=2'8)&*&%' :&$2 /&3 0/1&*1$ $G=*70/0/% 7-7' 0/390301$ C9:%<$/32f 3)$ :02=93$ 020/23$7: &1$# )&- 3& =#&10:$ 7 =2'8)&*&%087* $G=*7/730&/ 4&# 0/390301$ C9:%<$/32QY#9%*7/2B0 7/: "0%$#$/P$# MLJJS>S

V93 3)$ =#&6*$< -03) 3)02 *0/$ &4 73378B &/ $=023$<08 0/39030&/ 02 3)73 03 8*&7B27 -$7B/$22 3)73 $G=$#0<$/37* =)0*&2&=)' 2)7#$2 -03) 3#7:030&/7* 7/7*'308$=023$<&*&%'; /7<$*' )&- 3& -7##7/3 7 %$/$#7* 8*70<H-)08) 02 7 /$8$227#'8&/:030&/ 4&# 87##'0/% &93 7 =&20301$ =#&%#7<> ,&/$ &4 3)$ 8#03082 -&9*: :$/' 3)$#$7#$ 9/01$#27* $=023$<08 /&#<2 &# :$/' 3)$#$ 7#$ %$/$#7* 47832 76&93 )9<7/ /739#$>U73)$#; -)73 $78) 8#030F9$ 8)7**$/%$2 02 3)$ 2)7#$: =#78308$ &4 <7B0/% 8717*0$#8*70<2 &4 %$/$#7*03' 4#&< /&/E#$=#$2$/37301$ 27<=*$2 &4 3)$ =&=9*730&/> N/=)0*&2&=)'; 03 02 3)$ 0/39030&/2 &4 2$*4E2$*$83$:; )0%)*' 3#70/$:; )0%) 2&80&$8&/&<08237392 =#&4$22&#2 &4 =)0*&2&=)' 3)73 7#$ 87**$: 0/3& F9$230&/> N/ =2'8)&*&%' 03 02 .^8&**$%$ 2&=)&<&#$2> a1$/ 3)&9%) $G=$#0<$/37* =)0*&2&=)' )72 7 =&0/3 0/ 0328#030F9$ &4 3#7:030&/7* $=023$<&*&%'; 3)$ :027==&0/30/% 4783 #$<70/2 3)73$G=$#0<$/37* =)0*&2&=)' 02 2928$=306*$ 3& 3)$ 1$#' 27<$ 8#030802< 4&# 3)$ %$/$#7*8*70<2 03 -&9*: =#$4$# -$ 7:&=3 0/23$7:>

2 For overview of dual process theories, see Kruglanski and Orehek (2007), Evans (2008) andKruglanski and Gigerenzer (2011).

Page 5: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 5/21

5

D)$ 0/3#&:9830&/ &4 4&#<7* <&:$*2 87/ )$*= &/ 3)02 4#&/3; 693 6$4&#$8&/20:$#0/% )&-; *$3 92 39#/ 3& 7/&3)$# 4$739#$ &4 3)$ @&9/%EO$*<)&*3P )023&#'>

;')5%1"1@#6A*1< #"1 5'% #*=#+< 2143<3B1>

D#7:030&/7* $=023$<&*&%'; 0/ 7::030&/ 3& 032 8&<<03<$/3 3& $=023$<080/39030&/2; 7*2& 3$/:2 3& #$*' 2&*$*' &/ 8&9/3$#$G7<=*$2 3& 722$22 3)$&#0$2; -)08)<$7/2 3)73 7 <022 02 72 %&&: 72 7 <0*$> V93 03 :&$2 /&3 )71$ 3& 6$ 3)02 -7'>

5&&B 7%70/ 73 3)$ @&9/%EO$*<)&3P )023&#'; 4&# 3)$ U"V 7::0301$ 8&*&# <&:$*02 6' /& <$7/2 8&<=#$)$/201$Z 3)$#$ 7#$ 10206*$ 8&*&#2 -)08) 87//&3 6$#$=#$2$/3$: -03)0/ 3)$ <&:$*> @$3 3)02 *0<03730&/ )72 /$1$# 6$$/ 2$#0&92*'8&/20:$#$: 3& 6$ 7 _8&9/3$#$G7<=*$T 3& 3)$ U"V <&:$*; /&# )72 03 6$$/ 10$-$: 72 73)#$73 3& 3)$ =)'20&*&%087* 3)$&#' &4 1020&/ 3)73 3)$ <&:$* -72 &#0%0/7**' :$20%/$: 3&2$#1$> U73)$#; 3)$ $G8$=30&/2 3& 3)$ 3)$&#' -$#$ -$0%)$: 7%70/23 3)$ =&-$# &4 3)$

<&:$*; 7/: 7 #$8&%/030&/ 3)73 3)$ $<=0#087* 67202 &4 3)$ 3)$&#'H-)08) #$<70/$:9/8&/40#<$: 3)#&9%) 3)$ *723 )7*4 &4 3)$ Jb 3) 8$/39#' 7/: 3)$ 40#23 )7*4 &4 3)$ ML3)H-72 *0B$*' 3& 6$ 0/ 3)$ /$0%)6&#)&&: &4 3)$ 3#93)> ? 2988$2249* 4&#<7* <&:$* 87/<7B$ 03 2$/206*$ 3& 10$- &/$ 3)$&#' 72 237/:0/% 8*&2$# 3& 3)$ 3#93) 3)7/ 7/&3)$#>

N4 $G=$#0<$/37* =)0*&2&=)$#2T 8&<=*70/3 76&93 $=023$<08 0/39030&/ 6&0*2 :&-/3& 7 6$$4 76&93 =)0*&2&=)$#2 =9330/% 3)$0# 0/39030&/2 76&93 $<=0#087* 8*70<2 76&1$7/' $G=$#0<$/37* $10:$/8$ 3& 3)$ 8&/3#7#'; 7/: )710/% 3)$ /$#1$ 3& &44$# 7/ # A"3'"3 7#%9<$/3 3& C92304' 8&/30/90/% 3& :& 2&; 3)$/ 3)$ 8&<=*70/3 76&93 9/8)$8B$:8&9/3$#$G7<=*$2 6&0*2 :&-/ 3& 7 6$$4 7%70/23 8&/23#9830/% 3)$&#0$2 3& #$2023&6C$830&/2H/& <733$# )&- 8&/3#01$:H76&1$ 7** &3)$# 8&/20:$#730&/2>

D)$ =#&6*$< -03) 72=0#0/% 3& 8&9/3$#$G7<=*$E=#&&4 =)0*&2&=)' -03)&9337B0/% 0/3& 788&9/3 $03)$# 4&#<7* &# $<=0#087* 8&/23#70/32 02 3)73 3)$ $G$#802$ 87/F908B*' :$1&*1$ 0/3& 7 6733*$ &4 -032 #73)$# 3)7/ 7 6733*$ &4 0:$72> ()73T2 <&#$; 3)$=#&6*$< 02 8&<=&9/:$: 6' =2$9:&E4&#<7* =)0*&2&=)'H3)$ 9/4&#39/73$ =#78308$ &4920/% 4&#<7* *&%08 0/4&#<7**'H6$8792$ 3)02 $/8&9#7%$2 =)0*&2&=)$#2 3& :$28#06$#73)$# 3)7/ :$40/$ 3)$ 49/:7<$/37* &=$#730&/2 &4 3)$0# 3)$&#0$2> ]$<&#0$2 7#$_788$22$: 0/ 3)$ #0%)3 -7'Tf C923040$: 6$*0$42 7#$ _672$:T &/ &/$T2 _$10:$/8$Tf 8&)$#$/36$*0$42 _)7/% 3&%$3)$#T> V93; *0B$ 7 69<= 0/ 7 #9% 87#$49**' =92)$: 4#&< &/$ 8&#/$#&4 7 8#&-:$: #&&< 3& 7/&3)$#; 3)02 #$*07/8$ &/ =2$9:&E4&#<7*02<2 3& 71&0: 7/' 7/:7** 8&9/3$#$G7<=*$2 &43$/ <$7/2 3)73 3)$ )7#:; 9/2&*1$: =)0*&2&=)087* =#&6*$<2 7#$7#349**' 71&0:$: #73)$# 3)7/ 7::#$22$: )$7: &/> ?3 032 -&#23; #7<=7/38&9/3$#$G7<=*$ 71&0:7/8$ 3)#$73$/2 3& 39#/ =)0*&2&=)' 0/3& *033*$ <&#$ 3)7/ 7=$#4&#<7/8$ 7#3>

V93; &/$ -7' 3& 7##$23 3)02 2*0:$ 02 6' 8&/23#70/0/% $=023$<&*&%087* 3)$&#0$26' $<=0#087* 8&/20:$#730&/2 7/: 4&#<7* <&:$*2> I&# 04 '&9 #$=*78$ 3)&2$ 49:%$:3$#<2 -03) 7 4&#<7* <&:$*; 7/: )$< 0/ 0<7%0/730&/ 6' $<=0#087* 8&/23#70/32; 3)$/ 047 3)$&#' 02 2988$2249* 0/ )7/:*0/% 7 #7/%$ &4 872$2; 3)73 )7#: -&/ 2988$22 -0** 6$

Page 6: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 6/21

6

-$0%)$: 7%70/23 3)$ 3)$&#'T2 470*0/%2> N/ &3)$# -&#:2; 04 -$ 2$3 72=0#730&/2 4&#$=023$<&*&%' )0%)$# 3)7/ 8&/8$=397* 7/7*'202; 3)73 -0** &=$/ <&#$ #&&< 3& C9:%$2988$22 7/: 470*9#$ 3)7/ 3)$ 7**E&#E/&3)0/% 237B$2 &4 8&9/3$#$G7<=*$ 71&0:7/8$>D)73 02 &/$ *$22&/ &4 3)$ U"V <&:$*> g#0&# 3& 032 0/3#&:9830&/; =$&=*$ &/*' )7: 717%9$ 0:$7 &4 )&- 3& _8&<60/$T 8&*&#2 7/: 03 -72 /&3 #$8&%/0P$: 3)73 3)$#$ -72 7

8#9807* :044$#$/8$ 6$3-$$/ 7 <)C%"#4%3B1 8&*&# <&:$*; -)08) <&:$*2 )&- =70/32 <0G3& 8#$73$ /$- 8&*&#2; 7/: 7/ #223%3B1 8&*&# <&:$*; -)08) 02 7==#&=#073$ 4&# <&:$*0/%8&*&# =$#8$=30&/> D)73 0/20%)3 47# &93-$0%)$: 3)$ *0<03730&/2 &4 3)$ <&:$*; 7/: 03 023)$ <70/ #$72&/ 3)73 $G8$=30&/2 3& 3)$ 3)$&#' :0: /&3 9/:$#<0/$ 03>

F>#% $'"6#* 6'21*< 4#5 2' >

^& 47# -$ )71$ 6$$/ :0289220/% 3)$ <$#032 &4 4&#<7* <$3)&:2 6' :#7-0/%7/7*&%0$2 3& 7 )023&#087* $G7<=*$; 2$*$83$: =9#$*' 4&# 0**923#7301$ =9#=&2$2; 7/: 6'<7B0/% 2&<$ 8#03087* 8&<=7#02&/2 -03) 3#7:030&/7* 7/7*'308 $=023$<&*&%' 7/:$G=$#0<$/37* =)0*&2&=)'T2 37B$ &/ $=023$<08 0/39030&/2> D)$#$ 02 &/$ *723 =0$8$ &4

237%$ 2$330/%; -)08) #$39#/2 3& 7 :0230/830&/ -$ 0/3#&:98$: 73 3)$ 1$#' 6$%0//0/%6$3-$$/ 10$-0/% 4&#<7* $=023$<&*&%' 72 7 <$3)&:&*&%087* 7==#&78) -03)0/ 7/7*'308$=023$<&*&%' 7/: 10$-0/% 4&#<7* $=023$<&*&%' 72 7/ 0/3$#:0280=*0/7#' #$2$7#8)=#&%#7<; -)08) NT1$ :028922$: $*2$-)$#$H0/ 3$#<2 3)73 <7' *$7: 3& 8&/4920&/H727 3'=$ &4 <$3)&:&*&%087* /739#7*02< Q()$$*$# 7/: g$#$0#7 MLL[S> O$#$ N -7/3 3&20<=*' =&0/3 &93 3)$ 7:17/37%$2 3& $=023$<&*&%0232 4#&< $<6#780/% 3)02 6#&7:$#;=#&%#7<<7308 10$-H-)73$1$# '&9 -&9*: =#$4$# 3& 87** 03>

^&<$30<$2 7 4&#<7* 3$8)/0F9$ 02 92$: 0/ 2$1$#7* 40$*:2 3& <&:$* 7 47<0*' &4=#&6*$<2; 7/: 0/ 3)$2$ 872$2 3)$#$ 02 &43$/ 7/ &==&#39/03' 4&# 7 4&#<7*$=023$<&*&%023 3& 690*: 7 #08) #$=$#3&0#$ &4 20<0*7#*' 23#9839#$: =#&6*$<2 3&%$3)$#-03) 7 *06#7#' &4 3$8)/0F9$2 4&# )&- 3& -&#B -03) 3)$<> g#&6760*02308 <$3)&:2 7#$7/ $G8$**$/3 $G7<=*$ QO7$//0 1%D #* > MLJJS> V93 0/ 7::030&/ 3& 40G0/% 3)$ <$3)&: 7/:17#'0/% 3)$ =#&6*$<; &/$ <7' 7*2& 4&892 &/ 7 20/%*$ =#&6*$<; -)08) 87/ 7==$7# 0/:044$#$/3 %902$2 0/ 17#0&92 :0280=*0/$2; 7/: 17#' 3)$ <$3)&:2> ?/ 7:17/37%$ &410$-0/% 3)$ 27<$ =#&6*$< 3)#&9%) 3)$ *$/2 &4 :044$#$/3 <&:$*2 02 3)73 -$ 87/ &43$/6$%0/ 3& 0:$/304' -)08) 4$739#$2 &4 3)$ =#&6*$< 7#$ $/:9#0/% 7/: -)08) 7#$ 7#3047832&4 &9# =7#3089*7# <$3)&:2 &# 678B%#&9/: 7229<=30&/2> V$8792$ 7623#7830&/ 02 7*08$/2$ 4&# 92 3& 0%/&#$ 0/4&#<730&/; *&&B0/% 73 2$1$#7* 7==#&78)$2 3& <&:$*0/% 7=#&6*$< 87/ %01$ '&9 0/20%)3 0/3& -)73 02 0<=&#37/3 3& B$$= 7/: -)73 02 /&02$ 3&0%/&#$> ]&#$&1$#; :028&1$#0/% #&6923 4$739#$2 &4 7 =#&6*$<; -)$/ 03 )7==$/2; 87/#$2)7=$ '&9# 0/39030&/2> N/ 3)02 -7' 4&#<7* $=023$<&*&%' 87/ 6$ 92$: 3& 3#70/=)0*&2&=)087* 0/39030&/2 #73)$# 3)7/ 20<=*' 2$#1$ 72 7 3&&* 4&# #0%&#&92 $G=&2030&/ &4=#0&# 0/39030&/2> O$#$ 3)$/ 02 7 =7#307* #$=*' 3& 3)$ =#&6*$< 3)73 6$2$32 3#7:030&/7*$=023$<&*&%'; -03) 032 #$*07/8$ &/ $=023$<08 0/39030&/2; 7/: $G=$#0<$/37*=)0*&2&=)'; -03) 20<0*7# *0<032 4#&< #$*'0/% &/ 3&& <7/' (aNU` =$&=*$> D)$ $/30#$*&7: &4 7 3)$&#' /$$: /&3 #$23 $/30#$*' &/ 3)$ %#&9/:2 4&# 032 8*70<2 04 3)$ 3)$&#'0/8*9:$2 7 #$72&/76*$ <&:$* 3)73 %01$2 92 /$- 760*030$2 3& =#$:083 7/: $G=*70/> ?%&&: <&:$* -0** 6$ =93 3& 92$>

Page 7: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 7/21

7

()0*$ 3)02 $227' =#$2$/32 7 872$ 4&# 4&#<7* $=023$<&*&%'; 03 2)&9*: 6$ 8*$7#3)73 3)02 02 )7#:*' 7 <7/04$23&> D)$#$ 02 7 =*78$ 4&# $G=$#0<$/37* -&#B 0/ =)0*&2&=)';7/: 3)$#$ 02 7 =*78$ 4&# 0/39030&/2; 3&&> ]&#$&1$#; 4&#<7* <$3)&:2 7#$ /&3 3)$ &/*'#&93$ 3& =#$8020&/; 7/: 03 <7' -$** 6$ 3)73 9/:$#237/:0/% 3)$ <&23 0<=&#37/3 )9<7/9/:$#37B0/%2H*&1$; 4#0$/:2)0=; =&*03087* 8&<=#&<02$H02 )7<=$#$: #73)$# 3)7/

)$*=$: 6' =*780/% 3&& )0%) 7 23&8B 0/ =#$8020&/> 501$ *&/% $/&9%) 7/: '&9T** :028&1$#3)73 /&3 $1$#'3)0/% '0$*:2 3& )7#: 3)&9%)3>

.("&)&/0& +/1 23,+43(/

^& 47# -$ )71$ :028922$: 4&#<7* $=023$<&*&%' 4#&< 7 60#:T2E$'$ =&0/3 &410$-> ($ 7%#$$: -03) 3)$ 2=0#03 &4 $G=$#0<$/37* =)0*&2&=)'T2 8#030F9$ &4 3#7:030&/7*7/7*'308 =)0*&2&=)'; /7<$*' 3)73 9/70:$: 0/39030&/ 02 /&3 *0B$*' 3& 37B$ 92 1$#' 47#;693 -$ 7*2& 4&9/: $G=$#0<$/37* =)0*&2&=)' 47**0/% 2)&#3> D)#&9%)&93 3)02:0289220&/ -$ 92$: 7 )023&#087* $G7<=*$ 3& 0**923#73$ )&- &/$ <0%)3 3)0/B &4

$G=$#0<$/37* <$3)&:2 7/: 4&#<7* <$3)&:2 40330/% 3&%$3)$#>

N/ 3)02 2$830&/; -$ 2)043 4&892 3& 8&/20:$# 3-& #$8$/3 $G7<=*$2 &4 -&#B -03)0/4&#<7* $=023$<&*&%'> D)$ 40#23 $G7<=*$ #$=&#32 7 6#$7B3)#&9%) 0/ 40%9#0/% &93 2&<$&4 3)$ 49/:7<$/37*2 4&# 7 3)$&#' &4 8&)$#$/8$; -)08) 02 7 *&/%237/:0/% &=$/=#&6*$< 4&# 3)$ 8&)$#$/8$ 3)$&#' &4 C9230408730&/> O$#$ 02 7 8*72208 $G7<=*$ &4 4&#<7*<$3)&:2 6$0/% 6#&9%)3 3& 6$7# &/ 7 =#&6*$< -03)0/ 3#7:030&/7* 7/7*'308$=023$<&*&%'> D)$ 2$8&/: $G7<=*$ $G7<0/$2 =#0/80=*$2 &4 2&9/: =#&6760*02308#$72&/0/% 7/: 3)$ #&*$ 3)73 0/:$=$/:$/8$ 7229<=30&/2 =*7'> D)02 02 7/ $G7<=*$ &44&#<7* $=023$<&*&%' =9#29$: 72 7 237/: 7*&/$ :0280=*0/$; 4&# 3)$ #7<0408730&/2 4#&<3)02 $G7<=*$ 744$83 3)$ 7==*08730&/ &4 V7'$207/ <$3)&:2 -03)0/ =)0*&2&=)' 7/: 47#740$*:>

G'=#"2 # %>1'"+ '$ 4'>1"1541

N/ JbK[; 579#$/8$ V&/\&9# =#&10:$: 2&<$ 23#9839#$ 3& 3)$ 8&)$#$/8$ 3)$&#'&4 C9230408730&/;e 7/: )02 =&239*73$2 4&# 8&)$#$/302< QJbK[; ==> b[EbS :$28#06$ 7 #&*$4&# =#&6760*03' 7*&/% 3)$ *0/$2 &4 X> N> 5$-02T2 =#&6760*02308 <&:$* &4 _8&/%#9$/3T; 2$*4C92304'0/% <$<&#0$2 Q5$-02 JbhRS> ^0/8$ 3)$/ 2$1$#7* 793)&#2 -&#B0/% -03)0/ 3)$4#7<$-&#B &4 V7'$207/ $=023$<&*&%' )71$ $G=*&#$: 3)$ =#&2=$832 &4 :$1$*&=0/% 7=#&6760*02308 <&:$* &4 8&)$#$/8$ 7*&/% 3)02 67208 5$-02EV&/\&9# &93*0/$>h

]98) &4 3)$ -&#B 0/ V7'$207/ $=023$<&*&%' 8&/8$#/2 8&)$#$/8$ 7<&/% 7 2$3&4 =#&=&2030&/2 7/: -)$3)$# 7 =#&6760*02308 <$729#$ &4 8&)$#$/8$ 87/ 6$ 7::98$:

3 He later despaired of meeting those demands and quit the theory altogether, but that is anotherstory. 4 See, for example, Huemer 1997, Cross 1999, Shogenji 1999, Bovens & Hartmann 2003a,2003b, 2005, Olsson 2002, 2005, Fitelson 2003, Meijs, 2004, Glass 2006.

Page 8: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 8/21

8

-)08) 02 _3#93)E8&/:9801$TH3)73 02; -)$3)$# 7 )0%)$# :$%#$$ &4 8&)$#$/8$ 7<&/% 72$3 &4 =#&=&2030&/2 $/29#$2 3)73 3)&2$ =#&=&2030&/2 7#$ <&#$ *0B$*' 3& 6$ 3#9$;41%1"3< A#"3C)<> D)$ %$/$#7* 8&/2$/292 7<&/% V7'$207/ $=023$<&*&%0232 02 3)73 /&=#&6760*02308 <$729#$ &4 8&)$#$/8$ 49**' 2988$$:2 0/ 6$0/% 3#93)E8&/:9801$; 7/: 3)02=$220<02308 8&/2$/292 02 672$: *7#%$*' &/ #$29*32 6' 598 V&1$/2 7/: ^3$=)7/

O7#3<7// QMLLe7S 7/: a#0B A*22&/ QMLL[S 3)73 2)&- 0/ $44$83 )&- 7/' =#&6760*02308<$729#$ &4 8&)$#$/8$ -0** 470* 3& $/29#$ 7 8&##$2=&/:0/% _6&&23T 0/ 3)$0# *0B$*0)&&:&4 3#93)>

D)$ F9$230&/ 02 -)$3)$# 3)$#$ 7#$ #$*730&/2)0=2 6$3-$$/ =#&6760*023087**'8&##$*73$: $10:$/8$ Q3)&9%)3 3& <&:$* _8&)$#$/8$TS 7/: 0/8#$<$/37* 8&/40#<730&/Q3)&9%)3 3& <&:$* _C9230408730&/TS; 7/: V7'$207/ $=023$<&*&%' )72 0/1$230%73$: 3)02#$*730&/2)0= 0/ 3$#<2 &46'21*< $'" =3%51<< %1<%36'5+ QA*22&/ MLLM; MLL[; V&1$/27/: O7#3<7// MLLe7; MLLe6S> D)0/B &4 7 -03/$22 <&:$* 72 8&<=&2$: &4 3-& 2$32 &43)0/%2; 7 %#&9= &4 <$22$/%$#2; $78) -03) 7 <$227%$ 3& :$*01$#; 7/: 3)$ 8&/3$/32 &43)&2$ <$227%$2; -)08) -$ <7' %73)$# 3&%$3)$# 3& 4&#< 7/ 35$'"6#%3'5 <1% > A*22&/T2

<&:$* :044$#2 4#&< V&1$/2 7/: O7#3<7//T2 <&:$* 0/ 0<=&#37/3 -7'2; 693 6&3) 2)7#$3-& B$' 7229<=30&/2 76&93 3)$ 23#9839#$ &4 7H#+1<3#5 =3%51<< 6'21* Z /7<$*'

Q6-JS 7 <$22$/%$# 3 -)& #$=&#32 3)73 ? 02 3#9$ 02 =&20301$ $10:$/8$ 4&# ?;3)73 02; g#Q? i U$=&#3 3Q?SS j g#Q?S; 7/:

Q6-MS 3)73 $78) <$22$/%$# 02 7/ 0/:$=$/:$/3 #$=&#3$#; 3)73 02; -)$3)$# ? &#¬ ? <4"115< '$$ [ -)$3)$# <$22$/%$# 3 #$=&#32 ? &# #$=&#32¬ ? 4#&< 7**&3)$# 8&/30/%$/3 47832 7/: 7** &3)$# <$22$/%$# #$=&#32>

D)$ 0:$7 02 3& $/29#$ 3)73 7 <$22$/%$# 8&/20:$#0/% -)$3)$# 3& #$=&#3 ? &# 032/$%730&/ 02 &/*' 0/4*9$/8$: 6' -)$3)$# 0/ 4783 ? &# 032 /$%730&/ 7#$ 3#9$; 7/: /&3-)73 &3)$# 47832 <0%)3 6$ &# -)73 &3)$# <$22$/%$#2 <0%)3 6$ 27'0/%>

?88&#:0/% 3& A*22&/; 3)$2$ 3-& 7229<=30&/2H3)$ 3-0/ =0**7#2 &4 V7'$207/-03/$22 <&:$*2H&44$# /&3 &/*' 3)$ <&23 471&#76*$ 80#89<237/8$ 0/ -)08) 3& 2$$ 043)$#$ 02 7/' )&=$ &4 2)&-0/% 3)73 2&<$ =#&6760*02308 <$729#$ &4 8&)$#$/8$ 87/=&2206*' 6$ 3#93)E8&/:9801$; 693 /$8$227#' 8&/:030&/2 72 -$**Z

k8&)$#$/8$ 87//&3 6$ 3#93) 8&/:9801$ 0/ 3)$ 8&<=7#7301$ 2$/2$ 0/ 3)$762$/8$ &4 0/:$=$/:$/8$ 7/: 0/:010:97* 8#$:060*03' QMLL[; => eS>

()0*$ 3)$2$ 7229<=30&/2 <7' 2$$< #$23#08301$ 4#&< 7 4&#<7* =$#2=$8301$;3)$' 2)&9*:k0/ 4783 6$ 2$$/ 72 :$28#060/% 4&#39/73$ 80#89<237/8$2kl7/:-)73 A*22&/T2 0<=&22060*03'm 3)$&#$< 27'2 02 3)73 /&3 $1$/ 9/:$# 4&#39/73$80#89<237/8$2 87/ 3)$#$ 6$ 7/' 0/3$#$230/% <$729#$ &4 8&)$#$/8$ &#7%#$$<$/3 3)73 02 3#93) 8&/:9801$ 0/ 3)$ 8&<=7#7301$ 2$/2$ QMLL[; => Je[S>

5 See (Pearl 2000) and (Spirtes et . al . 2000) for a thorough treatment.

Page 9: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 9/21

9

?/: '$3; -)0*$ Q6-JS 7/: Q6-MS <7' 2$$< 0/390301$*' 6&3) 471&#76*$ 7/: /$8$227#';03 39#/2 &93 /$03)$# 02 3)$ 872$> D)$ -03/$22 3$230<&/' <&:$*2 7#$ 7<&/% 3)$ *$723471&#76*$ <&:$*2 4&# $G=*&#0/% 3)$ #$*730&/2)0= 6$3-$$/ 8&)$#$/8$ 7/: *0B$*0)&&:&4 3#93) Q()$$*$# 7/: ^8)$0/$2 MLJJ 4&#3)8&<0/%; =#&=&2030&/2 e 7/: hS> D)$=#&6*$< 02 3)$ V7'$207/ -03/$22 <&:$*; /&3 3)$ %$/$#7* 4$739#$2 &4 <$729#$2 &4

8&)$#$/8$ 7/: 8&/40#<730&/>

N/:$$:; 04 '&9 :#&= 3)$ 8&/:030&/7* 0/:$=$/:$/8$ 8&/:030&/ 3)73 02 690*3 0/3&V7'$207/ -03/$22 <&:$*2H7229<=30&/ Q6-MS 76&1$H3)$#$ 02 7 <$729#$ &4722&80730&/; 87**$: $'4)<12 4'""1*#%3'5 Q]'#1&*: Jbb[; ()$$*$# MLLbS; -)08)#&6923*' 3#78B2 0/8#$<$/37* 8&/40#<730&/ Q()$$*$# 7/: ̂ 8)$0/$2 MLJJ;^8)*&22)79$# 7/: ()$$*$# MLJJ; ()$$*$# 7/: ̂ 8)$0/$2; 4&#3)8&<0/%S>

V#0$4*'; 4&892$: 8&##$*730&/ 02 3)$ #730& &4 3-& F97/3030$2; 3)$ :$%#$$ &4722&80730&/ 7<&/% $10:$/8$ %01$/ 7 )'=&3)$202; &1$# 3)$ :$%#$$ &4 722&80730&/ 0/ 3)$$10:$/8$ 7*&/$> D)02 #$*730&/2)0= 02 8*$7#$23 0/ 3)$ #0%)3<&23 $G=7/20&/ &4 3)$

<$729#$; I'" ; -)08) 02 :$40/$: )$#$ 4&# 3-& $10:$/8$ 2373$<$/32; ? J 7/: ? M; 7/: 720/%*$ )'=&3)$202;7 >

For H E 1 , E 2( )=

df Pr( H | E 1 , E 2 )

Pr( H | E 1) Pr( H | E 2 )=

Pr( E 1, E 2 | H )Pr( E 1 | H ) Pr( E 2 | H )

Pr( E 1 , E 2 )

Pr( E 1) Pr( E 2 )

.

"01$/ 2&<$ =#&102&2;R 03 39#/2 &93 3)73 8&<=7#0/% &/$ $10:$/8$ 2$3 Q$>%>; n? J ; ? MoS 3&7/&3)$# Q$>%>; n? J ; ? eoS 6' 3)$0# :$%#$$ &4 4&892$: 8&##$*730&/ Q-03) #$2=$83 3& 7:$20%/73$: )'=&3)$202 7 S; <&#$ 4&892$: 8&##$*730&/ $/370*2 <&#$ 0/8#$<$/37*

8&/40#<730&/;41%1"3< A#"3C)< Q()$$*$# 7/: ̂ 8)$0/$2 4&#3)8&<0/%; ̂ 8)*&22)79$# 7/:()$$*$#; MLJJS> ()73T2 <&#$; <7B0/% $1$/ -$7B$# 7229<=30&/2; -)$/ 4&892$:8&##$*730&/ &4 7/ $10:$/8$ 2$3 Q-03) #$2=$83 3& 7 )'=&3)$202;7 S 02 %#$73$# 3)7/ J;3)$/ 3)$ 0/8#$<$/37* 8&/40#<730&/ &4 7 %01$/ 3)73 $10:$/8$ 02 =&20301$ Q()$$*$#MLLb; ()$$*$# 7/: ̂ 8)$0/$2; 4&#3)8&<0/%S>

A9# =&0/3 02 /&3 3)73 3)$ V7'$207/ 0<=&22060*03' #$29*32 470* 3& 6$ 3)$&#$<2;693 #73)$# 3)73 3)$' 7#$ &/*' #$=#$2$/37301$ &4 7 /7##&- 8*722 &4 <&:$*2> ()73 -$2$$ 02 3)73 -)0*$ 3)$ 3#78B0/% 8&/:030&/ 4&# 4&892$: 8&##$*730&/ :&$2/T3 )&*: -03)0/-03/$22 <&:$*2H6$8792$ 41%1"3< 02 /&3 A#"3C)<H03 -&#B2 40/$ 0/ <7/' 872$2 &9320:$&4 3)$ 8&/23#70/32 0<=&2$: 6' 3)$ -03/$22 <&:$*2> ()'W D)$ #$72&/ 6&0*2 :&-/ 3&

7/ 0/20%)3 4#&< 4&892$: 8&##$*730&/; -)08) 02 3)73 3)$#$ 02 7 =7#7<$3$# <0220/% 4#&<=#$10&92 733$<=32 3& %01$ 7 =#&6760*02308 3)$&#' &4 8&)$#$/8$> I&# 03 02 /&3 $/&9%) 3&*&&B 73 3)$ 722&80730&/ &4 $10:$/8$ Q$>%>; 3)$ $1$/3 &4 <$22$/%$#2 7** 3$**0/% 7 20<0*7#23&#'S; 693 #73)$# -$ <923 788&9/3 4&# 3)$ "1#<'5 4&# 3)73 722&80730&/> ?43$# 7**;-03/$22$2 <0%)3 7%#$$ 3& 7%#$$ -03)&93 7/' #$%7#: 3& 3)$ 3#93) &4 3)$ <733$#> D)02 02

6 Conditions (A1, A2) in (Wheeler and Scheines forthcoming) which is generalized in(Schlosshauer and Wheeler 2011)

Page 10: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 10/21

10

3)$ =&22060*03' 3)73 Q6-MS -72 :$20%/$: 3& =#$1$/3> V93; 0/ 2& :&0/%; 3)$ -03/$22<&:$*2 7*2& 0/7:1$#3$/3*' 289==$# 3)$ =&22060*03' &4 8&//$830/% 7 )0%)$# <$729#$ &4722&80730&/ 3& )0%)$# *0B$*0)&&: &4 3#93)> D)73 02 3)$ 29#=#020/% 7/: 0<=&#37/3 0/20%)34#&< 3)$ V7'$207/ 0<=&22060*03' #$29*32>

"01$/ 3)02 &62$#1730&/ 3)73 &/$ <923 788&9/3 4&# 3)$ 8792$ &4 3)$ 722&80730&/Q_8&)$#$/8$TS; ^8)$0/$2 7/: N )71$ =#&=&2$: 7 %$/$#7* <&:$* -)08) 37B$2 788&9/3 &43)$ 87927* 23#9839#$ #$%9*730/% 3)$ #$*730&/2)0=2 6$3-$$/ 3)$ $10:$/8$ Q&#<$22$/%$# #$=&#32; 04 '&9 =#$4$#S 7/: )'=&3)$202 Q3)$ 3#93) &4 3)$ #$=&#32; 04 '&9=#$4$#S> D)02 #$F90#$2 #$3)0/B0/% 3)$ 8&<<03<$/3 3& 5$-02EV&/\&9# -03/$22 <&:$*2;7/: <&10/% 7-7' 4#&< :$40/0/% 8&)$#$/8$ 2&*$*' 0/ 3$#<2 &4 0/4&#<730&/ 2$32; 693V&/\&9# )0<2$*4 2$$<2 3& )71$ 7*#$7:' :&/$ 3)02Z

D)$ 4783 3)73 7 6$*0$4 -72 8792$: 0/ 3)02 -7' #73)$# 3)7/ 2&<$ &3)$# 87/ =*7'7 8#9807* #&*$ 0/ 7 2=$807* B0/: &4 8&)$#$/3023 C9230408730&/> D)$ 0:$7 02 3)73 3)$C9230408730&/ &4 3)$2$ =$#8$=397* &# &62$#1730&/7* 6$*0$42; #73)$# 3)7/ <$#$*'

7==$7*0/% 3& 3)$ 8&)$#$/8$ &4 3)$0# =#&=&2030&/7* 8&/3$/32 -03) 3)$ 8&/3$/32&4 &3)$# 6$*0$42 Q2& 3)73 3)$ -7' 3)73 3)$ 6$*0$4 -72 =#&:98$: -&9*: 6$C9230408730&/7**' 0##$*$17/3S; 7==$7*2 0/23$7: 3& 7 %$/$#7* 6$*0$4 3)73 6$*0$428792$: 0/ 3)02 2=$807* -7' Q7/: =$#)7=2 273024'0/% 49#3)$# 8&/:030&/2 72 -$**S7#$ %$/$#7**' 3#9$ QMLLM; => MLREcS>

N/ 29<<7#'; -$ 3)0/B 3)73 37B0/% 0/3& 788&9/3 -)73 8792$2 3)$ 8&)$#$/8$ 028#9807* 3& <7B0/% =#&%#$22 &/ 7 4&#<7*; =#&6760*02308 3)$&#' &4 8&)$#$/8$; 7/: -$T1$4&**&-$: 3)#&9%) &/ 3)02 0:$7 6' 0/3#&:980/% 7 <&:$* -)08) 8&<60/$2 4&892$:8&##$*730&/; 4&# 872$2 0/ -)08) 3)$#$ 7#$ /& 0/:$=$/:$/8$ 8&/:030&/2 3& 4&9* 9= 3)$=#&6760*02308 <78)0/$#'; 7/: 87927* 23#9839#$ 3& )$*= 0:$/304' )&- 722&8073$:$10:$/8$ -0** 744$83 0/8#$<$/37* 8&/40#<730&/> D)$ <&:$* 02 )7#:*' 8&<=#$)$/201$;7/: 3)$#$ 7#$ 0/3#0%90/% 0##$%9*7#030$2 -)08) 3)$ 0<=&22060*03' #$29*32 7**9:$ 3&>QN/:$$:; -$ =#$2$/3 7 <&#$ %$/$#7* 1$#20&/ &4 A*22&/T2 0<=&22060*03' #$29*3 0/()$$*$# 7/: ^8)$0/$2 4&#3)8&<0/%S>S V93; -$ 3)0/B 3)73 03 02 7 23$= 0/ 3)$ #0%)3:0#$830&/ 4&# 2&*10/% 3)$ #0::*$ &4 8&)$#$/8$>

!3*#%35E <1%< '$ A"'C#C3*3%31<

A=$/ 7/ 0/3#&:983&#' 3$G36&&B &/ =#&6760*03' 7/: -03)0/ 3)$ 40#23 4$- =7%$2'&9 -0** 0/17#076*' 40/: 7 :$40/030&/ &4 23&8)72308 0/:$=$/:$/8$> `$40/$: -03)#$2=$83 3& 7 8*722087* =#&6760*03' 49/830&/; g#; -$ 27' 3)73 $1$/3? 02<%'4>#<%34#**+3521A15215% &4 $1$/3I C923 0/ 872$ 3)$ C&0/3 =#&6760*03' :023#06930&/ &4 6&3)? 7/: I 02 $F97* 3& 3)$ =#&:983 &4 3)$ <7#%0/7* :023#06930&/ 4&#? 7/: 3)$ <7#%0/7*:023#06930&/ 4&#I ; 3)73 02Z

QN,`S g#Q? ;I S p g#Q? S ! g#QI S>

Page 11: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 11/21

11

I&# $G7<=*$; 29==&2$ 3)73? 02 3)$ $1$/3 &4 7 470#*' 4*0==$: J a9#& 8&0/ *7/:0/% _370*2T7/: I 02 3)$ $1$/3 &4 7 470#*' 4*0==$: ?<$#087/ F97#3$# *7/:0/% _370*2T> D)$ 3-& 3&22$27#$ 23&8)723087**' 0/:$=$/:$/3 C923 -)$/ 3)$ =#&6760*03' &4 6&3) 8&0/2 *7/:0/% _370*2T02 q>

D)&2$ 3$G36&&B2 &43$/ -0** %01$ 7/ 7*3$#/7301$ :$40/030&/; 3&&> ^& *&/% 72 g#QI S02 /&/EP$#&; -$ <7' 7*2& 27' 3)73 ? 02 23&8)723087**' 0/:$=$/:$/3 &4 I C923 -)$/ I 021A3<%1634#**+ 3""1*1B#5% 3& 3)$ =#&6760*03' &4? Z

QNUS g#Q? iI S p g#Q? S; -)$/ g#Q I S j L>

a1$/3 I 02 $=023$<087**' 0##$*$17/3 3&? -)$/ 3)$#$ 02 /& :044$#$/8$ 6$3-$$/ 3)$=#&6760*03' &4? 8&/:030&/7* &/I 7/: 3)$ =#&6760*03' &4 ? 7*&/$> U$39#/0/% 3& &9#8&0/2; 3)$ =#&6760*03' 3)73 7 470#*' 3&22$: ?<$#087/ F97#3$# *7/:0/% _370*2T %01$/ 3)737 470#*' 3&22$: J a9#& 8&0/ )72 *7/:$: _370*2T 02 r; -)08) 02 3)$ 27<$ 72 3)$=#&6760*03' 3)73 7 470#*' 3&22$: ?<$#087/ F97#3$# *7/:2 _370*2T> N/ &3)$# -&#:2;B/&-0/% )&- 3)$ $G=$#0<$/3 -03) 3)$ a9#& 39#/2 &93 02 0##$*$17/3 3& $230<730/% 3)$&938&<$ &4 7 470#*' 3&22$: F97#3$#>

I0/7**'; -$ <7' C923 72 -$** 2-038) 3)$ =*78$2 &4 I 7/: ? H2& *&/% 72 -$ <7B$3)$ 7==#&=#073$ 788&<<&:730&/2 3& 71&0: 8&/:030&/0/% &/ P$#&E=#&6760*03' $1$/32>5$3T2 27' 3)$/ 3)73 ? 021A3<%1634#**+ 3521A15215% &4I C923 -)$/ $78) 02 $=023$<087**'0##$*$17/3 3& 3)$ &3)$#; 3)73 02Z

QaNS g#Q? i I S p g#Q? S; -)$/ g#Q I S j L 7/: g#Q I i ? S p g#QI S; -)$/ g#Q ? S j L>

()$/ -&#B0/% -03) 7 20/%*$ =#&6760*03' :023#06930&/; g#; 3)$2$ /&30&/2 7#$$F9017*$/3 -)$/ g#Q I S j L 7/: g#Q ? S j LZ 3)73 02; QN,`S 044 QNUS 044 QaNS> N/:$$:; '&97#$ 9/*0B$*' 3& 2$$ /7<$2 4&# $78) &4 3)$2$ /&30&/2 0/ '&9# 3$G36&&B; 20/8$ 3)$' 7#$%$/$#7**' 3)&9%)3 3& 6$ $G=#$220&/2 &4 &/$ 7/: 3)$ 27<$ 8&/8$=3Z A"'C#C3*3<%343521A1521541>c

O&-$1$#; 3)$#$ 7#$ :044$#$/8$2 6$3-$$/ $78) &4 3)$2$ 3)#$$ /&30&/2> N4 g# 02%01$/ 7 6$)710&#7* 0/3$#=#$3730&/ 7/: 10$-$: 3& #$=#$2$/3 7/ 7%$/3T2 :$%#$$2 &46$*0$4; 3)$/ 7#%976*' 3)73 7%$/3 *$7#/2 3)73 3-& $1$/32 7#$ 23&8)723087**'0/:$=$/:$/3 QN,`S 6' &62$#10/% 3)73 &/$ $1$/3 02 $=023$<087**' 0##$*$17/3 3& 3)$&3)$# QNUS> N/ &3)$# -&#:2; &/ 7 6$)710&#7* 0/3$#=#$3730&/ &4 g#; 3)$ -7' 4&# 7/ 7%$/33& C92304' 3)73 3-& $1$/32 7#$ 23&8)723087**' 0/:$=$/:$/3 02 4#&< &62$#10/% 3)73 &/$$1$/3 02 $=023$<087**' 0##$*$17/3 3& 3)$ &3)$#> I9#3)$#<&#$; 20/8$ -$ B/&- 3)73 QNUS04 7/: &/*' 04 QaNS; 3)$ /&30&/ &4 $=023$<08 0/:$=$/:$/8$ 2$$<2 7/ 9//$8$227#';0/3$#<$:07#' 23$=> I0/7**'; B/&-0/% 3)73 7 C&0/3 :023#06930&/ 2730240$2 QN,`S *08$/2$2

7 Or if there is a distinction draw, it is simply between conditional independence (IR) andindependence (IND).

Page 12: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 12/21

12

92 3& 4783&#0P$ 3)73 C&0/3 :023#06930&/ 6' 3)$ <7#%0/7* :023#06930&/2; -)08) %01$2=#&6760*03' 2&<$ 2$<6*7/8$ &4 7830/% *0B$ 7 *&%08 20/8$ 3)$ =#&6760*03' &4 Q? 7/: I S 02:$3$#<0/$: 6' 37B0/% 3)$ =#&:983 &4 3)$ =#&6760*03' &4 a 7/: 3)$ =#&6760*03' &4 I>D)$ 760*03' 3& 4783&#0P$ 7 C&0/3 :023#06930&/ 0/3& 7 =#&:983 &4 <7#%0/7* =#&6760*030$27/: 8&/:030&/7* =#&6760*030$2 02 7 3#$<$/:&92 7:17/37%$ 3& 8&<=930/% =#&6760*030$2>

^&; &/$ -7' 3& *&&B 73 3)$ $F9017*$/8$ &4 QN,`S; QNUS; 7/: QN,`S; 02 3)73 03*08$/2$2 *$7#/0/% 76&93 23&8)72308 0/:$=$/:$/8$ 3)#&9%) &62$#10/% -)$/ &/$ $1$/302 0##$*$17/3 3& 3)$ =#&6760*03' $230<73$ &4 7/&3)$#; 7/: 3)$/ 7**&-2 92 3& *$1$#7%$-)73 -$ *$7#/ 76&93 3)&2$ 0/:$=$/:$/8$ 8&/:030&/2 3& '0$*: 3#78376*$ <$3)&:2 4&#=#&6760*02308 #$72&/0/%> D)$ 3)$&#' &4 87927* V7'$2 /$32 0**923#73$2 3)02 23#73$%'=$#4$83*' Qg$7#* MLLL; ^=0#3$21%D #* > MLLLS> A9# &-/ 7==#&78) 3& =#&6760*02308 *&%0802 7/&3)$# $G7<=*$ QO7$//0 $3> 7*> MLJJS>

@$3; 3)$#$ 02 7 F9$230&/ &4 )&- 2&9/: 7 4&9/:730&/ 3)02 23#73$%' #$232 &/> N339#/2 &93; 29#=#020/%*'; 3)73 3)$2$ 3)#$$ 0/:$=$/:$/8$ 8&/8$=32 7#$ :0230/83

<73)$<73087* /&30&/2 743$# 7**> D)$' &/*' 7==$7# 3& 6$ 3)#$$ $F9017*$/3 -7'2 &4$G=#$220/% 3)$ 27<$ 8&/8$=3 -)$/ 10$-$: 3)#&9%) 3)$ *$/2 &4 7 20/%*$ =#&6760*03'<$729#$; g#> ()73 3)02 <$7/2; =)0*&2&=)087**'; 02 3)73 2&9/: =#&6760*02308#$72&/0/% 4#&< 0/:$=$/:$/8$ 7/: 8&/:030&/7* 0/:$=$/:$/8$ 7229<=30&/2 -)08)%*0:$ 4#$$*' 6$3-$$/ QN,`S; QNUS; 7/: QaNS; -0** 39#/ &93 3& :$=$/: &/ #$72&/0/% -03)7 20/%*$ =#&6760*03' :023#06930&/> ̂ &; 3)&2$ 2&9/:2 =#0/80=*$2 &4 =#&6760*02308#$72&/0/% :$=$/: &/ 3)$ %#&9/:2 3)73 '&9 )71$ 4&# 7229<0/% 7 /9<$#087**' =#$802$=#&6760*03' :023#06930&/>

?229<0/% 3)73 7%$/32 #*=#+< )71$ /9<$#087**' :$3$#<0/73$ :$%#$$2 &4 6$*0$4;)&-$1$#; 02 7 23#$38); 7/: 2$1$#7* 793)&#2 )71$ 7#%9$: 3)73 =#&6760*03' <&:$*22)&9*: 788&<<&:73$ 7==#&G0<73$ &# 0/3$#17* 17*9$2>K D7B$ 4&# $G7<=*$ 3)73 8&0/ 0/'&9# =&8B$3Z 03 02 7/ 0:$7*0P730&/ 3& 7229<$ 3)73 3)$ =#&6760*03' &4 7 20/%*$; 470# 3&22&4 3)73 8&0/ *7/:0/% _370*2T 02 =#$802$*' r> N/23$7:; 3)$ 7#%9<$/3 4&# 0<=#$8020&/ %&$2;03 02 <&#$ #$72&/76*$ 3& 7229<$ 3)73 3)$ 8)7/8$ &4 _370*2T 02 r =*92 &# <0/92 2&<$2<7** " > @$3 &=$/0/% 3)$ :&&# 3& 0/3$#17*E17*9$: =#&6760*030$2 $1$/ C923 7 8#78B0/3#&:9830&/2 7 /9<6$# &4 :044089*3 0229$2; 2&<$ &4 -)08) %& 3& 3)$ )$7#3 &4=#&6760*02308 #$72&/0/%> D)$ F9$230&/ &4 -)$3)$# 3)$#$ 02 &/$ 8&/8$=3 &4=#&6760*02308 0/:$=$/:$/8$ &# 2$1$#7* 0/:$=$/:$/8$ 8&/8$=32 02 7/ $G7<=*$>

^9==&2$ 3)73 3)$ =#&6760*03' &4? 02 3)$ 0/3$#17* l* ;) m; -)$#$ * 02 9/:$#23&&: 3&6$ 3)$ *&-$# 6&9/: &4 3)$ =#&6760*03' 3)73 ? ; 7/: ) 02 3)$ 9==$# 6&9/: &4 3)$=#&6760*03' 3)73? > D)$#$ 7#$ 2$1$#7* :0230/83 -7'2 3& 4*$2) 3)02 0:$7 &93;b 693 7

8 Pioneers of imprecise probability theory includes B.O. Koopman (1940), Alfred Horn andAlfred Tarski (1948), Paul Halmos (1950), I. J. Good (1952), C.A.B. Smith (1961), DanielEllsberg (1961), and Henry Kyburg, Jr. (1961). Notable contemporary advocates include IsaacLevi (1980), Peter Walley (1991), Teddy Seidenfeld (2010), James Joyce (2010), Fabio Cozman(2000), Gert de Cooman and Enrique Miranda (2007, 2009). See also Haenni et. al. (2011). 9 Recent textbook treatments include Paris 1994, Halpern 2003, Haenni et. al. 2011.

Page 13: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 13/21

13

8&<<&/ &/$ 02 3& 0/3$#=#$3 7/ 0/3$#17* =#&6760*03' 7220%/<$/3 l* ;) m 3& 7/ $1$/3? 6'7 2$3 &4 =#&6760*03' 49/830&/2;5) p ng#J ; g#M;k; g# 5o; -)$#$ 3)$ *'=1" A"'C#C3*3%+ &4? 02 3)$35$36)6 &45) Q? S; 7/: 3)$ )AA1" A"'C#C3*3%+ &4? 02 3)$<)A"16)6 &45) Q? S>`$40/$ *&-$# 7/: 9==$# =#&6760*03'; -03) #$2=$83 3& 7 2$3 &4 =#&6760*030$25) ; 72Z

Pr( E

)= l =

inf Pr " Pr Pr( E

) (lower probability) Pr( E ) = u = sup Pr " Pr Pr( E ) (upper probability)

?2 03 237/:2; 3)$ 2$3 5) 8&9*: #$=#$2$/3 7 2$3 &4 8*722087* V7'$2 7%$/32 -)& $G=#$22:044$#$/3 C9:%<$/32 76&93 ? f 5) 8&9*: 7*2& 6$ 0/3$#=#$3$: 72 7 <&:$* 4&# 239:'0/%2$/2030103' 7/: #&6923/$22 0/ 8*722087* V7'$207/ 2373023087* 0/4$#$/8$f 7/:5) 87/ 7*2&6$ 10$-$: 72 7 <&:$* &4 0<=#$802$ 8#$:7* =#&6760*030$2 4&# 7 20/%*$ 7%$/3> D)02 02 3)$0/3$#=#$3730&/ -)08) )72 :#7-/ 40#$ 4#&< $=023$<&*&%0232; 693 03 02 -&#3) =&0/30/%&93 3)73 3)$ 9/:$#*'0/% <$8)7/082 &4 3)$ $G7<=*$ -$T#$ 76&93 3& 8&/20:$# 02 /&3 30$:3& 3)02 0/3$#=#$3730&/>

?*3)&9%) 0<=#$802$ =#&6760*03' 3)$&#' 02 2&<$30<$2 :$28#06$: 72 _$G&308T; 0/#$7*03' 8*722087* V7'$207/02< :#&=2 &93 72 7 2=$807* 872$Z -)$/ 3)$ 2$35) 8&/370/2C923 &/$ <$729#$> I#&< -)73 -$T1$ 270:; 3)$ 2$3 5) <7' 8&/370/ 7 20/%*$ <$729#$ &#3-& &# 2$1$#7* :044$#$/3 <$729#$2> N4 8*722087* V7'$207/02< <7#B2 &/$ $/: &4 2$3E672$: V7'$207/02<; 3)$/ 4'5B1@ H#+1<3#53<6 Q5$10 JbKLS <7#B2 7/&3)$# 0<=&#37/3$/:=&0/3> I&# -$ 87/ 3)0/B &4 8&/1$G03' 72 7 8*&29#$ 8&/:030&/ &/ 3)$ 2$3 5) Z

QXGS 5) 02# 4*'<12 4'5B1@ <1% -)$/; 4&# 7/' 3-& =#&6760*03' <$729#$2 g# J ; g#M 0/5) ; 3)$/ 4&# 7** L s" s J; 3)$ <$729#$ g#t p " g#J u QJ# " Sg#M 02 7*2& 0/5) >

X&/:030&/ QXGS 27'2 3)73; 4&# 7/' 3-& <$729#$2 0/ 5) ; 3)$ <$729#$ g#t :$40/$: 6' 3)$8&/1$G <0G39#$ &4 3)&2$ 3-& <$729#$2 02 7*2& 0/5) > N/4&#<7**'; -$ 27' 3)73 7 2$3273024'0/% QXGS 02 8*&2$: 9/:$# 8&/1$G <0G39#$2; 7/: 7::0/% QXGS 72 7 8&/:030&/ 028&<<&/ -)$/ 7 2$3 &4 =#&6760*030$2 02 0/3$#=#$3$: 3& #$=#$2$/3 0<=#$802$ 8#$:$/8$2>N/ -)73 4&**&-2; -$ -0** 7229<$ QXGS )&*:2> (03) 3)$2$ =#$*0<0/7#0$2 0/ =*78$; *$3T239#/ 3& :0*730&/>

($ 27' 3)73 7/ $1$/3 I 23*#%1< 3)$ $1$/3 ? C923 0/ 872$

Pr( E | F ) < Pr ( E ) " Pr ( E ) < Pr ( E | F ).

N/ -&#:2; &938&<$ I :0*73$2? C923 0/ 872$ 3)$ #7/%$ &4 9/8&/:030&/7* =#&6760*03'7220%/<$/32 3&? 02 7 =#&=$# 2962$3 &4 3)$ #7/%$ &4 =#&6760*03' 7220%/<$/32 3&? %01$/I > ,&- 29==&2$ 3)73 6 02 7 <$729#76*$ =7#3030&/ &4 =&2206*$ &938&<$2> D)$/;3)$ =7#3030&/ &4 &938&<$26 <%"34%*+ 23*#%1< ? C923 0/ 872$Z

Pr( E | F ) < Pr( E ) " Pr( E ) < Pr( E | F ), for all F # B .

Page 14: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 14/21

14

D)$ #$<7#B76*$ 3)0/% 76&93 23#083 :0*730&/ 02 3)$ 2=$83$# &4 39#/0/% 7 <&#$ =#$802$$230<73$ &4? 0/3& 7 *$22 =#$802$ $230<73$;5' 6#%%1" %>1 ')%4'61 >

D& 0**923#73$ 23#083 :0*730&/; -$ #$8&9/3 g$3$# (7**$'T2 87/&/087* 8&0/ 3&220/%$G7<=*$>

78+*9,& > ^9==&2$ 3)73 7 470# 8&0/ 02 3&22$: 3-08$> D)$ 40#23 3&22 &4 3)$ 8&0/ 027 470# 3&22; 693 3)$ 2$8&/: 3&22 02 =$#4&#<$: 0/ 298) 7 -7' 3)73 3)$ &938&<$<7' :$=$/: &/ 3)$ &938&<$ &4 3)$ 40#23 3&22> ,&3)0/% 02 B/&-/ 76&93 3)$ 3'=$&# :$%#$$ &4 3)$ =&2206*$ :$=$/:$/8$> 5$37 J ; G J ; 7 M; G M:$/&3$ 3)$ =&2206*$&938&<$2 4&# 3)$ =70# &4 3&22$2> ($ B/&- 3)$ 8&0/ 02 470# 7/: 3)73 3)$ 40#233&22 02 7 470# 3&22; 2& 3)$ ?%$/3T2 Qg#? S $230<73$ 4&# 3)$ 40#23 3&22 02 =#$802$> D)$0/3$#7830&/ 6$3-$$/ 3)$ 3&22$2 02 9/B/&-/; 693 0/ 3)$ $G3#$<$ 3)$ 40#23 3&22<7' :$3$#<0/$ 3)$ &938&<$ &4 3)$ 2$8&/:> D)02 *0B$-02$ =932 7 =#$802$8&/23#70/3 &/ ?T2 $230<73$ &4 3)$ 2$8&/: 3&22 =#0&# 3& 3)$ $G=$#0<$/3> O$/8$;

(a ) Pr A ( H 1) = Pr A ( H 1) = Pr A ( H 1) = 12

= Pr A ( H 2 ) = Pr A ( H 2 ) = Pr A ( H 2 ).

O&-$1$#; *033*$ 02 B/&-/ 76&93 3)$ :0#$830&/ &# :$%#$$ &4 :$=$/:$/8$6$3-$$/ 3)$ =70# &4 3&22$2> ]&:$* ?T2 0%/&#7/8$ 6'

(b ) Pr A ( H 1, H 2 ) = 0, and Pr A ( H 1 , H 2 ) = Pr A ( H 1) =

1

2

^9==&2$ /&- 3)73 ? *$7#/2 3)73 3)$ &938&<$ &4 3)$ 40#23 3&22 02>1#2<> D)$$G3#$<7* =&0/32 4#&< Q6S; /7<$*' L 7/: r; 87/ 6$ 8&/:030&/$: 6' V7'$2T #9*$'0$*:0/%

(c ) (i ) Pr A ( H 2 | H 1) = Pr A ( H 2 , H 1) /Pr A ( H 1) = 0 and

(ii ) Pr A ( H 2 | H 1) = Pr A ( H 2 , H 1) /Pr A ( H 1) = 1

^&; 7*3)&9%) 0/0307**' g#? Q7 MS p r; *$7#/0/% 3)73 3)$ 40#23 3&22 *7/:2 )$7:2:0*73$2 ?T2 $230<73$ &4 3)$ 2$8&/: 3&22 3& 7/' 17*9$ -03)0/ 3)$ 0/3$#17* lL;Jm>?/ 7/7*&%&92 7#%9<$/3 )&*:2 04 0/23$7: ? *$7#/2 3)73 3)$ &938&<$ &4 3)$ 40#233&22 02 370*2> ^0/8$ 3)$2$ 3-& &938&<$2 =7#3030&/ 3)$ &938&<$ 2=78$; 0>$>; 3)$#$7#$ /& &3)$# -7'2 3)$ 40#23 3&22 87/ 39#/ &93; ?T2 =#$802$ =#&6760*03' 76&93 3)$2$8&/: 3&22 23#083*' :0*73$2 3& 3)$ 1789&92 9/03 0/3$#17*; /& <733$# -)08) -7'

3)$ 40#23 8&0/ 3&22 *7/:2 Q(7**$' JbbJ; ==> MbKEbS>

A/$ -7' 3& 0/3$#=#$3 3)$ 3-& $G3#$<$ =&0/32 02 3)73 3)$' 237/: 4&# 3-& &==&20/%)'=&3)$2$2 76&93 3)$ <$8)7/02< 8&/3#&**0/% 3)$ 2$8&/: 3&22> a78) )'=&3)$2022=$8040$2 7 :$3$#<0/02308 <$8)7/02<Z 872$ Q3S 27'2 3)73 3)$ 2$8&/: 8&0/ 02 8$#370/ 3&6$ 370*2 04 3)$ 40#23 02 )$7:2; -)$#$72 872$ Q33S 27'2 3)73 3)$ 2$8&/: 8&0/ 02 8$#370/ 3&6$ )$7:2 04 3)$ 40#23 8&0/ 3&22 02 )$7:2> ^&; &/ 3)02 0/3$#=#$3730&/; 3)$ 7%$/3 B/&-23)73 3)$ &938&<$ &4 3)$ 40#23 3&22 <7' =#&10:$ #$*$17/3 0/4&#<730&/; =&2206*'

Page 15: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 15/21

15

:$40/0301$ 0/4&#<730&/; 693 <$#$*' &62$#10/% 3)73 &938&<$ 02 0/2944080$/3 3&:$3$#<0/$ 0/ -)73 -7' 3)$ 0/4&#<730&/ 02 #$*$17/3> ?#%976*'; 3)$/; 3)$ &938&<$ &43)$ 40#23 3&22 %01$2 3)$ 7%$/3 0/4&#<730&/H&#; 6$33$#; 20%/7*2 7 =&3$/307**' 0<=&#37/3%7= 0/ )$# 0/4&#<730&/H-)08) -7##7/32 3)$ 8)7/%$ 0/ 6$*0$4> D)02 02 6' /& <$7/29/01$#27**' 788$=3$:; 693 03 02 7 <&#$ =*79206*$ =&2030&/ 3)7/ 3)$ /$G3 $G7<=*$;

-)08) 2$$<2 3& #$=#&:98$ 3)$ 27<$ #$29*3 -)0*$ 7229<0/% 3)73 3)$#$ 02 /&8&//$830&/ 6$3-$$/ 3)$ 40#23 3&22 7/: 3)$ 2$8&/: 3&22>

^9==&2$ 3)73 0/23$7: &4 3&220/% 7 20/%*$ 8&0/ 3-08$ 7/: )0:0/% 4#&< 3)$ 7%$/33)$ <7//$# 0/ -)08) 3)$ 2$8&/: 3&22 02 =$#4&#<$:; -$ 0/23$7: 4*0= 3-& :044$#$/38&0/2; &/$ -)08) 02 B/&-/ 3& 6$ /&#<7* 7/: 3)$ &3)$# &4 9/B/&-/ 6072> ()$#$72 0/3)$ 40#23 8&0/ $G7<=*$ 3)$ <$3)&:2 92$: 4&# =$#4&#<0/% 3)$ 3&22$2 17#0$: 693 3)$8&/2303930&/ &4 3)$ 8&0/ #$<70/$: 40G$:; 0/ 3)02 $G7<=*$ 3)$ <$8)7/02< 4&# 3&220/%3)$ 8&0/2 02 /&#<7*H3)73 02; 3)$ 8&0/ 3&22$2 7#$ 0/:$=$/:$/3H693 3)$ 8&/203930&/ &43)$ 8&0/2 7#$ :044$#$/3>JL ()73 -$ 7#$ :&0/% 02 #$=*780/% Q7S 0/ 3)$ $G7<=*$ 76&1$ 6'

( " a ) Pr A ( H 2 ) = Pr A ( H 2 ) = Pr A ( H 2 ) = 12

Pr A ( H 1) = 0, Pr A ( H 1) = 1,

-)08) 7==$7#2 3& :0*73$ 3)$ 2$8&/: 3&22 72 -$**> V93 3)$ $G=*7/730&/ -$ =#&10:$: 4&#3)$ 40#23 $G7<=*$ 02 /&3 7170*76*$ 3& $G=*70/ 3)02 2$8&/: $G7<=*$; 20/8$ -$ )71$230=9*73$: 3)73 3)$ 3&22$2 7#$ 0/:$=$/:$/3> @$3; $1$/ 3)&9%) 3)$ 3-& $1$/32 7#$0/:$=$/:$/3; 03 7==$7#2 3)73 3)$ 0<=#$8020&/ &4 &/$ $1$/3 87/ :0*73$ 3)$ 2)7#==#&6760*03' $230<73$ &4 7/&3)$#; 0/:$=$/:$/3 $1$/3> O&- 87/ 3)02 6$Wv

()73 02 0/3$#$230/% 02 3)73 _0/:$=$/:$/3 $1$/3T 0/ 3)02 2$330/% 02 7<60%9&926$3-$$/ 7/7*&%9$2 &4 <%'4>#<%34 3521A1521541; 1A3<%1634 3521A1521541; 7/:1A3<%1634 3""1*1B#541 -)08) 7#$ :$40/$: 4&# 2$32 &4 =#&6760*030$2> ? /$8$227#'8&/:030&/ 4&# :0*730&/ 02 4&#? 7/: I 3& /&3 6$ 23&8)723087**' 0/:$=$/:$/3 Q^$0:$/4$*:$3> 7*> JbbM; D)$&#$<2 M>JEM>eS; -)08) 02 7 69*-7#B 7%70/23 3)$ =7#7:&G087*8&/8*920&/2 8#03082 )71$ :#7-/> ()73 ^$0/:$/4$*: $3> 7*>T2 3)$&#$<2 3$** 92 02 3)73-)$#$ 3)$#$ 02 :0*730&/; 3)$#$ 02 :$=$/:$/8$> ^&; 03 -&9*: 7==$7#; 3)$ 4*0=2 0/ 3)$2$8&/: 8&0/ 3&22 7#$ :$=$/:$/3 743$# 7**> O&- 8&9*: 3)02 6$W

D)$ 7/2-$# #$39#/2 92 3& &9# $7#*0$# :0289220&/ &4 0/:$=$/:$/8$Z 3)$#$ 7#$2$1$#7* 0/:$=$/:$/8$ 8&/8$=32 #73)$# 3)7/ 7 20/%*$; 9/040$: 0/:$=$/:$/8$ 8&/8$=3QY'69#% 7/: g0337#$**0; X&P<7/ MLJM; ()$$*$#; 4&#3)8&<0/%S> (03)0/ 3)$ 0<=#$802$=#&6760*03' 2$330/%; 7/: 7229<0/% QXGS; 23&8)72308 0/:$=$/:$/8$ $/370*2 $=023$<080/:$=$/:$/8$; 7/: $=023$<08 0/:$=$/:$/8$ $/370*2 $=023$<08 0##$*$17/8$; 693 03 02/&3 3)$ 872$ 3)73 $=023$<08 0##$*$17/8$ $/370*2 $=023$<08 0/:$=$/:$/8$ /&#;2)&8B0/%*'; :&$2 $=023$<08 0/:$=$/:$/8$ $/370* 23&8)72308 0/:$=$/:$/8$v D)$

10 A version of this is discussed by Walley (1991), White (2010), Sturgeon (2010), and Joyce(2010).

Page 16: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 16/21

16

#$72&/2 4&# 3)02 7#$ 3$8)/087*; 7/: -0** )71$ 3& 6$ :$7*3 -03) 0/ 7/&3)$# $227'> JJ V933)$ *7#%$#; =)0*&2&=)087* =&0/3 02 3)73 #$8$/3 :0289220&/2 76&93 :0*730&/ )71$4&9/:$#$: &/ 7 #$7* Q04 9/:$#237/:76*$S 47**78' 0/ =#&6760*02308 #$72&/0/% -)08))0/%$ &/ 7229<0/%; 47*2$*'; 3)73 =#&6760*02308 0/:$=$/:$/8$ 02 7 9/037#' /&30&/; 7/:3)73 3)$ =#0/80=*$2 &4 2&9/: =#&6760*02308 #$72&/0/% -)08) )&*: 4&# 7 20/%*$ <$729#$

$G3$/: 3& 2$330/%2 0/ -)08) 3)$#$ 7#$ 2$32 &4 <$729#$2>

D)02 &62$#1730&/ 29%%$232 3)$ 8&/3#&1$#2' &1$# :0*730&/ 02 7 20:$ 0229$; 7/:3)73 #$7**' 3)$ 0229$ 02 3)73 3)$#$ 7#$ 7 =*9#7*03' &4 0/:$=$/:$/8$ 8&/8$=32> D)02=&0/32 3& 7 :0*$<<7 4&# V7'$207/02<; -03) &#3)&:&G V7'$207/2 &/ &/$ )&#/; 7/: 2$3E672$: V7'$207/2 &/ 3)$ &3)$#Z

• !"# "#%&"'"( )*+,-.*/- Z N<=#$802$ =#&6760*03' 3)$&#' #$1$7*2 7 4783 76&93QN,`S; QaNS; 7/: QNUS; /7<$*' 3)73 3)$' 7#$ :0230/83 =#&=$#30$2 -)08) 7#$8&**7=2$: -)$/ -&#B0/% -03) 7 20/%*$ =#&6760*03' :023#06930&/; g#> A#3)&:&GV7'$207/02< )0:$2 3)02 4783 4#&< 10$-> O&-$1$#; $1$/ 04 '&9 #$C$83 2$3E672$:7==#&78)$2; 7#$ '&9 8&/40:$/3 3)73 '&9# $*0803730&/ =#&8$:9#$ 4&#:$3$#<0/0/% /9<$#087**' =#$802$ :$%#$$2 &4 6$*0$4 -7##7/32 8&**7=20/% 3)$2$:0230/830&/2W

• !"# -,%01*-,' )*+,-.*/- Z N/ 2& 47# 72 '&9 #$*' &/ 7 6$)710&# 0/3$#=#$3730&/ &4'&9# 8&/1$G 2$3 &4 :023#06930&/2; )&- :& '&9 =#&10:$ 7C1>#B3'"#* C9230408730&/ 4&# 3#$730/% 3-& $1$/32 72 8&<=*$3$*' 23&8)723087**' 0/:$=$/:$/3%01$/ 3)73 QN,`S :&$2 /&3 4&**&- 4#&< QaNSW

N/ 2)&#3; 3)$ :028&1$#' 3)73 3)$#$ 7#$ <7/' 0/:$=$/:$/8$ 8&/8$=32 #73)$# 3)7/ 720/%*$ 8&/8$=3 02 7/ $G7<=*$ &4 #$2$7#8) -03)0/ 4&#<7* $=023$<&*&%' 3)73 )72 47##$78)0/% 8&/2$F9$/8$2> ?*3)&9%) -$ )71$ 0**923#73$: 3)02 :028&1$#' 3)#&9%):07%/&20/% 7 8&<<&/ <0223$=2 0/ 3)$ #$8$/3 *03$#739#$ &/ :0*730&/; 3)$ 9/:$#*'0/%=&0/3 8&/8$#/2 3)$ 1$#' 4&9/:730&/2 &4 2&9/: =#&6760*02308 #$72&/0/%>

:"& ;<7=*(1&, (' 3/>?3)#

X>g> ^/&- &62$#1$: *&/% 7%& 3)73 9/01$#2030$2 7#$ <7:$ 9= &4 3-& 6#&7: 3'=$2 &4=$&=*$; *03$#7#' 0/3$**$8397*2 7/: )7#: 280$/30232; '$3 7 3'=087* 0/:010:97* &4 $78) 3'=$02 67#$*' 76*$; 04 76*$ 73 7**; 3& 8&<<9/0873$ -03) )02 8&9/3$#=7#3> ^/&-w2&62$#1730&/; =&=9*7#0P$: 0/ )02 Jb[b *$839#$G=' ;)*%)"1< #52 %>1 J4315%3$34K1B'*)%3'5 Q#$0229$: 6' X7<6#0:%$ JbbeS; %&$2 2&<$ -7' 3& $G=*70/0/% 3)$ 3-&:0230/83 89*39#$2 &/$ )$7#2 #$4$##$: 3& 72 _3)$ )9<7/030$2T 7/: _3)$ 280$/8$2T>

X$#370/*' 3)$#$ 02 2&<$ 67202 4&# %#&9=0/% 787:$<08 296C$832 3)$ -7' -$ :&> g)'2082;

11 However, if you drop (Cx), then Stochastic independence does not entail Epistemicindependence. See Wheeler forthcoming for an example.

Page 17: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 17/21

17

8)$<023#'; 7/: 60&*&%' 7#$ 3)$ =0**7#2 &4 $G=$#0<$/37* 280$/8$> ?*3)&9%) 3)$ 2B0**27/: <$3)&:2 :044$# 4#&< $78); 7** 70< 3& #$8&/80*$ 3)$&#' =9#=&#30/% 3& %&1$#/ 2&<$=7#3 &4 3)$ /739#7* -&#*: 7%70/23 3)$ $10:$/8$> O&-$1$#; 3)$ 296C$832 239:0$: 6' 3)$)9<7/030$2 3'=087**' :&/w3 '0$*: 3& $G=$#0<$/37* :737f 3)$#$ 7#$ /& $G=$#0<$/37*6#7/8)$2 &4 )023&#'; /& *76&#73&#0$2 &4 *03$#739#$> N3 02 3$<=30/% 3& 10$- 3)$

0<=&#37/8$ =*78$: &/ $G=$#0<$/37* :737 72 7/ 0/:08730&/ &4 )&- 280$/30408 7 296C$8302> D)$ )7#: 280$/8$2 =93 $G=$#0<$/37* $10:$/8$ 4#&/3 7/: 8$/3$#; -)$#$72 3)$)9<7/030$2 $03)$# :& /&3 &# 87//&3> D)$ F97##$*2 &1$# $G=$#0<$/37* =)0*&2&=)'; 7/:3& 7 2&<$ $G3$/3; :$673$ &1$# 4&#<7* $=023$<&*&%'; 7#$ 1$#' &43$/ 10$-$: 72 =038)$:6733*$2 76&93 -)$3)$# =)0*&2&=)' 02 =7#3 &4 3)$ )9<7/030$2 &# =7#3 &4 3)$ 280$/8$2>O$7=$: &/ 3&= &4 3)73 F97##$* 02 7/&3)$# 76&93 -)$3)$# =)0*&2&=)' $1$/ 2)&9*: 6$=*78$: 0/ &/$ &# 3)$ &3)$#>

?*3)&9%) 3)02 02 7 47<0*07# =0839#$; 03 02 <02*$7:0/%> ]73)$<73082 )72 /& <&#$ 3& :&-03) $G=$#0<$/37* :737 3)7/ =&$3#'; 7/: =#&4$220&/7* 8&&B0/% 02 72 8&/8$#/$: -03)$G=$#0<$/3730&/ 72 7/' &4 3)$ 2&807* 280$/8$2> V93 8&&B0/% 02 8*$7#*' 7 3#7:$; /&3 7/

787:$<08 296C$83; <98) *$22 7 280$/8$>

N/ 8*&20/%; N -7/3 3& 29%%$23 3)73 -$ 2)&9*: 0/23$7: 3)0/B &4 787:$<08 :0280=*0/$2 72:010:0/% 0/3& 3)#$$ 873$%&#0$2 #73)$# 3)7/ 3-&> D)$#$ 7#$ $'"6#* :0280=*0/$2;1@A1"3615%#* :0280=*0/$2; 7/: 35%1"A"1%3B1 :0280=*0/$2> D)02 3)#$$E-7' :0230/830&/ -72=#&=&2$: 6' O$/#' Y'69#% 0/ J431541 #52 K1#<'5 QJbbL; JRS 3& 6$33$# #$=#$2$/3 3)$78301030$2 3)73 <7B$ 9= 7 9/01$#203'; 693 3)$#$ 02 <98) 3& #$8&<<$/: 3)02 -7' &43)0/B0/% 76&93 787:$<08 :0280=*0/$2; =7#3089*7# 3)&2$H*0B$ =)0*&2&=)'H-)08) 7#$#$23*$22*' 0/3$#:0280=*0/7#' 0/ /739#$> X7** 3)02 3)$ INaE<&:$* &4 0/F90#'>

]73)$<73082 02 $22$/307**' 7 4&#<7* :0280=*0/$; 3)$ $<=0#087* 280$/8$2 7#$ *7#%$*'$<=0#087* :0280=*0/$2; 7/: 3)$ 3#7:030&/7* 40/$ 7#32 7/: *$33$#2 7#$ 3)$ *$7:0/%$G$<=*7#2 &4 3)$ 0/3$#=#$301$ :0280=*0/$2> V93 /$7#*' 7** 40$*:2 :#7- 9=&/ 2B0**2 4#&<$78) 873$%&#'> V0&*&%' 7/: *03$#739#$ 7#$ &43$/ 8&/8$#/$: -03) 4&#<7* 23#9839#$2;<73)$<73082 7/: =2'8)&*&%' 7#$ 2&<$30<$2 8&/8$#/$: -03) 0/3$#=#$3730&/; 7/:=2'8)&*&%' 7/: *03$#739#$ 7#$ 73 17#0&92 30<$2 0/3$#$23$: 0/ 3)$ 47832 76&93 3)$2&80$3' &# %#&9=2 3)73 =#&:98$: 7/ &62$#1$: 6$)710&#; &# -)&2$ <$<6$#2 -#&3$ 72$#0$2 &4 =*7'2>

N3 02 9/8*$7# -)$3)$# 3)02 INaE<&:$* -&9*: )$*= 0/ &#%7/0P0/% 7 9/01$#203'; 72Y'69#% 29%%$23$: -)$/ )$ =#&=&2$: 03> D)$ 0:$7 -&9*: /$$: 7/ 7:<0/023#7301$O$*<)&*3P 3& 2&#3 3)73 F9$230&/ &93> A#; =$#)7=2; 7 X*792$-03P> V93; 3)$ 873$%&#0$27#$ )$*=49* 4&# 7 28)&*7# 3& )71$ 0/ <0/: -)$/ -&#B0/% &/ 7 3&=08 *0B$ 1A3<%16'*'E+ >N3 02 /&3 2& <98) 3)73 $=023$<&*&%' 87**2 9=&/ #$29*32 4#&< 3)$ 8&%/0301$;8&<=93730&/7*; 7/: :$8020&/ 280$/8$2; 7/: 0/20%)32 4#&< =)0*&2&=)'; <73)$<73082;=2'8)&*&%'; 2373023082; 7/: *0/%9023082H7*3)&9%) 03 8$#370/*' :&$2> U73)$#; 3)$ 8$/3#7*=&0/3 02 3)73 $=023$<&*&%' 87**2 9=&/ 3)$ 49** #7/%$ &4 0/F90#'; $1$/ 04 3#9*')7#/$220/% 3&%$3)$# 4&#<7*; $G=$#0<$/37*; 7/: 0/3$#=#$301$<L3**< :& /&3 #$7:0*'<738) 3)$ -7' -$ )71$ )7==$/$: 3& &#%7/0P$ &9# :$=7#3<$/32 7/: &9# 9/01$#2030$2>D)73 ^/&- -72 #0%)3 02 29#$*' /& #$72&/ 3& 6$*0$1$ 3)73 )$ <923 %& &/ 6$0/% #0%)3>

Page 18: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 18/21

18

References

V&/\&9#; 579#$/8$ JbK[Z G>1 J%")4%)"1 '$ ?6A3"34#* M5'=*12E1> X7<6#0:%$; ]?; O7#17#:./01$#203' g#$22>

V&/\&9#; 579#$/8$ JbbbZ _D)$ `07*$83082 &4 I&9/:730&/7*02< 7/: X&)$#$/302<T> N/ "#$8& 7/:^&27 Jbbb; ==> JJcEhM>

V&/\&9#; 579#$/8$ MLLMZ?A3<%16'*'E+ > AG4&#:Z U&-<7/ 7/: 5033*$40$*:>V&1$/2; 598 7/: ^3$=)7/ O7#3<7// MLLe7Z H#+1<3#5 ?A3<%16'*'E+ > AG4&#:Z AG4&#:

./01$#203' g#$22V&1$/2; 598 7/: ^3$=)7/ O7#3<7// MLLe6Z _^&*10/% 3)$ U0::*$ &4 X&)$#$/8$T> N352 ; JJM; ==>

RLJEee>V&1$/2; 598 7/: ^3$=)7/ O7#3<7// MLLRZ _?/ N<=&22060*03' U$29*3 4&# X&)$#$/8$ U7/B0/%2T>

O>3*'<'A>34#* J%)231<; JMK; ==> ccEbJ>V&1$/2; 598 7/: a#0B A*22&/ MLLLZ _X&)$#$/302<; U$*0760*03'; 7/: V7'$207/ ,$3-&#B2T> N352 ;

JLbZ RK[EcJb>V#$$2$; \> 7/: `> Y&**$# Q$:2S MLLJZP541"%#35%+ 35 #"%3$343#* 35%1**3E1541Q O"'411235E< '$ %>1

-R%> 4'5$1"1541 SP8T:/00-U > ^7/ I#7/8028&Z ]&#%7/ Y794<7//>X7#*2&/; U7$Z JbcJZ _()$#$ 02 3)$ =$#2&/ 0/ =$#2&/7*03' #$2$7#8)WTO<+4>'*'E34#* H)**1%35; c[;

=> MJM>X7#/7=; U9:&*4 JbRMZG>1 V'E34#* I')52#%3'5< '$ O"'C#C3*3%+ > X)087%&Z ./01$#203' &4 X)087%&

g#$22>X&)$/; 5> \> JbccZ G>1 O"'C#C*1 #52 %>1 O"'B#C*1> AG4&#:Z X*7#$/:&/ g#$22>X&P<7/; I760& MLLLZ _X#$:7* ,$3-&#B2T; 8"%3$343#* T5%1**3E1541; JMLQMS; ==> JbbEMee>

X&P<7/; I710& MLJMZ _^$32 &4 g#&6760*03' ̀ 023#06930&/2; N/:$=$/:$/8$; 7/: X&/1$G03'T>J+5%>1<1; 0/ =#$22>

X#&22; X)7#*$2 V> JbbbZ _X&)$#$/8$ 7/: D#93) X&/:9801$ \9230408730&/T> 85#*+<3<; [bQeS; ==>JKREbe>

X#9=0; x>; Y> D$/3&#0; 7/: ]> "&/P7*$P MLLcZ TA/ V7'$207/ ]$729#$2 &4 a10:$/307* ^9==&#3ZD)$&#$3087* 7/: $<=0#087* 0229$2T>O>3*'<'A>+ '$ J431541; chQMS; ==> MMbE[M>

`7/B2; `710: 7/: X*7#B "*'<&9# MLLJZ _50/$7#03' g#&=$#30$2 &4 V7'$2 ,$32 -03) V0/7#'x7#076*$2T> N/ V#$$2$ 7/: Y&**$# MLLJ; ==> bKEJLh>

:$ X&&<7/; "$#3 7/: a/#0F9$ ]0#7/:7 MLLcZ _^'<<$3#' &4 <&:$*2 1$#292 <&:$*2 &42'<<$3#'T> N/ O7#=$# 7/: ()$$*$# MLLc; ==> RcEJhb>

:$ X&&<7/; "$#3 7/: a/#0F9$ ]0#7/:7 MLLbZ _I&#-7#: N##$*$17/8$T> (')"5#* '$ J%#%3<%34#*O*#5535E; Jeb; ==> M[REcR>

`$//02; (7'/$ Q$:S JbhKZ K1#235E< 35 %>1 73<%'"+ '$ O<+4>'*'E+ > a723 ,&#-7*B; XDZ ?==*$3&/;X$/39#'; X#&432>

`&91$/; N%&# 7/: (&93$# ]$0C2 MLLcZ _]$729#0/% X&)$#$/8$T>J+5%>1<1. J[RQeS; ==> hL[EM[>a7#<7/; \&)/ JbbMZ H#+1< '" H)<%Q 8 ;"3%34#* ?@#635#%3'5 '$ H#+1<3#5 ;'5$3"6#%3'5 G>1'"+ >

X7<6#0:%$; ]?Z ]ND g#$22>

Page 19: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 19/21

Page 20: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 20/21

20

Y*$0/; g$3$# 7/: D$: (7#40$*: JbbhZ _()73 g#08$ X&)$#$/8$WT 85#*+<3<; [hQeS; ==>JMbEeM>Y&&=<7/; V> A> JbhLZ _D)$ 7G0&<2 7/: 7*%$6#7 &4 0/390301$ =#&6760*03'T> 855#*< '$

N#%>16#%34<; hJQMSZ MRbEbM>Y#9%*7/2B0; ?#0$ 7/: "$#: "0%$#$/P$# MLJJZ _N/390301$ 7/: `$*06$#73$ \9:%<$/32 ?#$ V72$:

&/ X&<<&/ g#0/80=*$2T>O<+4>'*'E34#* K1B31= ; JJKQJSZ bcEJLb>

Y#9%*7/2B0; ?#0$ 7/: a:-7#: A#$)$B MLLcZ _g7#3030&/0/% 3)$ `&<70/ &4 O9<7/ N/4$#$/8$Z`97* <&:$ 7/: 2'23$< <&:$*2 7/: 3)$0# 7*3$#/7301$2T> 855)#* K1B31= '$ O<+4>'*'E+ ; K;MbJEeJR>

Y'69#%; \#> O> a> JbRJQ O"'C#C3*3%+ #52 %>1 V'E34 '$ K#%3'5#* H1*31$ > ]0::*$3&-/; XDZ ($2*$'7/./01$#203' g#$22>

Y'69#%; \#> O> a> JbbLZJ431541 #52 K1#<'5 > AG4&#:Z AG4&#: ./01$#203' g#$22>Y'69#%; \#>; O> a> 7/: ]> g0337#$**0 JbbRZ _^$3E672$: V7'$207/02<T>T??? G"#5<#4%3'5< '5

J+<%16<. N#5. #52 ;+C1"51%34< 8> MRQeSZ eMhEeb>5$10; N2778 JbKLZ?5%1"A"3<1 '$ M5'=*12E1> X7<6#0:%$; ]?Z ]ND g#$22>5$-02; X> N> JbhRZ 85 85#*+<3< '$ M5'=*12E1 #52 Z#*)#%3'5 > 57 ^7**$Z A=$/ X&9#3>

]$0C2; (&93$# MLLhZ _? X&##$8301$ 3& V&1$/2 7/: O7#3<7//T2 ]$729#$ &4 X&)$#$/8$T>O>3*'<'A>34#* J%)231<> JeeQMS; ==> J[JEKL>

]'#1&*:; (7'/$ JbbRZ _V7'$207/02< 7/: `01$#2$ a10:$/8$Z ? U$=*' 3& ?/:#$- (7'/$T>O>3*'<'A>+ '$ J431541> Re; ==> RRJE[>

A*22&/; a#0B \> MLLMZ _()73 02 3)$ g#&6*$< &4 X&)$#$/8$ 7/: D#93)WT (')"5#* '$ O>3*'<'A>+ >bh; ==> MhREcM>

A*22&/; a#0B \> MLL[Z 8E#35<% ;'>1"1541Q G")%>. O"'C#C3*3%+ #52 ()<%3$34#%3'5> AG4&#:Z AG4&#:./01$#203' g#$22>

g7#02; \$44 JbbhZG>1 P541"%#35 K1#<'51"[< ;'6A#53'5Q 8 N#%>16#%34#* ;'6A#53'5 >X7<6#0:%$Z X7<6#0:%$ ./01$#203' g#$22>

^$7#2; `> A> JbKRZ _X&**$%$ ^&=)&<&#$2 0/ 3)$ *76&#73&#'Z 0/4*9$/8$2 &4 7 /7##&- :737 672$

&/ 2&807* =2'8)&*&%'T2 10$- &4 )9<7/ /739#$T> (')"5#* '$ O1"<'5#*3%+ #52 J'43#*O<+4>'*'E+ ; [J; ==> [J[EeL>

^8)*&22)79$#; ]7G0<0**07/ 7/: "#$%&#' ()$$*$# MLJJZ _I&892$: X&##$*730&/; X&/40#<730&/;7/: 3)$ \0%27- g9PP*$ &4 x7#076*$ a10:$/8$T> O>3*'<'A>+ '$ J431541; cKQeS; ==> McREbM>

^$%$#6$#%; Y#023$# MLL[Z _Y#023$# ^$%$#6$#%T; 0/ O$/:#08B2 7/: ^'<&/2 MLL[; ==> J[bEJRc>^$0:$/4$*:; D$::'; ]7#B \> ^8)$#102) 7/: \&2$=) V> Y7:7/$ MLJLZ _X&)$#$/3 X)&08$

I9/830&/2 9/:$# ./8$#370/3'T> ̂ '/3)$2$; JcMQJS; ==> J[cEcR>^$0:$/4$*:; D$::' 7/: 57##' (722$#<7// JbbeZ _`0*730&/ 4&# 2$32 &4 =#&6760*030$2T> G>1

855#*< '$ J%#%3<%34<; MJZ JJebE[h>^)&%$/C0; D&<&C0 JbbbZ _N2 X&)$#$/8$ D#93) X&/:9801$WT 85#*+<3<; [b; Jbbb; eeKEh[>^0*17; U>; X> "*'<&9#; U> ^8)$0/$2; 7/: g> ^=0#3$2 MLLRZ _5$7#/0/% 3)$ ^3#9839#$ &4 573$/3

50/$7# ̂ 3#9839#$ ]&:$*2T> (')"5#* '$ N#4>351 V1#"535E K1<1#"4> ; c; ==> JbJEMhR>^/&-; X> g> Jb[b QJbbKSZ G>1 G=' ;)*%)"1< > b3) O"35%35ED X7<6#0:%$Z X7<6#0:%$ ./01$#203'

g#$22>^=0#3$2; g>; X> "*'<&9#; 7/: U> ^8)$0/$2 MLLLZ;#)<#%3'5. O"1234%3'5. #52 J1#"4> > M/: $:030&/>

X7<6#0:%$; ]?Z ]ND g#$22>^39#%$&/; ^> MLJLZ _X&/40:$/8$ 7/: X&7#2$E%#70/ ?33039:$2T> N/ "$/:*$# 7/: O7-3)&#/$ MLJL;

==> JMREhb>

Page 21: Formal Epistemology

8/11/2019 Formal Epistemology

http://slidepdf.com/reader/full/formal-epistemology 21/21

(7**$'; g$3$# JbbJZ J%#%3<%34#* K1#<'535E =3%> T6A"143<1 O"'C#C3*3%31<> 5&/:&/Z X)7=<7/ 7/:O7**>

($0/6$#%; \>; ^> ,08)&*2 7/: ^> ^308) MLLJZ _,&#<730103' 7/: a=023$<08 N/3930&/2T>O>3*'<'A>34#* G'A34<; Mb; ==> hMbERL>

()$$*$#; "#$%&#' MLLbZ _I&892$: X&##$*730&/ 7/: X&/40#<730&/TD G>1 H"3%3<> (')"5#* $'" %>1O>3*'<'A>+ '$ J431541> RLQJS; ==> cbEJLL>

()$$*$#; "#$%&#'Z _A6C$8301$ V7'$207/ X7*06#730&/ 7/: 3)$ g#&6*$< &4 ,&/E8&/1$Ga10:$/8$T> G>1 H"3%3<> (')"5#* $'" %>1 O>3*'<'A>+ '$ J431541; 3& 7==$7#>

()$$*$#; "#$%&#' 7/: 59y2 ]&/0P g$#$0#7 MLLKZ _]$3)&:&*&%087* ,739#7*02< 7/: a=023$<08N/3$#/7*02<T> ̂ '/3)$2$; JReQeSZ eJ[EMK>

()$$*$#; "#$%&#' 7/: U08)7#: ^8)$0/$2 MLJJZ _X&)$#$/8$; ?22&80730&/; 7/: X792730&/T> N/O7#3<7//; ($6$#; "&/P7*$P; `0$B2; 7/: .$6$; ==> ecE[J>

()$$*$#; "#$%&#' 7/: U08)7#: ̂ 8)$0/$2Z _X&)$#$/8$ 7/: X&/40#<730&/ 3)#&9%) X792730&/T>9/:$# #$10$->

()03$; U&%$# MLJLZ _a10:$/307* 2'<<$3#' 7/: <92)' 8#$:$/8$T> N/ "$/:*$# 7/: O7-3)&#/$MLJL; ==> JRJEKJ>

(0**07<2&/; \&/ MLJLZT5 !1$1541 '$ WC\14%3B1 H#+1<3#53<6> AG4&#:Z AG4&#: ./01$#203' g#$22>