1Understand some of the more advanced methods employed in logical analysis.

2Explain important problems and issues in foundational mathematical logic and express them in clear and precise terms.

3Analyze and assess foundational results in mathematical logic.

4Explain, apply, and appraise the use of formal languages.

5Assess and construct precise, abstract arguments using the tools of mathematical logic. (This will help students engage in better written and oral communication, in particular in circumstances where perspicuity and logicality are of special importance.)