Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'Apology of Socrates' and 'Aboutness'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


4 ideas

4. Formal Logic / A. Syllogistic Logic / 2. Syllogistic Logic
An 'enthymeme' is an argument with an indispensable unstated assumption [Yablo]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner]
'Reflection principles' say the whole truth about sets can't be captured [Koellner]
4. Formal Logic / G. Formal Mereology / 3. Axioms of Mereology
y is only a proper part of x if there is a z which 'makes up the difference' between them [Yablo]