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.
"Objects: A Study in Kantian Formal Epistemology." Notre Dame J. Formal Logic 53 (4) 457 - 478, 2012. https://doi.org/10.1215/00294527-1722701