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 | First Semester |
| Domestic Tuition Fees (NZD) | $904.05 |
| International Tuition Fees (NZD) | $3,954.75 |
- 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
- 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
