4 ideas
8920 | Equivalence relations are reflexive, symmetric and transitive, and classify similar objects [Lipschutz] |
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |
20713 | God must be fit for worship, but worship abandons morally autonomy, but there is no God [Rachels, by Davies,B] |