Ideas from 'The Foundations of Mathematics' by Frank P. Ramsey [1925], by Theme Structure
[found in 'Philosophical Papers' by Ramsey,Frank (ed/tr Mellor,D.H.) [CUP 1990,0521376211]].
green numbers give full details 
back to texts

expand these ideas
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
13430

Infinity: there is an infinity of distinguishable individuals

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
13428

Reducibility: to every nonelementary function there is an equivalent elementary function

5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
13427

Either 'a = b' vacuously names the same thing, or absurdly names different things

5. Theory of Logic / L. Paradox / 1. Paradox
13334

Contradictions are either purely logical or mathematical, or they involved thought and language

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
13426

Formalists neglect content, but the logicists have focused on generalizations, and neglected form

6. Mathematics / C. Sources of Mathematics / 7. Formalism
13425

Formalism is hopeless, because it focuses on propositions and ignores concepts
