Logicism Lite*

  title={Logicism Lite*},
  author={R. Jeffrey},
  journal={Philosophy of Science},
  pages={474 - 496}
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. 


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 ofExpand
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. ThisExpand
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 methodExpand
Logical Options. Peterborough, Ontario
  • 2001
Depois do Empirismo Ló gico/After Logical Empiricism
  • Benacerraf and his Critics
  • 1996
Logicism 2000 : A Mini - Manifesto ” , in Adam Morton and
  • 1996
Logicism 2000: A Mini-Manifesto
  • Benacerraf and his Critics
  • 1996