4 ideas
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
22481 | There is no restitution after a dilemma, if it only involved the agent, or just needed an explanation [Foot, by PG] |
22482 | I can't understand how someone can be necessarily wrong whatever he does [Foot] |