13 ideas
10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
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] |
15081 | A strong necessity entails a weaker one, but not conversely; possibilities go the other way [Hale] |
15080 | 'Relative' necessity is just a logical consequence of some statements ('strong' if they are all true) [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] |
16713 | Philosophers are the forefathers of heretics [Tertullian] |
6610 | I believe because it is absurd [Tertullian] |