Knowledge contributors:
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Dordrecht [u.a.]
Kluwer Academic Publishers
2003
|
Schriftenreihe: | Synthese library
322 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | Based on a conference held in May 2002 at Roskilde University, Denmark. - Includes bibliographical references and index. |
Beschreibung: | IX, 203 S. |
ISBN: | 1402017472 1402017480 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV017635635 | ||
003 | DE-604 | ||
005 | 20060209 | ||
007 | t | ||
008 | 031104s2003 ne |||| 10||| eng d | ||
010 | |a 2003066547 | ||
020 | |a 1402017472 |9 1-4020-1747-2 | ||
020 | |a 1402017480 |9 1-4020-1748-0 | ||
035 | |a (OCoLC)53242696 | ||
035 | |a (DE-599)BVBBV017635635 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
044 | |a ne |c NL | ||
049 | |a DE-12 |a DE-355 |a DE-29 | ||
050 | 0 | |a BC21.E64 | |
082 | 0 | |a 121 |2 22 | |
084 | |a CC 4400 |0 (DE-625)17626: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
245 | 1 | 0 | |a Knowledge contributors |c ed. by Vincent F. Hendricks ... |
264 | 1 | |a Dordrecht [u.a.] |b Kluwer Academic Publishers |c 2003 | |
300 | |a IX, 203 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Synthese library |v 322 | |
500 | |a Based on a conference held in May 2002 at Roskilde University, Denmark. - Includes bibliographical references and index. | ||
650 | 4 | |a Connaissance, Théorie de la | |
650 | 4 | |a Logique | |
650 | 4 | |a Épistémique | |
650 | 4 | |a Épistémique - Histoire | |
650 | 4 | |a Geschichte | |
650 | 4 | |a Epistemics | |
650 | 4 | |a Epistemics |x History | |
650 | 4 | |a Knowledge, Theory of | |
650 | 4 | |a Logic | |
650 | 0 | 7 | |a Wissen |0 (DE-588)4066559-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Erkenntnistheorie |0 (DE-588)4070914-0 |2 gnd |9 rswk-swf |
651 | 7 | |a Roskilde |0 (DE-588)4050588-1 |2 gnd |9 rswk-swf | |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
689 | 0 | 0 | |a Erkenntnistheorie |0 (DE-588)4070914-0 |D s |
689 | 0 | 1 | |a Wissen |0 (DE-588)4066559-8 |D s |
689 | 0 | 2 | |a Roskilde |0 (DE-588)4050588-1 |D g |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Hendricks, Vincent F. |e Sonstige |4 oth | |
830 | 0 | |a Synthese library |v 322 |w (DE-604)BV000005044 |9 322 | |
856 | 4 | 2 | |m SWB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010607006&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-010607006 |
Datensatz im Suchindex
_version_ | 1804130383862693888 |
---|---|
adam_text | IMAGE 1
CONTENTS
PREFACE IX
V.F. HENDRICKS, K.F. J0RGENSEN AND S.A. PEDERSEN / INTRODUCTION 1
1. AGENT AND SYSTEM 1
2. ACTIVE AGENTHOOD 6
3. MULTIPLE ACTIVE AGENTS 9
4. MULTI-MODALITIES 11
5. CONCLUSION 13
NOTES 13
REFERENCES 14
W. LENZEN / KNOWLEDGE, BELIEF, AND SUBJECTIVE PROBABILITY: OUTLINES OF A
UNIFIED SYSTEM OF EPISTEMIC/DOXASTIC LOGIC 17
1. THE LOGIC OF CONVICTION 17
2. THE LOGIC OF KNOWLEDGE 21
3. THE LOGIC OF ( WEAK ) BELIEF 24
4. THE PRAGMATICS OF EPISTEMIC SENTENCES 26
NOTES 30
REFERENCES 30
J. HINTIKKA / A SECOND GENERATION EPISTEMIC LOGIC AND ITS GENERAL
SIGNIFICANCE 33
1. THE PRIMA FACIE CONUNDRUM OF EPISTEMIC LOGIC 33
2. THE PROMISES 37
3. PROMISES FULFILLED BY MEANS OF THE NOTION OF INDEPENDENCE . .. 46
REFERENCES 54
H. ROTT / ECONOMICS AND ECONOMY IN THE THEORY OF BELIEF REVISION . 57
1. INTRODUCTION 57
2. WHAT IS ECONOMICS? 58
3. ACTING ECONOMICALLY, A SECOND VIEW: INFORMATIONAL ECONOMY 60
4. ECONOMIC AND ECONOMICAL CONSIDERATIONS IN BELIEF REVISION THEORY 61
5. INFORMATIONAL ECONOMY WITH RESPECT TO BELIEFS: WHAT HAS BEEN DONE? 65
6. INFORMATIONAL ECONOMY WITH RESPECT TO BELIEFS: WHAT SHOULD BE DONE?
68
IMAGE 2
VI
7. CONSERVATISM WITH RESPECT TO BELIEF-REVISION GUIDING STRUCTURES:
WHAT HAS BEEN DONE? 69
8. CONSERVATISM WITH RESPECT TO BELIEF-REVISION GUIDING STRUCTURES: WHAT
SHOULD BE DONE? 71
9. RATIONAL CHOICES AND LOGICAL PROPERTIES: WHAT HAS BEEN DONE? 74
10. RATIONAL CHOICES AND LOGICAL PROPERTIES: WHAT SHOULD BE DONE? 76
11. CONCLUSION 79
NOTES 80
REFERENCES 83
R. FAGIN, J.Y. HALPERN, Y. MOSES AND M.Y. VARDI / COMMON KNOWLEDGE
REVISITED 87
1. INTRODUCTION 87
2. TWO PUZZLES 88
3. COMMON KNOWLEDGE AND UNCERTAINTY 90
4. SIMULTANEOUS EVENTS 91
5. TEMPORAL IMPRECISION 95
6. THE GRANULARITY OF TIME 96
7. APPROXIMATIONS OF COMMON KNOWLEDGE 98
8. SUMMARY 101
NOTES 102
REFERENCES 103
H.P. VAN DITMARSCH, W. VAN DER HOEK AND B.P. KOOI / CON- CURRENT DYNAMIC
EPISTEMIC LOGIC 105
1. INTRODUCTION 105
2. LANGUAGE AND SEMANTICS 107
3. PROOF SYSTEM 119
4. COMPLETENESS 130
5. APPLICATIONS 136
6. CONCLUSIONS 140
REFERENCES 141
J.F. SOWA / LAWS, FACTS, AND CONTEXTS: FOUNDATIONS OF MULTIMODAL
REASONING 145
1. REPLACING POSSIBLE WORLDS WITH CONTEXTS 145
2. DUNN S LAWS AND FACTS 147
3. CONTEXTS BY PEIRCE AND MCCARTHY 149
4. TARSKI S METALEVELS 155
5. NESTED GRAPH MODELS 157
6. BEYOND KRIPKE SEMANTICS 165
IMAGE 3
VLL
7. THE INTENDED INTERPRETATION 174
REFERENCES 183
R. WOJCICKI / REFERENTIAL SEMANTICS 185
1. THE GENERAL IDEA OF REFERENTIAL SEMANTICS 185
2. LANGUAGE 186
3. COMPONENTS OF REFERENTIAL SEMANTICS 187
4. SUBSTITUTIONS 187
5. SOME NOTATION 188
6. THE DEFINITION COMPLETED 188
7. A FEW EXAMPLES 189
8. FOUR PRINCIPLES OF LOGICAL ANALYSIS 190
9. LOGICAL CONSEQUENCES 192
10. A FEW COMMENTS ON THE PECULIAR STATUS OF THE IDENTITY PREDICATE 192
11. GENERAL PROPERTIES OF CONSEQUENCE OPERATIONS 193 12. THE TRUTH
PRESERVING CONSEQUENCE OPERATIONS 194 13. THE PROBLEM OF ADEQUACY 194
14. SELF-EXTENSIONAL CONSEQUENCE OPERATIONS 195
15. ADEQUACY THEOREM 195
16. THE NEED FOR REFERENTIAL SEMANTICS 195
17. NOTES AND REFERENCES 197
REFERENCES 198
INDEX 199
|
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV017635635 |
callnumber-first | B - Philosophy, Psychology, Religion |
callnumber-label | BC21 |
callnumber-raw | BC21.E64 |
callnumber-search | BC21.E64 |
callnumber-sort | BC 221 E64 |
callnumber-subject | BC - Logic |
classification_rvk | CC 4400 |
ctrlnum | (OCoLC)53242696 (DE-599)BVBBV017635635 |
dewey-full | 121 |
dewey-hundreds | 100 - Philosophy & psychology |
dewey-ones | 121 - Epistemology (Theory of knowledge) |
dewey-raw | 121 |
dewey-search | 121 |
dewey-sort | 3121 |
dewey-tens | 120 - Epistemology, causation, humankind |
discipline | Philosophie |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02138nam a2200589 cb4500</leader><controlfield tag="001">BV017635635</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060209 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">031104s2003 ne |||| 10||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2003066547</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402017472</subfield><subfield code="9">1-4020-1747-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402017480</subfield><subfield code="9">1-4020-1748-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)53242696</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017635635</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="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC21.E64</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">121</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4400</subfield><subfield code="0">(DE-625)17626:</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">Knowledge contributors</subfield><subfield code="c">ed. by Vincent F. Hendricks ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer Academic Publishers</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 203 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">Synthese library</subfield><subfield code="v">322</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Based on a conference held in May 2002 at Roskilde University, Denmark. - Includes bibliographical references and index.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Connaissance, Théorie de la</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Épistémique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Épistémique - Histoire</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Geschichte</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Epistemics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Epistemics</subfield><subfield code="x">History</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Knowledge, Theory of</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissen</subfield><subfield code="0">(DE-588)4066559-8</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="651" ind1=" " ind2="7"><subfield code="a">Roskilde</subfield><subfield code="0">(DE-588)4050588-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</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">Wissen</subfield><subfield code="0">(DE-588)4066559-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Roskilde</subfield><subfield code="0">(DE-588)4050588-1</subfield><subfield code="D">g</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hendricks, Vincent F.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthese library</subfield><subfield code="v">322</subfield><subfield code="w">(DE-604)BV000005044</subfield><subfield code="9">322</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">SWB Datenaustausch</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=010607006&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-010607006</subfield></datafield></record></collection> |
genre | (DE-588)1071861417 Konferenzschrift gnd-content |
genre_facet | Konferenzschrift |
geographic | Roskilde (DE-588)4050588-1 gnd |
geographic_facet | Roskilde |
id | DE-604.BV017635635 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T19:20:10Z |
institution | BVB |
isbn | 1402017472 1402017480 |
language | English |
lccn | 2003066547 |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010607006 |
oclc_num | 53242696 |
open_access_boolean | |
owner | DE-12 DE-355 DE-BY-UBR DE-29 |
owner_facet | DE-12 DE-355 DE-BY-UBR DE-29 |
physical | IX, 203 S. |
publishDate | 2003 |
publishDateSearch | 2003 |
publishDateSort | 2003 |
publisher | Kluwer Academic Publishers |
record_format | marc |
series | Synthese library |
series2 | Synthese library |
spelling | Knowledge contributors ed. by Vincent F. Hendricks ... Dordrecht [u.a.] Kluwer Academic Publishers 2003 IX, 203 S. txt rdacontent n rdamedia nc rdacarrier Synthese library 322 Based on a conference held in May 2002 at Roskilde University, Denmark. - Includes bibliographical references and index. Connaissance, Théorie de la Logique Épistémique Épistémique - Histoire Geschichte Epistemics Epistemics History Knowledge, Theory of Logic Wissen (DE-588)4066559-8 gnd rswk-swf Erkenntnistheorie (DE-588)4070914-0 gnd rswk-swf Roskilde (DE-588)4050588-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Erkenntnistheorie (DE-588)4070914-0 s Wissen (DE-588)4066559-8 s Roskilde (DE-588)4050588-1 g DE-604 Hendricks, Vincent F. Sonstige oth Synthese library 322 (DE-604)BV000005044 322 SWB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010607006&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Knowledge contributors Synthese library Connaissance, Théorie de la Logique Épistémique Épistémique - Histoire Geschichte Epistemics Epistemics History Knowledge, Theory of Logic Wissen (DE-588)4066559-8 gnd Erkenntnistheorie (DE-588)4070914-0 gnd |
subject_GND | (DE-588)4066559-8 (DE-588)4070914-0 (DE-588)4050588-1 (DE-588)1071861417 |
title | Knowledge contributors |
title_auth | Knowledge contributors |
title_exact_search | Knowledge contributors |
title_full | Knowledge contributors ed. by Vincent F. Hendricks ... |
title_fullStr | Knowledge contributors ed. by Vincent F. Hendricks ... |
title_full_unstemmed | Knowledge contributors ed. by Vincent F. Hendricks ... |
title_short | Knowledge contributors |
title_sort | knowledge contributors |
topic | Connaissance, Théorie de la Logique Épistémique Épistémique - Histoire Geschichte Epistemics Epistemics History Knowledge, Theory of Logic Wissen (DE-588)4066559-8 gnd Erkenntnistheorie (DE-588)4070914-0 gnd |
topic_facet | Connaissance, Théorie de la Logique Épistémique Épistémique - Histoire Geschichte Epistemics Epistemics History Knowledge, Theory of Logic Wissen Erkenntnistheorie Roskilde Konferenzschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010607006&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000005044 |
work_keys_str_mv | AT hendricksvincentf knowledgecontributors |