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

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
Keywords objects   constructivism   constitutivism   formal topology   Kantian epistemology
Categories (categorize this paper)
DOI 10.1215/00294527-1722701
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,160
Through your library

References found in this work BETA

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

Citations of this work BETA

No citations found.

Add more citations

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.E. Szabo´ La´Szlo´ - 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 index

Total views
121 ( #95,485 of 2,499,411 )

Recent downloads (6 months)
2 ( #278,169 of 2,499,411 )

How can I increase my downloads?


My notes