Abstract

R-Dagger is the theory of relevant implication, Got from the calculus r (see belnap, Jsl, 32, 1-22), By adding machinery for propositional quantification. In r-Dagger define t as for some p, P, F as for all p, P. Then (t, F) is closed in r-Dagger under truth-Functions and relevant implication, Which, When confined to (t, F) acts just like material 'implication.' but r-Dagger admits of many propositions other than t, F. The article also contains polemics against extensionalism and nominalism. (edited).