Published online by Cambridge University Press: 14 March 2022
1 “On Inductive Logic”, Phil. of Sci., 1945, 12, 72–97.
2 Phil. and Phenom. Res., 5–6, 1945.
3 The customary reference to formal languages as calculi will be otherwise avoided in this note, so that ‘calculus’ may be used unambiguously for the new theory which is, by the way, a metacalculus—about languages, not about things.
4 Strictly, one ought to write ‘m(‘s‘)’, otherwise ‘s’ has to be interpreted as the name, not the abbreviation, of a sentence. See the preceding footnote.
5 Concerning this thesis, see my contribution to the symposium (fn. 2).