A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.
FREE Two-Day Shipping for Students. Learn more |
| ||||||||||||||||||
 Sell Back Your Copy for $2.50
Whether you buy it used on Amazon for $22.51 or somewhere else, you can sell it back through our Book Trade-In Program at the current price of $2.50.
Used Price$22.51
Trade-in Price$2.50
Price after
Trade-in$20.01 |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Frequently Bought Together
Editorial Reviews
Book Description
An introductory textbook on modal logic the logic of necessity and possibility.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
16 of 24 people found the following review helpful:
5.0 out of 5 stars
An excellent introduction to modal logic,
By Thomas G. Kabele (New Canaan, CT USA) - See all my reviews
This review is from: Modal Logic: An Introduction (Paperback)
Modal logic is the logic of necessity and possibility. It includes "deontic logic" - the logic of duty (and the logic of the law), plus epistemic logic. Modal logic is a simplified form of the first order predicate logic.The text explains the various axioms of modal logic -- such as "M, C, K, N, P" Other texts include Sally Popkorn (emphasis on semantics), and Hughes & Cresswell (slighly more advanced).
5.0 out of 5 stars
Great introduction to 0th order Modal Logic,
By
Amazon Verified Purchase(What's this?)
This review is from: Modal Logic: An Introduction (Paperback)
Some notation and terminology is outdated, but Chellas' "Introduction to Modal Logic" is still the best choice to start learning modal logic.
It covers all remarkable topics in the subject.
1 of 2 people found the following review helpful:
3.0 out of 5 stars
a reverse apron for caping the many bulls of wisdom,
By
This review is from: Modal Logic: An Introduction (Paperback)
There are essentially two symmetrical sections to the book. The first covers Kripke models ('standard models' in the jargon of Chellas), axiomatic normal modal logics, and then filtrations of such models to show these logics have the finite model property and are decidable. To tie up the section there is an application with a chapter on deontic logic. The second section has the same structure with the topics being neighborhood models (called 'minimal models' by Chellas) and classical modal logics (some of which are strictly weaker than the weakest normal modal logic K). Unfortunately the application chapters (deontic logic and conditional logic) are poorly motivated, though one might think the whole point of those chapters is to motivate the inclusion or validation of certain deontic or conditional principles.
There is a lot of good stuff that is relegated to sections on exercises--e.g., p-morphisms, a safe extensions theorem, modal algebras, translations and correspondences between modal formulas and their models and first-order ones and their models (known other places as "correspondence/definability theory"). While there is a good number of exercises, most of them I encountered were quite easy and repetitive. Because of this, I found the text better suited to philosophy undergraduates (or novice graduates) than computer science or mathematics students. But at the same time there is little philosophical digression. The most redeeming feature of the book, I thought, was the latter section on neighboorhood models and weak modal logics. I was also surprised to find the little "correspondence theory" that there was in the book. However, a better variation of exercises (in terms of both difficulty and method of proof/construction) would be greatly welcome.
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
First Sentence:
In this chapter we introduce the subject of modal logic by surveying some of the main features of the system of modal logic known as S5. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
canonical standard model, canonical minimal model, six distinct modalities, elementary quantificational logic, universal standard models, smallest normal system, deontic alternativeness, fourteen distinct modalities, monotonic modal logic, many distinct modalities, determination theorems, deontic alternatives, affirmative modalities, normal modal logic, standard deontic logic, fifteen systems, sentence iff, normal iff, monotonic iff, valid respectively, monotonic system, classical modal logics, consider the following schemas, finite model property, tautological consequence New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
In this chapter we introduce the subject of modal logic by surveying some of the main features of the system of modal logic known as S5. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
canonical standard model, canonical minimal model, six distinct modalities, elementary quantificational logic, universal standard models, smallest normal system, deontic alternativeness, fourteen distinct modalities, monotonic modal logic, many distinct modalities, determination theorems, deontic alternatives, affirmative modalities, normal modal logic, standard deontic logic, fifteen systems, sentence iff, normal iff, monotonic iff, valid respectively, monotonic system, classical modal logics, consider the following schemas, finite model property, tautological consequence New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
100
books
cite this book:
See all 100 books citing this book
- Defeasible Deontic Logic (Synthese Library) by Donald Nute on page 43, page 119, and page 286
- Intelligent Agents: Theory and Applications (Studies in Fuzziness and Soft Computing) by Germano Resconi on page 74, page 265, and page 334
- The Blackwell Guide to Philosophical Logic (Blackwell Philosophy Guides) by Lou Goble on page 157, and page 201
- Handbook of Philosophical Logic: Volume 3 by Dov M. Gabbay on page 76, and page 253
- Collected Papers of Stig Kanger with Essays on his Life and (Synthese Library) by Ghita Holmström-Hintikka on page 147, and Back Matter
See all 100 books citing this book
Books on Related Topics
(learn more)
|
What Other Items Do Customers Buy After Viewing This Item?
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
So You'd Like to...
|
|
