Modal Logic An Introduction to its Syntax and Semantics Hardcover - 2008
by Cocchiarella, Nino B.; Max A. Freund
From the publisher
In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for
sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills. A separate sentential modal logic of logical necessity in logical atomism is also constructed and shown to be complete and decidable. On the first-order level of the logic of logical necessity, the modal thesis of anti-essentialism is valid and every de re sentence is provably equivalent to a de
dicto sentence. An elegant extension of the standard sentential modal logics into several first-order modal logics is developed. Both a first-order modal logic for possibilism containing actualism as a proper part as well as a separate modal logic for actualism alone are constructed for a variety of modal systems.
Exercises on this level show the connections between modal laws and quantifier logic regarding generalization into, or out of, modal contexts and the conditions required for the necessity of identity and non-identity. Two types of second-order modal logics, one possibilist and the other actualist, are developed based on a distinction between existence-entailing concepts and concepts in general. The result is a deeper second-order analysis of possibilism and actualism as ontological frameworks. Exercises
regarding second-order predicate quantifiers clarify the distinction between existence-entailing concepts and concepts in general. Modal Logic is ideally suited as a core text for graduate and undergraduate courses in modal logic, and as supplementary reading in courses on mathematical logic, formal ontology, and artificial intelligence
Details
- Title Modal Logic An Introduction to its Syntax and Semantics
- Author Cocchiarella, Nino B.; Max A. Freund
- Binding Hardcover
- Pages 288
- Publisher Oxford University Press, USA, Oxford, England
- Date May 2, 2008
- ISBN 9780195366587
About the author
Nino B. Cocchiarella, Professor Emeritus of Logic and Philosophy at Indiana University has published many new results on the logic of time, modality, logical necessity, philosophical and mathematical logic, formal ontology, theories of predication, reference, and nominalization. He is the author of
several books, most recently Formal Ontology and Conceptual Realism.
Remote Content Loading...
Hang on… we’re fetching the requested page.
Book Conditions Explained
Biblio’s Book Conditions
-
As NewThe book is pristine and free of any defects, in the same condition as when it was first newly published.
-
Fine (F)A book in fine condition exhibits no flaws. A fine condition book closely approaches As New condition, but may lack the crispness of an uncirculated, unopened volume.
-
Near Fine (NrFine or NF)Almost perfect, but not quite fine. Any defect outside of shelf-wear should be noted.
-
Very Good (VG)A used book that does show some small signs of wear - but no tears - on either binding or paper. Very good items should not have writing or highlighting.
-
Good (G or Gd.)The average used and worn book that has all pages or leaves present. ‘Good’ items often include writing and highlighting and may be ex-library. Any defects should be noted. The oft-repeated aphorism in the book collecting world is “good isn’t very good.”
-
FairIt is best to assume that a “fair” book is in rough shape but still readable.
-
Poor (P)A book with significant wear and faults. A poor condition book can still make a good reading copy but is generally not collectible unless the item is very scarce. Any missing pages must be specifically noted.