Sentential and first-order logic from both deductive and semantic points of view. Some elementary metatheorems.
This course may not be repeated for credit.
Antirequisite(s)
- Credit for Philosophy 279 and 377 will not be allowed.
Sections
| LEC 1 | MWF 12:00 - 12:50
| | Gillman Payette | | |
| LEC 2 | MWF 12:00 - 12:50
| | Denis Murphy | | |
| LEC 3 | MWF 13:00 - 13:50
| | Gillman Payette | | |
| TUT 1 | W 09:00 - 09:50
| | | | |
| TUT 2 | W 10:00 - 10:50
| | | | |
| TUT 3 | F 09:00 - 09:50
| | | | |
| TUT 4 | F 10:00 - 10:50
| | | | |
| TUT 5 | W 09:00 - 09:50
| | | | |
| TUT 6 | W 10:00 - 10:50
| | | | |
| TUT 7 | F 09:00 - 09:50
| | | | |
| TUT 8 | F 10:00 - 10:50
| | | | |
| TUT 9 | W 09:00 - 09:50
| | | | |
| TUT 10 | W 10:00 - 10:50
| | | | |
| TUT 11 | F 09:00 - 09:50
| | | | |
| TUT 12 | F 10:00 - 10:50
| | | | |
This course will be offered next in
Winter 2024.