Accessibility Skip to Global Navigation Skip to Local Navigation Skip to Content Skip to Search Skip to Site Map Menu

PHIL312 Advanced Formal Logic

Due to COVID-19 restrictions, a selection of on-campus papers will be made available via distance and online learning for eligible students.
Find out which papers are available and how to apply on our COVID-19 website

Advanced applications of first-order logic. The logical structure of theories, including formal number theory. Proof of the completeness of first-order logic (everything provable in it is valid and everything valid in it is provable).

This paper is an introduction to non-classical logic, covering the basics of systems that go beyond "black and white" reasoning (e.g. modal, intuitionistic, relevant and many-valued logics). Philosophical issues are discussed alongside formal techniques.

Paper title Advanced Formal Logic
Paper code PHIL312
Subject Philosophy
EFTS 0.15
Points 18 points
Teaching period Semester 1 (On campus)
Domestic Tuition Fees (NZD) $929.55
International Tuition Fees Tuition Fees for international students are elsewhere on this website.

^ Top of page

PHIL 212 or PHIL 222 or PHIL 322
Schedule C
Arts and Music

Prerequisites may be waived on a case-by-case basis.

Teaching staff

Course co-ordinator and lecturer: Associate Professor Zach Weber

Paper Structure

Two 1-hour lectures per week and one tutorial.

Teaching Arrangements

Weekly lectures expand on the basic material covered in readings.

Introduction to Non-Classical Logic by Graham Priest
Graduate Attributes Emphasised
Lifelong learning, Scholarship, Critical thinking, Self-motivation.
View more information about Otago's graduate attributes.
Learning Outcomes
Students who successfully complete the paper will acquire
  • A working knowledge of several non-classical logics, including the philosophical motivations for these logics
  • Competence with checking the validity of arguments in different logics and constructing counterexamples to invalid arguments
  • Demonstrated ability to work with abstract models and understand their relationship to data

^ Top of page


Semester 1

Teaching method
This paper is taught On Campus
Learning management system


Stream Days Times Weeks
L1 Monday 13:00-13:50 9-15, 18-22
Tuesday 13:00-13:50 9-15, 17-22
Wednesday 14:00-14:50 9-15, 17-22