Skip to main content
×
×
Home

THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM

  • RICCARDO PINOSIO (a1) and MICHIEL VAN LAMBALGEN (a1)
Abstract

In this paper we provide a mathematical model of Kant’s temporal continuum that yields formal correlates for Kant’s informal treatment of this concept in the Critique of Pure Reason and in other works of his critical period. We show that the formal model satisfies Kant’s synthetic a priori principles for time (whose consistence is not obvious) and that it even illuminates what “faculties and functions” must be in place, as “conditions for the possibility of experience”, for time to satisfy such principles. We then present a mathematically precise account of Kant’s transcendental theory of time—the most precise account to date.

Moreover, we show that the Kantian continuum which we obtain has some affinities with the Brouwerian continuum but that it also has “infinitesimal intervals” consisting of nilpotent infinitesimals; these allow us to capture Kant’s theory of rest and motion in the Metaphysical Foundations of Natural Science.

While our focus is on Kant’s 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.

Copyright
Corresponding author
*ILLC AND DEPARTMENT OF PHILOSOPHY UNIVERSITY OF AMSTERDAM P.O. BOX 94242, 1090 GE AMSTERDAM, THE NETHERLANDS E-mail: rpinosio@gmail.com
ILLC AND DEPARTMENT OF PHILOSOPHY UNIVERSITY OF AMSTERDAM P.O. BOX 94242, 1090 GE AMSTERDAM, THE NETHERLANDS E-mail: m.vanlambalgen@uva.nl
References
Hide All
Achourioti, T. & van Lambalgen, M. (2011). A formalization of Kant’s transcendental logic. The Review of Symbolic Logic, 4(02), 254289.
Alexandroff, P. (1937). Diskrete Räume. Matematicheskii Sbornik, 2(3), 501519.
Allen, J. F. (1983). Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11), 832843.
Arthur, R. T. (1995). Newton’s fluxions and equably flowing time. Studies in History and Philosophy of Science Part A, 26(2), 323351.
Banaschewski, B. & Pultr, A. (2010). Approximate maps, filter monad, and a representation of localic maps. Archivum Mathematicum, 46(4), 285298.
Barrow, I. (1976). Lectiones Geometricae. Hildesheim: Georg Olms Verlag.
Carelli, M. G. & Forman, H. (2012). Representation of multiple durations in children and adults. Child Development Research, 2011, 19.
Casasanto, D. & Boroditsky, L. (2008). Time in the mind: Using space to think about time. Cognition, 106(2), 579593.
Casasanto, D., Fotakopoulou, O., & Boroditsky, L. (2010). Space and time in the child’s mind: Evidence for a cross-dimensional asymmetry. Cognitive Science, 34(3), 387405.
Coquand, T. (2002). A Completness Proof for Geometric Logic. Gothenburg: Computer Science and Engineering Department, University of Gothenburg.
Dehaene, S. & Brannon, E. (2011). Space, Time and Number in the Brain: Searching for the Foundations of Mathematical Thought. Cambridge, MA: Academic Press.
Friedman, M. (2012). Kant on geometry and spatial intuition. Synthese, 186(1), 231255.
Friedman, M. (2013). Kant’s Construction of Nature: A Reading of the Metaphysical Foundations of Natural Science. Cambridge: Cambridge University Press.
Hellman, G. & Shapiro, S. (2013). The classical continuum without points. The Review of Symbolic Logic, 6(03), 488512.
Hodges, W. (1997). A Shorter Model Theory. Cambridge: Cambridge University Press.
Johnstone, P. T. (1986). Stone Spaces. Cambridge: Cambridge University Press.
Kant, I., Holger, K., Gerresheim, E., Heidemann, I., & Martin, G. (1908). Gesammelte Schriften. Berlin: G. Reimer.
Khalimsky, E., Kopperman, R., & Meyer, P. R. (1990). Computer graphics and connected topologies on finite ordered sets. Topology and its Applications, 36(1), 117.
Kock, A. (2006). Synthetic Differential Geometry. Cambridge: Cambridge University Press.
Kopperman, R., Kronheimer, E., & Wilson, R. (1998). Topologies on totally ordered sets. Topology and its Applications, 90(1), 165185.
Longuenesse, B. (1998). Kant and the Capacity to Judge. Princeton, NJ: Princeton University Press.
Nicod, J. (2014). Foundations of Geometry and Induction. Abingdon: Routledge.
Northoff, G. (2012). Immanuel Kant’s mind and the brain’s resting state. Trends in Cognitive Sciences, 16(7), 356359.
Onof, C. & Schulting, D. (2015). Space as form of intuition and as formal intuition: On the note to B160 in Kant’s Critique of Pure Reason. Philosophical Review, 124(1), 158.
Ostaszewski, A. J. (1974). A characterization of compact, separable, ordered spaces. Journal of the London Mathematical Society, 2(4), 758760.
Palmer, L. (2008). Kant and the brain: A new empirical hypothesis. Review of General Psychology, 12(2), 105.
Palmer, L. & Lynch, G. (2010). A Kantian view of space. Science, 328(5985), 14871488.
Pinosio, R. (2017). The Logic of Kant’s Temporal Continuum. Doctoral Dissertation, Institute for Logic, Language and Computation, University of Amsterdam.
Roeper, P. (2006). The Aristotelian continuum. A formal characterization. Notre Dame Journal of Formal Logic, 47(2), 211232.
Rota, G.-C. (1991). The pernicious influence of mathematics upon philosophy. Synthese, 88(2), 165178.
Russell, B. (1936). On order in time. Proceedings of the Cambridge Philosophical Society, 32, 216228.
Sambin, G. (2003). Some points in formal topology. Theoretical Computer Science, 305(1), 347408.
Tarski, A. (1959). What is elementary geometry? In Henkin, L., Suppes, P., and Tarski, A., editors. The Axiomatic Method with Special Reference to Geometry and Physics. Amsterdam: Elsevier, pp. 1629.
Thomason, S. (1984). On constructing instants from events. Journal of Philosophical Logic, 13(1), 8596.
Thomason, S. (1989). Free construction of time from events. Journal of Philosophical Logic, 18(1), 4367.
van Benthem, J. (2013). The Logic of Time: A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Dordrecht: Springer Science & Business Media.
van Dalen, D. (2009). The return of the flowing continuum. Intellectica, 1, 51.
Walker, A. G. (1947). Durées et instants. Revue Scientifique, 85, 131134.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 51 *
Loading metrics...

Abstract views

Total abstract views: 304 *
Loading metrics...

* Views captured on Cambridge Core between 29th January 2018 - 19th July 2018. This data will be updated every 24 hours.