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.
Inhaltsverzeichnis
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 Leibniz s 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- and Connection-Principle for Properties. - III. 6 Properties by Conjunction and Properties by Extraction. - III. 7 Essential and Accidental Properties. - III. 8 Maximally Consistent Properties andthe Property Specific to an Individual. - III. 9 -Exemplification. - III. 10 The Relationship between Maximally Consistent Properties, Individuals and Possible Worlds. - III. 11 Individuals and Leibniz-Individuals. - III. 12 Counterpart Theory. - III. 13 Actual Existence for Individuals and Leibniz-Individuals. - III. 14 The Modelling of Sets and Extensions. - III. 15 Predicates and Properties. - III. 16 Modalizers and Quantifiers. - III. 17 Conceptions of Properties, and their Number. - IV. 1 The System IOU: First Stage. - IV. 2 The System IOU: Second Stage. - IV. 3 The System IOU: Third Stage. - IV. 4 Actual Existence, Identity, and the Fundamental Status of States of Affairs. - Epilogue. - Appendix: Principles, Proofs and Definitions. - System P. - A Variant of System P. - The Leibnizian System. - The Mereology of Momentary Material Individuals. - System PT1. - System IOU. - Index of Subjects. - Index of names. - Literature.
