Journal of Philosophical Logic

, Volume 26, Issue 2, pp 223–235 | Cite as

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.


Model Theory Paraconsistent Logic Finite Model Order Arithmetic Inconsistent Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. van Bendegem, Jean-Paul (1993): Strict, yet rich finitism, pp. 61–79 of Z. W. Wolkowski (ed.) First International Symposium on Gödel's Theorems, World Scientific, Singapore.Google Scholar
  2. Boolos, G. and Jeffrey, R. (1984): Computability and Logic, Cambridge University Press, Cambridge.Google Scholar
  3. Dunn, J. M. (1979): A theorem in 3-valued model theory, with connections to number theory, type theory and relevance logic, Studia Logica 38, 149–169.Google Scholar
  4. Kaye, R. (1991): Models of Peano Arithmetic, Clarendon Press, Oxford.Google Scholar
  5. Meyer, R. K. (1978): Relevant arithmetic, Bulletin of the Section of Logic, Polish Academy of Sciences 5, 133–137.Google Scholar
  6. Meyer, R. K. and Mortensen, C. (1984): Inconsistent models for relevant arithmetic, Journal of Symbolic Logic 49, 917–929.Google Scholar
  7. Mortensen, C. (1995): Inconsistent Mathematics, Kluwer Academic Publishers, Dordrecht.Google Scholar
  8. Priest, G. (1987): In Contradiction, Nijhoff, Dordrecht.Google Scholar
  9. Priest, G. (1991): Minimally inconsistent LP, Studia Logica 50, 321–331.Google Scholar
  10. Priest, G. (1994): Is arithmetic consistent?, Mind 103, 337–349.Google Scholar
  11. Priest, G., Routley, R. and Norman, J. (1989): Paraconsistent Logics, Philosophia Verlag, Munich.Google Scholar

Copyright information

© Kluwer Academic Publishers 1997

Authors and Affiliations

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

Personalised recommendations