TY - JOUR
T1 - Objects
T2 - A study in Kantian formal epistemology
AU - Boniolo, Giovanni
AU - Valentini, Silvio
PY - 2012
Y1 - 2012
N2 - 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.
AB - 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.
KW - Constitutivism
KW - Constructivism
KW - Formal topology
KW - Kantian epistemology
KW - Objects
UR - http://www.scopus.com/inward/record.url?scp=84880224557&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84880224557&partnerID=8YFLogxK
U2 - 10.1215/00294527-1722701
DO - 10.1215/00294527-1722701
M3 - Article
AN - SCOPUS:84880224557
SN - 0029-4527
VL - 53
SP - 457
EP - 478
JO - Notre Dame Journal of Formal Logic
JF - Notre Dame Journal of Formal Logic
IS - 4
ER -