Repository | Book | Chapter
(2009) Logicism, intuitionism, and formalism, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/978-1-4020-8926-8_2
Full citation:
Burgess, J. P. (2009)., Protocol sentences for lite logicism, in E. Palmgren & K. Segerberg (eds.), Logicism, intuitionism, and formalism, Dordrecht, Springer, pp. 27-46.