Faculty of Arts & Science · St. George
PHL245H1
Modern Symbolic Logic
What was the average?
B-
2.77 GPA across 7 observed terms. Most recent: Winter 2026.
How is it graded?
Not yet verified
No syllabus we can lawfully use has been verified for this course.
How confident is this?
High
Several terms agree closely.
From the calendar
Official source · Faculty of Arts & ScienceAn 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.
- Prerequisite
- None listed
- Exclusions
- PHL245H5PHLB50H3
- Contact hours
- 36 lecture
- Total scheduled hours for the course, not per week.
What people actually got
Last observed Winter 20267 terms observed
This is a student-contributed aggregate, not an official University of Toronto record. It is also not a measure of how hard the course is — a course average moves with who enrols in it, not only with the material.
Per-term figures stay hidden until each term clears five contributors. 7 observations can support one honest number; they cannot support 7.
How well we know this course
2022–2024Pyko’s archive holds 10 documents for PHL245H1, across 3 years between 2022 and 2024.
- 10
- Final exams
Counts, not a library. Pyko does not host or distribute course files, and this page is not an offer to supply one — the archive is what lets these pages describe how a course is assessed, which matters most where no syllabus has been verified.
What we don’t have yet
Source ledger
Report an error →| Claim | Source | Captured | Status |
|---|---|---|---|
| Course description, prerequisites, exclusions, contact hours | Faculty of Arts & Science | 2026-07-25 | public fact |
| Historical average across 7 terms | Student contributions, consented | 2026-07-25 | user contributed aggregate |
| 10 archived documents, 2022-2024 | Pyko archive | 2026-07-25 | index only |
Page last verified 2026-07-25. A claim whose source moves is withdrawn before it goes stale.
What this opens up
13 courses list PHL245H1 as a prerequisiteThe other 10 have no page yet. Listing a course here means it names PHL245H1 among its prerequisites — often as one of several ways to satisfy the same requirement, so this is what PHL245H1 makes available, not what it alone guarantees.
Around this course
You’ve read the average. Now use it.
Add PHL245H1 and Pyko tracks what you've earned against your own grading scheme.
Pyko is an independent student platform. It is not affiliated with, endorsed by, or operated by the University of Toronto. Course names and codes are used descriptively to identify courses.