Einführung in die LogikEine Einführung

Dieses Lehrbuch erklärt allgemeinverständlich Grundlagen und Aufbau der Theorie des deduktiven Schliessens und behandelt klassische Aussagen- und Prädikatenlogik. Es ist für philosophisch interessierte Leserinnen und Leser geschrieben, die nicht nur diverse Kalküle kennenlernen wollen, sondern auch verstehen möchten, welche Regeln und Gesetze ihnen allen gemeinsam zugrunde liegen. Es erklärt, worin das Formale der formalen Logik eigentlich besteht. Die Einführung wird ergänzt durch Empfehlungen zu weiterer Lektüre, einem Glossar symbolischer Ausdrücke, einem Verzeichnis der Definitionen logischer Ausdrücke und einem Verzeichnis der logischen Grundregeln.