Overview
- Collects philosophical essays on Belnap-Dunn logic by leading scholars
- Reprints the seminal papers on Belnap-Dunn logic
- Includes a well-known but unpublished manuscript of Dunn, an interview with Belnap, and a new essay by Dunn
Part of the book series: Synthese Library (SYLI, volume 418)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (18 chapters)
-
Essays by the Founders
-
New Essays
Keywords
- Belnap’s four-‐valued semantics
- Dunn’s two-‐valued semantics
- Expansions of Belnap-‐Dunn logic
- Relevant logic a la American plan
- Relevant logic a la Australian plan
- Logic of information structures
- Nonclassical truth theory
- Nonclassical mathematics
- Logic for Buddhist philosophy
- Logic for dialetheism
- Natural deduction
- Paraconsistency
- Paracompleteness
- first-degree entailment logic
- Kleene logic
- Logic of Paradox
- inconsistency-tolerant reasoning
- theories based on dialetheism
About this book
This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers will find reprints of seminal papers written by the fathers of the field: Nuel Belnap and Michael Dunn. In addition, the collection also features a well-known but previously unpublished manuscript of Dunn, an interview with Belnap, and a new essay by Dunn.
Besides the original, monumental papers, the book also includes research by leading scholars. They consider the extraordinary importance of Belnap-Dunn logic from several perspectives. They look at how, philosophically, it has served as a basic system of inconsistency-tolerant reasoning, as the core of underlying logics for theories based on dialetheism, and, more recently, for theories based on Buddhist philosophy. Coverage also explores its contributions tocomputer science, such as knowledge representation and information processing.
This mix of seminal papers and insightful analysis by top scholars offers readers a comprehensive outlook on Belnap-Dunn logic and its related expansions, which have been agenda setting for the debate on philosophical logic as well as philosophy of logic. The book will also enhance further discussion on the philosophical issues related to nonclassical logics in general.
Editors and Affiliations
About the editors
Heinrich Wansing is a Professor of Logic and Epistemology at the Ruhr-University Bochum (Germany). Before that he was a Professor of Philosophy of Science and Logic at Dresden University of Technology (1999–2010). He took his M.A. and his Ph.D. in Philosophy at the Free University of Berlin and his Habilitation in logic and analytical philosophy at the University of Leipzig. He is the author of “The Logic of Information Structures” (Springer 1993), “Displaying Modal Logic” (Kluwer 1998), “Truth and Falsehood. An Inquiry into Generalized Logical Values” (with Y. Shramko, Springer 2011), “Proof Theory of N4-related Paraconsistent Logics” (with K. Kamide, College Publications 2015) and numerous articles in professional journals. Heinrich Wansing has been working mainly on philosophical logic, including the semantics and proof theory of modal, constructive, paraconsistent, many-valued, and other nonclassical logics. Moreover, he is the Editor-in-Chief of the book series Trends in Logic (Springer), a managing editor of the journal Studia Logica, and a member of a number of other editorial boards of logic and philosophy journals. Website: http://www.ruhr-uni-bochum.de/philosophy/logic/
Bibliographic Information
Book Title: New Essays on Belnap-Dunn Logic
Editors: Hitoshi Omori, Heinrich Wansing
Series Title: Synthese Library
DOI: https://doi.org/10.1007/978-3-030-31136-0
Publisher: Springer Cham
eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Hardcover ISBN: 978-3-030-31135-3Published: 02 January 2020
Softcover ISBN: 978-3-030-31138-4Published: 26 August 2021
eBook ISBN: 978-3-030-31136-0Published: 01 January 2020
Series ISSN: 0166-6991
Series E-ISSN: 2542-8292
Edition Number: 1
Number of Pages: VIII, 324
Topics: Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations