4 ideas
18470 | Maybe truth-making is an unanalysable primitive, but we can specify principles for it [Smith,B] |
18469 | God might necessitate that something happen, but He is not the truth-maker for it [Smith,B] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
3061 | Anaxarchus said that he was not even sure that he knew nothing [Anaxarchus, by Diog. Laertius] |