4 ideas
16541 | All the intrinsic properties of a thing should be deducible from its definition [Spinoza] |
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] |
13073 | To understand the properties we must know the essence, as with a circle [Spinoza] |