Philosophy (PHIL) Courses>Theoretical Logic

PHIL370 - Theoretical Logic

Description

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.

Units

1.5

Hours: lecture-lab-tutorial

3-0-0

Note(s)

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

Prerequisites

  • Complete 1 of:
    • PHIL203 - Elementary Formal Logic (1.5)
    • MATH122 - Logic and Foundations (1.5)
  • or permission of the department.

Course offered by

Department of Philosophy

Course schedules

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

Use the buttons below to search the timetable. If the search results show 0 classes and the message ‘Please search again’, then the class is not scheduled for the selected term.