Journal of Philosophical Logic

, Volume 26, Issue 2, pp 223–235

Inconsistent Models of Arithmetic Part I: Finite Models

  • Graham Priest


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

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

Personalised recommendations