Formal Ontology.- Formal Ontology and Conceptual Realism.- Time, Being, and Existence.- Logical Necessity and Logical Atomism.- Formal Theories of Predication.- Formal Theories of Predication Part II.- Intensional Possible Worlds.- Conceptual Realism.- The Nexus of Predication.- Medieval Logic and Conceptual Realism.- On Geach Against General Reference.- Le?niewski's Ontology.- Plurals and the Logic of Classes as Many.- The Logic of Natural Kinds.
Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.