3 ideas
10792 | The substitutional quantifier is not in competition with the standard interpretation [Kripke, by Marcus (Barcan)] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
15788 | Syntax and semantics are indeterminate, and modern 'semantics' is a bogus subject [Quine, by Lycan] |