40 ideas
21474 | Metaphysics studies the inexplicable ends of explanation [Schopenhauer] |
17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
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] |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
14246 | If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley] |
17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
14247 | Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley] |
21470 | For me the objective thing-in-itself is the will [Schopenhauer] |
21479 | Knowledge is not power! Ignorant people possess supreme authority [Schopenhauer] |
21476 | A priori propositions are those we could never be seriously motivated to challenge [Schopenhauer] |
21473 | All knowledge and explanation rests on the inexplicable [Schopenhauer] |
21478 | Half our thinking is unconscious, and we reach conclusions while unaware of premises [Schopenhauer] |
21477 | We don't control our own thinking [Schopenhauer] |
21475 | All of our concepts are borrowed from perceptual knowledge [Schopenhauer] |
21372 | Aesthetics concerns how we can take pleasure in an object, with no reference to the will [Schopenhauer] |
21488 | The beautiful is a perception of Plato's Forms, which eliminates the will [Schopenhauer] |
21483 | Man is essentially a dreadful wild animal [Schopenhauer] |
21466 | Pleasure is weaker, and pain stronger, than we expect [Schopenhauer] |
21484 | A man's character can be learned from a single characteristic action [Schopenhauer] |
21482 | The five Chinese virtues: pity, justice, politeness, wisdom, honesty [Schopenhauer] |
21481 | Buddhists wisely start with the cardinal vices [Schopenhauer] |
21480 | Boredom is only felt by those clever enough to need activity [Schopenhauer] |
21469 | Human life is a mistake, shown by boredom, which is direct awareness of the fact [Schopenhauer] |
21485 | The state only exists to defend citizens, from exterior threats, and from one another [Schopenhauer] |
21486 | Poverty and slavery are virtually two words for the same thing [Schopenhauer] |
21487 | The freedom of the press to sell poison outweighs its usefulness [Schopenhauer] |
21471 | If suicide was quick and easy, most people would have done it by now [Schopenhauer] |
21467 | Would humanity still exist if sex wasn't both desired and pleasurable? [Schopenhauer] |
21472 | Only religion introduces serious issues to uneducated people [Schopenhauer] |
21468 | The Creator created the possibilities for worlds, so should have made a better one than this possible [Schopenhauer] |