Abstract
This paper uses an atomistic ontology of universals, individuals, and facts to provide a semantics for ramified type theory. It is shown that with some natural constraints on the sort of universals and facts admitted into a model, the axiom of reducibility is made valid.
Citation
Edwin D. Mares. "The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility." Notre Dame J. Formal Logic 48 (2) 237 - 251, 2007. https://doi.org/10.1305/ndjfl/1179323266
Information
