3 ideas
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
10247 | We have no adequate logic at the moment, so mathematicians must create one [Veblen] |
6017 | Nomos is king [Pindar] |