Axiomatic Formal Ontology by Uwe Meixner (English) Paperback Book

Description: Axiomatic Formal Ontology by Uwe Meixner Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. 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. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description 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. Notes Springer Book Archives Flap Gods people are hiding in plain sight Tens of millions of Christians live in China today, leading double lives to hide from a government that relentlessly persecutes them. By day, Bob Fu was a teacher in a communist school; by night, he was a preacher in an underground house church network. This edge-of-your-seat book tells the true story of Fus conversion to Christianity, his arrest and imprisonment for starting an illegal house church, his harrowing escape, and his subsequent rise to prominence in the United States as an advocate for his oppressed brethren. Gods Double Agent will inspire you to boldly proclaim and live out your faith in a world that is at times indifferent, and at other times murderously hostile, to those who spread the gospel. Author Biography Uwe Meixner is a 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. Table of Contents 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 Leibnizs 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. Promotional Springer Book Archives Long Description 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. Details ISBN9048148987 Author Uwe Meixner Publisher Springer Series Synthese Library Year 2010 ISBN-10 9048148987 ISBN-13 9789048148981 Format Paperback Imprint Springer Place of Publication Dordrecht Country of Publication Netherlands DEWEY 111 Edition 1st Language English Media Book Series Number 264 Short Title AXIOMATIC FORMAL ONTOLOGY SOFT Pages 398 Illustrations X, 398 p. Publication Date 2010-12-06 Edition Description Softcover reprint of the original 1st ed. 1997 Alternative 9780792347170 Audience Professional & Vocational We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96231787;

Price: 315.84 AUD

Location: Melbourne

End Time: 2025-01-07T14:23:46.000Z

Shipping Cost: 12.1 AUD