Details

Autor(en) / Beteiligte

• Meixner, Uwe

Titel

Axiomatic Formal Ontology

Ist Teil von

• Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science : 264

Ort / Verlag

Dordrecht : Springer Netherlands

Erscheinungsjahr

1997

Link zum Volltext

• Volltext

Beschreibungen/Notizen

• 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 f
• 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 and the 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
• 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