Predicate logic syntax Translations between natural and formal language Polyadic logic The identity predicate Reading: Sections 6.1 and 6.2 in Henle. Reading: Chapter 11 on sentential logic in Logical ...

The backbone of this seminar will be first-order predicate logic. We presuppose that participants in the seminar have a basic knowledge of symbolic logic. We do not plan to talk about modal logic, ...