PHIL 1179

Introduction to Symbolic Logic

Lec 001, Lec 001 and Tut 401 selected

(3 credits) 3 hours lecture, 1 hour tutorial This course introduces sentential and first-order logic from both deductive and semantic points of view. Some elementary metatheorems are also discussed.

Sections

Lecture, pick one

Lec 001

Wed 14:30-15:20

Wed14:30-15:20Faculty of Arts Building EA102242060

Lec 001

Mon 14:30-16:20

Mon14:30-16:20Faculty of Arts Building EA102242060

Lec 002

Thu 10:30-11:20

Thu10:30-11:20Faculty of Arts Building EA102242061

Lec 002

Tue 10:30-12:20

Tue10:30-12:20Faculty of Arts Building EA102242061

Tutorial, pick one

Tut 401

Wed 15:30-16:20

Wed15:30-16:20Faculty of Arts Building EA102242062

Tut 402

Thu 11:30-12:20

Thu11:30-12:20Faculty of Arts Building EA102242063

Syllabus

Have the syllabus for PHIL 1179? Share it and everyone gets the grading, textbooks and rules.