As announced on the Leiter blog
, Josh Dever has created a page
with links to PhD dissertations. It includes a very interesting dissertation
by John G. MacFarlane which is entitled "What does it mean to say that logic is formal?". Particularly interesting is Chapter 4 on 'Kant and the formality of logic'. He argues that Kant invented formal logic and did so because of his transcendental idealism. "Not only did Kant invent
logical hylomorphism, but he invented it because his transcendental idealism required it!
" (p. 126)
I also like what he says about his historical approach. In justifying this approach to the study of logic MacFarlane modifies the well-known Kantian slogan so that it says: "intellectual history without conceptual analysis may be empty, but analysis without history is blind." (p. 26)