Logik : : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik / / Gerhard Schurz.
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...
Saved in:
Superior document: | Title is part of eBook package: De Gruyter DG Plus DeG Package 2018 Part 1 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2018] ©2018 |
Year of Publication: | 2018 |
Language: | German |
Series: | De Gruyter Studium
|
Online Access: | |
Physical Description: | 1 online resource (XII, 435 p.) |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
9783110590630 |
---|---|
lccn |
2018949258 |
ctrlnum |
(DE-B1597)493367 (OCoLC)1054025133 |
collection |
bib_alma |
record_format |
marc |
spelling |
Schurz, Gerhard, author. aut http://id.loc.gov/vocabulary/relators/aut Logik : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik / Gerhard Schurz. Berlin ; Boston : De Gruyter, [2018] ©2018 1 online resource (XII, 435 p.) text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda De Gruyter Studium Frontmatter -- Vorwort -- Inhaltsverzeichnis -- Teil I: Grundkurs In Aussagenlogik Und Elementarer Prädikatenlogik -- 1.Allgemeine Grundlagen -- Sektion A: Aussagenlogik (Al) -- 2.Junktoren Und Ihre Wahrheitstafeln -- 3.Aussagenlogische Sprache -- 4.Aussagenlogische Semantik I: Die Wahrheitstafelmethode -- 5. Aussagenlogische Semantik II: Die Reduktio Ad Absurdum Methode -- 6. Rekonstruktion Natursprachlicher Sätze Und Argumente -- 7.Wichtige Regeln Und Theoreme Der Aussagenlogik -- 8. Deduktive Methode -- Sektion B: Elementare Prädikatenlogik (Pl) -- 9.Grundlagen Der Prädikatenlogik -- 10. Die Sprache Der Prädikatenlogik -- 11. Rekonstruktion Natursprachlicher Sätze In Der Pl -- 12. Deduktive Methode In Der Prädikatenlogik -- Teil II: Aufbaukurs In Prädikatenlogik Und Metalogik -- Sektion C: Fortgeschrittene Prädikatenlogik (Inklusive Aussagenlogik) -- 13.Äquivalenzumformungen In Der Aussagen- Und Prädikatenlogik -- 14. Beweistheorie: Kalkülarten In Aussagenund Prädikatenlogik -- 15. Modelltheorie: Semantik Der Prädikatenlogik -- 16. Prädikatenlogik Mit Identität Und Funktionszeichen (Pl=) -- 17. Anwendungen Der Pl= -- Sektion D: Metalogik -- 18.Informelle Und Formelle Mengenlehre -- 19.Induktive Beweise Und Metatheoreme Der Pl -- 20.Korrektheit Und Vollständigkeit Der Pl -- 21.Exkurs: Metalogik Und Die Grenzen Der Pl -- Literaturverzeichnis -- Symbol- Und Abkürzungsverzeichnis -- Übersicht Über Definitionen, Merksätze Und Abbildungen -- Sachregister -- Personenregister restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star 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. This introduction to logic consists of basic and advanced courses. The basic course introduces propositional and predicate logic as well as the logical reconstruction of natural language arguments. The advanced course encompasses higher-level areas of predicate logic including central metalogical results for completeness, incompleteness, and (un)decidability. Numerous practice examples with solutions aid in learning the material. Issued also in print. Mode of access: Internet via World Wide Web. In German. Description based on online resource; title from PDF title page (publisher's Web site, viewed 04. Okt 2022) Predicate (Logic) Predicate (Logic). Proposition (Logic) Proposition (Logic). Logik. Semantik. PHILOSOPHY / Logic. bisacsh Logic. semantics. Title is part of eBook package: De Gruyter DG Plus DeG Package 2018 Part 1 9783110762488 Title is part of eBook package: De Gruyter DG Plus eBook-Package 2018 9783110719550 Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2018 9783110603255 ZDB-23-DGG Title is part of eBook package: De Gruyter EBOOK PACKAGE Philosophy 2018 9783110603217 ZDB-23-DPH EPUB 9783110590685 print 9783110590005 https://doi.org/10.1515/9783110590630 https://www.degruyter.com/isbn/9783110590630 Cover https://www.degruyter.com/document/cover/isbn/9783110590630/original |
language |
German |
format |
eBook |
author |
Schurz, Gerhard, Schurz, Gerhard, |
spellingShingle |
Schurz, Gerhard, Schurz, Gerhard, Logik : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik / De Gruyter Studium Frontmatter -- Vorwort -- Inhaltsverzeichnis -- Teil I: Grundkurs In Aussagenlogik Und Elementarer Prädikatenlogik -- 1.Allgemeine Grundlagen -- Sektion A: Aussagenlogik (Al) -- 2.Junktoren Und Ihre Wahrheitstafeln -- 3.Aussagenlogische Sprache -- 4.Aussagenlogische Semantik I: Die Wahrheitstafelmethode -- 5. Aussagenlogische Semantik II: Die Reduktio Ad Absurdum Methode -- 6. Rekonstruktion Natursprachlicher Sätze Und Argumente -- 7.Wichtige Regeln Und Theoreme Der Aussagenlogik -- 8. Deduktive Methode -- Sektion B: Elementare Prädikatenlogik (Pl) -- 9.Grundlagen Der Prädikatenlogik -- 10. Die Sprache Der Prädikatenlogik -- 11. Rekonstruktion Natursprachlicher Sätze In Der Pl -- 12. Deduktive Methode In Der Prädikatenlogik -- Teil II: Aufbaukurs In Prädikatenlogik Und Metalogik -- Sektion C: Fortgeschrittene Prädikatenlogik (Inklusive Aussagenlogik) -- 13.Äquivalenzumformungen In Der Aussagen- Und Prädikatenlogik -- 14. Beweistheorie: Kalkülarten In Aussagenund Prädikatenlogik -- 15. Modelltheorie: Semantik Der Prädikatenlogik -- 16. Prädikatenlogik Mit Identität Und Funktionszeichen (Pl=) -- 17. Anwendungen Der Pl= -- Sektion D: Metalogik -- 18.Informelle Und Formelle Mengenlehre -- 19.Induktive Beweise Und Metatheoreme Der Pl -- 20.Korrektheit Und Vollständigkeit Der Pl -- 21.Exkurs: Metalogik Und Die Grenzen Der Pl -- Literaturverzeichnis -- Symbol- Und Abkürzungsverzeichnis -- Übersicht Über Definitionen, Merksätze Und Abbildungen -- Sachregister -- Personenregister |
author_facet |
Schurz, Gerhard, Schurz, Gerhard, |
author_variant |
g s gs g s gs |
author_role |
VerfasserIn VerfasserIn |
author_sort |
Schurz, Gerhard, |
title |
Logik : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik / |
title_sub |
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_auth |
Logik : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik / |
title_alt |
Frontmatter -- Vorwort -- Inhaltsverzeichnis -- Teil I: Grundkurs In Aussagenlogik Und Elementarer Prädikatenlogik -- 1.Allgemeine Grundlagen -- Sektion A: Aussagenlogik (Al) -- 2.Junktoren Und Ihre Wahrheitstafeln -- 3.Aussagenlogische Sprache -- 4.Aussagenlogische Semantik I: Die Wahrheitstafelmethode -- 5. Aussagenlogische Semantik II: Die Reduktio Ad Absurdum Methode -- 6. Rekonstruktion Natursprachlicher Sätze Und Argumente -- 7.Wichtige Regeln Und Theoreme Der Aussagenlogik -- 8. Deduktive Methode -- Sektion B: Elementare Prädikatenlogik (Pl) -- 9.Grundlagen Der Prädikatenlogik -- 10. Die Sprache Der Prädikatenlogik -- 11. Rekonstruktion Natursprachlicher Sätze In Der Pl -- 12. Deduktive Methode In Der Prädikatenlogik -- Teil II: Aufbaukurs In Prädikatenlogik Und Metalogik -- Sektion C: Fortgeschrittene Prädikatenlogik (Inklusive Aussagenlogik) -- 13.Äquivalenzumformungen In Der Aussagen- Und Prädikatenlogik -- 14. Beweistheorie: Kalkülarten In Aussagenund Prädikatenlogik -- 15. Modelltheorie: Semantik Der Prädikatenlogik -- 16. Prädikatenlogik Mit Identität Und Funktionszeichen (Pl=) -- 17. Anwendungen Der Pl= -- Sektion D: Metalogik -- 18.Informelle Und Formelle Mengenlehre -- 19.Induktive Beweise Und Metatheoreme Der Pl -- 20.Korrektheit Und Vollständigkeit Der Pl -- 21.Exkurs: Metalogik Und Die Grenzen Der Pl -- Literaturverzeichnis -- Symbol- Und Abkürzungsverzeichnis -- Übersicht Über Definitionen, Merksätze Und Abbildungen -- Sachregister -- Personenregister |
title_new |
Logik : |
title_sort |
logik : grund- und aufbaukurs in aussagen- und prädikatenlogik / |
series |
De Gruyter Studium |
series2 |
De Gruyter Studium |
publisher |
De Gruyter, |
publishDate |
2018 |
physical |
1 online resource (XII, 435 p.) Issued also in print. |
contents |
Frontmatter -- Vorwort -- Inhaltsverzeichnis -- Teil I: Grundkurs In Aussagenlogik Und Elementarer Prädikatenlogik -- 1.Allgemeine Grundlagen -- Sektion A: Aussagenlogik (Al) -- 2.Junktoren Und Ihre Wahrheitstafeln -- 3.Aussagenlogische Sprache -- 4.Aussagenlogische Semantik I: Die Wahrheitstafelmethode -- 5. Aussagenlogische Semantik II: Die Reduktio Ad Absurdum Methode -- 6. Rekonstruktion Natursprachlicher Sätze Und Argumente -- 7.Wichtige Regeln Und Theoreme Der Aussagenlogik -- 8. Deduktive Methode -- Sektion B: Elementare Prädikatenlogik (Pl) -- 9.Grundlagen Der Prädikatenlogik -- 10. Die Sprache Der Prädikatenlogik -- 11. Rekonstruktion Natursprachlicher Sätze In Der Pl -- 12. Deduktive Methode In Der Prädikatenlogik -- Teil II: Aufbaukurs In Prädikatenlogik Und Metalogik -- Sektion C: Fortgeschrittene Prädikatenlogik (Inklusive Aussagenlogik) -- 13.Äquivalenzumformungen In Der Aussagen- Und Prädikatenlogik -- 14. Beweistheorie: Kalkülarten In Aussagenund Prädikatenlogik -- 15. Modelltheorie: Semantik Der Prädikatenlogik -- 16. Prädikatenlogik Mit Identität Und Funktionszeichen (Pl=) -- 17. Anwendungen Der Pl= -- Sektion D: Metalogik -- 18.Informelle Und Formelle Mengenlehre -- 19.Induktive Beweise Und Metatheoreme Der Pl -- 20.Korrektheit Und Vollständigkeit Der Pl -- 21.Exkurs: Metalogik Und Die Grenzen Der Pl -- Literaturverzeichnis -- Symbol- Und Abkürzungsverzeichnis -- Übersicht Über Definitionen, Merksätze Und Abbildungen -- Sachregister -- Personenregister |
isbn |
9783110590630 9783110762488 9783110719550 9783110603255 9783110603217 9783110590685 9783110590005 |
callnumber-first |
B - Philosophy, Psychology, Religion |
callnumber-subject |
BC - Logic |
callnumber-label |
BC181 |
callnumber-sort |
BC 3181 S38 42018 |
url |
https://doi.org/10.1515/9783110590630 https://www.degruyter.com/isbn/9783110590630 https://www.degruyter.com/document/cover/isbn/9783110590630/original |
illustrated |
Not Illustrated |
dewey-hundreds |
100 - Philosophy & psychology |
dewey-tens |
160 - Logic |
dewey-ones |
160 - Logic |
dewey-full |
160 |
dewey-sort |
3160 |
dewey-raw |
160 |
dewey-search |
160 |
doi_str_mv |
10.1515/9783110590630 |
oclc_num |
1054025133 |
work_keys_str_mv |
AT schurzgerhard logikgrundundaufbaukursinaussagenundpradikatenlogik |
status_str |
n |
ids_txt_mv |
(DE-B1597)493367 (OCoLC)1054025133 |
carrierType_str_mv |
cr |
hierarchy_parent_title |
Title is part of eBook package: De Gruyter DG Plus DeG Package 2018 Part 1 Title is part of eBook package: De Gruyter DG Plus eBook-Package 2018 Title is part of eBook package: De Gruyter EBOOK PACKAGE COMPLETE 2018 Title is part of eBook package: De Gruyter EBOOK PACKAGE Philosophy 2018 |
is_hierarchy_title |
Logik : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik / |
container_title |
Title is part of eBook package: De Gruyter DG Plus DeG Package 2018 Part 1 |
_version_ |
1770177690285899776 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06559nam a22008295i 4500</leader><controlfield tag="001">9783110590630</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20221004111318.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">221004t20182018gw fo d z ger d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2018949258</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110590630</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">(DE-B1597)493367</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1054025133</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</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">DE</subfield></datafield><datafield tag="050" ind1="0" ind2="0"><subfield code="a">BC181</subfield><subfield code="b">.S38 2018</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">BC181</subfield><subfield code="b">.S38 2018</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI011000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="2">rvk</subfield><subfield code="0">(DE-625)rvk/17608:</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schurz, Gerhard, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/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 ;</subfield><subfield code="a">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 resource (XII, 435 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">De Gruyter Studium</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Vorwort -- </subfield><subfield code="t">Inhaltsverzeichnis -- </subfield><subfield code="t">Teil I: Grundkurs In Aussagenlogik Und Elementarer Prädikatenlogik -- </subfield><subfield code="t">1.Allgemeine Grundlagen -- </subfield><subfield code="t">Sektion A: Aussagenlogik (Al) -- </subfield><subfield code="t">2.Junktoren Und Ihre Wahrheitstafeln -- </subfield><subfield code="t">3.Aussagenlogische Sprache -- </subfield><subfield code="t">4.Aussagenlogische Semantik I: Die Wahrheitstafelmethode -- </subfield><subfield code="t">5. Aussagenlogische Semantik II: Die Reduktio Ad Absurdum Methode -- </subfield><subfield code="t">6. Rekonstruktion Natursprachlicher Sätze Und Argumente -- </subfield><subfield code="t">7.Wichtige Regeln Und Theoreme Der Aussagenlogik -- </subfield><subfield code="t">8. Deduktive Methode -- </subfield><subfield code="t">Sektion B: Elementare Prädikatenlogik (Pl) -- </subfield><subfield code="t">9.Grundlagen Der Prädikatenlogik -- </subfield><subfield code="t">10. Die Sprache Der Prädikatenlogik -- </subfield><subfield code="t">11. Rekonstruktion Natursprachlicher Sätze In Der Pl -- </subfield><subfield code="t">12. Deduktive Methode In Der Prädikatenlogik -- </subfield><subfield code="t">Teil II: Aufbaukurs In Prädikatenlogik Und Metalogik -- </subfield><subfield code="t">Sektion C: Fortgeschrittene Prädikatenlogik (Inklusive Aussagenlogik) -- </subfield><subfield code="t">13.Äquivalenzumformungen In Der Aussagen- Und Prädikatenlogik -- </subfield><subfield code="t">14. Beweistheorie: Kalkülarten In Aussagenund Prädikatenlogik -- </subfield><subfield code="t">15. Modelltheorie: Semantik Der Prädikatenlogik -- </subfield><subfield code="t">16. Prädikatenlogik Mit Identität Und Funktionszeichen (Pl=) -- </subfield><subfield code="t">17. Anwendungen Der Pl= -- </subfield><subfield code="t">Sektion D: Metalogik -- </subfield><subfield code="t">18.Informelle Und Formelle Mengenlehre -- </subfield><subfield code="t">19.Induktive Beweise Und Metatheoreme Der Pl -- </subfield><subfield code="t">20.Korrektheit Und Vollständigkeit Der Pl -- </subfield><subfield code="t">21.Exkurs: Metalogik Und Die Grenzen Der Pl -- </subfield><subfield code="t">Literaturverzeichnis -- </subfield><subfield code="t">Symbol- Und Abkürzungsverzeichnis -- </subfield><subfield code="t">Übersicht Über Definitionen, Merksätze Und Abbildungen -- </subfield><subfield code="t">Sachregister -- </subfield><subfield code="t">Personenregister</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</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="520" ind1=" " ind2=" "><subfield code="a">This introduction to logic consists of basic and advanced courses. The basic course introduces propositional and predicate logic as well as the logical reconstruction of natural language arguments. The advanced course encompasses higher-level areas of predicate logic including central metalogical results for completeness, incompleteness, and (un)decidability. Numerous practice examples with solutions aid in learning the material.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In German.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 04. Okt 2022)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Predicate (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Predicate (Logic).</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proposition (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Proposition (Logic).</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantik.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / Logic.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logic.</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">semantics.</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DG Plus DeG Package 2018 Part 1</subfield><subfield code="z">9783110762488</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DG Plus eBook-Package 2018</subfield><subfield code="z">9783110719550</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE COMPLETE 2018</subfield><subfield code="z">9783110603255</subfield><subfield code="o">ZDB-23-DGG</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">EBOOK PACKAGE Philosophy 2018</subfield><subfield code="z">9783110603217</subfield><subfield code="o">ZDB-23-DPH</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">EPUB</subfield><subfield code="z">9783110590685</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783110590005</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110590630</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783110590630</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783110590630/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-071955-0 DG Plus eBook-Package 2018</subfield><subfield code="b">2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">978-3-11-076248-8 DG Plus DeG Package 2018 Part 1</subfield><subfield code="b">2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DGG</subfield><subfield code="b">2017</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DPH</subfield><subfield code="b">2018</subfield></datafield></record></collection> |