10 ideas
| 18261 | A simplification which is complete constitutes a definition [Kant] |
| 9565 | Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara] |
| 3339 | For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn] |
| 22275 | Logic gives us the necessary rules which show us how we ought to think [Kant] |
| 16489 | Is it possible to state every possible truth about the whole course of nature without using 'not'? [Russell] |
| 16490 | Some facts about experience feel like logical necessities [Russell] |
| 16488 | It is hard to explain how a sentence like 'it is not raining' can be found true by observation [Russell] |
| 18260 | If we knew what we know, we would be astonished [Kant] |
| 16491 | If we define 'this is not blue' as disbelief in 'this is blue', we eliminate 'not' as an ingredient of facts [Russell] |
| 4786 | Russell's 'at-at' theory says motion is to be at the intervening points at the intervening instants [Russell, by Psillos] |