Logic is a remarkable discipline. It is deeply rooted in the past going back to its first systematic presentation in Aristotle's work. In its modern form, it has not only expanded Aristotelian Logic in dramatic ways, but it has also become foundational, e.g., for linguistics, computer science, cognitive science, and artificial intelligence.  It is, of course, deeply intertwined with philosophy and mathematics as correctness of argumentation is particularly crucial for these abstract disciplines.

Logic & Proofs is a rigorous introduction to modern symbolic logic that  covers both sentential and predicate logic (including identity).  The crucial skills of recognizing the (in-)correctness of arguments are honed by working in the LogicLab: in derivation or proof problems, students learn to construct complex arguments in a strategically guided way; in truth table and truth-tree problems, the emphasis is on systematically finding counterexamples.

The LogicLab is a central part in bringing these core topics to vivid life. Indeed, the course has been constructed to provide support for individual learning through active engagement; that is a most important feature and applies across all versions and is reflected in all features of Logic & Proofs, whether using the course as an individual learner or as a student at an academic institution.