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|
|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.|
- PHIL 212 or PHIL 222 or PHIL 322
- Schedule C
- Arts and Music
Prerequisites may be waived on a case-by-case basis.
- More information link
- 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