Studying online

There are now 2 possible online modes for units:

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

Click on an offering mode for more details.

Unit Overview

Description

Logic is the study of what follows from what. Understanding formal logic is therefore valuable for anyone wishing to construct persuasive arguments or evaluate the reasoning of others. This unit introduces students to powerful techniques for translating natural language arguments into formal logic and for testing those arguments for validity. As well as its general use in evaluating arguments, a knowledge of formal logic is essential to understanding a great deal of important twentieth-century philosophy.

Credit
6 points
Offering
(see Timetable)
AvailabilityLocationMode
Semester 1UWA (Perth)Face to face
Details for undergraduate courses
  • Level 2 option in the Philosophy; Philosophy, Politics and Economics major sequences
  • Level 2 elective
Outcomes

Students are able to (1) locate philosophical ideas in their historical context; (2) evaluate philosophical positions, including identifying counter-examples and identifying and questioning their basic assumptions; (3) compare and contrast philosophical positions; (4) construct persuasive arguments; (5) understand the basic syntactic and semantic structure of propositional logic through to first-order predicate logic with identity; (6) translate natural language arguments into propositional logic and first-order predicate logic with identity; (7) construct truth tables in propositional logic and use them to test the validity of an argument; (8) gain a basic understanding of model theory and its set theoretic foundations; (9) understand the algebraic foundations of propositional and predicate logic; (10) construct truth-functional connectives outside of the standard connectives used in propositional and predicate logic; and (11) consider possible extensions of first-order predicate logic with identity in order to enrich the expressive power of the language.

Assessment

Indicative assessments in this unit are as follows: (1) tests; (2) problem set(s); and (3) examination. 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 Chris Letheby
Unit rules
Prerequisites
24 points of Level 1 units
Incompatibility
PHIL2205 Introduction to Logic
Approved quota: 700—first-come, first-served basis
Contact hours
Lectures: 2 hours per week
Tutorials: 1 hour per week
Texts

open-access book 'A Concise Introduction to Logic' by Craig DeLancey

  • 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.
  • Visit the Essential Textbooks website to see if any textbooks are required for this Unit. The website is updated regularly so content may change. Students are recommended to purchase Essential Textbooks, but a limited number of copies of all Essential Textbooks are held in the Library in print, and as an ebook where possible. Recommended readings for the unit can be accessed in Unit Readings directly through the Learning Management System (LMS).
  • Contact hours provide an indication of the type and extent of in-class activities this unit may contain. The total amount of student work (including contact hours, assessment time, and self-study) will approximate 150 hours per 6 credit points.