8 ideas
| 10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
| 13007 | Archimedes defined a straight line as the shortest distance between two points [Archimedes, by Leibniz] |
| 17064 | 1: Coherence is a symmetrical relation between two propositions [Thagard, by Smart] |
| 17065 | 2: An explanation must wholly cohere internally, and with the new fact [Thagard, by Smart] |
| 17066 | 3: If an analogous pair explain another analogous pair, then they all cohere [Thagard, by Smart] |
| 17067 | 4: For coherence, observation reports have a degree of intrinsic acceptability [Thagard, by Smart] |
| 17068 | 5: Contradictory propositions incohere [Thagard, by Smart] |
| 17069 | 6: A proposition's acceptability depends on its coherence with a system [Thagard, by Smart] |