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.15
Points	18 points
Teaching period	Not offered in 2021, expected to be offered in 2022 (On campus)
Domestic Tuition Fees (NZD)	$913.95
International Tuition Fees (NZD)	$4,073.40

^ 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

More information link

View more information on the Philosophy programme's website

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