Formen des logischen Allwissens: eine problemorientierte Darstellung modallogischer Systeme
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Abschlussarbeit Buch |
Sprache: | German |
Veröffentlicht: |
Dresden
Thelem bei w.e.b.
2007
|
Schriftenreihe: | Studien zur Philosophie und Logik
2 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | VI, 395 S. |
ISBN: | 9783939888208 3939888206 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV023008807 | ||
003 | DE-604 | ||
005 | 20080128 | ||
007 | t | ||
008 | 071119s2007 gw m||| 00||| ger d | ||
015 | |a 07,N27,0126 |2 dnb | ||
015 | |a 07,A41,0106 |2 dnb | ||
016 | 7 | |a 984490183 |2 DE-101 | |
020 | |a 9783939888208 |c kart. : EUR 59.00 |9 978-3-939888-20-8 | ||
020 | |a 3939888206 |c kart. : EUR 59.00 |9 3-939888-20-6 | ||
024 | 3 | |a 9783939888208 | |
035 | |a (OCoLC)219340779 | ||
035 | |a (DE-599)DNB984490183 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c XA-DE-SN | ||
049 | |a DE-12 |a DE-29 |a DE-739 |a DE-M468 |a DE-11 | ||
082 | 1 | |a 160 |2 22//ger | |
082 | 0 | |a 160 |2 22/ger | |
084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
084 | |a 100 |2 sdnb | ||
100 | 1 | |a Cursiefen, Stephan |e Verfasser |0 (DE-588)133386449 |4 aut | |
245 | 1 | 0 | |a Formen des logischen Allwissens |b eine problemorientierte Darstellung modallogischer Systeme |c Stephan Cursiefen |
264 | 1 | |a Dresden |b Thelem bei w.e.b. |c 2007 | |
300 | |a VI, 395 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Studien zur Philosophie und Logik |v 2 | |
502 | |a Zugl.: Bonn, Univ., Diss., 2006 | ||
650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
689 | 0 | |5 DE-604 | |
830 | 0 | |a Studien zur Philosophie und Logik |v 2 |w (DE-604)BV019796309 |9 2 | |
856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016213052&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-016213052 |
Datensatz im Suchindex
_version_ | 1804137222340870144 |
---|---|
adam_text | iii
Inhaltsverzeichnis
1 Einleitung 1
1.1 Motivation 1
1.2 Gliederung 3
2 Der begriffliche Rahmen 5
2.1 Wissen 5
2.1.1 Das klassische Wissensexplikat 7
2.1.2 Russell, Gettier und andere Widersacher 12
2.1.3 Theorien der epistemischen Rechtfertigung 16
2.1.3.1 Epistemischer Internalismus 17
2.1.3.2 Epistemischer Externalismus 18
2.1.3.3 Wissen ohne Rechtfertigung? 20
2.1.4 Wissensbegriffe der epistemischen Logik 23
2.1.4.1 Epistemische Subjekte 24
2.1.4.2 Epistemische Objekte 25
2.1.5 Wissen als wahre Meinung und ... 27
2.2 Wahrheit 30
2.2.1 Globale und lokale Wahrheitsbegriffe 31
2.2.2 Modell und beweistheoretische Wahrheitsbegriffe 32
2.3 Mögliche Welten 33
2.3.1 Der ontologische Status möglicher Welten 38
2.3.1.1 Modaler Realismus 39
2.3.1.2 Modaler Aktualismus 40
2.3.1.3 Meinongianismus 41
2.3.1.4 Eine pragmatische Alternative 42
2.3.2 Mögliche Welten und ihre Funktionen 42
2.3.2.1 Mögliche Welten und epistemische Alternativen 43
2.3.2.2 Logisch mögliche und unmögliche Welten 45
2.3.3 Welten und Formelmengen 49
2.4 Zusammenfassung 51
iv Inhaltsverzeichnis
3 Das Problem des logischen Allwissens 54
3.1 Systematische Vorbemerkungen 54
3.1.1 Syntax und Semantik modallogischer Systeme 55
3.1.2 Standardaxiomatisierungen normaler Systeme 62
3.1.3 Beweistheorie 67
3.2 Formen des logischen Allwissens 70
3.2.1 Eine definitorische Charakterisierung 71
3.2.2 Eine alternative Charakterisierung 74
3.2.3 Logisches Allwissen und logische Ignoranz 81
3.3 Normale und nicht normale Systeme 82
3.3.1 Die Systeme S.2° bis S3.5n 86
1 n n
3.3.2 Das System IntKn und seine Erweiterungen 92
3.4 Wissensbegriffe modallogischer Systeme 100
3.4.1 Der Wissensbegriff normaler Systeme 101
3.4.2 Der Wissensbegriff der Systeme S.2n bis S3.5n 104
3.4.3 Der Wissensbegriff des Systems IntTn und der Erweiterungen 107
3.5 Merkmale logisch allwissender Subjekte 111
3.6 Zusammenfassung 114
4 Allgemeine Überlegungen 117
4.1 Überlegungen zur epistemischen Logik 117
4.1.1 Logisch deduktive Fehlerquellen 117
4.1.2 Ist epistemische Logik möglich? 119
4.1.3 Bewertung und Idealisierung 122
4.1.4 Adäquatheitsbedingungen 126
4.1.4.1 Logische Adäquatheit 126
4.1.4.2 Empirische Adäquatheit 129
4.1.4.3 Systematische Erwägungen 129
4.2 Überlegungen zum Problem des logischen Allwissens 138
4.2.1 Ist das Problem überhaupt ein Problem? 139
4.2.2 Wie ist das Problem zu lösen? 143
4.2.3 Implizites und explizites Wissen 146
4.2.4 Abschlußbedingungen in zwei philosophischen Argumenten 150
4.2.4.1 Ein skeptisches Argument 151
4.2.4.2 Das Gettier Argument 154
4.3 Zusammenfassung 157
5 Lösungsvorschläge für das Problem 159
5.1 Erörterung eines Kategorisierungsschemas 159
5.2 Klassische Systeme des expliziten Wissens 168
Inhaltsverzeichnis v
5.2.1 Syntaktische Ansätze 169
5.2.1.1 Syntaktische Standardmodelle 169
5.2.1.2 Ignoranten, Idioten und Dummköpfe 179
5.2.2 Semantische Ansätze 186
5.2.2.1 Lokales und globales Wissen 192
5.2.2.2 Verwirrte Subjekte und undurchsichtiges Wissen 201
5.2.3 Noch einmal mögliche und unmögliche Welten 215
5.2.3.1 Unmögliche Welten: Hintikka 218
5.2.3.2 Unmögliche Welten: Rantala 221
5.2.4 Noch einmal implizites und explizites Wissen 231
5.2.4.1 Das Levesquesche System L 232
5.2.4.2 Noch einmal lokales und globales Wissen 246
5.2.5 Implizites Wissen modulo ... 250
5.2.5.1 Bewußtsein 251
5.2.5.2 Epistemische Prinzipien 264
5.2.5.3 Bekanntschaft und Verständnis 270
5.2.6 Verallgemeinerungen 275
5.2.6.1 Die Möglichkeiten logisch unmöglicher Welten 275
5.2.6.2 Die Möglichkeiten alogischer Bewußtseinsbegriffe 282
5.3 Nicht klassische Systeme des expliziten Wissens 285
5.3.1 Eine relevanzlogische Modelltheorie 286
5.3.2 Das System Kjj* und seine Erweiterungen 295
5.4 Zeitlogische Systeme des expliziten Wissens 306
5.4.1 Das System DEK„ und seine Erweiterungen 309
5.4.2 Wissen in der Zeit: Verzögerungen 316
5.5 Internalistische Ansätze des expliziten Wissens 322
5.5.1 Eine Logik endlicher epistemischer Zustände 324
5.5.2 Deduktionstheoretische Strukturen und Modelle 331
5.6 Zusammenfassung 335
6 Umrisse einer Alternative 339
6.1 Vorbemerkungen 339
6.2 Überlegungen zu externalistischen Rechtfertigungsbegriffen 339
6.3 Sprache und Modelltheorie 342
6.4 Wissen — Subjektive Möglichkeit und objektive Ähnlichkeit 347
6.5 Eine adäquate Axiomatisierung 351
6.6 Anwendungsfälle für externalistische Wissensbegriffe 357
6.7 ... und ihre Grenzen 362
6.8 Zusammenfassung 363
vi Inhaltsverzeichnis
Schlußwort 365
Literaturverzeichnis 369
Axiomenschemata, Schlußregeln und Symbole 384
Namensverzeichnis 388
Sachverzeichnis 390
|
adam_txt |
iii
Inhaltsverzeichnis
1 Einleitung 1
1.1 Motivation 1
1.2 Gliederung 3
2 Der begriffliche Rahmen 5
2.1 Wissen 5
2.1.1 Das klassische Wissensexplikat 7
2.1.2 Russell, Gettier und andere Widersacher 12
2.1.3 Theorien der epistemischen Rechtfertigung 16
2.1.3.1 Epistemischer Internalismus 17
2.1.3.2 Epistemischer Externalismus 18
2.1.3.3 Wissen ohne Rechtfertigung? 20
2.1.4 Wissensbegriffe der epistemischen Logik 23
2.1.4.1 Epistemische Subjekte 24
2.1.4.2 Epistemische Objekte 25
2.1.5 Wissen als wahre Meinung und . 27
2.2 Wahrheit 30
2.2.1 Globale und lokale Wahrheitsbegriffe 31
2.2.2 Modell und beweistheoretische Wahrheitsbegriffe 32
2.3 Mögliche Welten 33
2.3.1 Der ontologische Status möglicher Welten 38
2.3.1.1 Modaler Realismus 39
2.3.1.2 Modaler Aktualismus 40
2.3.1.3 Meinongianismus 41
2.3.1.4 Eine pragmatische Alternative 42
2.3.2 Mögliche Welten und ihre Funktionen 42
2.3.2.1 Mögliche Welten und epistemische Alternativen 43
2.3.2.2 Logisch mögliche und unmögliche Welten 45
2.3.3 Welten und Formelmengen 49
2.4 Zusammenfassung 51
iv Inhaltsverzeichnis
3 Das Problem des logischen Allwissens 54
3.1 Systematische Vorbemerkungen 54
3.1.1 Syntax und Semantik modallogischer Systeme 55
3.1.2 Standardaxiomatisierungen normaler Systeme 62
3.1.3 Beweistheorie 67
3.2 Formen des logischen Allwissens 70
3.2.1 Eine definitorische Charakterisierung 71
3.2.2 Eine alternative Charakterisierung 74
3.2.3 Logisches Allwissen und logische Ignoranz 81
3.3 Normale und nicht normale Systeme 82
3.3.1 Die Systeme S.2° bis S3.5n 86
1 n n
3.3.2 Das System IntKn und seine Erweiterungen 92
3.4 Wissensbegriffe modallogischer Systeme 100
3.4.1 Der Wissensbegriff normaler Systeme 101
3.4.2 Der Wissensbegriff der Systeme S.2n bis S3.5n 104
3.4.3 Der Wissensbegriff des Systems IntTn und der Erweiterungen 107
3.5 Merkmale logisch allwissender Subjekte 111
3.6 Zusammenfassung 114
4 Allgemeine Überlegungen 117
4.1 Überlegungen zur epistemischen Logik 117
4.1.1 Logisch deduktive Fehlerquellen 117
4.1.2 Ist epistemische Logik möglich? 119
4.1.3 Bewertung und Idealisierung 122
4.1.4 Adäquatheitsbedingungen 126
4.1.4.1 Logische Adäquatheit 126
4.1.4.2 Empirische Adäquatheit 129
4.1.4.3 Systematische Erwägungen 129
4.2 Überlegungen zum Problem des logischen Allwissens 138
4.2.1 Ist das Problem überhaupt ein Problem? 139
4.2.2 Wie ist das Problem zu lösen? 143
4.2.3 Implizites und explizites Wissen 146
4.2.4 Abschlußbedingungen in zwei philosophischen Argumenten 150
4.2.4.1 Ein skeptisches Argument 151
4.2.4.2 Das Gettier Argument 154
4.3 Zusammenfassung 157
5 Lösungsvorschläge für das Problem 159
5.1 Erörterung eines Kategorisierungsschemas 159
5.2 Klassische Systeme des expliziten Wissens 168
Inhaltsverzeichnis v
5.2.1 Syntaktische Ansätze 169
5.2.1.1 Syntaktische Standardmodelle 169
5.2.1.2 Ignoranten, Idioten und Dummköpfe 179
5.2.2 Semantische Ansätze 186
5.2.2.1 Lokales und globales Wissen 192
5.2.2.2 Verwirrte Subjekte und undurchsichtiges Wissen 201
5.2.3 Noch einmal mögliche und unmögliche Welten 215
5.2.3.1 Unmögliche Welten: Hintikka 218
5.2.3.2 Unmögliche Welten: Rantala 221
5.2.4 Noch einmal implizites und explizites Wissen 231
5.2.4.1 Das Levesquesche System L 232
5.2.4.2 Noch einmal lokales und globales Wissen 246
5.2.5 Implizites Wissen modulo . 250
5.2.5.1 Bewußtsein 251
5.2.5.2 Epistemische Prinzipien 264
5.2.5.3 Bekanntschaft und Verständnis 270
5.2.6 Verallgemeinerungen 275
5.2.6.1 Die Möglichkeiten logisch unmöglicher Welten 275
5.2.6.2 Die Möglichkeiten alogischer Bewußtseinsbegriffe 282
5.3 Nicht klassische Systeme des expliziten Wissens 285
5.3.1 Eine relevanzlogische Modelltheorie 286
5.3.2 Das System Kjj* und seine Erweiterungen 295
5.4 Zeitlogische Systeme des expliziten Wissens 306
5.4.1 Das System DEK„ und seine Erweiterungen 309
5.4.2 Wissen in der Zeit: Verzögerungen 316
5.5 Internalistische Ansätze des expliziten Wissens 322
5.5.1 Eine Logik endlicher epistemischer Zustände 324
5.5.2 Deduktionstheoretische Strukturen und Modelle 331
5.6 Zusammenfassung 335
6 Umrisse einer Alternative 339
6.1 Vorbemerkungen 339
6.2 Überlegungen zu externalistischen Rechtfertigungsbegriffen 339
6.3 Sprache und Modelltheorie 342
6.4 Wissen — Subjektive Möglichkeit und objektive Ähnlichkeit 347
6.5 Eine adäquate Axiomatisierung 351
6.6 Anwendungsfälle für externalistische Wissensbegriffe 357
6.7 . und ihre Grenzen 362
6.8 Zusammenfassung 363
vi Inhaltsverzeichnis
Schlußwort 365
Literaturverzeichnis 369
Axiomenschemata, Schlußregeln und Symbole 384
Namensverzeichnis 388
Sachverzeichnis 390 |
any_adam_object | 1 |
any_adam_object_boolean | 1 |
author | Cursiefen, Stephan |
author_GND | (DE-588)133386449 |
author_facet | Cursiefen, Stephan |
author_role | aut |
author_sort | Cursiefen, Stephan |
author_variant | s c sc |
building | Verbundindex |
bvnumber | BV023008807 |
classification_rvk | CC 2500 |
ctrlnum | (OCoLC)219340779 (DE-599)DNB984490183 |
dewey-full | 160 |
dewey-hundreds | 100 - Philosophy & psychology |
dewey-ones | 160 - Philosophical logic |
dewey-raw | 160 |
dewey-search | 160 |
dewey-sort | 3160 |
dewey-tens | 160 - Philosophical logic |
discipline | Philosophie |
discipline_str_mv | Philosophie |
format | Thesis Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01824nam a2200481 cb4500</leader><controlfield tag="001">BV023008807</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20080128 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">071119s2007 gw m||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N27,0126</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,A41,0106</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">984490183</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783939888208</subfield><subfield code="c">kart. : EUR 59.00</subfield><subfield code="9">978-3-939888-20-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3939888206</subfield><subfield code="c">kart. : EUR 59.00</subfield><subfield code="9">3-939888-20-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783939888208</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)219340779</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB984490183</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-SN</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="1" ind2=" "><subfield code="a">160</subfield><subfield code="2">22//ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</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="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Cursiefen, Stephan</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)133386449</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formen des logischen Allwissens</subfield><subfield code="b">eine problemorientierte Darstellung modallogischer Systeme</subfield><subfield code="c">Stephan Cursiefen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dresden</subfield><subfield code="b">Thelem bei w.e.b.</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VI, 395 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">Studien zur Philosophie und Logik</subfield><subfield code="v">2</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Bonn, Univ., Diss., 2006</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-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)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">Modallogik</subfield><subfield code="0">(DE-588)4074914-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">Studien zur Philosophie und Logik</subfield><subfield code="v">2</subfield><subfield code="w">(DE-604)BV019796309</subfield><subfield code="9">2</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=016213052&sequence=000004&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-016213052</subfield></datafield></record></collection> |
genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
genre_facet | Hochschulschrift |
id | DE-604.BV023008807 |
illustrated | Not Illustrated |
index_date | 2024-07-02T19:08:35Z |
indexdate | 2024-07-09T21:08:52Z |
institution | BVB |
isbn | 9783939888208 3939888206 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016213052 |
oclc_num | 219340779 |
open_access_boolean | |
owner | DE-12 DE-29 DE-739 DE-M468 DE-11 |
owner_facet | DE-12 DE-29 DE-739 DE-M468 DE-11 |
physical | VI, 395 S. |
publishDate | 2007 |
publishDateSearch | 2007 |
publishDateSort | 2007 |
publisher | Thelem bei w.e.b. |
record_format | marc |
series | Studien zur Philosophie und Logik |
series2 | Studien zur Philosophie und Logik |
spelling | Cursiefen, Stephan Verfasser (DE-588)133386449 aut Formen des logischen Allwissens eine problemorientierte Darstellung modallogischer Systeme Stephan Cursiefen Dresden Thelem bei w.e.b. 2007 VI, 395 S. txt rdacontent n rdamedia nc rdacarrier Studien zur Philosophie und Logik 2 Zugl.: Bonn, Univ., Diss., 2006 Modallogik (DE-588)4074914-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Modallogik (DE-588)4074914-9 s DE-604 Studien zur Philosophie und Logik 2 (DE-604)BV019796309 2 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016213052&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Cursiefen, Stephan Formen des logischen Allwissens eine problemorientierte Darstellung modallogischer Systeme Studien zur Philosophie und Logik Modallogik (DE-588)4074914-9 gnd |
subject_GND | (DE-588)4074914-9 (DE-588)4113937-9 |
title | Formen des logischen Allwissens eine problemorientierte Darstellung modallogischer Systeme |
title_auth | Formen des logischen Allwissens eine problemorientierte Darstellung modallogischer Systeme |
title_exact_search | Formen des logischen Allwissens eine problemorientierte Darstellung modallogischer Systeme |
title_exact_search_txtP | Formen des logischen Allwissens eine problemorientierte Darstellung modallogischer Systeme |
title_full | Formen des logischen Allwissens eine problemorientierte Darstellung modallogischer Systeme Stephan Cursiefen |
title_fullStr | Formen des logischen Allwissens eine problemorientierte Darstellung modallogischer Systeme Stephan Cursiefen |
title_full_unstemmed | Formen des logischen Allwissens eine problemorientierte Darstellung modallogischer Systeme Stephan Cursiefen |
title_short | Formen des logischen Allwissens |
title_sort | formen des logischen allwissens eine problemorientierte darstellung modallogischer systeme |
title_sub | eine problemorientierte Darstellung modallogischer Systeme |
topic | Modallogik (DE-588)4074914-9 gnd |
topic_facet | Modallogik Hochschulschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016213052&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV019796309 |
work_keys_str_mv | AT cursiefenstephan formendeslogischenallwissenseineproblemorientiertedarstellungmodallogischersysteme |