4 ideas
10558 | Abstract objects are actually constituted by the properties by which we conceive them [Zalta] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
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.] |