14 ideas
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| 11993 | Jones may cease to exist without some simple property, but that doesn't make it essential [Kung] |
| 11997 | A property may belong essentially to one thing and contingently to another [Kung] |
| 11992 | Aristotelian essences underlie a thing's existence, explain it, and must belong to it [Kung] |
| 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] |
| 11995 | Some peripheral properties are explained by essential ones, but don't themselves explain properties [Kung] |
| 11996 | Some non-essential properties may explain more than essential-but-peripheral ones do [Kung] |