Combining Texts

All the ideas for 'Philosophy of Mathematics', 'The Logical Form of Action Sentences' and 'III.12 On physiognomy'

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

8 ideas

2. Reason / D. Definition / 8. Impredicative Definition
10882 Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10884 A theory is 'categorical' if it has just one model up to isomorphism [Horsten]
6. Mathematics / B. Foundations for Mathematics / 2. Proof in Mathematics
10885 Computer proofs don't provide explanations [Horsten]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
10881 The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten]
7. Existence / B. Change in Existence / 4. Events / a. Nature of events
7771 We need 'events' to explain adverbs, which are adjectival predicates of events [Davidson, by Lycan]
8860 Language-learning is not good enough evidence for the existence of events [Yablo on Davidson]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
15002 If the best theory of adverbs refers to events, then our ontology should include events [Davidson, by Sider]
22. Metaethics / B. Value / 2. Values / e. Death
7495 Apart from the fear, dying is an easy duty [Montaigne]