Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'Essence and Potentiality' and 'Logic (Port-Royal Art of Thinking)'

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

20 ideas

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 / 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 / 7. Abstract/Concrete / b. Levels of abstraction
10502 We can rise by degrees through abstraction, with higher levels representing more things [Arnauld,A/Nicole,P]
8. Modes of Existence / C. Powers and Dispositions / 4. Powers as Essence
17954 Essence is a thing's necessities, but what about its possibilities (which may not be realised)? [Vetter]
9. Objects / D. Essence of Objects / 4. Essence as Definition
17953 Real definition fits abstracta, but not individual concrete objects like Socrates [Vetter]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
17952 Modal accounts make essence less mysterious, by basing them on the clearer necessity [Vetter]
10. Modality / A. Necessity / 5. Metaphysical Necessity
17959 Metaphysical necessity is even more deeply empirical than Kripke has argued [Vetter]
10. Modality / B. Possibility / 1. Possibility
17955 Possible worlds allow us to talk about degrees of possibility [Vetter]
17957 Maybe possibility is constituted by potentiality [Vetter]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / c. Possible but inconceivable
17958 The apparently metaphysically possible may only be epistemically possible [Vetter]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
17956 Closeness of worlds should be determined by the intrinsic nature of relevant objects [Vetter]
12. Knowledge Sources / B. Perception / 3. Representation
18258 We can only know the exterior world via our ideas [Arnauld,A/Nicole,P]
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
16784 Forms make things distinct and explain the properties, by pure form, or arrangement of parts [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 3. Abstraction by mind
10499 We know by abstraction because we only understand composite things a part at a time [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
10501 A triangle diagram is about all triangles, if some features are ignored [Arnauld,A/Nicole,P]
15. Nature of Minds / C. Capacities of Minds / 6. Idealisation
10500 No one denies that a line has width, but we can just attend to its length [Arnauld,A/Nicole,P]