Axiomatic Formal Ontology

Front Matter....Pages i-ix
Introduction....Pages 1-22
Front Matter....Pages 23-23
The Central Axioms for the Part-Concept “P”....Pages 24-28
Concepts Based on “P” and Elementary Theorems....Pages 29-33
The Concept of State of Affairs....Pages 34-41
Functional Terms Definable by “P”....Pages 42-45
The Conjunction Axiom....Pages 46-52
The Exhaustion Axiom....Pages 53-55
The Connection Axiom....Pages 56-66
Theorems for Negation, Conjunction and Disjunction....Pages 67-68
The Big Disjunction....Pages 69-72
Possible Worlds and Elementary States of Affairs....Pages 73-79
Possibility and Necessity....Pages 80-87
The World and the Truth....Pages 88-92
The Law of Non-Contradiction....Pages 93-96
The Law of Excluded Middle....Pages 97-102
Laws of Truth and Falsity....Pages 103-108
Contingency....Pages 109-113
A Further Examination of Axioms AP7 — AP9....Pages 114-117
The Hierarchies of States of Affairs....Pages 118-122
The Discreteness of “P*”....Pages 123-125
Front Matter....Pages 23-23
The Cardinality of the Universe of States of Affairs....Pages 126-129
Front Matter....Pages 131-131
Intensional Parthood Between Properties....Pages 132-136
New Readings of Predicates and Functional Terms, and Inherence....Pages 137-144
Actual Existence for Accidents and Substances....Pages 145-149
Real Subsistence as a Property?....Pages 150-153
Laws of Actual Existence....Pages 154-157
Laws of Inherence, and Superessentialism....Pages 158-164
Leibniz’s Principium ....Pages 165-168
Once More: Real Subsistence as a Property?....Pages 169-174
The Philosophy of Leibniz and the Ontology of Properties....Pages 175-180
Meinongian Objects in the Ontology of Properties....Pages 181-188
Time-Free and Momentary Material Individuals....Pages 189-205
The Mereology of Groups....Pages 206-217
Front Matter....Pages 219-219
Categorial Predicates, Language LPT1, System PT1....Pages 220-224
Saturation and Extraction....Pages 225-230
Parthood and Identity for Properties....Pages 231-233
Important Singular Terms for Properties....Pages 234-238
The Principle of Property-Quanta and the Exhaustion- and Connection-Principle for Properties....Pages 239-242
Properties by Conjunction and Properties by Extraction....Pages 243-244
Essential and Accidental Properties....Pages 245-250
Front Matter....Pages 219-219
Maximally Consistent Properties and the Property Specific to an Individual....Pages 251-252
<0>-Exemplification....Pages 253-254
The Relationship Between Maximally Consistent Properties, Individuals and Possible Worlds....Pages 255-258
Individuals and Leibniz-Individuals....Pages 259-264
Counterpart Theory....Pages 265-270
Actual Existence for Individuals and Leibniz-Individuals....Pages 271-279
The Modelling of Sets and Extensions....Pages 280-284
Predicates and Properties....Pages 285-287
Modalizers and Quantifiers....Pages 288-295
Conceptions of Properties, and Their Number....Pages 296-297
Front Matter....Pages 299-299
The System IOU: First Stage....Pages 300-307
The System IOU: Second Stage....Pages 308-311
The System IOU: Third Stage....Pages 312-319
Actual Existence, Identity, and the Fundamental Status of States of Affairs....Pages 320-322
Epilogue....Pages 323-324
Back Matter....Pages 325-398