Inconsistent models of arithmetic part I: Finite models [Book Review]

Journal of Philosophical Logic 26 (2):223-235 (1997)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1004251506208

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,859

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Axioms for finite collapse models of arithmetic.Andrew Tedder - 2015 - Review of Symbolic Logic 8 (3):529-539.
A Note on Priest's Finite Inconsistent Arithmetics.J. B. Paris & N. Pathmanathan - 2006 - Journal of Philosophical Logic 35 (5):529-537.
Theories of arithmetics in finite models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
Minimally inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.
A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut‐free logic.Arief Daynes - 2006 - Mathematical Logic Quarterly 52 (6):540-554.
Inconsistent nonstandard arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
Consistency and Decidability in Some Paraconsistent Arithmetics.Andrew Tedder - 2021 - Australasian Journal of Logic 18 (5):473-502.
Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity.Thomas Macaulay Ferguson - 2019 - Logic and Logical Philosophy 28 (3):389-407.
Order Types of Models of Fragments of Peano Arithmetic.Lorenzo Galeotti & Benedikt Löwe - 2022 - Bulletin of Symbolic Logic 28 (2):182-206.
Arithmetic of divisibility in finite models.A. E. Wasilewska & M. Mostowski - 2004 - Mathematical Logic Quarterly 50 (2):169.

Analytics

Added to PP
2009-01-28

Downloads
127 (#181,668)

6 months
17 (#181,053)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Graham Priest
CUNY Graduate Center

Citations of this work

The ontological commitments of inconsistent theories.Mark Colyvan - 2008 - Philosophical Studies 141 (1):115 - 123.
Contradictions and falling bridges: what was Wittgenstein’s reply to Turing?Ásgeir Berg - 2020 - British Journal for the History of Philosophy 29 (3).

View all 29 citations / Add more citations

References found in this work

In contradiction: a study of the transconsistent.Graham Priest - 2006 - New York: Oxford University Press.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Computability and Logic.G. S. Boolos & R. C. Jeffrey - 1977 - British Journal for the Philosophy of Science 28 (1):95-95.
Minimally inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.

View all 12 references / Add more references