Achieve international excellence

# UWA Handbook 2017

## PHIL2002 Logic: How to Defeat Your Foes with Reasoning

Credit 6 points
Offering
(see Timetable)
 Availability Location Mode Semester 2 UWA (Perth) Face to face Summer teaching period UWA (Perth) Face to face
• Level 2 option in the Philosophy major sequence
• Category B broadening unit for Bachelor of Commerce, Bachelor of Science and Bachelor of Design students
• Level 2 elective
Content 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.
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 Typically this unit is assessed in the following ways: (1) problem sets; (2) tests; and (3) examination. Further information is available in the unit outline.

To pass this unit, a student must: (a) achieve an overall mark of 50 per cent or higher for the unit; and (b) achieve the requisite standard(s) for the problem sets component of the unit, as specified 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 Samuel Baron
Unit rules
 Prerequisites: 24 points of Level 1 units Incompatibility: PHIL2205 Introduction to Logic Approved quota: 700—first come basis
Contact hours Semester 2—lectures: 2 hours per week; tutorials: 1 hour per week (for 10 weeks from week 2); summer teaching period—delivered intensively
Unit OutlineSemester 2 : http://www.unitoutlines.arts.uwa.edu.au/Units/PHIL2002/SEM-2/2017
SUMMER : http://www.unitoutlines.arts.uwa.edu.au/Units/PHIL2002/SUMMER/2017
Note This unit has reached its quota for Semester 2, 2016. A summer teaching period 2017 version will be available for enrolment.
Texts

Nicholas. J. J. Smith Logic: the Laws of Truth: Princeton University Press 2012

• 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.

# The University of Western Australia

## University information

CRICOS Code: 00126G