For the last couple of weeks I have been in Oxford giving the John Locke Lectures on Constructing the World. The title is an homage to Rudolf Carnap's 1928 book Der Logische Aufbau Der Welt. The lectures are based on a book I have been writing for the last couple of years, trying to execute a project that is reminiscent of Carnap's in certain respects. I haven't put this material online until now in order not to pre-empt the lectures, but I will be putting chapters online as I give the corresponding lecture each Wednesday. So far you can find the introduction and the first three chapters. Also, the Oxford website has audio for lecture 1 and lecture 2, as well as slides and handouts. More of this material will go online each week, and I'm told that there will eventually be video too. It has been very good to be back in Oxford, and I'm grateful to everyone here for their hospitability to date.
I've read only the introduction of 'Constructing' and listened only to the first of your Locke lectures. With that in mind, I wonder if there is a possible view according to which (i) there is a compact class of truths that constitute the scrtutability base; but (ii) it is denied that there are truths that are not members of the scrutability base, even if such truths were, say, a priori knowable from the scrutability base. It seems to me that your view would deny (ii). According to your view, there are truths which are not members of the scrutability base but which are nevertheless a priori knowable from the scrutability base. But why suppose there are such truths? Why, e.g., if the scrutability base includes only microphysical truths, claim that there are macrophysical truths, which, in this example, are not members of the scrutability base but are a priori knowable from the scrutability base? Why not deny that, at the end of the day, there are such macrophysical truths? Is it possible to go about things in this (perhaps simpler) way? Have I maybe overlooked something I've read in the introduction or heard in the first lecture?
Posted by: Bill | May 24, 2010 at 04:12 AM
You could. But I think the truths include e.g. 'water is H2O', 'I am David Chalmers, 'Paris is the capital of France', and so on. If such things are truths, the sets of truths will not itself be compact. Perhaps the best way to deny that these are truths would be to accept a nilihist view on which water, people, countries and so on don't exist. I don't find such a view attractive myself, though.
Posted by: djc | June 12, 2010 at 07:28 PM