PHL345H5 • Intermediate Logic

Description

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.

Prerequisites
PHL245H5 and 1.0 credits on PHL
Exclusions
Distribution Requirement
Humanities
Total Instructional Hours
36L
Mode of Delivery
In Class
Program Area
Philosophy