Einführung in die Logik
About this book
This successful textbook on logic, now in its fourth edition, features a time-tested design. The work can be profitably read by beginning students of logic as well as students of other fields with prior knowledge of mathematics or formal semantics. Practice exercises cover all of the material. The new edition has been updated and revised; the solutions are now included within the book.
- A time-tested and highly regarded textbook
- Revised new edition
- New foreword
- Suitable for both beginners and advanced students
- Includes practice exercises with solutions
Author / Editor information
Ansgar Beckermann, Universität Bielefeld.
Reviews
„Eine gelungene Einführung in das spannende Thema ‚Logik‘. Mir gefallen die durchweg konsistenten Ableitungen mittels Wahrheitsbaummethode, die vielen Übungsaufgaben mit Lösungen und ein Einblick in Metalogik."
Matthias Kramer, Universität Duisburg-Essen
Supplementary Materials
Topics
-
Download PDFPublicly Available
Frontmatter
i -
Download PDFRequires Authentication UnlicensedLicensed
Vorwort zur vierten Auflage
vii -
Download PDFRequires Authentication UnlicensedLicensed
Vorwort zur dritten Auflage
viii -
Download PDFRequires Authentication UnlicensedLicensed
Vorwort zur zweiten Auflage
ix -
Download PDFRequires Authentication UnlicensedLicensed
Vorwort
xi -
Download PDFPublicly Available
Inhaltsverzeichnis
xiii - I. Grundbegriffe
-
Download PDFRequires Authentication UnlicensedLicensed
1. Logik und Argumentation
1 -
Download PDFRequires Authentication UnlicensedLicensed
2. Argumente
2 -
Download PDFRequires Authentication UnlicensedLicensed
3. Aussagesätze
13 -
Download PDFRequires Authentication UnlicensedLicensed
4. Gute Argumente – Gültigkeit und Schlüssigkeit
19 -
Download PDFRequires Authentication UnlicensedLicensed
5. Noch einmal: wahr, gültig, schlüssig
24 -
Download PDFRequires Authentication UnlicensedLicensed
6. Deduktiv und nicht-deduktiv gültige Argumente
28 -
Download PDFRequires Authentication UnlicensedLicensed
7. Gültigkeit und die logische Form von Argumenten
34 -
Download PDFRequires Authentication UnlicensedLicensed
8. Logische Form und die Bedeutung der in einem Argument enthaltenen logischen Ausdrücke
39 -
Download PDFRequires Authentication UnlicensedLicensed
9. Die Problematik der logischen Form umgangssprachlicher Aussagesätze
43 - II. Aussagenlogik
-
Download PDFRequires Authentication UnlicensedLicensed
10. Die Sprache AL
51 -
Download PDFRequires Authentication UnlicensedLicensed
11. Grundbegriffe der Logik der Sprache AL
66 -
Download PDFRequires Authentication UnlicensedLicensed
12. Die Wahrheitstafelmethode
74 -
Download PDFRequires Authentication UnlicensedLicensed
13. Die Wahrheitsbaummethode
92 -
Download PDFRequires Authentication UnlicensedLicensed
*14. Der Kalkül AK
113 -
Download PDFRequires Authentication UnlicensedLicensed
15. Übersetzung umgangssprachlicher Sätze in die Sprache AL
132 -
Download PDFRequires Authentication UnlicensedLicensed
16. Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln
161 - III. Prädikatenlogik
-
Download PDFRequires Authentication UnlicensedLicensed
17. Die Sprache PL
172 -
Download PDFRequires Authentication UnlicensedLicensed
18. Grundbegriffe der Logik der Sprache PL
197 -
Download PDFRequires Authentication UnlicensedLicensed
19. Das Wahrheitsbaumverfahren für PL
207 -
Download PDFRequires Authentication UnlicensedLicensed
*20. Der Kalkül PK
225 -
Download PDFRequires Authentication UnlicensedLicensed
21. Übersetzung umgangssprachlicher Sätze in die Sprache PL
240 -
Download PDFRequires Authentication UnlicensedLicensed
22. Beurteilung umgangssprachlicher Sätze und Argumente mit prädikatenlogischen Mitteln
263 - *IV. Metalogik
-
Download PDFRequires Authentication UnlicensedLicensed
23. Elemente der Mengenlehre und das Verfahren des Beweises durch vollständige Induktion
275 -
Download PDFRequires Authentication UnlicensedLicensed
24. Die formale Semantik der Sprache PL
285 -
Download PDFRequires Authentication UnlicensedLicensed
25. Korrektheit und Vollständigkeit von AK
305 -
Download PDFRequires Authentication UnlicensedLicensed
26. Korrektheit und Vollständigkeit von PK
319 -
Download PDFRequires Authentication UnlicensedLicensed
27. Korrektheit und Vollständigkeit der Wahrheitsbaumverfahren für AL und PL
337 - V. Anhang
-
Download PDFRequires Authentication UnlicensedLicensed
Lösung der Übungsaufgaben
350 -
Download PDFRequires Authentication UnlicensedLicensed
Quellennachweise für die Beispielargumente
404 -
Download PDFRequires Authentication UnlicensedLicensed
Weiterführende Literatur
406 -
Download PDFRequires Authentication UnlicensedLicensed
Register
408
- Manufacturer information:
- Walter de Gruyter GmbH
Genthiner Straße 13
10785 Berlin - productsafety@degruyterbrill.com