An advanced sequence for graduate students exploring the rigors of deductive logic, propositional calculus, and modal reasoning. Students move from categorical syllogisms to constructing airtight formal proofs for academic and professional discourse.