12 ideas
| 10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
| 10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
| 10885 | Computer proofs don't provide explanations [Horsten] |
| 10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |
| 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] |
| 1556 | By nature people are close to one another, but culture drives them apart [Hippias] |