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…
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 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.
First-Order Modal Logic (Synthese Library)
428
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
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.
Permalink
Additional Information
askphilosophy,philosophy
8
48
$74.86
Paperback
ABIS_BOOK
M. Fitting
Softcover reprint of the original 1st ed. 1998
Springer
First-Order Modal Logic (Synthese Library)
What’s a good introduction to Modal Logic?
0
/r/philosophy/comments/r3eb5/whats_a_good_introduction_to_modal_logic/
More about the book on Amazon