3 ideas
15130 | If a property is possible, there is something which can have it [Williamson] |
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] |