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.

Autorentext
Uwe Meixner is professor of philosophy at the University of Regensburg, Germany, and guest lecturer at the Saints Methodius and Cyril Theological Institute in Minsk, Belarus. He is one of the most distinguished metaphysicians in Germany. His main interests are metaphysics, the philosophy of mind, logic, and the history of philosophy.

Klappentext

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.

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