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, ...