{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T16:33:27Z","timestamp":1777480407191,"version":"3.51.4"},"reference-count":28,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2011,2,24]],"date-time":"2011-02-24T00:00:00Z","timestamp":1298505600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2011,6]]},"abstract":"<jats:p>Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his<jats:italic>Critique of Pure Reason<\/jats:italic>, logicians and philosophers have generally judged Kant\u2019s logic negatively. What Kant called \u2018general\u2019 or \u2018formal\u2019 logic has been dismissed as a fairly arbitrary subsystem of first-order logic, and what he called \u2018transcendental logic\u2019 is considered to be not a logic at all: no syntax, no semantics, no definition of validity. Against this, we argue that Kant\u2019s \u2018transcendental logic\u2019 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\u2019s Table of Judgements in Section 9 of the<jats:italic>Critique of Pure Reason<\/jats:italic>, is indeed, as Kant claimed, complete for the kind of semantics he had in mind. This result implies that Kant\u2019s \u2018general\u2019 logic is after all a distinguished subsystem of first-order logic, namely what is known as geometric logic.<\/jats:p>","DOI":"10.1017\/s1755020310000341","type":"journal-article","created":{"date-parts":[[2011,2,24]],"date-time":"2011-02-24T15:39:39Z","timestamp":1298561979000},"page":"254-289","source":"Crossref","is-referenced-by-count":12,"title":["A FORMALIZATION OF KANT\u2019S TRANSCENDENTAL LOGIC"],"prefix":"10.1017","volume":"4","author":[{"given":"T.","family":"ACHOURIOTI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"VAN LAMBALGEN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2011,2,24]]},"reference":[{"key":"S1755020310000341_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574"},{"key":"S1755020310000341_ref28","doi-asserted-by":"publisher","DOI":"10.3196\/9783465028116"},{"key":"S1755020310000341_ref20","first-page":"193","article-title":"Truth criteria and the very project of a transcendental logic","volume":"61","author":"Rosenkoetter","year":"2009","journal-title":"Archiv fuer Geschichte der Philosophie"},{"key":"S1755020310000341_ref26","volume-title":"The Proper Treatment of Events","author":"van Lambalgen","year":"2004"},{"key":"S1755020310000341_ref19","volume-title":"Die Vollstaendigkeit der kantischen Urteilstafel","author":"Reich","year":"1932"},{"key":"S1755020310000341_ref21","first-page":"579","volume-title":"Model-theoretic Logics, chapter 16","author":"Steinhorn","year":"1985"},{"key":"S1755020310000341_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-48134-0_3"},{"key":"S1755020310000341_ref14","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195059670.001.0001","volume-title":"Kant\u2019s Transcendental Psychology","author":"Kitcher","year":"1990"},{"key":"S1755020310000341_ref15","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214122","volume-title":"Kant and the Capacity to Judge","author":"Longuenesse","year":"1998"},{"key":"S1755020310000341_ref17","doi-asserted-by":"publisher","DOI":"10.1002\/1521-3870(200202)48:2<297::AID-MALQ297>3.0.CO;2-G"},{"key":"S1755020310000341_ref11","volume-title":"Lectures on Logic; Translated from the German by J. Michael Young","author":"Kant","year":"1992"},{"key":"S1755020310000341_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(93)90146-5"},{"key":"S1755020310000341_ref7","volume-title":"Kant and the Exact Sciences","author":"Friedman","year":"1992"},{"key":"S1755020310000341_ref13","volume-title":"Theoretical philosophy after 1781; Edited by Henry Allison and Peter Heath","author":"Kant","year":"2002"},{"key":"S1755020310000341_ref5","volume-title":"Model Theory, Studies in Logic and the Foundations of Mathematics","volume":"73","author":"Chang","year":"1990"},{"key":"S1755020310000341_ref24","doi-asserted-by":"publisher","DOI":"10.2307\/2182795"},{"key":"S1755020310000341_ref23","doi-asserted-by":"publisher","DOI":"10.1515\/9783110862058"},{"key":"S1755020310000341_ref1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020309990098"},{"key":"S1755020310000341_ref6","unstructured":"Coquand T. A completeness proof for geometric logic. Technical report, Computer Science and Engineering Department, University of Gothenburg. Available from: https:\/\/2.zoppoz.workers.dev:443\/http\/www.cse.chalmers.se\/coquand\/formal.html. Retrieved September 29, 2010."},{"key":"S1755020310000341_ref4","volume-title":"Beyond the Information Given","author":"Bruner","year":"1973"},{"key":"S1755020310000341_ref22","volume-title":"The Bounds of Sense: An Essay on Kant\u2019s \u201cCritique of Pure Reason\u201d","author":"Strawson","year":"1966"},{"key":"S1755020310000341_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00649481"},{"key":"S1755020310000341_ref12","volume-title":"Critique of Pure Reason; Translated from the German by Paul Guyer and Allen W. Wood","author":"Kant","year":"1998"},{"key":"S1755020310000341_ref2","volume-title":"Thinking: An Experimental and Social Study","author":"Bartlett","year":"1968"},{"key":"S1755020310000341_ref16","unstructured":"MacFarlane J. (2000). What does it mean to say that logic is formal? PhD Thesis, University of Pittsburgh."},{"key":"S1755020310000341_ref8","volume-title":"Topoi. The Categorial Analysis of Logic","author":"Goldblatt","year":"2006"},{"key":"S1755020310000341_ref27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511614217"},{"key":"S1755020310000341_ref25","first-page":"97","article-title":"A feature-integration theory of attention","volume":"12","author":"Treisman","year":"1980","journal-title":"Clarendon Press"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020310000341","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,4]],"date-time":"2024-04-04T13:59:01Z","timestamp":1712239141000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.cambridge.org\/core\/product\/identifier\/S1755020310000341\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,2,24]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["S1755020310000341"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1017\/s1755020310000341","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,2,24]]}}}