Axiomatic Formal Ontology

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.