PHIL 370

Theoretical Logic

Units: 1.5

Hours: 3-0-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 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 2018 Fall 2018 Spring 2019

Summer timetable available: February 15. Fall and Spring timetables available: May 15.

Before these dates the class schedule will show "No classes were found that meet your search criteria". If this message is shown after these dates, the course is not scheduled for the selected term.