Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Conceptual truth and metaphysical necessity' and 'Varieties of Ontological Dependence'

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

22 ideas

2. Reason / D. Definition / 4. Real Definition
17311 Real definitions don't just single out a thing; they must also explain its essence [Koslicki]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
17884 Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
17893 'Reflection principles' say the whole truth about sets can't be captured [Koellner]
5. Theory of Logic / K. Features of Logics / 5. Incompleteness
17894 We have no argument to show a statement is absolutely undecidable [Koellner]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / i. Cardinal infinity
17890 There are at least eleven types of large cardinal, of increasing logical strength [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 / d. Peano arithmetic
17887 PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / g. Incompleteness of Arithmetic
17891 Arithmetical undecidability is always settled at the next stage up [Koellner]
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 / 4. Necessity from Concepts
16422 The necessity of a proposition concerns reality, not our words or concepts [Stalnaker]
16423 Conceptual possibilities are metaphysical possibilities we can conceive of [Stalnaker]
10. Modality / D. Knowledge of Modality / 3. A Posteriori Necessary
16421 Critics say there are just an a priori necessary part, and an a posteriori contingent part [Stalnaker]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
16429 A 'centred' world is an ordered triple of world, individual and time [Stalnaker]
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 / C. Content / 6. Broad Content
16428 Meanings aren't in the head, but that is because they are abstract [Stalnaker]
18. Thought / E. Abstraction / 3. Abstracta by Ignoring
17316 We can abstract to a dependent entity by blocking out features of its bearer [Koslicki]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
16432 One view says the causal story is built into the description that is the name's content [Stalnaker]
19. Language / C. Assigning Meanings / 10. Two-Dimensional Semantics
16430 Two-D says that a posteriori is primary and contingent, and the necessity is the secondary intension [Stalnaker]
16431 In one view, the secondary intension is metasemantic, about how the thinker relates to the content [Stalnaker]