3 ideas
22519 | Philosophers are revealed by their fears [Billington] |
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] |