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.