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
Metaphysics is a quest for truthmakers [Tallant]
2. Reason / D. Definition / 12. Paraphrase
Maybe number statements can be paraphrased into quantifications plus identities [Tallant]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
Maybe only 'positive' truths need truth-makers [Tallant]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
A truthmaker is the minimal portion of reality that will do the job [Tallant]
3. Truth / B. Truthmakers / 12. Rejecting Truthmakers
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
∈ says the whole set is in the other; ⊆ says the members of the subset are in the other [Enderton]
The 'ordered pair' <x,y> is defined to be {{x}, {x,y}} [Enderton]
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
Note that {Φ} =/= Φ, because Φ ∈ {Φ} but Φ ∉ Φ [Enderton]
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
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
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
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
The wisdom of Plato and of Socrates are not the same property [Tallant]
9. Objects / B. Unity of Objects / 2. Substance / d. Substance defined
Substance must have two properties: individuation, and property-bearing [Tallant]
18. Thought / B. Mechanics of Thought / 5. Mental Files
Puzzled Pierre has two mental files about the same object [Recanati on Kripke]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
Are propositions all the thoughts and sentences that are possible? [Tallant]