Combining Texts

All the ideas for 'Philosophy of Mathematics', 'The Logical Form of Action Sentences' and 'Intro to Naming,Necessity and Natural Kinds'

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

11 ideas

2. Reason / D. Definition / 1. Definitions
5831 The new view is that "water" is a name, and has no definition [Schwartz,SP]
2. Reason / D. Definition / 8. Impredicative Definition
10882 Predicative definitions only refer to entities outside the defined collection [Horsten]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
5829 We refer to Thales successfully by name, even if all descriptions of him are false [Schwartz,SP]
5830 The traditional theory of names says some of the descriptions must be correct [Schwartz,SP]
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]
18. Thought / C. Content / 8. Intension
5826 The intension of "lemon" is the conjunction of properties associated with it [Schwartz,SP]