1. Journal of Symbolic Logic, 16 (No. 3) : 20 5–7 (September 19 51).
2. Philosophical Studies, 2 (No. 5):72–75 (October 1951).
3. Ibid., pp. 75-80.
4. Actually the method accomplishes much more. It allows us to introduce any set of predicates, with any type of interdependence.
5. For a detailed study of these functions see Carnap'sLogical Foundations of Probability (Chicago: University of Chicago Press, 1950).