Course Language:
English
Course Objectives:
The aim of this course is to help students cover the most recent developments in contemporary logic and learn modal and philosophical logics as well as alternative logical systems.
Course Content:
Axiomatic system for the Predicate Logic: Independence, Completeness, Consistency. The foundation of mathematics. Cantor's theory of transfinite numbers. Axiomatic set theory. Crisis in the foundation of mathematics and logical paradoxes Modal logic.
Course Methodology:
1: Lecture, 2: Question-Answer, 3: Discussion, 4: Exercises
Course Evaluation Methods:
A: Testing, B: Experience, C: Homework