6 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
15642 | If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle] |
15643 | Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle] |
15645 | Nominal essence are the observable properties of things [Eagle] |
20662 | The biology of societies: kin selection, parenting, mating; status, territory, contracts [Wilson,EO] |
15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |