Logik-Skript: 1 Wahrheit und logisches Schließen
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Frankfurt am Main
Klostermann
[2018]
|
Schriftenreihe: | Klostermann Rote Reihe
99 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | 170 Seiten Diagramme |
ISBN: | 9783465042822 |
Internformat
MARC
LEADER | 00000nam a2200000 cc4500 | ||
---|---|---|---|
001 | BV044491661 | ||
003 | DE-604 | ||
005 | 20180206 | ||
007 | t | ||
008 | 170918s2018 |||| |||| 00||| ger d | ||
020 | |a 9783465042822 |9 978-3-465-04282-2 | ||
035 | |a (OCoLC)1004314981 | ||
035 | |a (DE-599)BVBBV044491661 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a ger | |
049 | |a DE-19 |a DE-83 |a DE-355 |a DE-12 |a DE-11 |a DE-824 |a DE-188 |a DE-29 |a DE-M468 | ||
084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
100 | 1 | |a Brendel, Elke |d 1962- |e Verfasser |0 (DE-588)136164676 |4 aut | |
245 | 1 | 0 | |a Logik-Skript |n 1 |p Wahrheit und logisches Schließen |c Elke Brendel |
264 | 1 | |a Frankfurt am Main |b Klostermann |c [2018] | |
300 | |a 170 Seiten |b Diagramme | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Klostermann Rote Reihe |v 99 | |
490 | 0 | |a Klostermann Rote Reihe | |
650 | 0 | 7 | |a Wahrheit |0 (DE-588)4064314-1 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Schlussfolgern |0 (DE-588)4251178-1 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Wahrheit |0 (DE-588)4064314-1 |D s |
689 | 0 | 1 | |a Schlussfolgern |0 (DE-588)4251178-1 |D s |
689 | 0 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 0 | |5 DE-604 | |
773 | 0 | 8 | |w (DE-604)BV044491637 |g 1 |
830 | 0 | |a Klostermann Rote Reihe |v 99 |w (DE-604)BV035421335 |9 99 | |
856 | 4 | 2 | |m Digitalisierung BSB Muenchen - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029891596&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-029891596 |
Datensatz im Suchindex
_version_ | 1804177836613828608 |
---|---|
adam_text | Inhalt
Vorwort.....................................................7
L Was ist Logik?............................................9
LÍ Logische Gültigkeit von Argumenten......................11
1.2 Logische Fehlschlüsse..................................20
L3 Inhaltliche Schlüssigkeit von Argumenten................22
I. 4 Übungen zu Kapitel 1.......................................25
II. Junktorenlogik und Wahrheits tafeln....................27
II. 1 Die formale Sprache der junktorenlogik....................27
11.2 Umgangssprache und Junktorenlogik.....................32
11.3 Bivalenz, Wahrheitsfunktionalität und Wahrheitstafeln......36
11.4 Negation, Konjunktion, Adjunktion, Kontravalenz.......38
11.5 Implikation und Äquivalenz.................................40
11.6 Wasons Vier-Karten-Auswahlaufgabe.....................44
IL7 Im Haus der Ritterinnen und Schurkinnen.....................47
IL8 Tautologie, Kontradiktion und Indeterminiertheit.......48
II.9 Logische Folgerung und logische Äquivalenz.................51
II. 10 Die „Paradoxien der materialen Implikation“..............54
II. 11 Übungen zu Kapitel II....................................57
III. Der junktorenlogische Kalkül des natürlichen Schließens....61
III. 1 Grundregeln.........................................64
111.2 Ableitbarkeit und Beweisbarkeit......................72
111.3 Widerspruchsbeweise..................................76
111.4 Beweise durch Fallunterscheidung.....................83
III-5 Das verum ex quodlibet und das Explosionsprinzip.....86
111.6 Tertium non datur und ausgeschlossener Widerspruch...89
111.7 Dualität, Kommutativität, Assoziativität, Distributivität.91
111.8 Monotonie der Ableitbarkeitsrelation.................99
HL9 Beweisstrategien......................................100
III. 10 Übungen zu Kapitel III............................102
6
Inhalt
IV. Quantorenlogik und modelltheoretische Semantik.......105
IV.l Von der Junktorenlogik zur Quantorenlogik...........105
IV.2 Die formale Sprache der Quantorenlogpik.............108
IV.3 Formeln und Sätze...................................112
IV.4 Umgangssprache und Quantorenlogik...................113
IV. 5 Universum und Interpretation.......................114
IV.6 Wahrheit und Falschheit.............................119
IV.7 Logische Wahrheit, Falschheit und Folgerung.........124
IV. 8 Übungen zu Kapitel IV..............................125
V. Der quantorenlogische Kalkül des natürlichen Schließens ....127
V.l Grundregeln..........................................127
V.2 Ableitbarkeit und Beweisbarkeit......................135
V.3 Zulässige quantorenlogische Regeln...................139
V.4 Übungen zu Kapitel V.................................148
Anhang: Lösungen zu den Übungen..........................149
Lösungen zu den Übungen zu Kapitel 1.....................149
Lösungen zu den Übungen zu Kapitel II....................150
Lösungen zu den Übungen zu Kapitel III...................153
Lösungen zu den Übungen zu Kapitel IV....................156
Lösungen zu den Übungen zu Kapitel V.....................157
Literaturverzeichnis.....................................161
Symbol- und Stichwortverzeichnis.........................165
|
any_adam_object | 1 |
author | Brendel, Elke 1962- |
author_GND | (DE-588)136164676 |
author_facet | Brendel, Elke 1962- |
author_role | aut |
author_sort | Brendel, Elke 1962- |
author_variant | e b eb |
building | Verbundindex |
bvnumber | BV044491661 |
classification_rvk | CC 2400 |
ctrlnum | (OCoLC)1004314981 (DE-599)BVBBV044491661 |
discipline | Philosophie |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01677nam a2200409 cc4500</leader><controlfield tag="001">BV044491661</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180206 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">170918s2018 |||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783465042822</subfield><subfield code="9">978-3-465-04282-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1004314981</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044491661</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-M468</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="100" ind1="1" ind2=" "><subfield code="a">Brendel, Elke</subfield><subfield code="d">1962-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136164676</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik-Skript</subfield><subfield code="n">1</subfield><subfield code="p">Wahrheit und logisches Schließen</subfield><subfield code="c">Elke Brendel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Frankfurt am Main</subfield><subfield code="b">Klostermann</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">170 Seiten</subfield><subfield code="b">Diagramme</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">Klostermann Rote Reihe</subfield><subfield code="v">99</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Klostermann Rote Reihe</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wahrheit</subfield><subfield code="0">(DE-588)4064314-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wahrheit</subfield><subfield code="0">(DE-588)4064314-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Schlussfolgern</subfield><subfield code="0">(DE-588)4251178-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="5">DE-604</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV044491637</subfield><subfield code="g">1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Klostermann Rote Reihe</subfield><subfield code="v">99</subfield><subfield code="w">(DE-604)BV035421335</subfield><subfield code="9">99</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB Muenchen - ADAM Catalogue Enrichment</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=029891596&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-029891596</subfield></datafield></record></collection> |
id | DE-604.BV044491661 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:54:24Z |
institution | BVB |
isbn | 9783465042822 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029891596 |
oclc_num | 1004314981 |
open_access_boolean | |
owner | DE-19 DE-BY-UBM DE-83 DE-355 DE-BY-UBR DE-12 DE-11 DE-824 DE-188 DE-29 DE-M468 |
owner_facet | DE-19 DE-BY-UBM DE-83 DE-355 DE-BY-UBR DE-12 DE-11 DE-824 DE-188 DE-29 DE-M468 |
physical | 170 Seiten Diagramme |
publishDate | 2018 |
publishDateSearch | 2018 |
publishDateSort | 2018 |
publisher | Klostermann |
record_format | marc |
series | Klostermann Rote Reihe |
series2 | Klostermann Rote Reihe |
spelling | Brendel, Elke 1962- Verfasser (DE-588)136164676 aut Logik-Skript 1 Wahrheit und logisches Schließen Elke Brendel Frankfurt am Main Klostermann [2018] 170 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Klostermann Rote Reihe 99 Klostermann Rote Reihe Wahrheit (DE-588)4064314-1 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Schlussfolgern (DE-588)4251178-1 gnd rswk-swf Wahrheit (DE-588)4064314-1 s Schlussfolgern (DE-588)4251178-1 s Logik (DE-588)4036202-4 s DE-604 (DE-604)BV044491637 1 Klostermann Rote Reihe 99 (DE-604)BV035421335 99 Digitalisierung BSB Muenchen - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029891596&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Brendel, Elke 1962- Logik-Skript Klostermann Rote Reihe Wahrheit (DE-588)4064314-1 gnd Logik (DE-588)4036202-4 gnd Schlussfolgern (DE-588)4251178-1 gnd |
subject_GND | (DE-588)4064314-1 (DE-588)4036202-4 (DE-588)4251178-1 |
title | Logik-Skript |
title_auth | Logik-Skript |
title_exact_search | Logik-Skript |
title_full | Logik-Skript 1 Wahrheit und logisches Schließen Elke Brendel |
title_fullStr | Logik-Skript 1 Wahrheit und logisches Schließen Elke Brendel |
title_full_unstemmed | Logik-Skript 1 Wahrheit und logisches Schließen Elke Brendel |
title_short | Logik-Skript |
title_sort | logik skript wahrheit und logisches schließen |
topic | Wahrheit (DE-588)4064314-1 gnd Logik (DE-588)4036202-4 gnd Schlussfolgern (DE-588)4251178-1 gnd |
topic_facet | Wahrheit Logik Schlussfolgern |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029891596&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV044491637 (DE-604)BV035421335 |
work_keys_str_mv | AT brendelelke logikskript1 |