Protocol sentences for lite logicism

John P. Burgess

pp. 27-46

in: Erik Palmgren, Krister Segerberg (eds), Logicism, intuitionism, and formalism, Berlin, Springer, 2009

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.

Cited authors

Frege Gottlob