When two logicians disagree, is one of them necessarily wrong?
Must “This sentence is true” be stated in the third person. Why not “I am true”? Doesn’t the emptiness of the claim become apparent that way?
Let me renew an inquiry I raised on another of your articles. Are you aware of any paradox that can be stated in the language of symbolic logic? We can state the barber’s paradox in English. We can show how 1=2 by surreptitiously dividing by zero in the language of algebra. We can demand proof of a proposition of plane geometry where the given facts violate the parallel line axiom. In each of these cases, our ability to see the train leaving the rails is obscured to a differing degree by the language used. But it gets easier as the language becomes more constrained. So are there any of these “empty” paradoxes — or any others, for that matter — that can be stated in the language of formal logic?