4 ideas
18832 | Mathematical statements and entities that result from an infinite process must lack a truth-value [Dummett] |
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] |
467 | A virtue is a combination of intelligence, strength and luck [Ion] |