Axiomatic Formal OntologyAxiomatic 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. |
Other editions - View all
Common terms and phrases
actually existent individual affairs allx(if A[x allxally(if ally(if MK(y allz(if 0(z analytically implies analytically true AP(x AP7+ applying assume for reductio assumption axiomatic set theory axioms basis of AP1 concept configuration conjunction Consider contradicting corresponding Counterpart Theory deduced defined definiens definitions discourse of LP disjunction DP1+ DP2+ EL(z equivalent example exemplified expressions extensional Frege functors haecceity hence by AP5 identical intension intensional interpretation of LP ISBN language Leibniz Leibniz-individuals Lewis logic LPT1 material to-individual maximally consistent properties mereological essentialism mereology MK(x MK(y modal momentary material individuals negation objects obtain ontological PA(x PA(y Philosophy possible worlds precisely predicate predicate logic principle Proof properties of individuals property ƒ propositional logic provable prove QA(x QA(z QC(w quasi-atom real subsistence rigid designator saturation semantic sense set-theoretical singular terms somey(MK(y somey(PA(y statement theorem time-free material individuals truth underlined results universe of discourse