Introduces students to sentential logic, the logic of quantification and some of the basic concepts and results of metalogic (interpretations, validity and soundness).
instructor(s)
Bailey, Dom
Primary Instructor
- Fall 2020 / Fall 2022 / Fall 2023 / Spring 2024
Forbes, Graeme R
Primary Instructor
- Spring 2018 / Fall 2018 / Spring 2019 / Fall 2019
Oddie, Graham
Primary Instructor
- Spring 2020 / Spring 2021
Rupert, Rob
Primary Instructor
- Summer 2018 / Summer 2019 / Spring 2023
Saucedo, Raul
Primary Instructor
- Spring 2018 / Fall 2018 / Spring 2019 / Fall 2019 / Fall 2020 / Spring 2021 / Fall 2021 / Spring 2022 / Spring 2023 / Fall 2023 / Spring 2024 / Fall 2024
Shear, Ted
Primary Instructor
- Fall 2021 / Spring 2022 / Fall 2024
