PHIL 370

Theoretical Logic

Units: 1.5

Hours: 3-0

Formerly: 304A

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 may include consistency, compactness, soundness and completeness.

Note:

  • Credit will be granted for only one of PHIL 370, PHIL 304A.

Prerequisites:

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

Schedules:
Summer Fall Spring

Note that not all courses are offered in every term. If a course is not offered, the schedule page will alert you that "No classes were found that meet your search criteria."