6 ideas
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
9216 | Each area of enquiry, and its source, has its own distinctive type of necessity [Fine,K] |
9214 | Unsupported testimony may still be believable [Fine,K] |
18699 | Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button] |
12131 | All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody] |
9215 | Causation is easier to disrupt than logic, so metaphysics is part of nature, not vice versa [Fine,K] |