Paraconsistent logic: consistency, contradiction and negation
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham
Springer
[2016]
|
| Series: | Logic, epistemology, and the unity of science
Volume 40 |
| Subjects: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033933316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Physical Description: | XXIV, 398 Seiten |
| ISBN: | 9783319332031 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV048557053 | ||
| 003 | DE-604 | ||
| 005 | 20221206 | ||
| 007 | t| | ||
| 008 | 221111s2016 xx |||| 00||| eng d | ||
| 016 | 7 | |a 1091583730 |2 DE-101 | |
| 020 | |a 9783319332031 |9 978-3-319-33203-1 | ||
| 035 | |a (OCoLC)1075993207 | ||
| 035 | |a (DE-599)HBZHT019026962 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Carnielli, Walter Alexandre |d 1952- |e Verfasser |0 (DE-588)1014998530 |4 aut | |
| 245 | 1 | 0 | |a Paraconsistent logic |b consistency, contradiction and negation |c Walter Carnielli, Marcelo Esteban Coniglio |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a XXIV, 398 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Logic, epistemology, and the unity of science |v Volume 40 | |
| 650 | 0 | 7 | |a Negation |0 (DE-588)4137553-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Paradoxon |0 (DE-588)4044593-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parakonsistente Logik |0 (DE-588)4226190-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Inkonsistenz |0 (DE-588)4226191-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Inkonsistenz |0 (DE-588)4226191-0 |D s |
| 689 | 0 | 2 | |a Parakonsistente Logik |0 (DE-588)4226190-9 |D s |
| 689 | 0 | 3 | |a Paradoxon |0 (DE-588)4044593-8 |D s |
| 689 | 0 | 4 | |a Negation |0 (DE-588)4137553-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Coniglio, Marcelo Esteban |e Verfasser |0 (DE-588)1274662141 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-33205-5 |
| 830 | 0 | |a Logic, epistemology, and the unity of science |v Volume 40 |w (DE-604)BV019709027 |9 40 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033933316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033933316 | |
Record in the Search Index
| _version_ | 1819252351726256128 |
|---|---|
| adam_text | Contents Contradiction and (inconsistency ............................................................ 1.1 Introduction.......................................................................................... 1.2 On the Philosophy of the Logics of Formal Inconsistency............. 1.3 A Historical Sketch: The Forerunners of the Logics of Formal Inconsistency.......................................................... 10 1.4 Paraconsistency and the Nature of Logic......................................... 1.5 Paraconsistency and the Nature of Contradictions .......................... 1.6 Contradiction, Consistency and Negation......................................... 1.6.1 On Contradiction.................................................................... 1.6.2 On Consistency....................................................................... 1.6.3 On Negation............................................................................ 1.7 Varieties of Paraconsistency Involvement........................................ References........................................................................................................ 11 15 18 19 20 21 24 26 A Basic Logic of Formal Inconsistency: mbC........................................ 2.1 Introducing mbC.................................................................................... 2.2 A Valuation Semantics for mbC........................................................ 2.3 Applications of mbC-Valuations........................................................ 2.4 Recovering Classical Logic Inside
mbC........................................... 2.5 Reintroducing mbC as an Expansion of CPL.................................. 2.5.1 The New Presentation mbC1 of mbC............................... 2.5.2 Valuation Semantics for mbC.............................................. 2.5.3 Equivalence Between mbC and mbCJ............................... References......................................................................................................... 29 29 35 39 43 50 51 53 55 61 3 Some Extensions of mbC.............................................................................. 3.1 A Wider Form of Truth-Functionality for Consistency.................. 3.2 A Hidden Consistency Operator........................................................ 3.3 Consistency and Inconsistency as Derived Connectives.................. 3.4 Some Conceptual Differences Between mbC and mbC1............. 3.5 Inconsistency Operators and Double-Negations ............................... 63 63 68 71 91 95 1 2 1 1 4 xxi
xxii Contents 3.6 Propagating Consistency........................................................................ 3.7 da Costa’s Hierarchy and Consistency Propagation......................... 3.8 A Stronger Consistency Propagation................................................. References.......................................................................................................... 104 Ill 115 119 4 Matrices and Algebraizability........................................................................ 4.1 Logical Matrices..................................................................................... 4.2 Uncharacterizability by Finite Matrices............................................... 4.3 The Problem of Algebraizability of LFIs........................................... 4.4 Some З-Valued LFIs................ ........................................................... 4.4.1 Halldén’s Logic of Nonsense (1949)................................. 4.4.2 Segerberg’s Logic of Nonsense (1965)............................... 4.4.3 da Costa and D’Ottaviano’s Logic J3 (1970)..................... 4.4.4 Sette’s Logic Pl (1973)....................................................... 4.4.5 Asenjo-Priest’s Logic LP (1966-1979) ............................... 4.4.6 Ciore and Other Related Systems...................................... 4.4.7 LFI1, MPT and J3............................................................... References.......................................................................................................... 121 121 122 129 136 136 138 140 144 149 151
158 168 LFIs Based on Other Logics........................................................................ 5.1 LFIs Based on Positive Intuitionistic Logic........................................ 5.1.1 Basic Features of Positive Intuitionistic Logic..................... 5.1.2 Johansson’s Minimal Logic.................................................... 5.1.3 Nelson’s Paraconsistent Logic N4......................................... 5.1.4 An Intuitionistic Version of mbC......................................... 5.2 LFIs Based on Fuzzy Logics.............................................................. 5.2.1 Preliminaries on MFL............................................................. 5.2.2 Fuzzy Logics with a Consistency Operator.......................... 5.2.3 Propagation of Consistency and DAT.................................... 5.2.4 Fuzzy Logics with an Inconsistency Operator..................... 5.3 A Modal LFI Based on Belnap and Dunn’s Logic BD................. 5.3.1 The Logic Mim of Tetravalent Modal Algebras................. 5.3.2 Mim as an LFI......................................................................... 5.3.3 Mim as a dC-System................................................................ 5.3.4 The Contrapositive Implication.............................................. 5.3.5 A Hilbert-Style Axiomatization of Mļm.................................. 5.4 Paraconsistent Modalities, Consistency and Determinedness .... References........................................................................................................ 171 171 171 175 179 187
191 191 197 205 208 211 213 218 222 224 226 229 233 6 Semantics of Non-deterministic Character for LFIs.............................. 6.1 Fidel Structures for mbC..................................................................... 6.2 Fidel Structures for Some Extensions of mbC.................................. 6.3 Non-deterministic Matrices................................................................... 6.4 Swap Structures for mbC...................................................................... 6.5 Swap Structures for Some Extensionsof mbC.................................. 6.6 Axiom (cl) and Uncharacterizability by Finite Nmatrices............ 237 238 242 251 253 260 272 5
Contents xxiii Some Remarks on Fidel Structures and Swap Structures............... 279 The Possible-Translations Semantics............................................... 280 6.8.1 Possible-Translations Semantics for Some LFIs............... 280 6.8.2 A З-Valued Possible-TranslationsSemantics for Cila . . . 282 6.8.3Some Remarks on Possible-Translations Semantics .... 288 References................................................................................................... 290 6.7 6.8 7 First-Order LFIs............................................................. 293 7.1 The Logic QmbC................................................................................ 294 7.2 Basic Properties of QmbC................................................................ 296 7.3 Tarskian Paraconsistent Structures..................................................... 302 7.4 Soundness Theorem for QmbC.......................................................... 308 7.5 Completeness Theorem for QmbC..................................................... 310 7.5.1 Henkin Theories................................................................... 311 7.5.2 Canonical Interpretations....................................................... 312 7.6 Compactness and Lowenhëim-Skolem Theorems for QmbC.... 316 7.7 QmbC with Equality........................................................................... 318 7.8 First-Order Characterization of Other Quantified LFIs.................. 322 7.9 First-Order LFI1 and the Logic of Quasi-truth ............................... 324 7.9.1 Semantics of
Partial Structures....................................... 324 7.9.2 The Logic QLFI1O................................................ 332 7.10 First-Order Pl and Partial Structures................................................ 335 References.................................................................................................. 343 8 Paraconsistent Set Theory..................................................................... 345 8.1 Antinomic Sets and Paraconsistency................................................... 346 8.2 LFIs Predicating on Consistency................................. 349 8.3 Some Extensions of ZFmbC............................................................... 354 8.4 Inconsistent Sets and Proper Classes................................................ 360 8.5 On Models............................................................................................. 363 References.................................................................................................. 365 9 Paraconsistency and Philosophy of Science: Foundations and Perspectives..................................................................................... 369 9.1 An Epistemological Understanding of Paraconsistency, and Its Significance for Science.............................................. 369 9.2 Consistency and Contradiction in Scientific Theories.................... 371 9.2.1 The Heritage of Kant............................................................ 371 9.2.2 Some Historical Examples.................................................. 373 9.2.3 The
Beginning of Quantum Theory and Paraconsistency....................................................... 374 9.2.4 Mercury’s Orbit and a Non-existent Planet....................... 374 9.2.5 Contradictions in Phlogiston, the Imponderable............... 376 9.2.6 The Special Theory of Relativity........................................ 377 9.2.7 Mathematics, and the Meaning of Objects that Mean Nothing.................................................. 379
xxiv Contents Quasi-truth and the Reconciliation of Science and Rationality......................................................................... 382 9.4 An Evidence-Based Approach to Paraconsistency.......................... 384 9.5 Summing Up........................................................................................... 385 References........................................................................................................ 387 9.3 Index....................................................................................................................... 391 Index of Logic Systems....................................................................................... 397
|
| any_adam_object | 1 |
| author | Carnielli, Walter Alexandre 1952- Coniglio, Marcelo Esteban |
| author_GND | (DE-588)1014998530 (DE-588)1274662141 |
| author_facet | Carnielli, Walter Alexandre 1952- Coniglio, Marcelo Esteban |
| author_role | aut aut |
| author_sort | Carnielli, Walter Alexandre 1952- |
| author_variant | w a c wa wac m e c me mec |
| building | Verbundindex |
| bvnumber | BV048557053 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)1075993207 (DE-599)HBZHT019026962 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02104nam a2200481 cb4500</leader><controlfield tag="001">BV048557053</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221206 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">221111s2016 xx |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1091583730</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319332031</subfield><subfield code="9">978-3-319-33203-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1075993207</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT019026962</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Carnielli, Walter Alexandre</subfield><subfield code="d">1952-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1014998530</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Paraconsistent logic</subfield><subfield code="b">consistency, contradiction and negation</subfield><subfield code="c">Walter Carnielli, Marcelo Esteban Coniglio</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXIV, 398 Seiten</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Logic, epistemology, and the unity of science</subfield><subfield code="v">Volume 40</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Negation</subfield><subfield code="0">(DE-588)4137553-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Paradoxon</subfield><subfield code="0">(DE-588)4044593-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parakonsistente Logik</subfield><subfield code="0">(DE-588)4226190-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Inkonsistenz</subfield><subfield code="0">(DE-588)4226191-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Inkonsistenz</subfield><subfield code="0">(DE-588)4226191-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Parakonsistente Logik</subfield><subfield code="0">(DE-588)4226190-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Paradoxon</subfield><subfield code="0">(DE-588)4044593-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Negation</subfield><subfield code="0">(DE-588)4137553-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Coniglio, Marcelo Esteban</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1274662141</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-33205-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Logic, epistemology, and the unity of science</subfield><subfield code="v">Volume 40</subfield><subfield code="w">(DE-604)BV019709027</subfield><subfield code="9">40</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033933316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033933316</subfield></datafield></record></collection> |
| id | DE-604.BV048557053 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T19:48:25Z |
| institution | BVB |
| isbn | 9783319332031 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033933316 |
| oclc_num | 1075993207 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG |
| owner_facet | DE-473 DE-BY-UBG |
| physical | XXIV, 398 Seiten |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Logic, epistemology, and the unity of science |
| series2 | Logic, epistemology, and the unity of science |
| spellingShingle | Carnielli, Walter Alexandre 1952- Coniglio, Marcelo Esteban Paraconsistent logic consistency, contradiction and negation Logic, epistemology, and the unity of science Negation (DE-588)4137553-1 gnd Paradoxon (DE-588)4044593-8 gnd Parakonsistente Logik (DE-588)4226190-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Inkonsistenz (DE-588)4226191-0 gnd |
| subject_GND | (DE-588)4137553-1 (DE-588)4044593-8 (DE-588)4226190-9 (DE-588)4037951-6 (DE-588)4226191-0 |
| title | Paraconsistent logic consistency, contradiction and negation |
| title_auth | Paraconsistent logic consistency, contradiction and negation |
| title_exact_search | Paraconsistent logic consistency, contradiction and negation |
| title_full | Paraconsistent logic consistency, contradiction and negation Walter Carnielli, Marcelo Esteban Coniglio |
| title_fullStr | Paraconsistent logic consistency, contradiction and negation Walter Carnielli, Marcelo Esteban Coniglio |
| title_full_unstemmed | Paraconsistent logic consistency, contradiction and negation Walter Carnielli, Marcelo Esteban Coniglio |
| title_short | Paraconsistent logic |
| title_sort | paraconsistent logic consistency contradiction and negation |
| title_sub | consistency, contradiction and negation |
| topic | Negation (DE-588)4137553-1 gnd Paradoxon (DE-588)4044593-8 gnd Parakonsistente Logik (DE-588)4226190-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Inkonsistenz (DE-588)4226191-0 gnd |
| topic_facet | Negation Paradoxon Parakonsistente Logik Mathematische Logik Inkonsistenz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=033933316&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV019709027 |
| work_keys_str_mv | AT carnielliwalteralexandre paraconsistentlogicconsistencycontradictionandnegation AT conigliomarceloesteban paraconsistentlogicconsistencycontradictionandnegation |