Die Logik ist die Lehre vom korrekten Schließen und beschreibt die allgemeinen Gesetze des
rationalen Denkens und Argumentierens. Dieses Buch vermittelt die Grundlagen der Semantik und
Syntax der klassischen elementaren Logik und reflektiert zugleich deren Grenzen. Es erläutert
formale Konzeptionen der Wahrheit und entwickelt einen Kalkül zum logisch gültigen Schließen.
Anhand zahlreicher Beispiele und vieler Übungsaufgaben erlernen die Leser das selbstständige
logische Beweisen und werden in die Lage versetzt logisch gültige Argumente zu erkennen
logisch knifflige Rätsel zu lösen und logische Fehlschlüsse zu vermeiden. Das Buch eignet sich
insbesondere als Lehrbuch für einen einsemestrigen Kurs zur Einführung in die Logik. Es richtet
sich an Studienanfänger und an all diejenigen die einen formal präzisen zugleich aber
anwendungsorientierten Zugang zur Logik suchen. Logic is the teaching of correct reasoning
describing its general laws as the basis of rational thinking. This book supplies the rudiments
of the semantics and syntax of classical elementary logic while simultaneously reflecting its
limitations. It explains formal concepts of truth and develops a calculus for logically valid
reasoning. By means of numerous examples and many exercises the readers learn to independently
induce logical proof and to recognize logically valid arguments to solve logically tricky
puzzles and to avoid logical mistakes. The book is particularly appropriate as a textbook for a
one-semester course in the introduction to logic. It is aimed at freshmen and at all those who
are looking for a formally precise yet application-oriented approach to logic.
