Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. The axiomatic method is applied throughout the book. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities.

Preface. Introduction. I. The Ontology of States of Affairs. II. Ontology of Properties and Mereology. III. Full Ontology Limited to Properties of Individuals. IV. Universal Intensional Ontology. Epilogue. Appendix: Principles, Proofs and Definitions. Index of Subjects. Index of Names. Literature.