“Strenge” arithmetics


In Entailment, Anderson and Belnap motivated their modification E of Ackermann’s strenge Implikation Π Π’ as a logic of relevance and necessity. The kindred system R was seen as relevant but not as modal. Our systems of Peano arithmetic R# and omega arithmetic R## were based on R to avoid fallacies of relevance. But problems arose as to which arithmetic sentences were (relevantly) true. Here we base analogous systems on E to solve those problems. Central to motivating E is the rejection of fallacies of modality. Our slogan here for this is, “No diamonds entail any boxes.” Form the strenge Peano arithmetic E# like R#, adding appropriate forms of the Peano axioms to Ackermann’s E..



    Upload a copy of this work     Papers currently archived: 92,261

External links

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

Through your library

  • Only published works are available at libraries.

Similar books and articles

Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
Whither relevant arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
⊃E is Admissible in “true” relevant arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327 - 351.
⊃E is Admissible in “true” relevant arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327-351.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.


Added to PP

78 (#214,462)

6 months
7 (#439,760)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Greg Restall
University of Melbourne

Citations of this work

Metavaluations.Ross T. Brady - 2017 - Bulletin of Symbolic Logic 23 (3):296-323.
From Hilbert proofs to consecutions and back.Tore Fjetland Øgaard - 2021 - Australasian Journal of Logic 18 (2):51-72.
Substitution in relevant logics.Tore Fjetland Øgaard - 2019 - Review of Symbolic Logic (3):1-26.

Add more citations

References found in this work

No references found.

Add more references