Journal of Philosophical Logic

, Volume 26, Issue 2, pp 223-235

First online:

Inconsistent Models of Arithmetic Part I: Finite Models

  • Graham PriestAffiliated withDepartment of Philosophy, The University of Queensland

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.