LEADER 04943nam 22005415 450 001 9910370255803321 005 20200813145936.0 010 $a3-030-31136-8 024 7 $a10.1007/978-3-030-31136-0 035 $a(CKB)4900000000505175 035 $a(MiAaPQ)EBC6005231 035 $a(DE-He213)978-3-030-31136-0 035 $a(EXLCZ)994900000000505175 100 $a20200101d2019 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNew Essays on Belnap-­Dunn Logic /$fedited by Hitoshi Omori, Heinrich Wansing 205 $a1st ed. 2019. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019. 215 $a1 online resource (322 pages) 225 1 $aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,$x0166-6991 ;$v418 311 $a3-030-31135-X 327 $aAn invitation to New Essays on Belnap-Dunn logic (Hitoshi Omori and Heinrich Wansing) -- Part I. Essays by the Founders. Natural Language versus Formal Language (J. Michael Dunn) -- Intuitive Semantics for First-Degree Entailment and ?Coupled Trees? (J. Michael Dunn) -- How a Computer Should Think (Nuel D. Belnap) -- A Useful Four-Valued Logic (Nuel D. Belnap) -- Two, Three, Four, Infinity: The Path to the Four-valued Logic and Beyond (J. Michael Dunn) -- Interview with Prof. Nuel D. Belnap (Nuel D. Belnap and Heinrich Wansing) -- Part II. New Essays. FDE as the One True Logic (Jc Beall) -- Default Rules in the Logic of First-Degree Entailments (Katalin Bimbó) -- Belnap and Nagarjuna on How Computers and Sentient Beings Should Think: Truth, Trust and the Catuskoti (Jay L. Garfield) -- K3, ?3, LP, RM3, A3, FDE, M: How to Make Many-Valued LogicsWork for You (Allen P. Hazen and Francis Jeffry Pelletier) -- FDE as a Base for Constructive Logic (Andreas Kapsner) -- Bridging the Two Plans in the Semantics for Relevant Logic (Takuro Onishi) -- Bilattice Logics and Demi-Negation (Francesco Paoli) -- Consistency, Completeness, and Classicality (Adam Prenosil) -- Natural Deduction Systems for Logics in the FDE Family (Graham Priest) -- Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Igor Sedlár and Ondrej Majer) -- First-Degree Entailment and Structural Reasoning (Yaroslav Shramko). 330 $aThis 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 to computer 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. 410 0$aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,$x0166-6991 ;$v418 606 $aLogic 606 $aMathematical logic 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aLogic. 615 0$aMathematical logic. 615 14$aLogic. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 676 $a511.3 702 $aOmori$b Hitoshi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWansing$b Heinrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910370255803321 996 $aNew Essays on Belnap-­Dunn Logic$92108041 997 $aUNINA