Objects: a study in Kantian formal epistemology

DOI10.1215/00294527-1722701zbMath1276.03011OpenAlexW2034748459MaRDI 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

zbMATH Keywords

formal epistemologyformal topologypredicativityconstructivismconceptual objectsKantian epistemology

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Logic in the philosophy of science (03A10)

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

This page was built for publication: Objects: a study in Kantian formal epistemology