Logicism Lite*
@article{Jeffrey2002LogicismL, title={Logicism Lite*}, author={Richard C. Jeffrey}, journal={Philosophy of Science}, year={2002}, volume={69}, 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.
One Citation
Who’s who in Magelona: phylogenetic hypotheses under Magelonidae Cunningham & Ramage, 1888 (Annelida: Polychaeta)
- BiologyPeerJ
- 2021
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.
References
SHOWING 1-7 OF 7 REFERENCES
A Substitutional Framework for Arithmetical Validity
- Philosophy
- 1998
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(抜粋) (フェルマ-予想がついに解けた!?)
- Mathematics
- 1995
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
- Mathematics
- 1995
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