Taking students beyond classical mathematical logic, Philosophical Logic is a wide-ranging introduction to more advanced topics in the study of philosophical logic.
Starting by contrasting familiar classical logic with constructivist or intuitionist logic, the book goes on to offer concise but easy-to-read introductions to such subjects as quantificational and syllogistic logic, modal logic and set theory.
Chapters include:
Sentential Logic
Quantificational Logic
Sentential Modal Logic
Quantification and Modality
Set Theory
Incompleteness
An Introduction to Term Logic
Modal Term Logic
In addition, the book includes a list of symbols and a glossary of terms for ease of reference and exercises throughout help students master the topics covered in the book.?Philosophical Logic?is an essential, student-friendly guide for anyone studying these difficult topics as part of their Logic course.
George Englebretsen is Professor Emeritus at Bishop's University, Canada. He is the author of a large number of works dealing with topics in the philosophy of logic and language, metaphysics and the history of logic.
Charles Sayward is Professor of Philosophy at the University of Nebraska-Lincoln, USA. He is a much-published author of works in the philosophy of logic and the philosophy of mathematics, most recently Dialogues Concerning Natural Numbers.
1. Introduction \ Sentences \ Truth and Falsity \ Defense and Refutation \ Inference, Form and Implication \ Formally Valid Inference \ Conjunctions \ Inference with Conjunctions \ Negation \ Inference with Negation \ Truth-Functionality and Negation \ Grouping \ 2. Sentential Logic \ Simple Sentences \ Sentences \ Derivations: A First Look \ A Note on Sets \ Lines \ Derivations Again \ Theorems \ Truth Sets \ Soundness \ Completeness \ Extensions of SL \ Conditionalization \ Model Sets \ Syntax and Semantil²