display all the ideas for this combination of philosophers
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] |
10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |