3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
3193 | Turing showed that logical rules can be specified computationally and mechanically [Turing, by Rey] |
468 | Musical performance can reveal a range of virtues [Damon of Ath.] |