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] |
7035 | God does not create the world, and then add the classes [Heil] |