語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
New Essays on Belnap-Dunn Logic
~
Omori, Hitoshi.
New Essays on Belnap-Dunn Logic
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
正題名/作者:
New Essays on Belnap-Dunn Logic/ edited by Hitoshi Omori, Heinrich Wansing.
其他作者:
Omori, Hitoshi.
面頁冊數:
VIII, 324 p.online resource. :
Contained By:
Springer Nature eBook
標題:
Logic. -
電子資源:
https://doi.org/10.1007/978-3-030-31136-0
ISBN:
9783030311360
New Essays on Belnap-Dunn Logic
New Essays on Belnap-Dunn Logic
[electronic resource] /edited by Hitoshi Omori, Heinrich Wansing. - 1st ed. 2019. - VIII, 324 p.online resource. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,4180166-6991 ;. - Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,359.
An 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).
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 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.
ISBN: 9783030311360
Standard No.: 10.1007/978-3-030-31136-0doiSubjects--Topical Terms:
558909
Logic.
LC Class. No.: BC1-199
Dewey Class. No.: 160
New Essays on Belnap-Dunn Logic
LDR
:04324nam a22004095i 4500
001
1007726
003
DE-He213
005
20200813145936.0
007
cr nn 008mamaa
008
210106s2019 gw | s |||| 0|eng d
020
$a
9783030311360
$9
978-3-030-31136-0
024
7
$a
10.1007/978-3-030-31136-0
$2
doi
035
$a
978-3-030-31136-0
050
4
$a
BC1-199
072
7
$a
HPL
$2
bicssc
072
7
$a
PHI011000
$2
bisacsh
072
7
$a
QDTL
$2
thema
082
0 4
$a
160
$2
23
245
1 0
$a
New Essays on Belnap-Dunn Logic
$h
[electronic resource] /
$c
edited by Hitoshi Omori, Heinrich Wansing.
250
$a
1st ed. 2019.
264
1
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2019.
300
$a
VIII, 324 p.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
490
1
$a
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
$x
0166-6991 ;
$v
418
505
0
$a
An 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).
520
$a
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 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.
650
0
$a
Logic.
$3
558909
650
0
$a
Mathematical logic.
$2
bicssc
$3
810627
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
670059
650
2 4
$a
Mathematical Logic and Foundations.
$3
669393
700
1
$a
Omori, Hitoshi.
$e
editor.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1301520
700
1
$a
Wansing, Heinrich.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
633620
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9783030311353
776
0 8
$i
Printed edition:
$z
9783030311377
776
0 8
$i
Printed edition:
$z
9783030311384
830
0
$a
Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
$x
0166-6991 ;
$v
359
$3
1257256
856
4 0
$u
https://doi.org/10.1007/978-3-030-31136-0
912
$a
ZDB-2-REP
912
$a
ZDB-2-SXPR
950
$a
Religion and Philosophy (SpringerNature-41175)
950
$a
Philosophy and Religion (R0) (SpringerNature-43725)
筆 0 讀者評論
多媒體
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入