Search results
Results from the WOW.Com Content Network
Jerzy Perzanowski (April 23, 1943 in Aix-les-Bains – May 17, 2009 in Bydgoszcz), was a Polish logician and ontologist, Professor of Logic to the University of ToruĊ (Poland) from 1992 to 2004. Founder of the Polish review Logic and Logical Philosophy , his main contributions are to the development of modal logic , paraconsistent logic and ...
Nijaz Ibrulj (born 2 July 1956) is a Bosnian philosopher and a professor at the University of Sarajevo's Department of Philosophy and Sociology. He lectures on logic, analytic philosophy, methodology of social sciences, theory of knowledge, and cognitive science.
Logic: The Laws of Truth is a 2012 book by Nicholas J. Smith, in which the author provides an introduction to classical logic. It covers the formal tools and techniques of logic and their underlying rationales and broader philosophical significance.
Elementary Logic. While teaching an introductory course in 1940, Quine discovered that extant texts for philosophy students did not do justice to quantification theory or first-order predicate logic. Quine wrote this book in 6 weeks as an ad hoc solution to his teaching needs. Methods of Logic. The four editions of this book resulted from a ...
The notion of ontological commitment is useful for elucidating the difference between ontology and meta-ontology. A theory is ontologically committed to an entity if that entity must exist in order for the theory to be true. [9] Meta-ontology is interested in, among other things, what the ontological commitments of a given theory are.
From 1970 to 1973 Smith studied Mathematics and Philosophy at the University of Oxford, where he fell particularly under the influence of Michael Dummett.The accidental discovery on the shelves of the Bodleian Library of the book Time and Modes of Being [2] by Roman Ingarden, a Polish student of Edmund Husserl, initiated his interest in the possibilities of an ontological approach to ...
Description logic provides an extension of frame languages, without going so far as to take the leap to first-order logic and support for arbitrary predicates. KL-ONE; RACER; OWL. Gellish is an example of a combined ontology language and ontology that is description logic based. It distinguishes between the semantic differences among others of:
A further example, the description logic is the logic plus extended cardinality restrictions, and transitive and inverse roles. The naming conventions aren't purely systematic so that the logic A L C O I N {\displaystyle {\mathcal {ALCOIN}}} might be referred to as A L C N I O {\displaystyle {\mathcal {ALCNIO}}} and other abbreviations are also ...