Philosophical Logic

Starting by contrasting familiar classical logic with constructivist or intuitionist logic, this book goes on to offer introductions to such subjects as quantificational and syllogistic logic, modal logic and set theory. It includes chapters: Sentential Logic; Quantificational Logic; Sentential Modal Logic; Set Theory; and, Modal Term Logic.