# Epimenides “Paradox”: I am a liar

Show 40 post(s) from this thread on one page
Page 2 of 2 First 12
• Oct 18th 2013, 04:06 AM
Hartlw
Re: Epimenides “Paradox”: I am a liar
When you attempt to assign a T/F value to a statement you are treating it as a variable.

“John went into town” can be True or False. (If John went into town, then….)

“A liar went into town” is True or False depending on whether “liar” is True or False (assuming someone did indeed go into town).

If x = liar:
“A liar went into town” = G(x) = x
“I am a liar” = F(x) = not x

Comment
We have been confusing semantics with “logic.” Semantically, “I am a liar” is either bad grammar or a limitation of language.

liar: Someone who does not (verifiably) tell the truth.

(an interesting discussion might be treating "logic" as the mathematics of functions of variables which can only have one of 2 (undefined) values, call them T/F.)

EDIT: Compare:
"He is a liar" = G(x) = x
"I am a liar" = F(x) = not x
• Oct 18th 2013, 04:42 AM
SlipEternal
Re: Epimenides “Paradox”: I am a liar
Quote:

Originally Posted by Hartlw
When you attempt to assign a T/F value to a statement you are treating it as a variable.

“John went into town” can be True or False. (If John went into town, then….)

“A liar went into town” is True or False depending on whether “liar” is True or False (assuming someone did indeed go into town).

If x = liar:
“A liar went into town” = G(x) = x
“I am a liar” = F(x) = not x

Comment
We have been confusing semantics with “logic.” Semantically, “I am a liar” is either bad grammar or a limitation of language.

liar: Someone who does not (verifiably) tell the truth.

(an interesting discussion might be treating "logic" as the mathematics of functions of variables which can only have one of 2 (undefined) values, call them T/F.)

As you wish
• Oct 18th 2013, 04:47 AM
Hartlw
Re: Epimenides “Paradox”: I am a liar
You forgot to reference the edit:

EDIT: Compare:
"He is a liar" = G(x) = x
"I am a liar" = F(x) = not x
• Nov 5th 2013, 06:34 AM
Hartlw
Proof by assumption (circular reasoning)
“I am a liar” as a language short-cut has already been discussed ( “I am a liar” except for this statement.). Just like (“this page intentionally left blank” except for this statement.). The short-cut is understood in commom usage. Any one who heard Epemenides statement knew exactly what he meant.

However, the logical aspect hasn’t been exhausted.

PROOF BY ASSUMPTION:

Assume “I am Napoleon” is T. “I am Napoleon” can’t be F because it violates the assumption. Therefore “I am Napoleon” is T.

Assume “I am a liar” is T. Then “I am a liar” can’t be F because it violates the assumption. Therefore “I am a liar” is T.

The above arguments are logically disallowed: the assumption alone that something is True or False is not sufficient to determine its Truth or Falsity.

Prove 2>1. Assume 2>1. Then 2>1 by assumption. (You need more than the assumption to draw a conclusion about 2>1).

SUMMARY for “I am a liar”:
As a language shortcut, it is perfectly clear.
As a logical statement, there is not enough information to arrive at a conclusion (paradox).
Show 40 post(s) from this thread on one page
Page 2 of 2 First 12