Paraconsistency: Logic and applications:
Gespeichert in:
Format: | Elektronisch E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Dordrecht [u.a.]
Springer
2013
|
Schriftenreihe: | Logic, epistemology, and the unity of science
26 |
Schlagworte: | |
Online-Zugang: | HWR01 UBG01 Volltext Inhaltsverzeichnis Abstract |
Beschreibung: | 1 Online-Ressource (VIII, 383 S.) |
ISBN: | 9789400744370 9789400744387 |
DOI: | 10.1007/978-94-007-4438-7 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV040596467 | ||
003 | DE-604 | ||
005 | 20121211 | ||
007 | cr|uuu---uuuuu | ||
008 | 121128s2013 |||| o||u| ||||||eng d | ||
020 | |a 9789400744370 |9 978-94-007-4437-0 | ||
020 | |a 9789400744387 |c Online |9 978-94-007-4438-7 | ||
024 | 7 | |a 10.1007/978-94-007-4438-7 |2 doi | |
035 | |a (OCoLC)811118386 | ||
035 | |a (DE-599)BVBBV040596467 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-473 |a DE-2070s | ||
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
245 | 1 | 0 | |a Paraconsistency: Logic and applications |c Koji Tanaka ... eds. |
264 | 1 | |a Dordrecht [u.a.] |b Springer |c 2013 | |
300 | |a 1 Online-Ressource (VIII, 383 S.) | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Logic, epistemology, and the unity of science |v 26 | |
650 | 0 | 7 | |a Parakonsistente Logik |0 (DE-588)4226190-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
689 | 0 | 0 | |a Parakonsistente Logik |0 (DE-588)4226190-9 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Tanaka, Kōji |e Sonstige |4 oth | |
830 | 0 | |a Logic, epistemology, and the unity of science |v 26 |w (DE-604)BV019709027 |9 26 | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-94-007-4438-7 |x Verlag |3 Volltext |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025424303&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025424303&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-SHU | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-025424303 | ||
966 | e | |u https://doi.org/10.1007/978-94-007-4438-7 |l HWR01 |p ZDB-2-SHU |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-94-007-4438-7 |l UBG01 |p ZDB-2-SHU |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804149684390854656 |
---|---|
adam_text | PARACONSISTENCY: LOGIC AND APPLICATIONS
/
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
PARACONSISTENCY
INTRODUCTION
PART I LOGIC
1. MAKING SENSE OF PARACONSISTENT LOGIC: THE NATURE OF LOGIC, CLASSICAL
LOGIC AND PARACONSISTENT LOGIC: KOJI TANAKA
2. ON DISCOURSE ADDRESSED BY INFIDEL LOGICIANS: WALTER CARNIELLI AND
MARCELO E. CONIGLIO
3. INFORMATION, NEGATION AND PARACONSISTENCY: EDWIN D. MARES
4. NOISY VS. MERELY EQUIVOCAL LOGICS: PATRICK ALLO
5. ASSERTION, DENIAL AND NON-CLASSICAL THEORIES: GREG RESTALL
6. NEW ARGUMENTS FOR ADAPTIVE LOGICS AS UNIFYING FRAME FOR THE
DEFEASIBLE HANDLING OF INCONSISTENCY: DIEDERIK BATENS
7. CONSEQUENCE AS PRESERVATION: SOME REFINEMENTS: BRYSON BROWN
8. ON MODAL LOGICS DEFINING JASKOWSKI S D2-CONSEQUENCE: MAREK
NASIENIEWSKI AND ANDRZEJ PIETRUSZCZAK
9. FDE: A LOGIC OF CLUTTERS: R.E. JENNINGS AND Y. CHEN
10. A PARACONSISTENT AND SUBSTRUCTURAL CONDITIONAL LOGIC
PART II APPLICATIONS: FRANCESCO PAOLI
11. AN APPROACH TO HUMAN-LEVEL COMMONSENSE REASONING: MICHAEL L.
ANDERSON, WALID GOMAA, JOHN GRANT AND DON PERLIS
12. DISTRIBUTION IN THE LOGIC OF MEANING CONTAINMENT AND IN QUANTUM
MECHANICS: ROSS T. BRADY AND ANDREA MEINANDER
13. WITTGENSTEIN ON INCOMPLETENESS MAKES PARACONSISTENT SENSE: FRANCESCO
BERTO
14. PLURALISM AND BAD MATHEMATICAL THEORIES: CHALLENGING OUR
PREJUDICES: MICHELE FRIEND
15. ARITHMETIC STARRED: CHRIS MORTENSEN
16. NOTES ON INCONSISTENT SET THEORY: ZACH WEBER
17. SORTING OUT THE SORITES: DAVID RIPLEY
18. ARE THE SORITES AND LIAR PARADOX OF A KIND?: DOMINIC HYDE
19. VAGUE INCLOSURES: GRAHAM PRIEST.-
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
PARACONSISTENCY: LOGIC AND APPLICATIONS
/
: 2013
ABSTRACT / INHALTSTEXT
A LOGIC IS CALLED PARACONSISTENT IF IT REJECTS THE RULE CALLED EX
CONTRADICTIONE QUODLIBET , ACCORDING TO WHICH ANY CONCLUSION FOLLOWS
FROM INCONSISTENT PREMISES. WHILE LOGICIANS HAVE PROPOSED MANY
TECHNICALLY DEVELOPED PARACONSISTENT LOGICAL SYSTEMS AND CONTEMPORARY
PHILOSOPHERS LIKE GRAHAM PRIEST HAVE ADVANCED THE VIEW THAT SOME
CONTRADICTIONS CAN BE TRUE, AND ADVOCATED A PARACONSISTENT LOGIC TO DEAL
WITH THEM, UNTIL RECENT TIMES THESE SYSTEMS HAVE BEEN LITTLE UNDERSTOOD
BY PHILOSOPHERS. THIS BOOK PRESENTS A COMPREHENSIVE OVERVIEW ON
PARACONSISTENT LOGICAL SYSTEMS TO CHANGE THIS SITUATION. THE BOOK
INCLUDES ALMOST EVERY MAJOR AUTHOR CURRENTLY WORKING IN THE FIELD. THE
PAPERS ARE ON THE CUTTING EDGE OF THE LITERATURE SOME OF WHICH DISCUSS
CURRENT DEBATES AND OTHERS PRESENT IMPORTANT NEW IDEAS. THE EDITORS HAVE
AVOIDED PAPERS ABOUT TECHNICAL DETAILS OF PARACONSISTENT LOGIC, BUT
INSTEAD CONCENTRATED UPON WORKS THAT DISCUSS MORE BIG PICTURE IDEAS.
DIFFERENT TREATMENTS OF PARADOXES TAKES CENTRE STAGE IN MANY OF THE
PAPERS, BUT ALSO THERE ARE SEVERAL PAPERS ON HOW TO INTERPRET
PARACONISTENT LOGIC AND SOME ON HOW IT CAN BE APPLIED TO PHILOSOPHY OF
MATHEMATICS, THE PHILOSOPHY OF LANGUAGE, AND METAPHYSICS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV040596467 |
classification_rvk | CC 2600 |
collection | ZDB-2-SHU |
ctrlnum | (OCoLC)811118386 (DE-599)BVBBV040596467 |
discipline | Philosophie |
doi_str_mv | 10.1007/978-94-007-4438-7 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02096nmm a2200445zcb4500</leader><controlfield tag="001">BV040596467</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121211 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">121128s2013 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400744370</subfield><subfield code="9">978-94-007-4437-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789400744387</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-007-4438-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-007-4438-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)811118386</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040596467</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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><subfield code="a">DE-2070s</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Paraconsistency: Logic and applications</subfield><subfield code="c">Koji Tanaka ... eds.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 383 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</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">26</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tanaka, Kōji</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Logic, epistemology, and the unity of science</subfield><subfield code="v">26</subfield><subfield code="w">(DE-604)BV019709027</subfield><subfield code="9">26</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-007-4438-7</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=025424303&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=025424303&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SHU</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025424303</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-007-4438-7</subfield><subfield code="l">HWR01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-94-007-4438-7</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SHU</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV040596467 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T00:26:56Z |
institution | BVB |
isbn | 9789400744370 9789400744387 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025424303 |
oclc_num | 811118386 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-2070s |
owner_facet | DE-473 DE-BY-UBG DE-2070s |
physical | 1 Online-Ressource (VIII, 383 S.) |
psigel | ZDB-2-SHU |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
publisher | Springer |
record_format | marc |
series | Logic, epistemology, and the unity of science |
series2 | Logic, epistemology, and the unity of science |
spelling | Paraconsistency: Logic and applications Koji Tanaka ... eds. Dordrecht [u.a.] Springer 2013 1 Online-Ressource (VIII, 383 S.) txt rdacontent c rdamedia cr rdacarrier Logic, epistemology, and the unity of science 26 Parakonsistente Logik (DE-588)4226190-9 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Parakonsistente Logik (DE-588)4226190-9 s DE-604 Tanaka, Kōji Sonstige oth Logic, epistemology, and the unity of science 26 (DE-604)BV019709027 26 https://doi.org/10.1007/978-94-007-4438-7 Verlag Volltext Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025424303&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Springer Fremddatenuebernahme application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025424303&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Abstract |
spellingShingle | Paraconsistency: Logic and applications Logic, epistemology, and the unity of science Parakonsistente Logik (DE-588)4226190-9 gnd |
subject_GND | (DE-588)4226190-9 (DE-588)4143413-4 |
title | Paraconsistency: Logic and applications |
title_auth | Paraconsistency: Logic and applications |
title_exact_search | Paraconsistency: Logic and applications |
title_full | Paraconsistency: Logic and applications Koji Tanaka ... eds. |
title_fullStr | Paraconsistency: Logic and applications Koji Tanaka ... eds. |
title_full_unstemmed | Paraconsistency: Logic and applications Koji Tanaka ... eds. |
title_short | Paraconsistency: Logic and applications |
title_sort | paraconsistency logic and applications |
topic | Parakonsistente Logik (DE-588)4226190-9 gnd |
topic_facet | Parakonsistente Logik Aufsatzsammlung |
url | https://doi.org/10.1007/978-94-007-4438-7 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025424303&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025424303&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV019709027 |
work_keys_str_mv | AT tanakakoji paraconsistencylogicandapplications |