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 / G. Boniolo, S. Valentini. - In: NOTRE DAME JOURNAL OF FORMAL LOGIC. - ISSN 0029-4527. - 53:4(2012), pp. 457-478. [10.1215/00294527-1722701]
Objects : a Study in Kantian Formal Epistemology
G. BonioloPrimo
;
2012
Abstract
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.File | Dimensione | Formato | |
---|---|---|---|
http___projecteuclid.org_DPubS_Repository_1.0_Disseminate_view=body&id=pdf_1&handle=euclid.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
388.57 kB
Formato
Adobe PDF
|
388.57 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.