4 ideas
15873 | Laws of nature are just records of regularities and correlations, with concepts to make recording them easier [Mach, by Harré] |
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] |