Logik: Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik
Diese Einführung in die Logik umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Logische Zus...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Berlin ; Boston
De Gruyter
[2018]
|
| Schriftenreihe: | De Gruyter Studium
|
| Schlagworte: | |
| Online-Zugang: | FAB01 FAW01 FCO01 FHA01 FKE01 FLA01 FUBA1 UBG01 UBM01 UPA01 Volltext |
| Zusammenfassung: | Diese Einführung in die Logik umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Logische Zusammenhänge werden in Verbindung mit sorgfältig ausgewählten Übungsbeispielen – inklusive Lösungen – einsichtig gemacht. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Texte und Argumente liegt besonderes Augenmerk. Zusammenhänge zwischen alternativen logischen Notationen und Techniken, die anfangs oft Schwierigkeiten bereiten, werden sorgfältig erklärt. Der anschließende Aufbaukurs schlägt die Brücke zwischen einer philosophischen Logikeinführung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer gründlichen Einführung in die volle Prädikatenlogik und ihrer mengentheoretischen Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollständigkeit der Prädikatenlogik, zur Entscheidbarkeit der monadischen und Unentscheidbarkeit der vollen Prädikatenlogik sowie zur Unvollständigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklärt. Abgerundet wird der Band durch zahlreiche Exkurse zur philosophischen Vertiefung logischer Grundlagenfragen. Zahlreiche Übungsbeispiele mit Lösungen zum Download vertiefen den Stoff. Die Lösungen werden ab Oktober 2018 verfügbar sein |
| Beschreibung: | 1 Online-Ressource (XII, 435 Seiten) Illustrationen |
| ISBN: | 9783110590630 9783110590685 |
| DOI: | 10.1515/9783110590630 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045879589 | ||
| 003 | DE-604 | ||
| 005 | 20210610 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 190515s2018 |||| o||u| ||||||ger d | ||
| 020 | |a 9783110590630 |c PDF |9 978-3-11-059063-0 | ||
| 020 | |a 9783110590685 |c EPUB |9 978-3-11-059068-5 | ||
| 024 | 7 | |a 10.1515/9783110590630 |2 doi | |
| 035 | |a (ZDB-23-DGG)9783110590630 | ||
| 035 | |a (OCoLC)1101913463 | ||
| 035 | |a (DE-599)BVBBV045879589 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-Aug4 |a DE-859 |a DE-860 |a DE-19 |a DE-739 |a DE-473 |a DE-1046 |a DE-188 |a DE-1043 |a DE-858 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 100 | 1 | |a Schurz, Gerhard |d 1956- |e Verfasser |0 (DE-588)118048260 |4 aut | |
| 245 | 1 | 0 | |a Logik |b Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik |c Gerhard Schurz |
| 264 | 1 | |a Berlin ; Boston |b De Gruyter |c [2018] | |
| 264 | 4 | |c © 2018 | |
| 300 | |a 1 Online-Ressource (XII, 435 Seiten) |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a De Gruyter Studium | |
| 520 | |a Diese Einführung in die Logik umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Logische Zusammenhänge werden in Verbindung mit sorgfältig ausgewählten Übungsbeispielen – inklusive Lösungen – einsichtig gemacht. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Texte und Argumente liegt besonderes Augenmerk. Zusammenhänge zwischen alternativen logischen Notationen und Techniken, die anfangs oft Schwierigkeiten bereiten, werden sorgfältig erklärt. Der anschließende Aufbaukurs schlägt die Brücke zwischen einer philosophischen Logikeinführung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer gründlichen Einführung in die volle Prädikatenlogik und ihrer mengentheoretischen Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollständigkeit der Prädikatenlogik, zur Entscheidbarkeit der monadischen und Unentscheidbarkeit der vollen Prädikatenlogik sowie zur Unvollständigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklärt. Abgerundet wird der Band durch zahlreiche Exkurse zur philosophischen Vertiefung logischer Grundlagenfragen. Zahlreiche Übungsbeispiele mit Lösungen zum Download vertiefen den Stoff. Die Lösungen werden ab Oktober 2018 verfügbar sein | ||
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a semantics | |
| 650 | 4 | |a Semantik | |
| 650 | 0 | 7 | |a Metalogik |0 (DE-588)4169642-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |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)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | 2 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 0 | 3 | |a Metalogik |0 (DE-588)4169642-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 1 | 1 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-11-059000-5 |
| 856 | 4 | 0 | |u https://doi.org/10.1515/9783110590630 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-23-DGG | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-031262765 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l FAB01 |p ZDB-23-DGG |q FAB_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l FAW01 |p ZDB-23-DGG |q FAW_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l FCO01 |p ZDB-23-DGG |q FCO_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l FHA01 |p ZDB-23-DGG |q FHA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l FKE01 |p ZDB-23-DGG |q FKE_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l FLA01 |p ZDB-23-DGG |q FLA_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l FUBA1 |p ZDB-23-DGG |q ZDB-23-DGG 2018 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l UBG01 |p ZDB-23-DGG |q UBG_PDA_DGG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l UBM01 |p ZDB-23-DGG |q UBM_PDA_DGG_Kauf21 |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1515/9783110590630 |l UPA01 |p ZDB-23-DGG |q UPA_PDA_DGG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804180027527397376 |
|---|---|
| any_adam_object | |
| author | Schurz, Gerhard 1956- |
| author_GND | (DE-588)118048260 |
| author_facet | Schurz, Gerhard 1956- |
| author_role | aut |
| author_sort | Schurz, Gerhard 1956- |
| author_variant | g s gs |
| building | Verbundindex |
| bvnumber | BV045879589 |
| classification_rvk | CC 2400 |
| collection | ZDB-23-DGG |
| ctrlnum | (ZDB-23-DGG)9783110590630 (OCoLC)1101913463 (DE-599)BVBBV045879589 |
| discipline | Philosophie |
| doi_str_mv | 10.1515/9783110590630 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04765nmm a2200709zc 4500</leader><controlfield tag="001">BV045879589</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210610 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">190515s2018 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110590630</subfield><subfield code="c">PDF</subfield><subfield code="9">978-3-11-059063-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110590685</subfield><subfield code="c">EPUB</subfield><subfield code="9">978-3-11-059068-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110590630</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-23-DGG)9783110590630</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1101913463</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045879589</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-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-858</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">Schurz, Gerhard</subfield><subfield code="d">1956-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118048260</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="b">Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik</subfield><subfield code="c">Gerhard Schurz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Boston</subfield><subfield code="b">De Gruyter</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 435 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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">De Gruyter Studium</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Diese Einführung in die Logik umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Logische Zusammenhänge werden in Verbindung mit sorgfältig ausgewählten Übungsbeispielen – inklusive Lösungen – einsichtig gemacht. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Texte und Argumente liegt besonderes Augenmerk. Zusammenhänge zwischen alternativen logischen Notationen und Techniken, die anfangs oft Schwierigkeiten bereiten, werden sorgfältig erklärt. Der anschließende Aufbaukurs schlägt die Brücke zwischen einer philosophischen Logikeinführung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer gründlichen Einführung in die volle Prädikatenlogik und ihrer mengentheoretischen Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollständigkeit der Prädikatenlogik, zur Entscheidbarkeit der monadischen und Unentscheidbarkeit der vollen Prädikatenlogik sowie zur Unvollständigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklärt. Abgerundet wird der Band durch zahlreiche Exkurse zur philosophischen Vertiefung logischer Grundlagenfragen. Zahlreiche Übungsbeispiele mit Lösungen zum Download vertiefen den Stoff. Die Lösungen werden ab Oktober 2018 verfügbar sein</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Metalogik</subfield><subfield code="0">(DE-588)4169642-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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-11-059000-5</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031262765</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAB_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FAW_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">FCO01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FCO_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FHA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FKE_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">FLA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">FUBA1</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">ZDB-23-DGG 2018</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UBG_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UBM_PDA_DGG_Kauf21</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1515/9783110590630</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-23-DGG</subfield><subfield code="q">UPA_PDA_DGG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV045879589 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:29:14Z |
| institution | BVB |
| isbn | 9783110590630 9783110590685 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031262765 |
| oclc_num | 1101913463 |
| open_access_boolean | |
| owner | DE-Aug4 DE-859 DE-860 DE-19 DE-BY-UBM DE-739 DE-473 DE-BY-UBG DE-1046 DE-188 DE-1043 DE-858 |
| owner_facet | DE-Aug4 DE-859 DE-860 DE-19 DE-BY-UBM DE-739 DE-473 DE-BY-UBG DE-1046 DE-188 DE-1043 DE-858 |
| physical | 1 Online-Ressource (XII, 435 Seiten) Illustrationen |
| psigel | ZDB-23-DGG ZDB-23-DGG FAB_PDA_DGG ZDB-23-DGG FAW_PDA_DGG ZDB-23-DGG FCO_PDA_DGG ZDB-23-DGG FHA_PDA_DGG ZDB-23-DGG FKE_PDA_DGG ZDB-23-DGG FLA_PDA_DGG ZDB-23-DGG ZDB-23-DGG 2018 ZDB-23-DGG UBG_PDA_DGG ZDB-23-DGG UBM_PDA_DGG_Kauf21 ZDB-23-DGG UPA_PDA_DGG |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | De Gruyter |
| record_format | marc |
| series2 | De Gruyter Studium |
| spelling | Schurz, Gerhard 1956- Verfasser (DE-588)118048260 aut Logik Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik Gerhard Schurz Berlin ; Boston De Gruyter [2018] © 2018 1 Online-Ressource (XII, 435 Seiten) Illustrationen txt rdacontent c rdamedia cr rdacarrier De Gruyter Studium Diese Einführung in die Logik umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Logische Zusammenhänge werden in Verbindung mit sorgfältig ausgewählten Übungsbeispielen – inklusive Lösungen – einsichtig gemacht. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Texte und Argumente liegt besonderes Augenmerk. Zusammenhänge zwischen alternativen logischen Notationen und Techniken, die anfangs oft Schwierigkeiten bereiten, werden sorgfältig erklärt. Der anschließende Aufbaukurs schlägt die Brücke zwischen einer philosophischen Logikeinführung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer gründlichen Einführung in die volle Prädikatenlogik und ihrer mengentheoretischen Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollständigkeit der Prädikatenlogik, zur Entscheidbarkeit der monadischen und Unentscheidbarkeit der vollen Prädikatenlogik sowie zur Unvollständigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklärt. Abgerundet wird der Band durch zahlreiche Exkurse zur philosophischen Vertiefung logischer Grundlagenfragen. Zahlreiche Übungsbeispiele mit Lösungen zum Download vertiefen den Stoff. Die Lösungen werden ab Oktober 2018 verfügbar sein Logic Logik semantics Semantik Metalogik (DE-588)4169642-6 gnd rswk-swf Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Logik (DE-588)4036202-4 s Prädikatenlogik (DE-588)4046974-8 s Aussagenlogik (DE-588)4136098-9 s Metalogik (DE-588)4169642-6 s DE-604 Erscheint auch als Druck-Ausgabe 978-3-11-059000-5 https://doi.org/10.1515/9783110590630 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Schurz, Gerhard 1956- Logik Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik Logic Logik semantics Semantik Metalogik (DE-588)4169642-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4169642-6 (DE-588)4136098-9 (DE-588)4046974-8 (DE-588)4036202-4 (DE-588)4123623-3 |
| title | Logik Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik |
| title_auth | Logik Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik |
| title_exact_search | Logik Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik |
| title_full | Logik Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik Gerhard Schurz |
| title_fullStr | Logik Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik Gerhard Schurz |
| title_full_unstemmed | Logik Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik Gerhard Schurz |
| title_short | Logik |
| title_sort | logik grund und aufbaukurs in aussagen und pradikatenlogik |
| title_sub | Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik |
| topic | Logic Logik semantics Semantik Metalogik (DE-588)4169642-6 gnd Aussagenlogik (DE-588)4136098-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Logic Logik semantics Semantik Metalogik Aussagenlogik Prädikatenlogik Lehrbuch |
| url | https://doi.org/10.1515/9783110590630 |
| work_keys_str_mv | AT schurzgerhard logikgrundundaufbaukursinaussagenundpradikatenlogik |