PHIL 120 - Symbolic Logic I

★ 3 (fi 6)(EITHER, 3-0-0)

Faculty of Arts

A study of sentential logic, including translation, semantics, decision procedures and natural deduction followed by an introduction to predicate logic, concentrating on translation. Note: Not open to students with credit in PHIL 220.

No future terms

Fall Term 2023

Lectures

Section Capacity Class times Instructor(s)
LECTURE A1
(82448)
Download syllabus
100
2023-09-05 - 2023-12-08 (MWF)
13:00 - 13:50
NRE 2-003

Final Exam:
2023-12-14
14:00 - 17:00
CCIS 1-440
Primary Instructor: Hassan Masoud

Winter Term 2024

Lectures

Section Capacity Class times Instructor(s)
LECTURE 850
(17332)
50
2024-01-08 - 2024-04-12 (T)
18:00 - 21:00
ONLINE
Primary Instructor: Christopher Lepock
LECTURE B1
(10307)
50
2024-01-08 - 2024-04-12 (TR)
09:30 - 10:50
T 1-090
Primary Instructor: Katalin Bimbo