15 ideas
| 12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
| 12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
| 12454 | Intuitionists only accept denumerable sets [Brouwer] |
| 12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
| 15086 | Absolute necessity might be achievable either logically or metaphysically [Hale] |
| 8261 | Maybe not-p is logically possible, but p is metaphysically necessary, so the latter is not absolute [Hale] |
| 15080 | 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [Hale] |
| 15081 | A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale] |
| 15082 | Metaphysical necessity says there is no possibility of falsehood [Hale] |
| 15085 | 'Broadly' logical necessities are derived (in a structure) entirely from the concepts [Hale] |
| 15088 | Logical necessities are true in virtue of the nature of all logical concepts [Hale] |
| 15087 | Conceptual necessities are made true by all concepts [Hale] |
| 10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |