A formalization of kant’s transcendental logic

Review of Symbolic Logic 4 (2):254-289 (2011)
  Copy   BIBTEX


Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics 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 Kants logic is after all a distinguished subsystem of first-order logic, namely what is known as geometric logic

Author's Profile

Michiel Van Lambalgen
University of Amsterdam


Added to PP

2,974 (#2,243)

6 months
409 (#3,959)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?