9 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] |
| 8808 | Involuntary beliefs can still be evaluated [Feldman/Conee] |
| 8807 | Evidentialism is the view that justification is determined by the quality of the evidence [Feldman/Conee] |
| 8809 | Beliefs should fit evidence, and if you ought to believe it, then you are justified [Feldman/Conee] |
| 8810 | If someone rejects good criticism through arrogance, that is irrelevant to whether they have knowledge [Feldman/Conee] |
| 15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |