PHIL3007 Advanced Logic

Credit
6 points
Offering
AvailabilityLocationMode
Not available in 2020UWA (Perth)Face to face
Details for undergraduate courses
  • Level 3 option in the Philosophy major sequence
  • The area of knowledge for this unit is Society and Culture
  • Category B broadening unit for students
  • 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.

Supplementary assessment is not available in this unit except in the case of a bachelor's pass degree student who has obtained a mark of 45 to 49 overall and is currently enrolled in this unit, and it is the only remaining unit that the student must pass in order to complete their course.
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.
Advisable prior study:
Either any units in mathematics
or
one
or
both of PHIL2002 Logic: How to Defeat Your Foes with Reasoning and PHIL 1002 Introduction to Critical Thinking Textbooks
Contact hours
seminars: 4 hours per week (2 x 2)
Unit Outline
Semester 1_2019 [SEM-1_2019]
  • The availability of units in Semester 1, 2, etc. was correct at the time of publication but may be subject to change.
  • All students are responsible for identifying when they need assistance to improve their academic learning, research, English language and numeracy skills; seeking out the services and resources available to help them; and applying what they learn. Students are encouraged to register for free online support through GETSmart; to help themselves to the extensive range of resources on UWA's STUDYSmarter website; and to participate in WRITESmart and (ma+hs)Smart drop-ins and workshops.
  • Books and other material wherever listed may be subject to change. Book lists relating to 'Preliminary reading', 'Recommended reading' and 'Textbooks' are, in most cases, available at the University Co-operative Bookshop (from early January) and appropriate administrative offices for students to consult. Where texts are listed in the unit description above, an asterisk (*) indicates that the book is available in paperback.