display all the ideas for this combination of texts
2 ideas
14787 | Self-contradiction doesn't reveal impossibility; it is inductive impossibility which reveals self-contradiction [Peirce] |
Full Idea: It is an anacoluthon to say that a proposition is impossible because it is self-contradictory. It rather is thought so to appear self-contradictory because the ideal induction has shown it to be impossible. | |
From: Charles Sanders Peirce (The Nature of Mathematics [1898], III) |
15924 | Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine] |
Full Idea: On Zermelo's view, predicative definitions are not only indispensable to mathematics, but they are unobjectionable since they do not create the objects they define, but merely distinguish them from other objects. | |
From: report of Ernst Zermelo (Investigations in the Foundations of Set Theory I [1908]) by Shaughan Lavine - Understanding the Infinite V.1 | |
A reaction: This seems to have an underlying platonism, that there are hitherto undefined 'objects' lying around awaiting the honour of being defined. Hm. |