3 ideas
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
6027 | From the fact that some men die, we cannot infer that they all do [Philodemus] |