We propose a formal representation of objects, those being mathematical or empirical objects. The powerful framework inside which we represent them in a unique and coherent way is grounded, on the formal side, in a logical approach with a direct mathematical semantics in the well-established field of constructive topology, and, on the philosophical side, in a neo-Kantian perspective emphasizing the knowing subject's role, which is constructive for the mathematical objects and constitutive for the empirical ones.
|Number of pages||22|
|Journal||Notre Dame Journal of Formal Logic|
|Publication status||Published - 2012|
- Formal topology
- Kantian epistemology
ASJC Scopus subject areas