Combining Texts

All the ideas for 'fragments/reports', 'Truthmaking for Presentists' and 'Must We Believe in Set Theory?'

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


24 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales]
3. Truth / B. Truthmakers / 3. Truthmaker Maximalism
If maximalism is necessary, then that nothing exists has a truthmaker, which it can't have [Cameron]
3. Truth / B. Truthmakers / 4. Truthmaker Necessitarianism
Determinate truths don't need extra truthmakers, just truthmakers that are themselves determinate [Cameron]
3. Truth / B. Truthmakers / 5. What Makes Truths / a. What makes truths
The facts about the existence of truthmakers can't have a further explanation [Cameron]
3. Truth / B. Truthmakers / 9. Making Past Truths
The present property 'having been F' says nothing about a thing's intrinsic nature [Cameron]
One temporal distibution property grounds our present and past truths [Cameron]
We don't want present truthmakers for the past, if they are about to cease to exist! [Cameron]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
The logic of ZF is classical first-order predicate logic with identity [Boolos]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
A few axioms of set theory 'force themselves on us', but most of them don't [Boolos]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / d. Naïve logical sets
Naïve sets are inconsistent: there is no set for things that do not belong to themselves [Boolos]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
The iterative conception says sets are formed at stages; some are 'earlier', and must be formed first [Boolos]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Infinite natural numbers is as obvious as infinite sentences in English [Boolos]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / f. Uncountable infinities
Mathematics and science do not require very high orders of infinity [Boolos]
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Mathematics isn't surprising, given that we experience many objects as abstract [Boolos]
8. Modes of Existence / B. Properties / 3. Types of Properties
Being polka-dotted is a 'spatial distribution' property [Cameron]
8. Modes of Existence / D. Universals / 1. Universals
It is lunacy to think we only see ink-marks, and not word-types [Boolos]
9. Objects / A. Existence of Objects / 2. Abstract Objects / a. Nature of abstracta
I am a fan of abstract objects, and confident of their existence [Boolos]
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
We deal with abstract objects all the time: software, poems, mistakes, triangles.. [Boolos]
9. Objects / E. Objects over Time / 2. Objects that Change
Change is instantiation of a non-uniform distributional property, like 'being red-then-orange' [Cameron]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
Thales said water is the first principle, perhaps from observing that food is moist [Thales, by Aristotle]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle]
27. Natural Reality / D. Time / 3. Parts of Time / c. Intervals
Surely if things extend over time, then time itself must be extended? [Cameron]
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius]