Posts tagged ‘logic’

Logicians’ warm-up

June 30th, 2009

No example of the liar’s paradox but a good warm-up is

The Puzzle of the Masked Men (found at Fallacy Files)

During a bank robbery, one of the masked robbers shot a bank guard. The police caught all four robbers and interrogated them in an attempt to determine which was the shooter. Each was questioned while attached to a lie detector machine and … (read on at Fallacy Files)

Proving a true statement

February 16th, 2006

Have you ever tried to prove something indirectly? I am pretty sure you are doing it all day long. According to Wikipedia, see Wikipedia: Indirect Proof, it is as simple as the following:

If you have no water, you can’t make coffee.

This seems to be undoubtedly true to me, at least since adolescence. And it is because water is one of the essential ingredients for coffee.
Let us apply the nice rules of Indirect Proving to another statement that is true.

First the statement itself:
This statement is true.

Now, we assume that it is wrong (meaning “we have no water”). Then we will see if this leads to a contradiction (or something as unbearable as “being unable to make more coffee”).

If the statement is wrong, that is
“This statement is true” is wrong.
it follows that This statement is wrong. Because of this, saying the statement is wrong, it follows that The statement is true. But this contradicts our assumption.

Witty readers probably see that the proof did not precisely lead to a contradiction but to a paradox. Let me suggest that for a moment, we adopt this paradoxical situation here as being as futile as a contradiction.

Well, here is another example of an often heard, and certainly true statement right for you to try out what we have just learned:

I am saying the truth.

. . .