Logteach 22: Why and how to teach logic for CS undergraduates
-
Event date:
31-Jul-2022 - 1-Aug-2022
-
Event place:
Haifa, Israel
-
Keywords:
Teaching Logic
-
Abstract:
ABSTRACT. We follow Ludwig Wittgenstein: "How can the all-embracing logic which mirrors the world use such special catches and manipulations? Only because all these are connected into an infinitely fine network, the great mirror." (Tractatus Logico-Philosophicus 5.511) Teaching logic means therefore to teach how surprisingly straightforward insights generate the most abstract structures known. In this lecture we intend to develop tools to motivate this generation for beginners.