7 ideas
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
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] |
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] |
22251 | Liberalism may fail because it neglects the shared nature of what we pursue and protect [Haldane] |