4 ideas
17699 | Variables are auxiliary notions, and not part of the 'eternal' essence of logic [Schönfinkel] |
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] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |