7 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] |
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] |
19378 | Early modern possibility is what occurs sometime; for Leibniz, it is what is not contradictory [Arthur,R] |
19380 | Occasionalism contradicts the Eucharist, which needs genuine changes of substance [Arthur,R] |
15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |