TY  - BOOK
AU  - 
ED  - SpringerLink (Online service)
TI  - Formal Ontology and Conceptual Realism
T2  - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science
SN  - 9781402062049
AV  - BD300-450 
U1  - 111 23
PY  - 2007///
CY  - Dordrecht
PB  - Springer Netherlands
KW  - Philosophy (General)
KW  - Logic
KW  - Philosophy, medieval
KW  - Metaphysics
KW  - Ontology
KW  - Linguistics
KW  - Philosophy
KW  - Computer science
KW  - Philosophy of Language
KW  - Medieval Philosophy
KW  - Mathematical Logic and Formal Languages
N1  - Formal Ontology -- Formal Ontology and Conceptual Realism -- Time, Being, and Existence -- Logical Necessity and Logical Atomism -- Formal Theories of Predication -- Formal Theories of Predication Part II -- Intensional Possible Worlds -- Conceptual Realism -- The Nexus of Predication -- Medieval Logic and Conceptual Realism -- On Geach Against General Reference -- Le?niewskis Ontology -- Plurals and the Logic of Classes as Many -- The Logic of Natural Kinds; ZDB-2-SHU
N2  - Theories about the ontological structure of the world have generally been described in informal, intuitive terms, and the arguments for and against them, including their consistency and adequacy as explanatory frameworks, have generally been given in even more informal terms. The goal of formal ontology is to correct for these deficiencies. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme; and then by comparing different reconstructed schemes with one another we can much better evaluate the arguments for and against them and come to a decision as to which system it is best to adopt. Conceptual realism, which is defended here as the best system to adopt, contains both an intensional and a natural realism as well as an Aristotelian essentialism based on a logic of natural kinds. "This book is a significant contribution to the field of formal ontology, and to analytical ontology in general - it presents an original and powerful systematic position with a host of important technical results." Johanna Seibt, University of Aarhus, Denmark
UR  - http://dx.doi.org/10.1007/978-1-4020-6204-9
ER  -