display all the ideas for this combination of texts
2 ideas
12005 | The symbol 'ι' forms definite descriptions; (ιx)F(x) says 'the x which is such that F(x)' [Forbes,G] |
Full Idea: We use the symbol 'ι' (Greek 'iota') to form definite descriptions, reading (ιx)F(x) as 'the x which is such that F(x)', or simply as 'the F'. | |
From: Graeme Forbes (The Metaphysics of Modality [1985], 4.1) | |
A reaction: Compare the lambda operator in modal logic, which picks out predicates from similar formulae. |
17610 | The Axiom of Choice paradoxically allows decomposing a sphere into two identical spheres [Maddy] |
Full Idea: One feature of the Axiom of Choice that troubled many mathematicians was the so-called Banach-Tarski paradox: using the Axiom, a sphere can be decomposed into finitely many parts and those parts reassembled into two spheres the same size as the original. | |
From: Penelope Maddy (Defending the Axioms [2011], 1.3) | |
A reaction: (The key is that the parts are non-measurable). To an outsider it is puzzling that the Axiom has been universally accepted, even though it produces such a result. Someone can explain that, I'm sure. |