Credit units: 3
Offered: Either Term 1 or Term 2
Weekly hours: 3 Lecture hours
College: Arts and Science
A continuation of the logic covered in PHIL 241. A brief review of semantics and proof theory for propositional logic, followed by its metatheory; introduction to modal logics and their philosophical significance; polyadic predicate logic with identity; definite descriptions; elementary set theory; time permitting, topics on non-standard elementary logic.
Prerequisite(s): PHIL 241 or CMPT 260.
Note: Students with credit for PHIL 242 may not take this course for credit.
Upcoming class offerings
The syllabus is a public document that provides detail about a class, such as the schedule of activities, learning outcomes, and weighting of assignments and examinations.
Once an instructor has made their syllabus publicly available on USask’s Learning Management System, it will appear below. Please note that the examples provided below do not represent a complete set of current or previous syllabus material. Rather, they are presented solely for the purpose of indicating what may be required for a given class. Unless otherwise specifically stated on the content, the copyright for all materials in each course belongs to the instructor whose name is associated with that course. The syllabus is the intellectual property of instructors or the university.