Objects: A Study in Kantian Formal Epistemology

Notre Dame Journal of Formal Logic 53 (4):457-478 (2012)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 80,143

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Emotions and formal objects.Fabrice Teroni - 2007 - Dialectica 61 (3):395-415.
Formal systems as physical objects: A physicalist account of mathematical truth.la´Szlo´ E. Szabo´ - 2003 - International Studies in the Philosophy of Science 17 (2):117-125.
Poincaré's conception of the objectivity of mathematics.Janet Folina - 1994 - Philosophia Mathematica 2 (3):202-227.
Ascent, propositions and other formal objects.Kevin Mulligan - 2006 - Grazer Philosophische Studien 72 (1):29-48.
Formal Epistemology.Gregory Wheeler - 2011 - In Andrew Cullison (ed.), Contiuum Companion to Epistemology. Contiuum.
Objects and Structures in the Formal Sciences.Emily Grosholz - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:251 - 260.
The justification of concepts in Carnap's aufbau.Jonathan Y. Tsou - 2003 - Philosophy of Science 70 (4):671-689.


Added to PP

121 (#112,445)

6 months
1 (#477,905)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Inductively generated formal topologies.Thierry Coquand, Giovanni Sambin, Jan Smith & Silvio Valentini - 2003 - Annals of Pure and Applied Logic 124 (1-3):71-106.
The problem of the formalization of constructive topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.

View all 7 references / Add more references