4 ideas
9184 | We can't presume that all interesting concepts can be analysed [Williamson] |
17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki] |
9183 | Platonism claims that some true assertions have singular terms denoting abstractions, so abstractions exist [Williamson] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |