PHIL 302: Topics in Formal Logic PHIL 302: Studies in Formal Logic The General Catalog Description Selected topic regarding logical theory or metatheory, such as the completeness of formal systems, non-standard logics, computability, foundational issues regarding mathematics.