PHIL 370

Theoretical Logic

Units: 1.5, Hours: 3-0

Treatment and justification of formal logic from a theoretical point of view: Ideal formal languages developed, and their relationship to natural languages discussed. Syntactic and semantic theories formalized for the analysis of complex deductive arguments. The metatheory of formal logic, relating the syntactic theories and the semantic theories, developed. Topics include consistency, compactness, soundness, and completeness.

Note: Credit will be granted for only one of 370, 304A.

Formerly: 304A

Prerequisites: 203 or MATH 122 or permission of the department.

Undergraduate course in Philosophy offered by the Department of Philosophy in the Faculty of Humanities.