Objects: A Study in Kantian Formal Epistemology

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

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 98,293

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

On the formal points of the formal topology of the binary tree.Silvio Valentini - 2002 - Archive for Mathematical Logic 41 (7):603-618.
Non-deterministic inductive definitions.Benno van den Berg - 2013 - Archive for Mathematical Logic 52 (1-2):113-135.
A constructive semantics for non-deducibility.Francesco Ciraulo - 2008 - Mathematical Logic Quarterly 54 (1):35-48.
What Theoretical Equivalence Could Not Be.Trevor Teitel - 2021 - Philosophical Studies 178 (12):4119-4149.
Space of valuations.Thierry Coquand - 2009 - Annals of Pure and Applied Logic 157 (2-3):97-109.
An Algebraic Theory of Structured Objects.Chrysafis Hartonas - 1997 - Notre Dame Journal of Formal Logic 38 (1):65-80.
The problem of the formalization of constructive topology.Silvio Valentini - 2005 - Archive for Mathematical Logic 44 (1):115-129.

Analytics

Added to PP
2012-11-09

Downloads
148 (#136,646)

6 months
16 (#163,657)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations