Skip to main content
SpringerLink
Log in

First-Order da Costa Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Brunner A., Carnielli W.: ‘Anti-intuitionism and Paraconsistency’. Journal of Applied Logic 3, 161–184 (2005)

    Article  Google Scholar 

  2. da Costa N.: ‘On the Theory of Inconsistent Formal Systems’. Notre Dame Journal of Formal Logic 4, 497–510 (1974)

    Article  Google Scholar 

  3. Priest G., Introduction to Non-Classical Logic: From If to Is, Cambridge: Cambridge University Press, 2006.

  4. Priest G.: ‘Dualising Intuitionist Negation’. Principia 13, 165–89 (2009)

    Google Scholar 

  5. Rauszer C.: ‘Applications of Kripke Modes to Heyting-Brouwer Logic’. Studia Logica 36, 61–71 (1977)

    Article  Google Scholar 

  6. Tennant, N., Natural Logic, Edinburgh: Edinburgh University Press, 1978.

  7. Querioz, G., Sobre a Dualidade entre Intuitionismo e Paraconsistência, PhD thesis, State University of Campinas, 1998.

  8. Urbas I.: ‘Dual Intuitionist Logic’. Notre Dame Journal of Formal Logic 37, 440–451 (1996)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departments of Philosophy, Universities of Melbourne and St Andrews, Melbourne, Australia

    Graham Priest

  2. the Graduate Center, City University of New York, New York, USA

    Graham Priest

Authors
  1. Graham Priest
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Graham Priest.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Priest, G. First-Order da Costa Logic. Stud Logica 97, 183–198 (2011). https://doi.org/10.1007/s11225-010-9303-1

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-010-9303-1

Keywords

Search

Navigation