#### Studying online

There are now 3 possible online modes for units:

Units with modes Online timetabled and Online flexible are available for any student to self-enrol and study online.

Units available in Online Restricted mode have been adapted for online study only for those students who require the unit to complete their studies and who are unable to attend campus owing to exceptional circumstances beyond their control. To be enrolled in a unit in Online Restricted mode, students should contact their Student Advising Office through askUWA

Click on an offering mode for more details.

Credit
6 points
Offering
AvailabilityLocationMode
Not available in 2022UWA (Perth)Face to face
• Level 3 option in the Philosophy major sequence
• Level 3 elective
Content
This unit introduces students to mathematical logic: the study of formal languages and their mathematical properties. The first part of the unit focuses on classical first-order logic and its metatheory: we discuss the interpretation of first-order logic and how to construct proofs within it. We then show that any such proof yields a valid argument (soundness) and that there is a proof for every valid argument (completeness). The rest of the unit discusses some more advanced topics in logic. These may include non-classical logics (e.g., modal logics, multi-valued logics, fuzzy logics, intuitionist logics, relevance logics, second-order logic), model-theoretic features of first-order logic (e.g., the compactness and Löwenheim-Skolem theorems), as well as an introduction to computability, recursion, and Gödel's incompleteness theorems.
Outcomes
Students are able to (1) demonstrate an understanding of complex philosophical or mathematical arguments and positions; (2) evaluate complex philosophical or mathematical positions and arguments; (3) weigh the virtues and vices of competing philosophical doctrines; (4) construct persuasive philosophical arguments or mathematical proofs concerning issues of logic; (5) translate natural language arguments into one or more of the logics discussed in the unit; (6) establish the validity of arguments using semantic and/or syntactic methods; and (7) understand the algebraic foundations of the various logics discussed in the unit.
Assessment
Indicative assessments in this unit are as follows: (1) exam; (2) tests; and (3) problem sets. Further information is available in the unit outline.

Student may be offered supplementary assessment in this unit if they meet the eligibility criteria.
Unit Coordinator(s)
Dr Remco Heesen
Unit rules
Prerequisites:
Any level 2 PHIL unit or any level 2 MATH unit or any level 2 STAT unit or any level 2 CITS unit or PPHE2211
Co-requisites:
Nil.