Ideas from 'Intro to 'The Reason's Proper Study'' by B Hale / C Wright [2001], by Theme Structure
[found in 'The Reason's Proper Study' by Hale,B/Wright,C [OUP 2003,9780199266326]].
Click on the Idea Number for the full details 
back to texts

expand these ideas
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / c. Grelling's paradox
10631

If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological

6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Number / g. Incompleteness of Arithmetic
10624

The incompletability of formal arithmetic reveals that logic also cannot be completely characterized

6. Mathematics / B. Foundations for Mathematics / 6. Mathematical Structuralism / e. Structuralism critique
10629

If structures are relative, this undermines truthvalue and objectivity

10628

The structural view of numbers doesn't fit their usage outside arithmetical contexts

6. Mathematics / C. Sources of Mathematics / 6. Logicism / c. Neologicism
10622

The neoFregean is more optimistic than Frege about contextual definitions of numbers

9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
10626

Objects just are what singular terms refer to

18. Thought / E. Abstraction / 7. Abstracta by Equivalence
10630

Abstracted objects are not mental creations, but depend on equivalence between given entities

19. Language / E. Analyticity / 2. Analytic Truths
10627

Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions
