Keio University
2017 Spring Semester

Fundamentals of Logic

2017 Spring Tuesday 1st Period
Code: B6117 / 2 credit
Category: Fundamental Subjects — Interdisciplinary Subjects (Undergraduate)
Campus: SFC
Class Type: Lecture
Faculty-in-charge: Tatsuya Hagino

Course Summary

It is important to do correct deduction. In this lecture, we study the correctness of deduction using symbolic logic. Natural language is too complex to handle, so we first need to replace it with symbols and find out the essential logical structure. We will study what is the correct deduction, how we can show the correctness, and so on. We will handle first propositional logic, then predicate logic. We may also touch some of none classical logic.

Course Schedule and Materials

Slide and Question System