Aussagen- und Prädikatenlogik
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 ein...
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 ein...
