Combining Texts

Ideas for 'From an Ontological Point of View', 'Elements of Intuitionism (2nd ed)' and 'Speaking of Objects'

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

display all the ideas for this combination of texts


2 ideas

4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett]
     Full Idea: On an intuitionistic view, neither the truth-value of a statement nor any other mathematical entity can be given as the final result of an infinite process, since an infinite process is precisely one that does not have a final result.
     From: Michael Dummett (Elements of Intuitionism (2nd ed) [2000], p.41), quoted by Ian Rumfitt - The Boundary Stones of Thought 7.3
     A reaction: This is rather a persuasive reason to sympathise with intuitionism. Mathematical tricks about 'limits' have lured us into believing in completed infinities, but actually that idea is incoherent.
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
God does not create the world, and then add the classes [Heil]
     Full Idea: It is hard to see classes as an 'addition of being'; God does not create the world, and then add the classes.
     From: John Heil (From an Ontological Point of View [2003], 13.4 n6)
     A reaction: This seems right. We may be tempted into believing in the reality of classes when considering maths, but it seems utterly implausible when considering trees or cows.