 2016 - 2017 | |||||||||||||||||||||||||||||
 |
 |
||||||||||||||||||||||||||||
| 0618-1010-01 | Introduction to Philosophical Logic | ||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| FACULTY OF HUMANITIES | |||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||
University credit hours: 2.0
Course description
The aim of this course is to enhance the students’ knowledge of the first-order predicate calculus, as well as to survey a number of other topics that were not discussed in the general introductory course. Among the topics to be studied: elementary set-theoretic notions; the first-order predicate calculus with identity, including a proof system and semantics; propositional modal logics; semantic and logical paradoxes.