Journal of Philosophical Logic

, Volume 26, Issue 2, pp 223–235

Inconsistent Models of Arithmetic Part I: Finite Models

  • Graham Priest
Article

DOI: 10.1023/A:1004251506208

Cite this article as:
Priest, G. Journal of Philosophical Logic (1997) 26: 223. doi:10.1023/A:1004251506208

Abstract

The paper concerns interpretations of the paraconsistent logic LP which model theories properly containing all the sentences of first order arithmetic. The paper demonstrates the existence of such models and provides a complete taxonomy of the finite ones.

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

  • Graham Priest
    • 1
  1. 1.Department of PhilosophyThe University of QueenslandBrisbaneAustralia