Logicism Lite*

  title={Logicism Lite*},
  author={Richard C. Jeffrey},
  journal={Philosophy of Science},
  pages={474 - 496}
  • R. Jeffrey
  • Published 1 September 2002
  • Philosophy
  • Philosophy of Science
Logicism Lite counts number‐theoretical laws as logical for the same sort of reason for which physical laws are counted as as empirical: because of the character of the data they are responsible to. In the case of number theory these are the data verifying or falsifying the simplest equations, which Logicism Lite counts as true or false depending on the logical validity or invalidity of first‐order argument forms in which no numbertheoretical notation appears. 
Who’s who in Magelona: phylogenetic hypotheses under Magelonidae Cunningham & Ramage, 1888 (Annelida: Polychaeta)
The present study is the first published account of inferences of phylogenetic hypotheses within Magelonidae, a group of polychaetes readily recognised by the uniquely shaped, dorso-ventrally flattened prostomium and paired ventro-laterally inserted papillated palps.


A Substitutional Framework for Arithmetical Validity
A platonist in mathematics believes that arithmetic has a subject matter, i.e., that the statements of arithmetic are about certain objects – the natural numbers. For a platonist, the language of
Modular Elliptic Curves and Fermat′s Last Theorem(抜粋) (フェルマ-予想がついに解けた!?)
When Andrew John Wiles was 10 years old, he read Eric Temple Bell’s The Last Problem and was so impressed by it that he decided that he would be the first person to prove Fermat’s Last Theorem. This
Ring-Theoretic Properties of Certain Hecke Algebras
The purpose of this article is to provide a key ingredient of [W2] by establishing that certain minimal Hecke algebras considered there are complete intersections. As is recorded in [W2], a method
Logicism 2000: A Mini-Manifesto
  • Benacerraf and his Critics
  • 1996
Depois do Empirismo Ló gico/After Logical Empiricism
  • Benacerraf and his Critics
  • 1996
Logicism 2000 : A Mini - Manifesto ” , in Adam Morton and
  • 1996
Logical Options. Peterborough, Ontario
  • 2001