Axiomatic Formal Ontology [Paperback]

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.I.1 The Central Axioms for the Part-Concept P.- I.2 Concepts based on P and Elementary Theorems.- I.3 The Concept of State of Affairs.- I.4 Functional Terms Definable by P.- I.5 The Conjunction Axiom.- I.6 The Exhaustion Axiom.- I.7 The Connection Axiom.- I.8 Theorems for Negation, Conjunction and Disjunction.- I.9 The Big Disjunction.- I.10 Possible Worlds and Elementary States of Affairs.- I.11 Possibility and Necessity.- I.12 The World and the Truth.- I.13 The Law of Non-Contradiction.- I.14 The Law of Excluded Middle.- I.15 Laws of Truth and Falsity.- I.16 Contingency.- I.17 A Further Examination of Axioms AP7  AP9.- I.18 The Hierarchies of States of Affairs.- I.19 The Discreteness of P*.- I.20 The Cardinality of the Universe of States of Affairs.- II.1 Intensional Parthood between Properties.- II.2 New Readings of Predicates and Functional Terms, and Inherence.- II.3 Actual Existence for Accidents and Substances.- II.4 Real Subsistence as a Property?.- II.5 Laws of Actual Existence.- II.6 Laws of Inherence, and Superessentialism.- II.7 Leibnizs Principium.- II.8 Once More: Real Subsistence as a Property?.- II.9 The Philosophy of Leibniz and the Ontology of Properties.- II.10 Meinongian Objects in the Ontology of Properties.- II.11 Time-Free and Momentary Material Individuals.- II.12 The Mereology of Gorups.- III.1 Categorial Predicates, Language LPT1, System PT1.- III.2 Saturation and Extraction.- III.3 Parthood and Identity for Properties.- III.4 Important Singular Terms for Properties.- III.5 The Principle of Property-Quanta and the Exhaustion-lƒ4