Combining Texts

All the ideas for '23: Book of Isaiah', 'The Theory of Logical Types' and 'What is an Emotion?'

expand these ideas     |    start again     |     specify just one area for these texts

---

9 ideas

1. Philosophy / D. Nature of Philosophy / 2. Invocation to Philosophy

7493	Let us reason together, saith the Lord [Isaiah]

5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic

21566

'Propositional functions' are ambiguous until the variable is given a value [Russell]

5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox

21567

'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell]

6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory

23457

Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell]

21556

Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey]

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / d. Predicativism

21568

A one-variable function is only 'predicative' if it is one order above its arguments [Russell]

18. Thought / A. Modes of Thought / 3. Emotions / a. Nature of emotions

23981

Rage is inconceivable without bodily responses; so there are no disembodied emotions [James]

27. Natural Reality / E. Cosmology / 1. Cosmology

7608	The world is established, and cannot be moved [Isaiah]

28. God / A. Divine Nature / 1. God

7343	Beside me there is no God [Isaiah]