4 ideas
21953 | For Heidegger there is 'ontic' truth or 'uncoveredness', as in "he is a true friend" [Heidegger, by Wrathall] |
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] |
6017 | Nomos is king [Pindar] |