A continuation of PHL245, requiring no other prior knowledge of philosophy or mathematics. Symbolization, natural deduction, and models in polyadic predicate logic with operations and identity. Symbolization, natural deduction, and models for theories of descriptions. Introduction to metatheory, such as soundness and completeness.