Metaphysics and language: Quine, W. V. O. On the individuation of attributes. Körner, S. On some relations between logic and metaphysics. Marcus, R. B. Does the principle of substitutivity rest on a mistake? Van Fraassen, B. C. Platonism's pyrrhic victory. Martin, R. M. On some prepositional relations. Kearns, J. T. Sentences and propositions.--Basic and combinatorial logic: Orgass, R. J. Extended basic logic and ordinal numbers. Curry, H. B. Representation of Markov algorithms by combinators.--Implication and consistency: Anderson, A. R. Fitch on (...) consistency. Belnap, N. D., Jr. Grammatical propaedeutic. Thomason, R. H. Decidability in the logic of conditionals. Myhill, J. Levels of implication.--Deontic, epistemic, and erotetic logic: Bacon, J. Belief as relative knowledge. Wu, K. J. Believing and disbelieving. Kordig, C. R. Relativized deontic modalities. Harrah, D. A system for erotetic sentences. (shrink)
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).
What is new here is the detailed discussion of several important results in the classical foundations of mathematics and of the relation of logic to mathematics. As regards logical questions, the central thesis of Wittgenstein's later philosophy is well known, both from the earlier posthumous volume and from the writings of his many disciples. In the Investigations the thesis is applied to the "logic of our expressions" in everyday contexts; here he discusses in the same spirit the more specialized language (...) used in talking about the foundations of mathematics. (shrink)
The dispute between nominalists and Platonic realists has been with us for a long time — long enough to have assumed many forms. I don't want to rehearse the history of these various debates, or even to look at the matter from a historical point of view. But I would like to begin by distinguishing two quite different skirmishes in the general battle, one of which is new, and one of which is very old. We begin with the new one, (...) which is the clearest. (shrink)