Epistemische Logik: zur logischen Analyse von Akzeptationsformen
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin
Akad.-Verl.
1984
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | 206 S. |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV000235108 | ||
003 | DE-604 | ||
005 | 20220208 | ||
007 | t | ||
008 | 870612s1984 |||| 00||| ger d | ||
035 | |a (OCoLC)1280380743 | ||
035 | |a (DE-599)BVBBV000235108 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
049 | |a DE-12 |a DE-19 |a DE-384 |a DE-739 |a DE-355 |a DE-824 |a DE-29 |a DE-523 |a DE-634 |a DE-11 |a DE-188 | ||
050 | 0 | |a BC73 | |
082 | 0 | |a 160 |2 19 | |
084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
084 | |a CC 4400 |0 (DE-625)17626: |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
100 | 1 | |a Stelzner, Werner |d 1947- |e Verfasser |0 (DE-588)1055751815 |4 aut | |
245 | 1 | 0 | |a Epistemische Logik |b zur logischen Analyse von Akzeptationsformen |
264 | 1 | |a Berlin |b Akad.-Verl. |c 1984 | |
300 | |a 206 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 4 | |a Logic | |
650 | 0 | 7 | |a Epistemische Logik |0 (DE-588)4152538-3 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Epistemische Logik |0 (DE-588)4152538-3 |D s |
689 | 0 | |5 DE-604 | |
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=000140910&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-000140910 |
Datensatz im Suchindex
_version_ | 1804114697493938176 |
---|---|
adam_text | Titel: Epistemische Logik
Autor: Stelzner, Werner
Jahr: 1984
Inhaltsverzeichnis
Vorwort 7
1. Einführung. Klassische und epistemische Logik 9
1.1. Zum Begründungsproblem in der Logik 9
1.2. Motive für den Aufbau epistemischer Logiken.
Synonymität in epistemischen Kontexten 21
2. Grundprobleme der logischen Analyse epistemischer Prädikate . 33
2.1. Parameterbezogenheit epistemischer Prädikate 33
2.2. Explizite und implizite epistemische Prädikate 39
2.2.1. Innere Akzeptation 40
2.2.1.1. Explizite innere Akzeptation 46
2.2.1.2. Implizite innere Akzeptation 50
2.2.1.3. Logische Folgerichtigkeit und Widerspruchsfreiheit epistemischer
Subjekte 54
2.2.1.4. Formale implizite innere Akzeptation 59
2.2.1.5. de-dicto- und de-re-Interpretation innerer Akzeptation 61
2.2.2. Innere Akzeptation und Begründung. Glauben und Wissen 64
2.3. Negationen in der epistemischen Logik 75
3. Effektive epistemische Logik 90
3.1. Sprechakte 91
3.1.1. Zur sprechakttheoretischen Explikation des Behauptungsbegriffs 91
3.1.2. Effektivität des Behauptungsbegriffs 95
3.1.3. Aufrichtige und unaufrichtige Behauptung. Lüge 100
3.1.4. Behauptung und Verstehen 104
3.1.5. Logische Normalität und Behauptung 106
3.2. Systeme der effektiven epistemischen Logik mit unterschiedlichen
Sorten von Variablen für Namen von Behauptenden 111
3.2.1. Ausdrucksdefinition 111
3.2.2. Die Systeme Sd, Sd , Sd , Sd , Sd e 113
5
3.2.3. Die syntaktische Widerspruchsfreiheit der Systeme Sa, Sd Sd ,
Sd e und Sd e 122
3.2.4. Unabhängigkeit der speziellen Axiome und Schlußregeln in Sd . 123
3.2.5. Intuitive Widerspruchsfreiheit und Vollständigkeit des Systems Sd 131
3.3. Mehrsortigkeit und Zusatzprädikate in der effektiven epistemi-
schen Logik 138
3.3.1. Das System SdZ 140
3.3.2. Das System Sz 141
3.3.3. Das System Szo 151
3.3.3.1. Starke Begriffe der elementaren Logizität, der Widerspruchsfrei¬
heit, der schwachen und strengen Folgerichtigkeit von Behaup¬
tenden 153
3.4. Absolute Antinomienfreiheit der Systeme der effektiven epistemi-
schen Logik 157
4. Logik und Diskussion 166
4.1. Zur Theorie der Diskussion. Methodologische Bemerkungen ... 166
4.2. Angemessenheit, Wirksamkeit und Gültigkeit von Argumenten in
der Diskussion 177
Verzeichnis der wichtigsten Symbole 183
Verzeichnis wichtiger Definitionen 185
Literatur 190
Personenregister 199
Sachregister 202
|
any_adam_object | 1 |
author | Stelzner, Werner 1947- |
author_GND | (DE-588)1055751815 |
author_facet | Stelzner, Werner 1947- |
author_role | aut |
author_sort | Stelzner, Werner 1947- |
author_variant | w s ws |
building | Verbundindex |
bvnumber | BV000235108 |
callnumber-first | B - Philosophy, Psychology, Religion |
callnumber-label | BC73 |
callnumber-raw | BC73 |
callnumber-search | BC73 |
callnumber-sort | BC 273 |
callnumber-subject | BC - Logic |
classification_rvk | CC 2500 CC 2600 CC 4400 |
ctrlnum | (OCoLC)1280380743 (DE-599)BVBBV000235108 |
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 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01381nam a2200373 c 4500</leader><controlfield tag="001">BV000235108</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220208 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1984 |||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1280380743</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000235108</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC73</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">19</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">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</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="100" ind1="1" ind2=" "><subfield code="a">Stelzner, Werner</subfield><subfield code="d">1947-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1055751815</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Epistemische Logik</subfield><subfield code="b">zur logischen Analyse von Akzeptationsformen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Akad.-Verl.</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">206 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="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Epistemische Logik</subfield><subfield code="0">(DE-588)4152538-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Epistemische Logik</subfield><subfield code="0">(DE-588)4152538-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=000140910&sequence=000002&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-000140910</subfield></datafield></record></collection> |
id | DE-604.BV000235108 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T15:10:50Z |
institution | BVB |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000140910 |
oclc_num | 1280380743 |
open_access_boolean | |
owner | DE-12 DE-19 DE-BY-UBM DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29 DE-523 DE-634 DE-11 DE-188 |
owner_facet | DE-12 DE-19 DE-BY-UBM DE-384 DE-739 DE-355 DE-BY-UBR DE-824 DE-29 DE-523 DE-634 DE-11 DE-188 |
physical | 206 S. |
publishDate | 1984 |
publishDateSearch | 1984 |
publishDateSort | 1984 |
publisher | Akad.-Verl. |
record_format | marc |
spelling | Stelzner, Werner 1947- Verfasser (DE-588)1055751815 aut Epistemische Logik zur logischen Analyse von Akzeptationsformen Berlin Akad.-Verl. 1984 206 S. txt rdacontent n rdamedia nc rdacarrier Logic Epistemische Logik (DE-588)4152538-3 gnd rswk-swf Epistemische Logik (DE-588)4152538-3 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000140910&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Stelzner, Werner 1947- Epistemische Logik zur logischen Analyse von Akzeptationsformen Logic Epistemische Logik (DE-588)4152538-3 gnd |
subject_GND | (DE-588)4152538-3 |
title | Epistemische Logik zur logischen Analyse von Akzeptationsformen |
title_auth | Epistemische Logik zur logischen Analyse von Akzeptationsformen |
title_exact_search | Epistemische Logik zur logischen Analyse von Akzeptationsformen |
title_full | Epistemische Logik zur logischen Analyse von Akzeptationsformen |
title_fullStr | Epistemische Logik zur logischen Analyse von Akzeptationsformen |
title_full_unstemmed | Epistemische Logik zur logischen Analyse von Akzeptationsformen |
title_short | Epistemische Logik |
title_sort | epistemische logik zur logischen analyse von akzeptationsformen |
title_sub | zur logischen Analyse von Akzeptationsformen |
topic | Logic Epistemische Logik (DE-588)4152538-3 gnd |
topic_facet | Logic Epistemische Logik |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000140910&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT stelznerwerner epistemischelogikzurlogischenanalysevonakzeptationsformen |