Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in undoing it (...) as a source of knowledge of God's existence (in the critical period). Along the way I examine Kant's version of the now-popular “actualist” thesis that facts about what is possible must be explained by facts about what is actual. I conclude by discussing why the critical Kant claims both that there are rational grounds for accepting the conclusion of his theistic proof, and that such acceptance can not count as knowledge. This is important, I argue, because the same considerations ultimately motivate his prohibition on knowledge of things-in-themselves generally. -/- . (shrink)

I argue that §§15–20 of the B-Deduction contain two independent arguments for the applicability of a priori concepts, the first an argument from above, the second an argument from below. The core of the first argument is §16's explanation of our consciousness of subject-identity across self-attributions, while the focus of the second is §18's account of universality and necessity in our experience. I conclude that the B-Deduction comprises powerful strategies for establishing its intended conclusion, and that some assistance from empirical (...) psychology might well have produced a completely successful argument. (shrink)

This essay is an attempt to explain Kantian transcendental idealism to contemporary metaphysicians and make clear its relevance to contemporary debates in what is now called ‘meta-metaphysics.’ It is not primarily an exegetical essay, but an attempt to translate some Kantian ideas into a contemporary idiom.

I introduce a methodology for doing the history of philosophy called philosophical modeling. I then employ this methodology to give a theory of Kant's distinction between things in themselves and appearances. This theory models Kant's distinction on the distinction between a constituting object and the object it constitutes.