Aussagen- und Prdikatenlogik

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