For five days from August 29 to September 2, “Logic(Seminar): Introduction to Logic 2022” was held as a Hokkaido Summer Institute (HSI) 2022 course offered by Graduate School of Humanities and Human Sciences. The same as last time, the course was conducted by Associate Professor Katsuhiko SANO at Laboratory of Philosophy and Ethics, Faculty of Humanities and Human Sciences, Hokkaido University.
This year, the course was held face-to-face for the first time in three years since HSI 2019. Participants were greeted by late-summer sunlight on the Sapporo campus and attended classes at the Humanities and Social Sciences Classroom Building.
The lecture started with the introduction of participants, followed by an overview of the course by Associate Prof. Sano including the purpose, goals, and the structure of the course, and instructions on assignments and grading. Students started with the basics and were instructed to follow symbols and formulas described by Associate Prof. Sano. The first lesson let students to learn about propositional logic using truth table.
The course was designed for participants to acquire basic logical thinking skills through lectures and taking a hands-on approach to assignments.
(Theory ⇦ ⇨ Practice)
The modest-sized class allowed participants to discuss questions with one another or ask questions to the lecturer and teaching assistants whenever they needed assistance.
The course that kicked off with propositional logic and truth table made it to the total of 15 fulfilling classes that enabled participants to engage in hands-on assignments and gain a wealth of knowledge on logic, including tableau calculus, and model theory in the semantics of first-order logic.
Positioned to provide a foundation for logic, this five-day course was held prior to Topics in Applied Modal Logic 2022, which was offered a week after from September 12 as an application of logic.
Participants acquired in-depth knowledge of logic through these five days of lectures, taking on assignments, and communication with the lecturer, teaching assistants, and student next door.