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] |
13282 | Aristotle relativises the notion of wholeness to different measures [Aristotle, by Koslicki] |