3 ideas
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
17606 | Axioms reveal the underlying assumptions, and reveal relationships between different areas [Kline] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |