4 ideas
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
19347 | Substance needs independence, unity, and stability (for individuation); also it is a subject, for predicates [Perkins] |
13166 | Essences are no use in mathematics, if all mathematical truths are necessary [Mancosu] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |