形式邏輯是適用於符號邏輯的入門級，中級和高級課程的本科課程。本書的九章提供了對真值函數和量化邏輯的全面介紹，以及諸如集合論和模態邏輯等更高級主題的基礎知識。複雜的想法用簡單的語言解釋，並不以邏輯或數學的任何背景為前提，並且用許多例子說明了推導策略。通過400多個練習教授翻譯，表格，樹木，自然演繹和簡單的元校對。配套網站提供補充練習軟體和教程視頻。
注釋
「 形式邏輯是清晰，可訪問和直觀的，但它也是精確，明確和徹底的。複雜且經常令人困惑的概念以一種嚴肅而直接的方式推出，帶有趣味和神秘的術語和有用的類比。這是一個教學寶石。「 - 瑪麗凱特麥高恩，韋爾斯利學院
「這是一個符號邏輯的優秀介紹性文本。它是可訪問的，對關鍵概念的清晰和簡潔的解釋，以及許多有用的例子和練習問題，但也足夠嚴謹，為學生準備第二門邏輯課程; 事實上，我不知道任何更好地結合這些美德的書。我期待在我的課程中使用Formal Logic。「 - Tulane大學的Kevin Morris
「本書通過使用自然的，非技術性的語言直接達到每個人的觀點，使得句子邏輯，謂詞邏輯和形式證明的思想變得容易獲得。它簡潔而不匆忙。它得到了正確的細節，而不是通過關注它們作為細節，而是通過清楚地了解它們為何如此。「 - 凱斯西儲大學的科林麥克拉蒂
「 對於採用新邏輯文本的人來說，保羅格雷戈裡的形式邏輯值得仔細考慮。包含關於集合論和模態邏輯的章節使其成為希望超越標準邏輯引入的學生的寶貴資源。「 - Michael Hicks，邁阿密大學