{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T21:44:40Z","timestamp":1778881480974,"version":"3.51.4"},"reference-count":38,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2018,1,29]],"date-time":"2018-01-29T00:00:00Z","timestamp":1517184000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2018,3]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In this paper we provide a mathematical model of Kant\u2019s temporal continuum that yields formal correlates for Kant\u2019s informal treatment of this concept in the<jats:italic>Critique of Pure Reason<\/jats:italic>and in other works of his critical period. We show that the formal model satisfies Kant\u2019s synthetic a priori principles for time (whose consistence is not obvious) and that it even illuminates what \u201cfaculties and functions\u201d must be in place, as \u201cconditions for the possibility of experience\u201d, for time to satisfy such principles. We then present a mathematically precise account of Kant\u2019s transcendental theory of time\u2014the most precise account to date.<\/jats:p><jats:p>Moreover, we show that the Kantian continuum which we obtain has some affinities with the Brouwerian continuum but that it also has \u201cinfinitesimal intervals\u201d consisting of nilpotent infinitesimals; these allow us to capture Kant\u2019s theory of rest and motion in the<jats:italic>Metaphysical Foundations of Natural Science<\/jats:italic>.<\/jats:p><jats:p>While our focus is on Kant\u2019s theory of time the material in this paper is more generally relevant for the problem of developing a rigorous theory of the phenomenological continuum, in the tradition of Whitehead, Russell, and Weyl among others.<\/jats:p>","DOI":"10.1017\/s1755020317000338","type":"journal-article","created":{"date-parts":[[2018,1,29]],"date-time":"2018-01-29T06:31:26Z","timestamp":1517207486000},"page":"160-206","source":"Crossref","is-referenced-by-count":3,"title":["THE LOGIC AND TOPOLOGY OF KANT\u2019S TEMPORAL CONTINUUM"],"prefix":"10.1017","volume":"11","author":[{"given":"RICCARDO","family":"PINOSIO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MICHIEL","family":"VAN LAMBALGEN","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2018,1,29]]},"reference":[{"key":"S1755020317000338_ref38","first-page":"131","article-title":"Dur\u00e9es et instants","volume":"85","author":"Walker","year":"1947","journal-title":"Revue Scientifique"},{"key":"S1755020317000338_ref36","volume-title":"The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse","author":"van Benthem","year":"2013"},{"key":"S1755020317000338_ref33","first-page":"16","volume-title":"The Axiomatic Method with Special Reference to Geometry and Physics","author":"Tarski","year":"1959"},{"key":"S1755020317000338_ref32","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00704-1"},{"key":"S1755020317000338_ref28","unstructured":"Pinosio R . (2017). The Logic of Kant\u2019s Temporal Continuum. Doctoral Dissertation, Institute for Logic, Language and Computation, University of Amsterdam."},{"key":"S1755020317000338_ref25","doi-asserted-by":"publisher","DOI":"10.1112\/jlms\/s2-7.4.758"},{"key":"S1755020317000338_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BF00296174"},{"key":"S1755020317000338_ref24","doi-asserted-by":"publisher","DOI":"10.1215\/00318108-2812650"},{"key":"S1755020317000338_ref22","doi-asserted-by":"crossref","DOI":"10.4324\/9781315823041","volume-title":"Foundations of Geometry and Induction","author":"Nicod","year":"2014"},{"key":"S1755020317000338_ref21","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214122","volume-title":"Kant and the Capacity to Judge","author":"Longuenesse","year":"1998"},{"key":"S1755020317000338_ref17","volume-title":"Gesammelte Schriften","author":"Kant","year":"1908"},{"key":"S1755020317000338_ref16","volume-title":"Stone Spaces","author":"Johnstone","year":"1986"},{"key":"S1755020317000338_ref14","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020313000075"},{"key":"S1755020317000338_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-012-0066-2"},{"key":"S1755020317000338_ref10","volume-title":"A Completness Proof for Geometric Logic","author":"Coquand","year":"2002"},{"key":"S1755020317000338_ref9","doi-asserted-by":"publisher","DOI":"10.1111\/j.1551-6709.2010.01094.x"},{"key":"S1755020317000338_ref7","doi-asserted-by":"publisher","DOI":"10.1155\/2011\/907601"},{"key":"S1755020317000338_ref6","volume-title":"Lectiones Geometricae","author":"Barrow","year":"1976"},{"key":"S1755020317000338_ref5","first-page":"285","article-title":"Approximate maps, filter monad, and a representation of localic maps","volume":"46","author":"Banaschewski","year":"2010","journal-title":"Archivum Mathematicum"},{"key":"S1755020317000338_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0039-3681(94)00037-A"},{"key":"S1755020317000338_ref3","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"S1755020317000338_ref2","first-page":"501","article-title":"Diskrete R\u00e4ume","volume":"2","author":"Alexandroff","year":"1937","journal-title":"Matematicheskii Sbornik"},{"key":"S1755020317000338_ref1","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020310000341"},{"key":"S1755020317000338_ref15","volume-title":"A Shorter Model Theory","author":"Hodges","year":"1997"},{"key":"S1755020317000338_ref19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511550812"},{"key":"S1755020317000338_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.cognition.2007.03.004"},{"key":"S1755020317000338_ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0166-8641(90)90031-V"},{"key":"S1755020317000338_ref34","doi-asserted-by":"publisher","DOI":"10.1007\/BF00297578"},{"key":"S1755020317000338_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2012.06.001"},{"key":"S1755020317000338_ref30","doi-asserted-by":"publisher","DOI":"10.1007\/BF00567744"},{"key":"S1755020317000338_ref11","volume-title":"Space, Time and Number in the Brain: Searching for the Foundations of Mathematical Thought","author":"Dehaene","year":"2011"},{"key":"S1755020317000338_ref27","doi-asserted-by":"publisher","DOI":"10.1126\/science.1191527"},{"key":"S1755020317000338_ref13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139014083"},{"key":"S1755020317000338_ref31","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100001766"},{"key":"S1755020317000338_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-8641(97)00191-0"},{"key":"S1755020317000338_ref26","doi-asserted-by":"publisher","DOI":"10.1037\/1089-2680.12.2.105"},{"key":"S1755020317000338_ref29","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1153858647"},{"key":"S1755020317000338_ref37","first-page":"51","article-title":"The return of the flowing continuum","volume":"1","author":"van Dalen","year":"2009","journal-title":"Intellectica"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020317000338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,26]],"date-time":"2020-10-26T05:39:34Z","timestamp":1603690774000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020317000338\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,29]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3]]}},"alternative-id":["S1755020317000338"],"URL":"https:\/\/doi.org\/10.1017\/s1755020317000338","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,29]]}}}