Combining Texts

All the ideas for 'A Puzzle about Belief', 'Metaphysics: an introduction' and 'Elements of Set Theory'

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

17 ideas

1. Philosophy / E. Nature of Metaphysics / 1. Nature of Metaphysics
18859 Metaphysics is a quest for truthmakers [Tallant]
2. Reason / D. Definition / 12. Paraphrase
18861 Maybe number statements can be paraphrased into quantifications plus identities [Tallant]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
18866 Maybe only 'positive' truths need truth-makers [Tallant]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
18860 A truthmaker is the minimal portion of reality that will do the job [Tallant]
3. Truth / B. Truthmakers / 12. Rejecting Truthmakers
18863 What is the truthmaker for a possible new power? [Tallant]
4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST
13201 ∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton]
13204 The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton]
13206 A 'linear or total ordering' must be transitive and satisfy trichotomy [Enderton]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
13200 Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton]
13199 The empty set may look pointless, but many sets can be constructed from it [Enderton]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
13203 The singleton is defined using the pairing axiom (as {x,x}) [Enderton]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
13202 Fraenkel added Replacement, to give a theory of ordinal numbers [Enderton]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13205 We can only define functions if Choice tells us which items are involved [Enderton]
8. Modes of Existence / B. Properties / 13. Tropes / a. Nature of tropes
18864 The wisdom of Plato and of Socrates are not the same property [Tallant]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
18865 Substance must have two properties: individuation, and property-bearing [Tallant]
18. Thought / B. Mechanics of Thought / 5. Mental Files
16383 Puzzled Pierre has two mental files about the same object [Recanati on Kripke]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
18862 Are propositions all the thoughts and sentences that are possible? [Tallant]