14 ideas
8378 | Philosophers usually learn science from each other, not from science [Russell] |
17892 | For clear questions posed by reason, reason can also find clear answers [Gödel] |
9188 | Gödel proved that first-order logic is complete, and second-order logic incomplete [Gödel, by Dummett] |
10620 | Originally truth was viewed with total suspicion, and only demonstrability was accepted [Gödel] |
17883 | Gödel's Theorems did not refute the claim that all good mathematical questions have answers [Gödel, by Koellner] |
17885 | Gödel eventually hoped for a generalised completeness theorem leaving nothing undecidable [Gödel, by Koellner] |
10614 | The real reason for Incompleteness in arithmetic is inability to define truth in a language [Gödel] |
8375 | 'Necessary' is a predicate of a propositional function, saying it is true for all values of its argument [Russell] |
7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
4396 | The law of causality is a source of confusion, and should be dropped from philosophy [Russell] |
8376 | If causes are contiguous with events, only the last bit is relevant, or the event's timing is baffling [Russell] |
8380 | Striking a match causes its igniting, even if it sometimes doesn't work [Russell] |
8379 | In causal laws, 'events' must recur, so they have to be universals, not particulars [Russell] |
8381 | The constancy of scientific laws rests on differential equations, not on cause and effect [Russell] |