12 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] |
| 19718 | Indefeasibility does not imply infallibility [Grundmann] |
| 19717 | Can a defeater itself be defeated? [Grundmann] |
| 19716 | Simple reliabilism can't cope with defeaters of reliably produced beliefs [Grundmann] |
| 19715 | You can 'rebut' previous beliefs, 'undercut' the power of evidence, or 'reason-defeat' the truth [Grundmann] |
| 19713 | Defeasibility theory needs to exclude defeaters which are true but misleading [Grundmann] |
| 19714 | Knowledge requires that there are no facts which would defeat its justification [Grundmann] |
| 19719 | 'Moderate' foundationalism has basic justification which is defeasible [Grundmann] |
| 15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |