Logik : : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik /

Logik : : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik / / Gerhard Schurz.

Show other versions (1)

Dieses Buch umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt den Leser in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Auf die philosophisc...

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DG Plus DeG Package 2020 Part 1
VerfasserIn:
Schurz, Gerhard,
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2020]
©2020
Year of Publication:2020
Edition:2., korrigierte und erweiterte Auflage
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!
Table of Contents:
  • Frontmatter
  • Vorwort
  • Vorwort zur zweiten Auflage
  • 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

Similar Items