Listing 1 - 7 of 7 |
Sort by
|
Choose an application
Prédicat (logique) --- Universaux (philosophie) --- Predicate (Logic) --- Universals (Philosophy) --- Universals (Logic) --- Knowledge, Theory of --- Logic --- Philosophy --- Scholasticism --- Whole and parts (Philosophy) --- Predicables (Logic) --- Predication (Logic) --- Categories (Philosophy) --- Language and logic
Choose an application
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.
Ontology. --- Realism. --- Ontologie --- Réalisme --- EPUB-LIV-FT LIVPHILO SPRINGER-B --- Logic. --- Linguistics --- Philosophy, medieval. --- Computer science. --- Metaphysics. --- Philosophy of Language. --- Medieval Philosophy. --- Mathematical Logic and Formal Languages. --- Being --- Philosophy --- Metaphysics --- Necessity (Philosophy) --- Substance (Philosophy) --- God --- Ontology --- Philosophy of mind --- Informatics --- Science --- Medieval philosophy --- Scholasticism --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Psychology --- Reasoning --- Thought and thinking --- Philosophy. --- Methodology --- Language and languages—Philosophy. --- Medieval philosophy. --- Mathematical logic. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism
Choose an application
Philosophy --- Metaphysics --- Mathematical logic --- Logic --- Philosophy of language --- ontologie --- filosofie --- taalfilosofie --- metafysica --- wiskunde --- logica --- middeleeuwen
Choose an application
Choose an application
Choose an application
Philosophie analytique. --- Logique. --- Logic, Modern --- Analysis (Philosophy) --- Logic --- History.
Choose an application
1. Introduction. 2. The Syntax of Modal Sentential Calculi. 4. Semantics for Logical Necessity. 5. Semantics for S5. 6. Relational World Systems. 7. Quantified Modal Logic. 8. The Semantics of Quantified Modal Logic. 9. Second-Order Modal Logic. 10. Semantics of Second-Order Modal Logic. Afterword. Bibliography. Index
Listing 1 - 7 of 7 |
Sort by
|