PHL245H1

UTSG

Modern Symbolic Logic

An introduction to formal deductive logic. Semantics, symbolization, and techniques of natural deduction in sentential logic. Symbolization, natural deduction, and models in monadic predicate logic. Symbolization and natural deduction with polyadic predicates. Introduction to advanced concepts in first-order logic, such as operations, identity, and models.

View full details on the UofT Academic Calendar
Breadth: Thought, Belief & BehaviourExcl: PHLB50H3, PHL245H5
Easy71%
Useful73%
4
comments
6
ratings

Course Info

DepartmentPHL
CampusUTSG (St. George)
Level200
Hours36L
BreadthThought, Belief & Behaviour
What do you think of PHL245H1?

Reviews (4)

AC
2026 Winter
Difficulty: 1/5Usefulness: 2/5

The content is pretty easy to follow but I personally found it kind of boring at times. Lectures are also recorded which makes it easy to go through things on your own schedule. You don’t need to do too much to do well on the tests, just a bit of studying goes a long way.

4 weeks ago