Aussagen- und Prädikatenlogik; . - Eine Einführung. Mit interaktiver e-Learning-Plattform

Dieses Lehrbuch vermittelt eines der wichtigsten Werkzeuge der Philosophie durch die Einführung in die Grundideen einer formalen Sprache. Schrittweise werden so die relevanten Sprachstrukturen aufgedeckt, die dann in der Aussagen- und Prädikatenlogik formalisiert werden. Sowohl die Semantik als auch ein Kalkül des natürlichen Schließens werden jeweils detailliert diskutiert. In Kombination mit einer Lernplattform wird der zentrale Stoff anwendungsorientiert und plastisch vermittelt, was die auch zum Selbststudium geeignete Einführung zum idealen Begleiter für das Philosophiestudium macht.

Inhaltsverzeichnis:

1 Einleitung.- 2 Grundbegriffe.- 3 Grundlagen der Aussagenlogik.- 4 Semantik der Aussagenlogik.- 5 Systematik der Junktoren.- 6 Semantische Beweise.- 7 Schlussfiguren und die Idee eines Kalküls.- 8 Der Kalkül des natürlichen Schließens.- 9 Grundlagen der Prädikatenlogik.- 10 Prädikatenlogik und natürliche Sprache.- 11 Semantik der Prädikatenlogik.- 12 Ein Kalkül für die Prädikatenlogik.- 13 Identität von Individuen.- 14Aristotelische Syllogistik.- 15 Verzeichnis der Definitionen.- 16 Verzeichnis der Beweisregeln.