The contents of the course may vary from year to year but will be based on: (1) a further logical and philosophical study of classical propositional and predicate logic; (2) a logical and ...