PHL345H5 • Intermediate Logic

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.

PHL245H5 and 1.0 credits on PHL
Humanities
36L
In Class
Philosophy