- The logic of Kant’s temporal continuum
- Award date
- 6 April 2017
- Number of pages
- Document type
- PhD thesis
- Interfacultary Research Institutes
Faculty of Humanities (FGw)
- Institute for Logic, Language and Computation (ILLC)
In this thesis I provide an account of the philosophical foundations and mathematical structure of Kant's temporal continuum. I mainly focus on the development of a formalization of Kant's temporal continuum as it appears in the Critique of Pure Reason and in other works from Kant's critical period, employing tools from discrete and point free topology, order theory and category theory. The formal apparatus of the thesis is also applied to the elucidation of the elusive distinction, at B161n of the Critique of Pure Reason, between space and time as "forms of intuition" and as "formal intuitions".
While the bulk of the work concerns Kant's continuum, most of my results are generally relevant for the problem of developing mathematically rigorous foundations for a phenomenological concept of the continuum. I this respect, I show that my analysis of Kant's continuum subsumes and extends Russell's and Walker's constructions of instants from events and that it is closely related to point-free topology in the predicative and constructive tradition of formal topology. This paves the way for a constructive and predicative treatment of bitopological spaces in formal topology and for reviving the Russell-Walker-Whitehead project of constructing relativistic spacetimes from events.
- ILLC dissertation series DS-2017-02
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.