6 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
16640 | Form is the principle that connects a thing's constitution (rather than being operative) [Hill,N] |
15642 | If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle] |
15645 | Nominal essence are the observable properties of things [Eagle] |
15643 | Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle] |
15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |