4 ideas
8720 | A logic is 'relevant' if premise and conclusion are connected, and 'paraconsistent' allows contradictions [Priest,G, by Friend] |
15943 | Limitation of Size is not self-evident, and seems too strong [Lavine on Neumann] |
13672 | All the axioms for mathematics presuppose set theory [Neumann] |
13048 | Good explications are exact, fruitful, simple and similar to the explicandum [Carnap, by Salmon] |