4 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
16776 | Substance is an intrinsic thing, so parts of substances can't also be intrinsic things [Duns Scotus] |
10557 | Abstract objects are captured by second-order modal logic, plus 'encoding' formulas [Zalta] |