Combining Texts

All the ideas for 'Introduction to 'Properties'', 'Constructibility and Mathematical Existence' and 'Letters to the Lord Marquis of Newcastle'

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

10 ideas

2. Reason / B. Laws of Thought / 6. Ockham's Razor
4037 Ockham's Razor is the principle that we need reasons to believe in entities [Mellor/Oliver]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
8758 We could talk of open sentences, instead of sets [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
10265 Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
8759 We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
10264 Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
8. Modes of Existence / B. Properties / 6. Categorical Properties
4027 Properties are respects in which particular objects may be alike or differ [Mellor/Oliver]
8. Modes of Existence / B. Properties / 12. Denial of Properties
4029 Nominalists ask why we should postulate properties at all [Mellor/Oliver]
16. Persons / F. Free Will / 5. Against Free Will
2384 Those actions that follow immediately the last appetite are voluntary [Hobbes]
2385 If a man suddenly develops an intention of doing something, the cause is out of his control, not in his will [Hobbes]
18. Thought / E. Abstraction / 5. Abstracta by Negation
4039 Abstractions lack causes, effects and spatio-temporal locations [Mellor/Oliver]