display all the ideas for this combination of philosophers
3 ideas
19195 | Truth tables give prior conditions for logic, but are outside the system, and not definitions [Tarski] |
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] |