Protocol Sentences for Lite Logicism
According to the late Richard Jeffrey’s “lite logicism”, a kind of a cross between Frege-Russell logicism and Hilbert’s formalism, mathematics is logical only in the sense in which physics is empirical: the data of mathematics are logical, as the data of physics are empirical, though in each case a theoretical structure of the science goes far beyond the data. After this view is introduced and compared and contrasted with others, the question just what form the “protocol sentences” or reports of data are to take is examined.
KeywordsClassical Mathematic Logical Schema Arithmetical Fact Observation Report Auxiliary Hypothesis
Unable to display preview. Download preview PDF.