The fact semantics for ramified type theory and the axiom of reducibility

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. © 2007 University of Notre Dame.