11 ideas
17962 | The truth-maker principle is that every truth has a sufficient truth-maker [Forrest] |
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] |
12066 | Aristotelian and Kripkean essentialism are very different theories [Witt] |
12067 | An Aristotelian essence is a nonlinguistic correlate of the definition [Witt] |
12082 | If unity is a matter of degree, then essence may also be a matter of degree [Witt] |
12089 | Essences mainly explain the existence of unified substance [Witt] |
12102 | Essential properties of origin are too radically individual for an Aristotelian essence [Witt] |
15432 | Structural universals might serve as possible worlds [Forrest, by Lewis] |
12085 | Reality is directional [Witt] |