4 ideas
2764 | Full coherence might involve consistency and mutual entailment of all propositions [Blanshard, by Dancy,J] |
19080 | Coherence tests for truth without implying correspondence, so truth is not correspondence [Blanshard, by Young,JO] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
9141 | Abstraction theories build mathematics out of second-order equivalence principles [Cook/Ebert] |