Paraconsistency: logic and applications
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Dordrecht [u.a.]
Springer
c2013 [erschienen] 2012
|
Schriftenreihe: | Logic, epistemology, and the unity of science
26 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | VIII, 383 S. |
ISBN: | 9789400744370 |
Internformat
MARC
LEADER | 00000nam a2200000zcb4500 | ||
---|---|---|---|
001 | BV040254551 | ||
003 | DE-604 | ||
005 | 20120913 | ||
007 | t | ||
008 | 120615s2012 |||| 00||| eng d | ||
020 | |a 9789400744370 |9 978-94-007-4437-0 | ||
035 | |a (OCoLC)812194831 | ||
035 | |a (DE-599)BVBBV040254551 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-11 |a DE-29 | ||
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
100 | 1 | |a Tanaka, Kōji |e Verfasser |4 aut | |
245 | 1 | 0 | |a Paraconsistency |b logic and applications |c Koji Tanaka ... eds. |
264 | 1 | |a Dordrecht [u.a.] |b Springer |c c2013 [erschienen] 2012 | |
300 | |a VIII, 383 S. | ||
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 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 | |
830 | 0 | |a Logic, epistemology, and the unity of science |v 26 |w (DE-604)BV019709027 |9 26 | |
856 | 4 | 2 | |m V:DE-604 |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025110451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-025110451 |
Datensatz im Suchindex
_version_ | 1804149252975230976 |
---|---|
adam_text | IMAGE 1
CONTENTS
1 PARACONSISTENCY: INTRODUCTION 1
KOJI TANAKA, FRANCESCO BERTO, EDWIN MARES, AND FRANCESCO PAOLI
PART I LOGIC
2 MAKING SENSE OF PARACONSISTENT LOGIC: THE NATURE OF LOGIC, CLASSICAL
LOGIC AND PARACONSISTENT LOGIC..................... 15
KOJI TANAKA
3 ON DISCOURSES ADDRESSED BY INFIDEL LOGICIANS..........................
27
WALTER CARNIELLI AND MARCELO E. CONIGLIO
4 INFORMATION, NEGATION, AND PARACONSISTENCY . . . . . . . .. . . . . .
. . . . . . . . . . . . . . 43
EDWIN D. MARES
5 NOISY VS. MERELY EQUIVOCAL
LOGICS........................................ 57
PATRICK ALLO
6 ASSERTION, DENIAL AND NON-CIASSICAL THEORIES 81
GREG RESTALL
7 NEW ARGUMENTS FOR ADAPTIVE LOGICS AS UNIFYING FRAME FOR THE DEFEASIBLE
HANDLING OF INCONSISTENCY 101
DIDERIK BATENS
8 CONSEQUENCE AS PRESERVATION: SOME REFINEMENTS 123
BRYSON BROWN
9 ON MODAL LOGICS DEFINING JASKOWSKI S D2-CONSEQUENCE 141 MAREK
NASIENIEWSKI AND ANDRZEJ PIETRUSZCZAK
10 FDE: A LOGIC
OFCLUTTERS.................................................. 163
R.E. JENNINGS AND Y. CHEN
VII
IMAGE 2
VIII
CONTENTS
11 A PARACONSISTENT AND SUBSTRUCTURAL CONDITIONAL LOGIC. . . . .. . . .
. . . . . . . 173
FRANCESCO PAOLI
PART 11 APPLICATIONS
12 AN APPROACH TO HUMAN-LEVEL COMMONSENSE REASONING 201 MICHAEL L.
ANDERSON, WALID GOMAA, LOHN GRANT, AND DON PERLIS
13 DISTRIBUTION IN THE LOGIC OF MEANING CONTAINMENT AND IN QUANTUM
MECHANICS . . . . . . . .. .. . . . . . . . . . . . . . . . . . 223
ROSS T. BRADY AND ANDREA MEINANDER
14 WITTGENSTEIN ON INCOMPLETENESS MAKES PARACONSISTENT SENSE 257
FRANCESCO BERTO
15 PLURALISM AND BAD MATHEMATICAL THEORIES: CHALLENGING OUR PREJUDICES
277
MICHEIE FRIEND
16 ARITHMETIC STARRED 309
CHRIS MORTENSEN
17 NOTES ON INCONSISTENT SET THEORY 315
ZACH WEBER
18 SORTING OUT THE SORITES 329
DAVID RIPLEY
19 ARE THE SORITES AND LIAR PARADOX OFA KIND? 349
DOMINIC HYDE
20 VAGUE INCLOSURES 367
GRAHAM PRIEST
INDEX...............................................................................
379
|
any_adam_object | 1 |
author | Tanaka, Kōji |
author_facet | Tanaka, Kōji |
author_role | aut |
author_sort | Tanaka, Kōji |
author_variant | k t kt |
building | Verbundindex |
bvnumber | BV040254551 |
classification_rvk | CC 2600 |
ctrlnum | (OCoLC)812194831 (DE-599)BVBBV040254551 |
discipline | Philosophie |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01417nam a2200361zcb4500</leader><controlfield tag="001">BV040254551</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120913 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120615s2012 |||| 00||| 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="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)812194831</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040254551</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-11</subfield><subfield code="a">DE-29</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="100" ind1="1" ind2=" "><subfield code="a">Tanaka, Kōji</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Paraconsistency</subfield><subfield code="b">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">c2013 [erschienen] 2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">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">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">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="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="2"><subfield code="m">V:DE-604</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=025110451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025110451</subfield></datafield></record></collection> |
genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
genre_facet | Aufsatzsammlung |
id | DE-604.BV040254551 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T00:20:05Z |
institution | BVB |
isbn | 9789400744370 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025110451 |
oclc_num | 812194831 |
open_access_boolean | |
owner | DE-11 DE-29 |
owner_facet | DE-11 DE-29 |
physical | VIII, 383 S. |
publishDate | 2013 |
publishDateSearch | 2012 |
publishDateSort | 2012 |
publisher | Springer |
record_format | marc |
series | Logic, epistemology, and the unity of science |
series2 | Logic, epistemology, and the unity of science |
spelling | Tanaka, Kōji Verfasser aut Paraconsistency logic and applications Koji Tanaka ... eds. Dordrecht [u.a.] Springer c2013 [erschienen] 2012 VIII, 383 S. txt rdacontent n rdamedia nc 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 Logic, epistemology, and the unity of science 26 (DE-604)BV019709027 26 V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025110451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Tanaka, Kōji 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 |
title_sort | paraconsistency logic and applications |
title_sub | logic and applications |
topic | Parakonsistente Logik (DE-588)4226190-9 gnd |
topic_facet | Parakonsistente Logik Aufsatzsammlung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025110451&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV019709027 |
work_keys_str_mv | AT tanakakoji paraconsistencylogicandapplications |