Einführung in die moderne Logik:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Weitere Verfasser: | |
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Freiburg ; München
Verlag Karl Alber
2014
|
| Ausgabe: | 9., neu bearbeitete Aufage |
| Schriftenreihe: | Alber Studienausgabe
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Klappentext |
| Beschreibung: | Literaturverzeichnis |
| Beschreibung: | 219 Seiten Illustrationen |
| ISBN: | 9783495482711 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV043578830 | ||
| 003 | DE-604 | ||
| 005 | 20160701 | ||
| 007 | t | ||
| 008 | 160601s2014 a||| |||| 00||| ger d | ||
| 020 | |a 9783495482711 |9 978-3-495-48271-1 | ||
| 035 | |a (OCoLC)885450663 | ||
| 035 | |a (DE-599)BSZ410192945 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-355 |a DE-29 |a DE-1049 | ||
| 082 | 0 | |a 511.3 | |
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Kutschera, Franz von |d 1932- |e Verfasser |0 (DE-588)119436817 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die moderne Logik |c Franz von Kutschera, Alfred Breitkopf ; bearbeitet von Stefan Wölfl |
| 250 | |a 9., neu bearbeitete Aufage | ||
| 264 | 1 | |a Freiburg ; München |b Verlag Karl Alber |c 2014 | |
| 300 | |a 219 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Alber Studienausgabe | |
| 500 | |a Literaturverzeichnis | ||
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |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 Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Breitkopf, Alfred |d 1942- |e Verfasser |0 (DE-588)1053042655 |4 aut | |
| 700 | 1 | |a Wölfl, Stefan |4 edt | |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993510&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993510&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028993510 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804176259206348800 |
|---|---|
| adam_text | Inhaltsverzeichnis
1 Gegenstand und Bedeutung der Logik 11
1.1 Der Gegenstand der Logik............................ 11
1.2 Die Bedeutung der Logik............................. 14
2 Sätze und Satzverbindungen 19
2.1 Sätze............................................... 19
2.2 Negation............................................ 21
2.3 Konjunktion......................................... 22
2.4 Adjunktion und Kontravalenz......................... 26
3 Satzoperatoren 31
3.1 Der Begriff des Satzoperators....................... 31
3.2 Implikation ........................................ 32
3.3 Äquivalenz.......................................... 34
3.4 Vollständige Systeme................................ 35
4 Aussagenlogische Schlüsse 43
4.1 Aussagentogische Gültigkeit......................... 43
4.2 Ein En tscheidungs verfahren für die Aussagenlogik . 45
4.3 Semantische Bäume................................... 49
5 Syntax und Semantik der Aussagenlogik 59
5.1 Syntax.............................................. 59
5.2 Semantik.......................................... 61
6 Eine aromatische Theorie der Aiissagexdogik 67
6.1 Der Kalkül Äai ..................................... 69
6.2 Beweise............................................. 70
63 Ableitungen......................................... 71
6.4 Metatheoreme . ..................................... 72
7
7 Widerspruchsfreibeit und Vollständigkeit
der Aussagen! ogik 77
7.1 Widerspruchsfreiheit................................. 77
7.2* Vollständigkeit...................................... 78
8 Namen, Prädikate und Quantoren 83
8.1 Die Struktur einfacher Sätze......................... 83
8.2 Der Alloperator...................................... 87
8.3 Der Existenzoperator............................... 88
8.4 Mehrfaches Quantifizieren............................ 90
9 Syntax und Semantik der Prädikatenlogik 95
9.1 Syntax........................................... 95
9.2 Semantik ........................................ 98
9.3 Prädikatenlogische Wahrheit und Gültigkeit...... 102
9.4* Grundlegende semantische Theoreme .............. 103
10 Eine adomatisdie Theorie der Prädikatenlogik 107
12 Der prädikateöjkjgfeche Baumkalkül 123
12.1 Der Baumkalkül *8p| 124
12.2*Die Adäquatheit des Kalküls 129
13 Erweiterungen der Prädikaienktgjk 133
13.1 Identität .................................. 133
13.2 Kennzeichnung.................- ............ 137
13.3 Funktionen .............................. , . . . 141
8
14 Definitionen 145
14.1 Die traditionelle Definitionslehre............... 145
14.2 Begriffsanalyse und Explikation.................. 149
14.3 Defimtionsformen................................. 151
15 Mengenlehre 157
15.1 Die naive Mengenlehre............................ 157
15.2 Elementare Mengenalgebra......................... 160
15.3 Logizismus....................................... 166
15.4 Antinomien....................................... 167
Anhang 171
A.l Lösungen der Übungsaufgaben....................... 171
A.2 Beweise........................................... 193
A.2.1 Aussagenlogik.............................. 193
A.2.2 Prädikatenlogik.............................200
A.3 Liste einfacher logischer Gesetze..................205
A.3.1 Aussagenlogik...............................205
A.3.2 Prädikatenlogik.............................207
Bibliographie 209
Sachregister 213
Symbol Verzeichnis 219
9
i
Eine elementare Einführung in die Logik, in
erster Linie für Studierende der Philosophie und
der Geisteswissenschaften. Formalisierungs-
prozesse werden daher ausführlich erläutert und
Dinge von eher technischem Interesse beiseite
gelassen. Behandelt werden:
• Aussagenlogik
• elementare Prädikatenlogik
• Identität
• Kennzeichnungen
• Prinzipien des Definierens
• Grundbegriffe der Mengenlehre
Zahlreiche Aufgaben (mit Lösungen)!
Prüf. Dr. Franz von Kutschcra, Universität Regcnsbunj,
verfalle u.a.: »Platons Philosophie« (2002), »Philosophie
des (leistes« (2009).
Ur. Alfred Breilkopf leitete im Bayerischen Fernsehen die
Redaktion Naturwissenschaften und Technik.
|
| any_adam_object | 1 |
| author | Kutschera, Franz von 1932- Breitkopf, Alfred 1942- |
| author2 | Wölfl, Stefan |
| author2_role | edt |
| author2_variant | s w sw |
| author_GND | (DE-588)119436817 (DE-588)1053042655 |
| author_facet | Kutschera, Franz von 1932- Breitkopf, Alfred 1942- Wölfl, Stefan |
| author_role | aut aut |
| author_sort | Kutschera, Franz von 1932- |
| author_variant | f v k fv fvk a b ab |
| building | Verbundindex |
| bvnumber | BV043578830 |
| classification_rvk | CC 2400 SK 130 |
| ctrlnum | (OCoLC)885450663 (DE-599)BSZ410192945 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 9., neu bearbeitete Aufage |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02241nam a2200481 c 4500</leader><controlfield tag="001">BV043578830</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160701 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160601s2014 a||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783495482711</subfield><subfield code="9">978-3-495-48271-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)885450663</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ410192945</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-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-1049</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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="100" ind1="1" ind2=" "><subfield code="a">Kutschera, Franz von</subfield><subfield code="d">1932-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119436817</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die moderne Logik</subfield><subfield code="c">Franz von Kutschera, Alfred Breitkopf ; bearbeitet von Stefan Wölfl</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">9., neu bearbeitete Aufage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Freiburg ; München</subfield><subfield code="b">Verlag Karl Alber</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">219 Seiten</subfield><subfield code="b">Illustrationen</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="0" ind2=" "><subfield code="a">Alber Studienausgabe</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverzeichnis</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">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="8">1\p</subfield><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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Breitkopf, Alfred</subfield><subfield code="d">1942-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1053042655</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wölfl, Stefan</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - 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=028993510&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - 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=028993510&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028993510</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV043578830 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:29:20Z |
| institution | BVB |
| isbn | 9783495482711 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028993510 |
| oclc_num | 885450663 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-29 DE-1049 |
| owner_facet | DE-355 DE-BY-UBR DE-29 DE-1049 |
| physical | 219 Seiten Illustrationen |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Verlag Karl Alber |
| record_format | marc |
| series2 | Alber Studienausgabe |
| spelling | Kutschera, Franz von 1932- Verfasser (DE-588)119436817 aut Einführung in die moderne Logik Franz von Kutschera, Alfred Breitkopf ; bearbeitet von Stefan Wölfl 9., neu bearbeitete Aufage Freiburg ; München Verlag Karl Alber 2014 219 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Alber Studienausgabe Literaturverzeichnis Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s 2\p DE-604 Breitkopf, Alfred 1942- Verfasser (DE-588)1053042655 aut Wölfl, Stefan edt Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993510&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993510&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Kutschera, Franz von 1932- Breitkopf, Alfred 1942- Einführung in die moderne Logik Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Einführung in die moderne Logik |
| title_auth | Einführung in die moderne Logik |
| title_exact_search | Einführung in die moderne Logik |
| title_full | Einführung in die moderne Logik Franz von Kutschera, Alfred Breitkopf ; bearbeitet von Stefan Wölfl |
| title_fullStr | Einführung in die moderne Logik Franz von Kutschera, Alfred Breitkopf ; bearbeitet von Stefan Wölfl |
| title_full_unstemmed | Einführung in die moderne Logik Franz von Kutschera, Alfred Breitkopf ; bearbeitet von Stefan Wölfl |
| title_short | Einführung in die moderne Logik |
| title_sort | einfuhrung in die moderne logik |
| topic | Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logik Mathematische Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993510&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028993510&sequence=000004&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kutscherafranzvon einfuhrungindiemodernelogik AT breitkopfalfred einfuhrungindiemodernelogik AT wolflstefan einfuhrungindiemodernelogik |