4 ideas
9184 | We can't presume that all interesting concepts can be analysed [Williamson] |
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, 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.] |