Protocol Sentences for Lite Logicism

Abstract

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.