display all the ideas for this combination of texts
3 ideas
17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
10051 | The axiom of infinity is not a truth of logic, and its adoption is an abandonment of logicism [Kneale,W and M] |