A formalisation of Kant's transcendental logic
Review of Symbolic Logic (forthcoming)
| Abstract | Although Kant envisaged a prominent role for logic in the argumentative structure of his Critique of pure reason, logicians and philosophers have generally judged Kant's logic negatively. What Kant called `general' or `formal' logic has been dismissed as a fairly arbitrary subsystem of first order logic, and what he called `transcendental logic' is considered to be not a logic at all: no syntax, no semantics, no definition of validity. Against this, we argue that Kant's `transcendental logic' is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first order logic. The main technical application of the formalism developed here is a formal proof that Kant's Table of Judgements in §9 of the Critique of pure reason, is indeed, as Kant claimed, complete for the kind of semantics he had in mind. This result implies that Kant's 'general' logic is after all a distinguished subsystem of first order logic, namely what is known as geometric logic. | |||||||||
| Keywords | Kant transcendental logic completeness proofs | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
  |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesKurt Mosser (2008). Kant's General Logic and Aristotle. Proceedings of the Xxii World Congress of Philosophy 16:181-189.
Clinton Tolley (2012). Bolzano and Kant on the Nature of Logic. History and Philosophy of Logic 33 (4):307-327.
Nectarios G. Limnatis (2006). The Canon and the Organon of Thought. Idealistic Studies 36 (2):123-139.
Clinton Tolley (2012). The Generality of Kant's Transcendental Logic. Journal of the History of Philosophy 50 (3):417-446.
Manuel Bremer (2008). Transcendental Logic Redefined. Review of Contemporary Philosophy 7.
Timothy Rosenkoetter (2009). Truth Criteria and the Very Project of a Transcendental Logic. Archiv für Geschichte Der Philosophie 91 (2):193-236.
Philip Dwyer (2010). Necessity and Possibility: The Logical Strategy of Kant's Critique of Pure Reason (Review). Journal of the History of Philosophy 48 (3):402-403.
Kenneth R. Westphal (2004). Kant's Transcendental Proof of Realism. Cambridge University Press.
Terry Boswell (1988). On the Textual Authenticity of Kant's Logic. History and Philosophy of Logic 9 (2):193-203.
Immanuel Kant (1992). Lectures on Logic. Cambridge University Press.
Kirk Dallas Wilson (1978). Studies in the Formal Logic of Kant's Modal Functions of Judgment. Kant-Studien 69 (1-4).
Massimo Barale (2000). Kant's Critique of Pure Reason with in the Tradition of Modern Logic. International Studies in Philosophy 32 (4):149-152.
Analytics
Monthly downloads |
Added to index2010-10-11Total downloads281 ( #556 of 556,837 )Recent downloads (6 months)65 ( #371 of 556,837 )How can I increase my downloads? |
My notes
Discussion
