19 ideas
17082 | Paradox: why do you analyse if you know it, and how do you analyse if you don't? [Ruben] |
14239 | The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley] |
14240 | The empty set is something, not nothing! [Oliver/Smiley] |
14241 | We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley] |
14242 | Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley] |
14243 | The unit set may be needed to express intersections that leave a single member [Oliver/Smiley] |
14234 | If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley] |
14237 | We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley] |
14245 | Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley] |
14246 | If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley] |
14247 | Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley] |
17087 | The 'symmetry thesis' says explanation and prediction only differ pragmatically [Ruben] |
17081 | Usually explanations just involve giving information, with no reference to the act of explanation [Ruben] |
17092 | An explanation needs the world to have an appropriate structure [Ruben] |
17090 | Most explanations are just sentences, not arguments [Ruben] |
17094 | The causal theory of explanation neglects determinations which are not causal [Ruben] |
17088 | Reducing one science to another is often said to be the perfect explanation [Ruben] |
17089 | Facts explain facts, but only if they are conceptualised or named appropriately [Ruben] |
20239 | Unlike us, the early Greeks thought envy was a good thing, and hope a bad thing [Hesiod, by Nietzsche] |