Theories about the ontological structure of the world have generally been described in informal, intuitive terms, and the arguments for and against them, including their consistency and adequacy as explanatory frameworks, have generally been given in even more informal terms. The goal of formal ontology is to correct for these deficiencies. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme; and then by comparing different reconstructed schemes with one another we can much better evaluate the arguments for and against them and come to a decision as to which system it is best to adopt.

Conceptual realism, which is defended here as the best system to adopt, contains both an intensional and a natural realism as well as an Aristotelian essentialism based on a logic of natural kinds.

"This book is a significant contribution to the field of formal ontology, and to analytical ontology in general - it presents an original and powerful systematic position with a host of important technical results." Johanna Seibt, University of Aarhus, Denmark

An account of the general features and methodology of formal ontology A formalized account and defense of conceptual realism A reconstruction and comparison of Frege's and Russell's versions of logical realism A reduction of Lesniewski's logic of names to a conceptualist logic of names A logic of classes as many and its use in the semantics of plural reference and predication A formal account of Aristotelian essentialism in terms of a logic of natural kinds

Contenu
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.