First-Order da Costa Logic |
| |
Authors: | Graham Priest |
| |
Institution: | 1.Departments of Philosophy,Universities of Melbourne and St Andrews,Melbourne,Australia;2.the Graduate Center,City University of New York,New York,USA |
| |
Abstract: | Priest (2009) formulates a propositional logic which, by employing the worldsemantics for intuitionist logic, has the same
positive part but dualises the negation, to produce a paraconsistent logic which it calls ‘Da Costa Logic’. This paper extends
matters to the first-order case. The paper establishes various connections between first order da Costa logic, da Costa’s
own Cω, and classical logic. Tableau and natural deductions systems are provided and proved sound and complete. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|