Combining Texts

All the ideas for 'On the Question of Absolute Undecidability', 'works' and 'Identity and Essence'

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

24 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]
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
12132 Indiscernibility is a necessary and sufficient condition for identity [Brody]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
15834 Brody bases sortal essentialism on properties required throughout something's existence [Brody, by Mackie,P]
9. Objects / C. Structure of Objects / 2. Hylomorphism / a. Hylomorphism
12140 Modern emphasis is on properties had essentially; traditional emphasis is on sort-defining properties [Brody]
9. Objects / D. Essence of Objects / 5. Essence as Kind
11895 A sortal essence is a property which once possessed always possessed [Brody, by Mackie,P]
12141 Maybe essential properties are those which determine a natural kind? [Brody]
9. Objects / D. Essence of Objects / 6. Essence as Unifier
12137 De re essentialism standardly says all possible objects identical with a have a's essential properties [Brody]
9. Objects / D. Essence of Objects / 7. Essence and Necessity / a. Essence as necessary properties
12142 Essentially, a has P, always had P, must have had P, and has never had a future without P [Brody]
12143 An object having a property essentially is equivalent to its having it necessarily [Brody]
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
12144 Essentialism is justified if the essential properties of things explain their other properties [Brody]
9. Objects / D. Essence of Objects / 12. Essential Parts
12139 Mereological essentialism says that every part that ensures the existence is essential [Brody]
9. Objects / E. Objects over Time / 12. Origin as Essential
12135 Interrupted objects have two first moments of existence, which could be two beginnings [Brody]
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
12130 a and b share all properties; so they share being-identical-with-a; so a = b [Brody]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
12138 Identity across possible worlds is prior to rigid designation [Brody]
15. Nature of Minds / B. Features of Minds / 4. Intentionality / a. Nature of intentionality
15473 How does anything get outside itself? [Fodor, by Martin,CB]
15. Nature of Minds / B. Features of Minds / 4. Intentionality / b. Intentionality theories
2981 Is intentionality outwardly folk psychology, inwardly mentalese? [Lyons on Fodor]
17. Mind and Body / D. Property Dualism / 3. Property Dualism
2985 Are beliefs brains states, but picked out at a "higher level"? [Lyons on Fodor]
18. Thought / B. Mechanics of Thought / 6. Artificial Thought / a. Artificial Intelligence
3135 Is thought a syntactic computation using representations? [Fodor, by Rey]
18. Thought / C. Content / 1. Content
2983 Maybe narrow content is physical, broad content less so [Lyons on Fodor]