大葉大學圖書館 |

Paraconsistent logic[electronic resource] :consistency, contradiction and negation /

紀錄類型:	書目-電子資源 : Monograph/item
杜威分類號:	160
書名/作者:	Paraconsistent logic : consistency, contradiction and negation // by Walter Carnielli, Marcelo Esteban Coniglio.
作者:	Carnielli, Walter.
其他作者:	Coniglio, Marcelo Esteban.
出版者:	Cham : : Springer International Publishing :, 2016.
面頁冊數:	xxiv, 398 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Negation (Logic)
標題:	Philosophy.
標題:	Logic.
標題:	Epistemology.
ISBN:	9783319332055
ISBN:	9783319332031
內容註:	Chapter 1. Introduction: Contradictions and (in)consistency -- Chapter 2. A basic logic of formal inconsistency: mbC -- Chapter 3. Some extensions of mbC -- Chapter 4. Matrices and algebraizability -- Chapter 5. LFIs based on other logics -- Chapter 6. Alternative semantics for LFIs -- Chapter 7. First-order LFIs -- Chapter 8. Paraconsistent set theory -- Chapter 9. Paraconsistent modal logic -- Chapter 10. Paraconsistency and philosophy of science: perspectives.
摘要、提要註:	This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.
電子資源:	http://dx.doi.org/10.1007/978-3-319-33205-5

Paraconsistent logic[electronic resource] :consistency, contradiction and negation /
Carnielli, Walter.

Paraconsistent logicconsistency, contradiction and negation /[electronic resource] :by Walter Carnielli, Marcelo Esteban Coniglio. - Cham :Springer International Publishing :2016. - xxiv, 398 p. :ill., digital ;24 cm. - Logic, epistemology, and the unity of science,v.402214-9775 ;. - Logic, epistemology, and the unity of science ;v.23..

Chapter 1. Introduction: Contradictions and (in)consistency -- Chapter 2. A basic logic of formal inconsistency: mbC -- Chapter 3. Some extensions of mbC -- Chapter 4. Matrices and algebraizability -- Chapter 5. LFIs based on other logics -- Chapter 6. Alternative semantics for LFIs -- Chapter 7. First-order LFIs -- Chapter 8. Paraconsistent set theory -- Chapter 9. Paraconsistent modal logic -- Chapter 10. Paraconsistency and philosophy of science: perspectives.

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.

ISBN: 9783319332055

Standard No.: 10.1007/978-3-319-33205-5doiSubjects--Topical Terms:

660752
Negation (Logic)

LC Class. No.: BC199.N4 / C37 2016

Dewey Class. No.: 160

Paraconsistent logic[electronic resource] :consistency, contradiction and negation /
LDR:03208nmm a2200325 a 4500 001 459088
003 DE-He213
005 20161205114903.0
006 m d
007 cr nn 008maaau
008 170113s2016 gw s 0 eng d
020 $a 9783319332055 $q (electronic bk.)
020 $a 9783319332031 $q (paper)
024 7 $a 10.1007/978-3-319-33205-5 $2 doi
035 $a 978-3-319-33205-5
040 $a GP $c GP
041 0 $a eng
050 4 $a BC199.N4 $b C37 2016
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
082 0 4 $a 160 $2 23
090 $a BC199.N4 $b C289 2016
100 1 $a Carnielli, Walter. $3 660750
245 1 0 $a Paraconsistent logic $h [electronic resource] : $b consistency, contradiction and negation / $c by Walter Carnielli, Marcelo Esteban Coniglio.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a xxiv, 398 p. : $b ill., digital ; $c 24 cm.
490 1 $a Logic, epistemology, and the unity of science, $x 2214-9775 ; $v v.40
505 0 $a Chapter 1. Introduction: Contradictions and (in)consistency -- Chapter 2. A basic logic of formal inconsistency: mbC -- Chapter 3. Some extensions of mbC -- Chapter 4. Matrices and algebraizability -- Chapter 5. LFIs based on other logics -- Chapter 6. Alternative semantics for LFIs -- Chapter 7. First-order LFIs -- Chapter 8. Paraconsistent set theory -- Chapter 9. Paraconsistent modal logic -- Chapter 10. Paraconsistency and philosophy of science: perspectives.
520 $a This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications in information processing, linguistics, reasoning and argumentation, and philosophy of science. It is recommended reading for anyone interested in the question of reasoning and argumentation in the presence of contradictions, in semantics, in the paradoxes of set theory and in the puzzling properties of negation in logic programming. Paraconsistent logic comprises a major logical theory and offers the broadest possible perspective on the debate of negation in logic and philosophy. It is a powerful tool for reasoning under contradictoriness as it investigates logic systems in which contradictory information does not lead to arbitrary conclusions. Reasoning under contradictions constitutes one of most important and creative achievements in contemporary logic, with deep roots in philosophical questions involving negation and consistency This book offers an invaluable introduction to a topic of central importance in logic and philosophy. It discusses (i) the history of paraconsistent logic; (ii) language, negation, contradiction, consistency and inconsistency; (iii) logics of formal inconsistency (LFIs) and the main paraconsistent propositional systems; (iv) many-valued companions, possible-translations semantics and non-deterministic semantics; (v) paraconsistent modal logics; (vi) first-order paraconsistent logics; (vii) applications to information processing, databases and quantum computation; and (viii) applications to deontic paradoxes, connections to Eastern thought and to dialogical reasoning.
650 0 $a Negation (Logic) $3 660752
650 1 4 $a Philosophy. $3 179430
650 2 4 $a Logic. $3 191646
650 2 4 $a Epistemology. $3 463983
700 1 $a Coniglio, Marcelo Esteban. $3 660751
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Logic, epistemology, and the unity of science ; $v v.23. $3 464052
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-33205-5
950 $a Religion and Philosophy (Springer-41175)