Protocol Sentences for Lite Logicism

Research output: Chapter in Book/Report/Conference proceedingChapter


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.

Original languageEnglish (US)
Title of host publicationSynthese Library
PublisherSpringer Science and Business Media B.V.
Number of pages20
StatePublished - 2009

Publication series

NameSynthese Library
ISSN (Print)0166-6991
ISSN (Electronic)2542-8292

All Science Journal Classification (ASJC) codes

  • Language and Linguistics
  • History
  • Logic
  • History and Philosophy of Science


  • Arithmetical Fact
  • Auxiliary Hypothesis
  • Classical Mathematic
  • Logical Schema
  • Observation Report


Dive into the research topics of 'Protocol Sentences for Lite Logicism'. Together they form a unique fingerprint.

Cite this