國立虎尾科技大學 |

Paraconsistent Logic: Consistency, Contradiction and Negation

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Paraconsistent Logic: Consistency, Contradiction and Negation/ by Walter Carnielli, Marcelo Esteban Coniglio.
Author:	Carnielli, Walter.
other author:	Coniglio, Marcelo Esteban.
Description:	XXIV, 398 p. 2 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Logic. -
Online resource:	https://doi.org/10.1007/978-3-319-33205-5
ISBN:	9783319332055

Paraconsistent Logic: Consistency, Contradiction and Negation
Carnielli, Walter.

Paraconsistent Logic: Consistency, Contradiction and Negation[electronic resource] /by Walter Carnielli, Marcelo Esteban Coniglio. - 1st ed. 2016. - XXIV, 398 p. 2 illus.online resource. - Logic, Epistemology, and the Unity of Science,402214-9775 ;. - Logic, Epistemology, and the Unity of Science,37.

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:

558909
Logic.

LC Class. No.: BC1-199

Dewey Class. No.: 160

Paraconsistent Logic: Consistency, Contradiction and Negation
LDR:03597nam a22004095i 4500 001 971936
003 DE-He213
005 20200630020320.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319332055 $9 978-3-319-33205-5
024 7 $a 10.1007/978-3-319-33205-5 $2 doi
035 $a 978-3-319-33205-5
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
100 1 $a Carnielli, Walter. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 679074
245 1 0 $a Paraconsistent Logic: Consistency, Contradiction and Negation $h [electronic resource] / $c by Walter Carnielli, Marcelo Esteban Coniglio.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a XXIV, 398 p. 2 illus. $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 Logic, Epistemology, and the Unity of Science, $x 2214-9775 ; $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 Logic. $3 558909
650 0 $a Epistemology. $3 671538
700 1 $a Coniglio, Marcelo Esteban. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1110950
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319332031
776 0 8 $i Printed edition: $z 9783319332048
776 0 8 $i Printed edition: $z 9783319814537
830 0 $a Logic, Epistemology, and the Unity of Science, $x 2214-9775 ; $v 37 $3 1258799
856 4 0 $u https://doi.org/10.1007/978-3-319-33205-5
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)