Combining Texts

Ideas for 'Understanding and Essence', 'What is Cantor's Continuum Problem?' and 'Carnap and Logical Truth'

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

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / L. Paradox / 5. Paradoxes in Set Theory / a. Set theory paradoxes
Set-theory paradoxes are no worse than sense deception in physics [Gödel]
     Full Idea: The set-theoretical paradoxes are hardly any more troublesome for mathematics than deceptions of the senses are for physics.
     From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.271), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 03.4
Set theory was struggling with higher infinities, when new paradoxes made it baffling [Quine]
     Full Idea: Unlike elementary logic, the truths of set theory are not obvious. Set theory was straining at the leash of intuition ever since Cantor discovered higher infinites; and with the added impetus of the paradoxes of set theory the leash snapped.
     From: Willard Quine (Carnap and Logical Truth [1954], II)
     A reaction: This problem seems to have forced Quine into platonism about sets, because he felt they were essential for mathematics and science, but couldn't be constructed with precision. So they must be real, but we don't quite understand them.