5 ideas
4748 | Anselm of Canterbury identified truth with God [Anselm, by Engel] |
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
541 | Virtue comes more from habit than character [Critias] |
542 | Fear of the gods was invented to discourage secret sin [Critias] |