A blog dedicated to mathematical philosophy.
Constructing the World. Oxford University Press, 2012.
Raatikainen, P. 2014. "Chalmers Blueprint of the World", International Journal of Philosophical Studies 22 (1):113-128.
thanks, jeff. here's a slightly edited version of the quick reactions i posted in response to the objections in panu's critical notice when he posted it on facebook.(1) are bridge laws allowed in the scrutability base, and if so does this trivialize scrutability theses? bridge laws are certainly not disallowed from the base in general (indeed, i'd have psychophysical bridge laws in my own base). when i said that bridge laws were not allowed in the base, i was discussing a specific scrutability thesis: microphysical scrutability (where the base must be microphysical truths alone). on the other hand, building in separate bridge laws for water, kangaroos, and everything else will lead to a non-compact scrutability base. so there's no trivialization of the central compact scrutability thesis here.(2) is carnap's omega rule powerful enough to yield scrutability of mathematical truths? my discussion of the omega rule is intended to illustrate my response to the godelian objection to the scrutability of mathematical truths, rather than a general account of the knowability of mathematical truths. it's an example of an idealized infinitary process that can get around godelian limitations. the omega rule suffices to settle first-order arithmetical truths but of course other infinitary methods will be needed in other domains. it's just false that inference rules assume the knowability of their premises, so there's no trivialization here.(3) is there a circularity in nomic truths being scrutable from microphysical truths and vice versa? if one distinguishes ramsified and nonramsified versions of microphysical truths, any apparent circularity disappears. non-ramsified microphysical truths are scrutable from ramsified causal/nomic truths, which are scrutable from ramsified microphysical truths (including microphysical laws).(4) what about newman's and scheffler's problemw? the "contemporary newman problem" isn't a problem for my thesis, as my ramsification base isn't an observational base. as for scheffler's problem: my first reaction (though this really is quick) is that scheffler's example involves either ramsifying a trivial theory or giving an incomplete regimentation (and then ramsification) of a nontrivial theory. if those material conditionals really constitute the whole content of the theory (and the theory gives the whole content of the relevant theoretical term), then it's trivial in the way suggested. if the theory is formulated more completely e.g. with nomic or causal conditionals, the objection won't arise. certainly the problem won't arise for the ramsey sentences that my procedure yields.(5) why think special science truths are scrutable? the arguments for scrutability of special science truths are in chapters 3 and 4 (supplemented by 6), which are not discussed in the critical notice. the excursus on the unity of science is not intended as a primary argument for scrutability of special science truths. rather, it is connecting the scrutability thesis to the unity/reduction literature and making the case that the thesis is a weak sort of unity/reduction thesis that survives common objections to unity or reduction theses.
David, thanks - can I pop these up as a short M-Phi post? Or do you want to do a quick guest post replying to Panu? (oh, did you see Melia & Saatsi 2006, BJPS, on an approach like the kind of reply you suggest -- i.e., leaving the nomic operators/predicates unramsified?)cheers, Jeff
jeff -- yes, it's fine for you to post this if you think it would work ok as a stand-alone post out of context. i know melia and saatsi -- i recall they were more sympathetic with leaving nomic operators primitive than the other options they canvassed. i think that some of the other options also work to avoid the newman objection (i've been especially interested lately in taking fundamentality as the only nonlogical primitive), though they may have other problems in capturing the contents of our theories.
Ok, yes, thanks -- just put that up. Jeff