Combining Texts

All the ideas for 'fragments/reports', 'Varieties of Ontological Dependence' and 'works'

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

19 ideas

1. Philosophy / B. History of Ideas / 2. Ancient Thought
1597 Thales was the first western thinker to believe the arché was intelligible [Roochnik on Thales]
2. Reason / A. Nature of Reason / 1. On Reason
17892 For clear questions posed by reason, reason can also find clear answers [Gödel]
2. Reason / D. Definition / 4. Real Definition
17311 Real definitions don't just single out a thing; they must also explain its essence [Koslicki]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
9188 Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett]
5. Theory of Logic / I. Semantics of Logic / 2. Formal Truth
10620 Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
17883 Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
17312 It is more explanatory if you show how a number is constructed from basic entities and relations [Koslicki]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
17885 Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner]
10614 The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel]
7. Existence / C. Structure of Existence / 1. Grounding / b. Relata of grounding
17314 The relata of grounding are propositions or facts, but for dependence it is objects and their features [Koslicki]
9. Objects / D. Essence of Objects / 2. Types of Essence
17313 Modern views want essences just to individuate things across worlds and times [Koslicki]
9. Objects / D. Essence of Objects / 4. Essence as Definition
17309 For Fine, essences are propositions true because of identity, so they are just real definitions [Koslicki]
17315 We need a less propositional view of essence, and so must distinguish it clearly from real definitions [Koslicki]
10. Modality / C. Sources of Modality / 5. Modality from Actuality
3013 Nothing is stronger than necessity, which rules everything [Thales, by Diog. Laertius]
14. Science / D. Explanation / 1. Explanation / b. Aims of explanation
17317 A good explanation captures the real-world dependence among the phenomena [Koslicki]
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
17316 We can abstract to a dependent entity by blocking out features of its bearer [Koslicki]
26. Natural Theory / A. Speculations on Nature / 6. Early Matter Theories / c. Ultimate substances
1494 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
1713 Thales must have thought soul causes movement, since he thought magnets have soul [Thales, by Aristotle]
29. Religion / A. Polytheistic Religion / 2. Greek Polytheism
1742 Thales said the gods know our wrong thoughts as well as our evil actions [Thales, by Diog. Laertius]