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

PHIL312 Advanced Formal Logic

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.1500
Points 18 points
Teaching period Not offered in 2019
Domestic Tuition Fees (NZD) $886.35
International Tuition Fees (NZD) $3,766.35

^ Top of page

Prerequisite
PHIL 212 or PHIL 222 or PHIL 322
Schedule C
Arts and Music
Eligibility
Pre-requisites may be waived on a case-by-case basis.
Contact
zach.weber@otago.ac.nz
Teaching staff
Dr 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.

Textbooks
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

Timetable

Not offered in 2019

Location
Dunedin
Teaching method
This paper is taught On Campus
Learning management system
None