Einführung in die formale Logik für Philosophen:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Göttingen
Vandenhoeck & Ruprecht
[2016]
|
| Edition: | 5., durchgesehene Auflage |
| Series: | UTB. Philosophie
1999 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 184 - 187 |
| Physical Description: | 187 Seiten Illustrationen, Diagramme 19 cm |
| ISBN: | 9783825245924 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV043402736 | ||
| 003 | DE-604 | ||
| 005 | 20201215 | ||
| 007 | t | ||
| 008 | 160224s2016 gw a||| |||| 00||| ger d | ||
| 020 | |a 9783825245924 |9 978-3-8252-4592-4 | ||
| 035 | |a (OCoLC)944080298 | ||
| 035 | |a (DE-599)BVBBV043402736 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE | ||
| 049 | |a DE-12 |a DE-824 |a DE-19 |a DE-29 |a DE-11 |a DE-739 |a DE-634 |a DE-83 |a DE-384 | ||
| 082 | 0 | |a 511.3 |2 22/ger | |
| 084 | |a BF 1350 |0 (DE-625)10858: |2 rvk | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a QP 327 |0 (DE-625)141858: |2 rvk | ||
| 084 | |a XC 2601 |0 (DE-625)152504:13130 |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 084 | |a 100 |2 sdnb | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a PHI 350f |2 stub | ||
| 100 | 1 | |a Zoglauer, Thomas |d 1960- |e Verfasser |0 (DE-588)12428566X |4 aut | |
| 245 | 1 | 0 | |a Einführung in die formale Logik für Philosophen |c Thomas Zoglauer |
| 250 | |a 5., durchgesehene Auflage | ||
| 264 | 1 | |a Göttingen |b Vandenhoeck & Ruprecht |c [2016] | |
| 300 | |a 187 Seiten |b Illustrationen, Diagramme |c 19 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a UTB. Philosophie |v 1999 | |
| 500 | |a Literaturverz. S. 184 - 187 | ||
| 650 | 4 | |a Mathematische Logik - Einführung | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Analytische Philosophie |0 (DE-588)4001869-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |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 Analytische Philosophie |0 (DE-588)4001869-6 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 830 | 0 | |a UTB. Philosophie |v 1999 |w (DE-604)BV000895355 |9 1999 | |
| 856 | 4 | 2 | |m Digitalisierung UB Augsburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028821208&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028821208 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804175987395526656 |
|---|---|
| adam_text | Inhalt Vorwort 1.1 1.2 1.3 1.4 1.5 Sprachphilosophische Grundlagen der Logik Syntax, Semantik, Pragmatik Logische Paradoxien Definitionslehre Aussagen und Aussageformen Wahrheitstheorien 9 9 14 18 21 28 2. 2.1 2.2 2.3 2.4 2.5 2.6 Aussagenlogische Verknüpfungen Die Negation Die Konjunktion Die Disjunktion Die Implikation Die Äquivalenz Andere Junktoren 35 35 36 38 41 43 44 3. 3.1 3.2 3.3 3.4 3.5 Gesetze der Aussagenlogik Wahrheitstafeln Die Methode des indirekten Beweises Vereinfachung komplexer Ausdrücke Konjunktive und disjunktive Normalformen Junktorenbasen 47 47 50 51 52 55 4. 4.1 4.2 4.3 Logisches Schließen Induktive und deduktive Schlüsse Wichtige Schlussregeln Kalkül des natürlichen Schließern 58 58 60 68 5. 5.1 5.2 5.3 5.4 5.5 Prädikatenlogik Subjekt und Prädikat Intension und Extension von Begriffen Relationen Quantoren Der Kalkül des natürlichen Schließens für die Prädikatenlogik 72 72 74 77 79 1. 81
Inhalt 6 6. Urteilslehre und Syllogistik 6.1 Urteile 6.2 Die Rabenparadoxie von Hempel 6.3 Syllogismen 87 87 92 94 7. Axiomatik 7.1 Axiome der Aussagenlogik 7.2 Vollständigkeit und Widerspruchsfreiheit der Aussagenlogik 7.3 Axiome der Prädikatenlogik 7.4 Die Peano-Axiome 7.5 Die Gödelschen Theoreme 102 102 8. Modallogik Modaloperatoren Ein Axiomensystem der Modallogik: Das System К Das System T Das System S4 Das System S5 Semantik der Modallogik Modale Prädikatenlogik 116 116 119 123 124 125 127 131 Deontische Logik Grundriss der Normenlogik Paradoxien der Normenlogik Bedingte Gebote Normative und deontische Widersprüche 135 135 137 142 145 8.1 8.2 8.3 8.4 8.5 8.6 8.7 9. 9.1 9.2 9.3 9.4 107 108 110 112 10.1 10.2 10.3 10.4 Temporale Logik Das Seeschlacht-Dilemma Der R-Kalkül Das Minimalsystem der temporalen Logik Spezielle Zeitordnungen 150 150 153 157 160 и. Aufgaben 164 12. Lösungen ausgewählter Aufgaben 178 13. Literatur 184 10.
|
| any_adam_object | 1 |
| author | Zoglauer, Thomas 1960- |
| author_GND | (DE-588)12428566X |
| author_facet | Zoglauer, Thomas 1960- |
| author_role | aut |
| author_sort | Zoglauer, Thomas 1960- |
| author_variant | t z tz |
| building | Verbundindex |
| bvnumber | BV043402736 |
| classification_rvk | BF 1350 CC 2400 CC 2500 QP 327 XC 2601 |
| classification_tum | MAT 030f PHI 350f |
| ctrlnum | (OCoLC)944080298 (DE-599)BVBBV043402736 |
| 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 / Ethik Philosophie Wirtschaftswissenschaften Theologie / Religionswissenschaften Medizin |
| edition | 5., durchgesehene Auflage |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02510nam a2200601 cb4500</leader><controlfield tag="001">BV043402736</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201215 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160224s2016 gw a||| |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783825245924</subfield><subfield code="9">978-3-8252-4592-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)944080298</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043402736</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">BF 1350</subfield><subfield code="0">(DE-625)10858:</subfield><subfield code="2">rvk</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">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QP 327</subfield><subfield code="0">(DE-625)141858:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">XC 2601</subfield><subfield code="0">(DE-625)152504:13130</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHI 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zoglauer, Thomas</subfield><subfield code="d">1960-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12428566X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die formale Logik für Philosophen</subfield><subfield code="c">Thomas Zoglauer</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5., durchgesehene Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Göttingen</subfield><subfield code="b">Vandenhoeck & Ruprecht</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">187 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield><subfield code="c">19 cm</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">UTB. Philosophie</subfield><subfield code="v">1999</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 184 - 187</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematische Logik - Einführung</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="650" ind1="0" ind2="7"><subfield code="a">Analytische Philosophie</subfield><subfield code="0">(DE-588)4001869-6</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="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">Analytische Philosophie</subfield><subfield code="0">(DE-588)4001869-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="8">2\p</subfield><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">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">UTB. Philosophie</subfield><subfield code="v">1999</subfield><subfield code="w">(DE-604)BV000895355</subfield><subfield code="9">1999</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg - 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=028821208&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-028821208</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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.BV043402736 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T07:25:01Z |
| institution | BVB |
| isbn | 9783825245924 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028821208 |
| oclc_num | 944080298 |
| open_access_boolean | |
| owner | DE-12 DE-824 DE-19 DE-BY-UBM DE-29 DE-11 DE-739 DE-634 DE-83 DE-384 |
| owner_facet | DE-12 DE-824 DE-19 DE-BY-UBM DE-29 DE-11 DE-739 DE-634 DE-83 DE-384 |
| physical | 187 Seiten Illustrationen, Diagramme 19 cm |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Vandenhoeck & Ruprecht |
| record_format | marc |
| series | UTB. Philosophie |
| series2 | UTB. Philosophie |
| spelling | Zoglauer, Thomas 1960- Verfasser (DE-588)12428566X aut Einführung in die formale Logik für Philosophen Thomas Zoglauer 5., durchgesehene Auflage Göttingen Vandenhoeck & Ruprecht [2016] 187 Seiten Illustrationen, Diagramme 19 cm txt rdacontent n rdamedia nc rdacarrier UTB. Philosophie 1999 Literaturverz. S. 184 - 187 Mathematische Logik - Einführung Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Analytische Philosophie (DE-588)4001869-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Analytische Philosophie (DE-588)4001869-6 s Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 Logik (DE-588)4036202-4 s 3\p DE-604 UTB. Philosophie 1999 (DE-604)BV000895355 1999 Digitalisierung UB Augsburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028821208&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Zoglauer, Thomas 1960- Einführung in die formale Logik für Philosophen UTB. Philosophie Mathematische Logik - Einführung Mathematische Logik (DE-588)4037951-6 gnd Analytische Philosophie (DE-588)4001869-6 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4001869-6 (DE-588)4036202-4 (DE-588)4151278-9 |
| title | Einführung in die formale Logik für Philosophen |
| title_auth | Einführung in die formale Logik für Philosophen |
| title_exact_search | Einführung in die formale Logik für Philosophen |
| title_full | Einführung in die formale Logik für Philosophen Thomas Zoglauer |
| title_fullStr | Einführung in die formale Logik für Philosophen Thomas Zoglauer |
| title_full_unstemmed | Einführung in die formale Logik für Philosophen Thomas Zoglauer |
| title_short | Einführung in die formale Logik für Philosophen |
| title_sort | einfuhrung in die formale logik fur philosophen |
| topic | Mathematische Logik - Einführung Mathematische Logik (DE-588)4037951-6 gnd Analytische Philosophie (DE-588)4001869-6 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Mathematische Logik - Einführung Mathematische Logik Analytische Philosophie Logik Einführung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028821208&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000895355 |
| work_keys_str_mv | AT zoglauerthomas einfuhrungindieformalelogikfurphilosophen |