Combining Texts

All the ideas for 'works', 'Problems in Personal Identity' and 'The Logical Form of Action Sentences'

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

---

6 ideas

5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle

15941

For intuitionists excluded middle is an outdated historical convention [Brouwer]

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

3299	In logic identity involves reflexivity (x=x), symmetry (if x=y, then y=x) and transitivity (if x=y and y=z, then x=z) [Baillie]

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / h. Reals from Cauchy

18247

Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro]

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]