Journal of Philosophical Logic 27 (4):327 - 351 (1998)
The system R## of "true" relevant arithmetic is got by adding the ω-rule "Infer VxAx from AO, A1, A2, ...." to the system R# of "relevant Peano arithmetic". The rule ⊃E (or "gamma") is admissible for R##. This contrasts with the counterexample to ⊃E for R# (Friedman & Meyer, "Whither Relevant Arithmetic"). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime theory T which still lacks C. (The key to the Way Up is a Witness Protection Program, using the ω-rule.) But T may be TOO BIG, whence there is a Way Down argument that produces a better theory TR, such that R## ⊆ TR ⊆ T. (The key to the Way Down is a Metavaluation, on which membership in T is combined with ordinary truth-functional conditions to determine TR.) The result is a theory that is Just Right, whence it never happens that A ⊃ C and A are theorems of R## but C is a non-theorem
|Categories||categorize this paper)|
References found in this work BETA
The Semantics of Entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.
Relevant Predication 1: The Formal Theory. [REVIEW]J. Michael Dunn - 1987 - Journal of Philosophical Logic 16 (4):347 - 381.
Citations of this work BETA
Relevant Logic and the Philosophy of Mathematics.Edwin Mares - 2012 - Philosophy Compass 7 (7):481-494.
Similar books and articles
Models of Arithmetic and Upper Bounds for Arithmetic Sets.Alistair H. Lachlan & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (3):977-983.
Whither Relevant Arithmetic?Harvey Friedman & Robert K. Meyer - 1992 - Journal of Symbolic Logic 57 (3):824-831.
ÂE is Admissible in ÂTrueâ Relevant Arithmetic.Robert K. Meyer - 1998 - Journal of Philosophical Logic 27 (4):327-351.
Added to index2009-01-28
Total downloads18 ( #267,826 of 2,158,197 )
Recent downloads (6 months)1 ( #356,322 of 2,158,197 )
How can I increase my downloads?