Inference on the Low Level: An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2004
|
| Schriftenreihe: | Applied Logic Series
30 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | In contrast to the prevailing tradition in epistemology, the focus in this book is on low-level inferences, i.e., those inferences that we are usually not consciously aware of and that we share with the cat nearby which infers that the bird which she sees picking grains from the dirt, is able to fly. Presumably, such inferences are not generated by explicit logical reasoning, but logical methods can be used to describe and analyze such inferences. Part 1 gives a purely system-theoretic explication of belief and inference. Part 2 adds a reliabilist theory of justification for inference, with a qualitative notion of reliability being employed. Part 3 recalls and extends various systems of deductive and nonmonotonic logic and thereby explains the semantics of absolute and high reliability. In Part 4 it is proven that qualitative neural networks are able to draw justified deductive and nonmonotonic inferences on the basis of distributed representations. This is derived from a soundness/completeness theorem with regard to cognitive semantics of nonmonotonic reasoning. The appendix extends the theory both logically and ontologically, and relates it to A. Goldman's reliability account of justified belief |
| Beschreibung: | 1 Online-Ressource (X, 386 p) |
| ISBN: | 9781402028069 9789048166695 |
| ISSN: | 1386-2790 |
| DOI: | 10.1007/978-1-4020-2806-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042419249 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2004 |||| o||u| ||||||eng d | ||
| 020 | |a 9781402028069 |c Online |9 978-1-4020-2806-9 | ||
| 020 | |a 9789048166695 |c Print |9 978-90-481-6669-5 | ||
| 024 | 7 | |a 10.1007/978-1-4020-2806-9 |2 doi | |
| 035 | |a (OCoLC)1184498898 | ||
| 035 | |a (DE-599)BVBBV042419249 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 120 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Leitgeb, Hannes |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Inference on the Low Level |b An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition |c by Hannes Leitgeb |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2004 | |
| 300 | |a 1 Online-Ressource (X, 386 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Applied Logic Series |v 30 |x 1386-2790 | |
| 500 | |a In contrast to the prevailing tradition in epistemology, the focus in this book is on low-level inferences, i.e., those inferences that we are usually not consciously aware of and that we share with the cat nearby which infers that the bird which she sees picking grains from the dirt, is able to fly. Presumably, such inferences are not generated by explicit logical reasoning, but logical methods can be used to describe and analyze such inferences. Part 1 gives a purely system-theoretic explication of belief and inference. Part 2 adds a reliabilist theory of justification for inference, with a qualitative notion of reliability being employed. Part 3 recalls and extends various systems of deductive and nonmonotonic logic and thereby explains the semantics of absolute and high reliability. In Part 4 it is proven that qualitative neural networks are able to draw justified deductive and nonmonotonic inferences on the basis of distributed representations. This is derived from a soundness/completeness theorem with regard to cognitive semantics of nonmonotonic reasoning. The appendix extends the theory both logically and ontologically, and relates it to A. Goldman's reliability account of justified belief | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Genetic epistemology | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Epistemology | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Statistical Physics, Dynamical Systems and Complexity | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Erkenntnistheorie |0 (DE-588)4070914-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Erkenntnistheorie |0 (DE-588)4070914-0 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4020-2806-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027854666 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153089660289024 |
|---|---|
| any_adam_object | |
| author | Leitgeb, Hannes |
| author_facet | Leitgeb, Hannes |
| author_role | aut |
| author_sort | Leitgeb, Hannes |
| author_variant | h l hl |
| building | Verbundindex |
| bvnumber | BV042419249 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1184498898 (DE-599)BVBBV042419249 |
| dewey-full | 120 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 120 - Epistemology, causation, humankind |
| dewey-raw | 120 |
| dewey-search | 120 |
| dewey-sort | 3120 |
| dewey-tens | 120 - Epistemology, causation, humankind |
| discipline | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-1-4020-2806-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03322nmm a2200577zcb4500</leader><controlfield tag="001">BV042419249</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2004 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781402028069</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4020-2806-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048166695</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-6669-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4020-2806-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184498898</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042419249</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">120</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Leitgeb, Hannes</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Inference on the Low Level</subfield><subfield code="b">An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition</subfield><subfield code="c">by Hannes Leitgeb</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 386 p)</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="0" ind2=" "><subfield code="a">Applied Logic Series</subfield><subfield code="v">30</subfield><subfield code="x">1386-2790</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In contrast to the prevailing tradition in epistemology, the focus in this book is on low-level inferences, i.e., those inferences that we are usually not consciously aware of and that we share with the cat nearby which infers that the bird which she sees picking grains from the dirt, is able to fly. Presumably, such inferences are not generated by explicit logical reasoning, but logical methods can be used to describe and analyze such inferences. Part 1 gives a purely system-theoretic explication of belief and inference. Part 2 adds a reliabilist theory of justification for inference, with a qualitative notion of reliability being employed. Part 3 recalls and extends various systems of deductive and nonmonotonic logic and thereby explains the semantics of absolute and high reliability. In Part 4 it is proven that qualitative neural networks are able to draw justified deductive and nonmonotonic inferences on the basis of distributed representations. This is derived from a soundness/completeness theorem with regard to cognitive semantics of nonmonotonic reasoning. The appendix extends the theory both logically and ontologically, and relates it to A. Goldman's reliability account of justified belief</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Genetic epistemology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Epistemology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Statistical Physics, Dynamical Systems and Complexity</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erkenntnistheorie</subfield><subfield code="0">(DE-588)4070914-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Erkenntnistheorie</subfield><subfield code="0">(DE-588)4070914-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4020-2806-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027854666</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042419249 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:04Z |
| institution | BVB |
| isbn | 9781402028069 9789048166695 |
| issn | 1386-2790 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027854666 |
| oclc_num | 1184498898 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (X, 386 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2004 |
| publishDateSearch | 2004 |
| publishDateSort | 2004 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Applied Logic Series |
| spelling | Leitgeb, Hannes Verfasser aut Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition by Hannes Leitgeb Dordrecht Springer Netherlands 2004 1 Online-Ressource (X, 386 p) txt rdacontent c rdamedia cr rdacarrier Applied Logic Series 30 1386-2790 In contrast to the prevailing tradition in epistemology, the focus in this book is on low-level inferences, i.e., those inferences that we are usually not consciously aware of and that we share with the cat nearby which infers that the bird which she sees picking grains from the dirt, is able to fly. Presumably, such inferences are not generated by explicit logical reasoning, but logical methods can be used to describe and analyze such inferences. Part 1 gives a purely system-theoretic explication of belief and inference. Part 2 adds a reliabilist theory of justification for inference, with a qualitative notion of reliability being employed. Part 3 recalls and extends various systems of deductive and nonmonotonic logic and thereby explains the semantics of absolute and high reliability. In Part 4 it is proven that qualitative neural networks are able to draw justified deductive and nonmonotonic inferences on the basis of distributed representations. This is derived from a soundness/completeness theorem with regard to cognitive semantics of nonmonotonic reasoning. The appendix extends the theory both logically and ontologically, and relates it to A. Goldman's reliability account of justified belief Philosophy (General) Genetic epistemology Logic Artificial intelligence Philosophy Epistemology Artificial Intelligence (incl. Robotics) Statistical Physics, Dynamical Systems and Complexity Künstliche Intelligenz Philosophie Logik (DE-588)4036202-4 gnd rswk-swf Erkenntnistheorie (DE-588)4070914-0 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Erkenntnistheorie (DE-588)4070914-0 s Logik (DE-588)4036202-4 s 2\p DE-604 https://doi.org/10.1007/978-1-4020-2806-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Leitgeb, Hannes Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition Philosophy (General) Genetic epistemology Logic Artificial intelligence Philosophy Epistemology Artificial Intelligence (incl. Robotics) Statistical Physics, Dynamical Systems and Complexity Künstliche Intelligenz Philosophie Logik (DE-588)4036202-4 gnd Erkenntnistheorie (DE-588)4070914-0 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4070914-0 (DE-588)4113937-9 |
| title | Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition |
| title_auth | Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition |
| title_exact_search | Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition |
| title_full | Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition by Hannes Leitgeb |
| title_fullStr | Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition by Hannes Leitgeb |
| title_full_unstemmed | Inference on the Low Level An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition by Hannes Leitgeb |
| title_short | Inference on the Low Level |
| title_sort | inference on the low level an investigation into deduction nonmonotonic reasoning and the philosophy of cognition |
| title_sub | An Investigation into Deduction, Nonmonotonic Reasoning, and the Philosophy of Cognition |
| topic | Philosophy (General) Genetic epistemology Logic Artificial intelligence Philosophy Epistemology Artificial Intelligence (incl. Robotics) Statistical Physics, Dynamical Systems and Complexity Künstliche Intelligenz Philosophie Logik (DE-588)4036202-4 gnd Erkenntnistheorie (DE-588)4070914-0 gnd |
| topic_facet | Philosophy (General) Genetic epistemology Logic Artificial intelligence Philosophy Epistemology Artificial Intelligence (incl. Robotics) Statistical Physics, Dynamical Systems and Complexity Künstliche Intelligenz Philosophie Logik Erkenntnistheorie Hochschulschrift |
| url | https://doi.org/10.1007/978-1-4020-2806-9 |
| work_keys_str_mv | AT leitgebhannes inferenceonthelowlevelaninvestigationintodeductionnonmonotonicreasoningandthephilosophyofcognition |