3 ideas
9355 | One sort of circularity presupposes a premise, the other presupposes a rule being used [Braithwaite, by Devitt] |
9879 | NF has no models, but just blocks the comprehension axiom, to avoid contradictions [Quine, by Dummett] |
16157 | Insurance on the original ship would hardly be paid out if the plank version was wrecked! [Frede,M] |