Aussagen- und Pradikatenlogik: Eine Einfuhrung

Dieses Lehrbuch vermittelt eines der wichtigsten Werkzeuge der Philosophie durch die Einfuhrung in die Grundideen einer formalen Sprache. Schrittweise werden so die relevanten Sprachstrukturen aufgedeckt, die dann in der Aussagen- und Pradikatenlogik formalisiert werden. Sowohl die Semantik als auch ein Kalkul des naturlichen Schlieens werden jeweils detailliert diskutiert. In Kombination mit einer Lernplattform wird der zentrale Stoff anwendungsorientiert und plastisch vermittelt, was die auch zum Selbststudium geeignete Einfuhrung zum idealen Begleiter fur das Philosophiestudium macht.