Modal Logic (Synthese Library)

First-Order Modal Logic (Synthese Library)


What’s a good introduction to Modal Logic?
This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege’s morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms. more about book…

More about the book on Amazon

Most upvoted comment

Top rated philosophy books on Reddit rank no. 15

What’s a good introduction to Modal Logic?(r/philosophy)

Propositional logics and modal logics are quite different, and thus I could really use more info on what exactly you’re looking for.

I would also suggest taking an actual course in logic before attempting to teach yourself anything, especially modal logic.

The Logic Book is my favourite intro to logic textbook. It covers all of first-order classical logic in a thorough yet easy way. However it’s not particularly cheap.

As for modal logic, I used First-Order Modal Logic by Fitting and Mendelsohn, however it’s fairly difficult and uses an atrocious axiomatic proof system instead of natural deduction. Luckily it also contains tableaux, however a natural deduction system would have been preferable.

I have heard Garson’s Modal Logic for Philosophers suggested quite often, however I haven’t used it personally.

I want to stress that unless you have taken a course in propositional and first-order logics, you will get little to nothing out of the modal textbooks, and likely will not be able to work correctly through any standard classical textbook alone. This isn’t meant to dissuade you, but rather to motivate you to take a course in logic.


More details about a book.

Additional Information



Number Of Links


Sum Of Upvotes


Amazon Price


Book Binding


Type Code


Book Author

M. Fitting

Book Edition

Softcover reprint of the original 1st ed. 1998

Book Publisher


Book On Amazon

First-Order Modal Logic (Synthese Library)

Post Title

What’s a good introduction to Modal Logic?

Reddit Gold


Post Permalink


More about the book on Amazon