Konstruktive Einführung in die formale Logik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Mannheim u.a.
Bibliogr. Inst.
1984
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 268 S. graph. Darst. |
| ISBN: | 3411016280 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000730396 | ||
| 003 | DE-604 | ||
| 005 | 19920818 | ||
| 007 | t | ||
| 008 | 880412s1984 d||| |||| 00||| ger d | ||
| 020 | |a 3411016280 |9 3-411-01628-0 | ||
| 035 | |a (OCoLC)14046143 | ||
| 035 | |a (DE-599)BVBBV000730396 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-12 |a DE-473 |a DE-739 |a DE-898 |a DE-355 |a DE-20 |a DE-824 |a DE-29 |a DE-29T |a DE-210 |a DE-706 |a DE-634 |a DE-188 | ||
| 050 | 0 | |a BC15 | |
| 082 | 0 | |a 160 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Haas, Gerrit |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Konstruktive Einführung in die formale Logik |
| 264 | 1 | |a Mannheim u.a. |b Bibliogr. Inst. |c 1984 | |
| 300 | |a 268 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konstruktivismus |g Philosophie |0 (DE-588)4032237-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 1 | 1 | |a Konstruktivismus |g Philosophie |0 (DE-588)4032237-3 |D s |
| 689 | 1 | |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=000457002&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000457002 | ||
Datensatz im Suchindex
| _version_ | 1804115181802881024 |
|---|---|
| adam_text | INHALT
0. Einleitung 11
1. Allgemeine Junktorenlogik 15
1.1 Logische Operatoren und logische
Folgerungsbeziehung 16
1.1.1 Primäre Junktoren 16
1.1.2 Behauptungen und Zweifel 18
1.1.3 Logische Folgerungen 19
1.1.4 Terminologische Vereinbarungen 20
1.1.5 Das Dialogverfahren 24
1.1.6 Abgeleitete Operatoren 31
1.1.7 Rahmenregeln für Dialoge 35
1.2 Technik der Dialogführung 40
1.2.1 Beispiele für Dialoge 40
1.2.2 Abkürzungen und technische Vereinbarungen 44
1.2.2.1 Punktierungskonvention 45
1.2.2.2 Charakterisierung von Dialogschritten 46
1.2.3 Übungsaufgaben 50
1.2.4 Lösungen 51
1.2.5 Logische Falschheit und ünwiderlegbarkeit 61
1.3 Methoden der Strategiebildung 62
1.3.1 Dialogstarambäume 63
1.3.2 Strategiebildungsformen 64
1.4 Folgerungen aus allgemeinen
Strategieüberlegungen 71
1.5 Der Kalkül Kß für die allgemeine
Junktorenlogik 78
1.5.1 Die Regeln von KD 78
1.5.2 Terminologische und technische Vereinbarungen 82
1.5.3 Ableitungen und Reduktionen in KD 82
1.5.4 Ergänzungen und Beispiele 87
1.5.5 Übungsaufgaben 88
1.5.6 Lösungen 89
1.5.7 Unableitbarkeitsbeweise in KD 92
1.6 Zulässige Regeln für KD 94
8 INHALT
1.6.1 Strukturelle Regeln I 94
1.6.2 Operatorenregeln 95
1.6.3 Konsequenzen von Zulässigkeitsbetrachtungen
für Reduktionen in KD und Strategien im
Dialog 99
1.6.4 Technische Vereinfachungen des Kalküls KD 100
1.6.5 Strukturelle Regeln II 101
1.7 Zusammenfassung 110
2. Klassische Junktorenlogik
für Bereiche wahrheitsdefiniter bzw.
stabiler Aussagen 111
2.1 Formale Gültigkeit in wahrheitsdefiniten
Aussagenbereichen 112
2.2 Vereinfachungen des Uberprüfungsverfahrens
für W-Gültigkeit 11
2.3 Strategien im Verfahren der semantischen
Tableaux 122
2.4 Der Kalkül KTT für die WJL 123
w
2.4.1 Ableitungen und Reduktionen in Kw 125
2.4.2 Übungsaufgaben 126
2.4.3 Lösungen 127
2.5 Zulässige Regeln in Kw 133
2.5.1 Strukturelle Regeln 133
2.5.2 Operatorenregeln 133
2.6 Spezielle Metatheoreme für die WJL 135
2.6.1 Minimalisierung der Junktorenanzahl 136
2.6.2 Dualität 138
2.6.3 Normalformen 140
2.7 Zur Logik stabiler Aussagenbereiche 141
2.8 Zusammenfassung 143
3. Quantorenlogik 144
3.1 Quantoren im Dialog 147
3.1.1 Erläuterungen zur Sprache der Quantorenlogik 151
3.1.2 Voraussetzungen und inhaltliche Interpretation
der Quantorenlogik 153
3.1.3 Übungsaufgaben 158
3.1.4 Lösungen 159
INHALT 9
3.2 Der KalkülK für die allgemeine
Quantorenlogik 164
3.3 Klassische Quantorenlogik 167
3.4 Zusammenwirken von Quantoren und Junktoren 170
3.4.1 Vertauschbarkeit von Quantoren 171
3.4.2 Quantoren und Negation 172
3.4.3 Quantoren und Konjunktion 174
3.4.4 Quantoren und Adjunktion 174
3.4.5 Quantoren und Subjunktion 175
3.4.6 Weitere systematisch interessante
Implikationsbeziehungen 176
3.4.7 Lösungen zu den Aufgaben aus 3.4 177
3.5 Zulässige Regeln und Sätze zu den
Kalkülen KQD und KQW 190
3.5.1 Strukturelle Regeln und Sätze I 191
3.5.2 Operatorenregeln . 192
3.5.3 Strukturelle Regeln und Sätze II 196
3.5.4 Dualität 198
3.5.5 Normalformen 199
3.6 Zusammenfassung 200
4. Erweiterungen und Spezialisierungen
der Quantorenlogik 201
4.1 Logik der Gleichheit 202
4.2 Kennzeichnungen und Terme 206
4.3 Abstraktionstheorie 209
4.4 Modallogiken 222
4.4.1 Ontische Modallogik 223
4.4.2 Deontische Modallogik 226
4.4.3 Definitorische Erweiterungen modallogischer
Systeme 226
4.4.4 Klassische Versionen der Modallogiken 227
4.4.5 Verschärfungen der Modallogiken 228
5. Theorie der Logik 229
5.1 Widerspruchsfreiheit und Vollständigkeit 229
5.2 Widerspruchsfreiheit und Vollständigkeit
der Kalküle KQD und KQW 233
10 INHALT
5.2.1 Überführung von Dialogstrategien in
KQD-Ableitungen 234
5.2.2 Überführung von K „-Ableitungen in
Dialogstrategien 236
5.3 Das Entscheidungsproblem 238
5.4 Vergleich von Theorien 239
5.4.1 Minimallogik, strenge und affirmative Logik 241
5.4.2 Interpretation der klassischen in der
allgemeinen Logik 243
5.5 Zusammenfassung 245
6. Nachwort 247
Anhang 249
Notations- und Terminologievarianten 249
Literaturhinweise 253
Index 258
Symbolverzeichnis 268
|
| any_adam_object | 1 |
| author | Haas, Gerrit |
| author_facet | Haas, Gerrit |
| author_role | aut |
| author_sort | Haas, Gerrit |
| author_variant | g h gh |
| building | Verbundindex |
| bvnumber | BV000730396 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC15 |
| callnumber-raw | BC15 |
| callnumber-search | BC15 |
| callnumber-sort | BC 215 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2400 SK 130 |
| classification_tum | MAT 030f |
| ctrlnum | (OCoLC)14046143 (DE-599)BVBBV000730396 |
| 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 | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01751nam a2200457 c 4500</leader><controlfield tag="001">BV000730396</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19920818 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880412s1984 d||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3411016280</subfield><subfield code="9">3-411-01628-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)14046143</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000730396</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-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC15</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Haas, Gerrit</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Konstruktive Einführung in die formale Logik</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Mannheim u.a.</subfield><subfield code="b">Bibliogr. Inst.</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">268 S.</subfield><subfield code="b">graph. Darst.</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">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Konstruktivismus</subfield><subfield code="g">Philosophie</subfield><subfield code="0">(DE-588)4032237-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Konstruktivismus</subfield><subfield code="g">Philosophie</subfield><subfield code="0">(DE-588)4032237-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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=000457002&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-000457002</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV000730396 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T15:18:32Z |
| institution | BVB |
| isbn | 3411016280 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000457002 |
| oclc_num | 14046143 |
| open_access_boolean | |
| owner | DE-12 DE-473 DE-BY-UBG DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-20 DE-824 DE-29 DE-29T DE-210 DE-706 DE-634 DE-188 |
| owner_facet | DE-12 DE-473 DE-BY-UBG DE-739 DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-20 DE-824 DE-29 DE-29T DE-210 DE-706 DE-634 DE-188 |
| physical | 268 S. graph. Darst. |
| publishDate | 1984 |
| publishDateSearch | 1984 |
| publishDateSort | 1984 |
| publisher | Bibliogr. Inst. |
| record_format | marc |
| spelling | Haas, Gerrit Verfasser aut Konstruktive Einführung in die formale Logik Mannheim u.a. Bibliogr. Inst. 1984 268 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Logic Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Konstruktivismus Philosophie (DE-588)4032237-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Prädikatenlogik (DE-588)4046974-8 s Konstruktivismus Philosophie (DE-588)4032237-3 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000457002&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Haas, Gerrit Konstruktive Einführung in die formale Logik Logic Prädikatenlogik (DE-588)4046974-8 gnd Konstruktivismus Philosophie (DE-588)4032237-3 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4046974-8 (DE-588)4032237-3 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Konstruktive Einführung in die formale Logik |
| title_auth | Konstruktive Einführung in die formale Logik |
| title_exact_search | Konstruktive Einführung in die formale Logik |
| title_full | Konstruktive Einführung in die formale Logik |
| title_fullStr | Konstruktive Einführung in die formale Logik |
| title_full_unstemmed | Konstruktive Einführung in die formale Logik |
| title_short | Konstruktive Einführung in die formale Logik |
| title_sort | konstruktive einfuhrung in die formale logik |
| topic | Logic Prädikatenlogik (DE-588)4046974-8 gnd Konstruktivismus Philosophie (DE-588)4032237-3 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic Prädikatenlogik Konstruktivismus Philosophie Mathematische Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000457002&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT haasgerrit konstruktiveeinfuhrungindieformalelogik |