Axiomatic Formal Ontology / Uwe Meixner / Taschenbuch / Synthese Library / Paperback / X / Englisch / 2010 / Springer Netherland / EAN 9789048148981 - pocketboek

EAN (ISBN-13): 9789048148981
ISBN (ISBN-10): 9048148987
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer
412 Bladzijden
Gewicht: 0,620 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2010-05-25T21:26:34+02:00 (Amsterdam)
Boek voor het laatst gevonden op 2025-02-14T17:11:04+01:00 (Amsterdam)
ISBN/EAN: 9789048148981

ISBN - alternatieve schrijfwijzen:
90-481-4898-7, 978-90-481-4898-1
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: meixner uwe
Titel van het boek: axiomatic formal ontology, 264

---

Gegevens van de uitgever

Auteur: Uwe Meixner
Titel: Synthese Library; Axiomatic Formal Ontology
Uitgeverij: Springer; Springer Netherland
398 Bladzijden
Verschijningsjaar: 2010-12-06
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
POD
X, 398 p.

BC; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; English literature; construction; individual; literature; metaphysics; nature; ontology; physics; subject; truth; Logic; Ontology; Metaphysics; Philosophie: Metaphysik und Ontologie; BB

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.