
- 508 pages
- English
- PDF
- Available on iOS & Android
Propositional Logics 3rd edition
About this book
This book presents the history, philosophy, and mathematics of the major systems of propositional logic. Classical logic, modal logics, many-valued logics, intuitionism, paraconsistent logics, and dependent implication are examined in separate chapters. Each begins with a motivation in the originators' own terms, followed by the standard formal semantics, syntax, and completeness theorem. The chapters on the various logics are largely self-contained so that the book can be used as a reference. An appendix summarizes the formal semantics and axiomatizations of the logics. The view that unifies the exposition is that propositional logics comprise a spectrum: as the aspect of propositions under consideration varies, the logic varies. Each logic is shown to fall naturally within a general framework for semantics. A theory of translations between logics is presented that allows for further comparisons, and necessary conditions are given for a translation to preserve meaning. For this third edition the material has been re-organized to make the text easier to study, and a new section on paraconsistent logics with simple semantics has been added which challenges standard views on the nature of consequence relations. The text includes worked examples and hundreds of exercises, from routine to open problems, making the book with its clear and careful exposition ideal for courses or individual study.
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Information
Table of contents
- Table of Contents
- Preface
- I The Basic Assumptions of Propositional Logic
- II Classical Propositional Logic
- III Relatedness Logic: The Subject Matter of a Proposition
- A Summary and Overview
- IV Dependence Logics
- V Modal Logics
- VI Intuitionism
- VII Many-Valued Logics
- VIII Some Paraconsistent Logics
- IX A General Framework for Semantics for Propositional Logics
- X Translations Between Logics
- XI The Semantic Foundations of Logic
- Summary of Logics
- Bibliography
- Index of Examples
- Glossary of Notation
- Index