Course level

Undergraduate

Faculty

School

History,Philos,Religion&Class

Units

2

Duration

One Semester

Class hours

2L 1T

Incompatible

PHIL1020, PHIL7102

Assessment methods

Assignments and Exams

Course enquiries

David Parsons

Study Abroad

This course is pre-approved for Study Abroad and Exchange students.

Current course offerings

Course offerings Location Mode Course Profile
Semester 2, 2024 (22/07/2024 - 18/11/2024) St Lucia In Person Profile unavailable

Please Note: Course profiles marked as not available may still be in development.

Course description

This course in formal logic is intended as an introduction to the formal aspects of modern logic for students of philosophy, mathematics or computer science, or indeed anyone interested in logic. We assume that students have no previous background in logic. It begins with some discussion as to what logic is and what its role in philosophy might be. It will then move on to more formal aspects. Beginning with the notion of a formal language into which sentences and arguments are to be translated, we shall develop the syntax and semantics for a language of sentences or propositions ¿ classical propositional logic. Arguments can then be formalized and discussed with reference to the central notion of validity. The primitive language of classical propositional logic is then extended to accommodate the theory of quantifiers, which is formalisable in classical predicate logic, and the notion of validity is generalized to this extended language.

Archived offerings

Course offerings Location Mode Course Profile
Semester 2, 2023 (24/07/2023 - 18/11/2023) External External Course Profile
Semester 2, 2023 (24/07/2023 - 18/11/2023) St Lucia In Person Course Profile
Semester 2, 2022 (25/07/2022 - 19/11/2022) St Lucia Internal Course Profile
Semester 2, 2022 (25/07/2022 - 19/11/2022) External External Course Profile
Semester 2, 2021 (26/07/2021 - 20/11/2021) External External Course Profile
Semester 2, 2021 (26/07/2021 - 20/11/2021) St Lucia Internal Course Profile
Semester 2, 2020 (03/08/2020 - 21/11/2020) External External Course Profile
Semester 2, 2019 (22/07/2019 - 16/11/2019) St Lucia Internal Course Profile
Semester 2, 2018 (23/07/2018 - 17/11/2018) St Lucia Internal Course Profile
Semester 2, 2017 (24/07/2017 - 18/11/2017) St Lucia Internal Course Profile
Semester 2, 2016 (25/07/2016 - 19/11/2016) St Lucia Internal Course Profile
Semester 2, 2015 (27/07/2015 - 21/11/2015) St Lucia Internal Course Profile