The course then focuses on (first-order) predicate logic, which is much more powerful and provides the logical basis for analysing a great variety of arguments and theories. 15 hours of lectures and ...