Meixner Uwe. Axiomatic Formal Ontology

Regensburg: Springer, 1998. — 416 p. — ISBN: 978-90-481-4898-1.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.The Ontology of States of Affairs
The Central Axioms for the Part-Concept "P"
Concepts based on "P" and Elementary Theorems
The Concept of State of Affairs
Functional Terms Definable by "P"
The Conjunction Axiom
The Exhaustion Axiom
The Connection Axiom
Theorems for Negation, Conjunction and Disjunction
The Big Disjunction
Possible Worlds and Elementary States of Affairs
Possibility and Necessity
The World and the Truth
The Law of Non-Contradiction
The Law of Excluded Middle
Laws of Truth and Falsity
Contingency
A Further Examination of Axioms AP7 - AP9
The Hierarchies of States of Affairs
The Discreteness of "P*"
The Cardinality of the Universe of States of Affairs
Ontology of Properties and Mereology
Intensional Parthood between Properties
New Readings of Predicates and Functional Terms, and Inherence
Actual Existence for Accidents and Substances
Real Subsistence as a Property?
Laws of Actual Existence
Laws of Inherence, and Superessentialism
Leibniz's Principium
Once More: Real Subsistence as a Property?
The Philosophy of Leibniz and the Ontology of Properties
Meinongian Objects in the Ontology of Properties
Time-Free and Momentary Material Individuals
The Mereology of Gorups
Full ontology Limited to Properties of Individuals
Categorial Predicates, Language LPTI, System PTI
Saturation and Extraction
Parthood and Identity for Properties
Important Singular Terms for Properties
The Principle of Property-Quanta and the Exhaustion- and Connection-Principle for Properties
Properties by Conjunction and Properties by Extraction
Essential and Accidental Properties
Maximally Consistent Properties and the Property Specific to an Individual
<0>-Exemplification
The Relationship between Maximally Consistent Properties, Individuals and Possible Worlds
Individuals and Leibniz-lndividuals
Counterpart Theory
Actual Existence for Individuals and Leibniz-Individuals
The Modelling of Sets and Extensions
Predicates and Properties
Modalizers and Quantifiers
Conceptions of Properties, and their Number
Universal Intensional Ontology
The System IOU: First Stage
The System IOU: Second Stage
The System IOU: Third Stage
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 PTl
System IOU
Index of Subjects
Index of Names
Literature