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)