5 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
8510 | 'Socrates is wise' means a concurrence sum contains a member of a similarity set [Williams,DC] |
8508 | A 'trope' is an abstract particular, the occurrence of an essence [Williams,DC] |
8509 | A world is completely constituted by its tropes and their connections [Williams,DC] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |