A Definition of Degree of Confirmation for Very Rich Languages
- 1 January 1956
- journal article
- Published by Cambridge University Press (CUP) in Philosophy of Science
- Vol. 23 (1) , 58-62
- https://doi.org/10.1086/287461
Abstract
Carnap's system of inductive logic (1) has very often been criticized on the ground that “degree of confirmation” is defined only for languages which are extremely over-simplified. Allegedly, it would be very difficult—and perhaps impossible—to define it adequately for languages formalized within the higher predicate calculi, or languages equivalent to these in richness, and it is such languages that would be needed were we ever to formalize the language of empirical science as a whole. Thus, this criticism bears not only on Carnap's work, but on all attempts to construct an exact analysis of induction from this particular standpoint; that is, from the standpoint of “logical measure functions.”Keywords
This publication has 1 reference indexed in Scilit:
- Mathematical LogicPublished by Harvard University Press ,1951