6 ideas
20768 | Like spiderswebs, dialectical arguments are clever but useless [Ariston, by Diog. Laertius] |
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
8754 | Logic is dependent on mathematics, not the other way round [Heyting, by Shapiro] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
3049 | The chief good is indifference to what lies midway between virtue and vice [Ariston, by Diog. Laertius] |
3549 | Ariston says rules are useless for the virtuous and the non-virtuous [Ariston, by Annas] |