Objects: a study in Kantian formal epistemology
From MaRDI portal
Publication:691124
DOI10.1215/00294527-1722701zbMath1276.03011MaRDI QIDQ691124
Giovanni Boniolo, Silvio Valentini
Publication date: 29 November 2012
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1352383226
formal epistemology; formal topology; predicativity; constructivism; conceptual objects; Kantian epistemology
Cites Work
- Unnamed Item
- Unnamed Item
- Formal methods in the philosophy of science
- Inductively generated formal topologies.
- Some points in formal topology.
- The problem of the formalization of constructive topology
- Vagueness, Kant and topology: a study of formal epistemology
- A lattice-theoretical fixpoint theorem and its applications
- A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC
- Relative formal topology: the binary positivity predicate comes first
- A structural investigation on formal topology: coreflection of formal covers and exponentiability
- Every countably presented formal topology is spatial, classically