2

There are tons of resources and books for introductory classical logic (e.g., propositional, first-order) and things to that effect. But I'm looking for something that goes beyond the basics i.e., graduate-level material in classical/non-classical logic. Does anyone have suggestions? I know that Methods of Logic by Quine is good, but I wanted to see if there were any others.

Joshua Crotts
  • 41
  • 1
    I recommend Hodges' Shorter model theory for classical logic and Chagrov/Zakharyaschev's Modal logics (it also treates intuitionistic logic and superintuitionstic logics) for nonclassical topics. – Noah Schweber Apr 01 '22 at 03:14
  • For one, Quine's Methods of Logic is not a graduate-level book, at least, today. If you note the subjects you have covered so far, you might get a better help. – Tankut Beygu Apr 01 '22 at 08:47
  • @TankutBeygu Interesting. I’ll note that it’s a reference (non-required) book for my upcoming graduate course in formal logic. Either way, I’ve covered both propositional and first-order logic with natural deduction proofs, tautologies… basically everything covered in an “introduction to formal logic” course. I’m not sure how much this helps. – Joshua Crotts Apr 01 '22 at 15:00
  • 1
    For many graduate programmes in mathematics and philosophy, Quine's book offers little material. For a transitional book see my post – Tankut Beygu Apr 01 '22 at 17:00

0 Answers0