I am lying!

[abyaly]

These are equivalent:
- "A = 'A -> B'" is a valid statement
- B is universally true

aren't you just saying the paradox all over again?

So are you saying the paradox is correct?

No to both of these.

You seem to be admitting that B must be true, even though we haven't even defined what it is.

Once we know what B is, we will know whether or not B is universally true. When that happens, we will know whether or not "A = 'A -> B'" is in the statement set. Although in the case that B is universally true and "A = 'A -> B'" is in the statement set, we end up with A = B = T.

[jknilinux]

Please define universally true. Is this synonymous with being tautologous?

[abyaly]

"Universally true" is a name of the proposition T.
Yes. It's synonymous.

[jknilinux]

So, you're saying B is tautologous, so B must always be true. To me, that's the paradoxical conclusion.

[Numsgil]

no, he's saying that what you're saying is that B is tautological.

[abyaly]

These are equivalent:
- "A = 'A -> B'" is a valid statement
- B is universally true

Consider each sentence preceded by a - to be a proposition. They are equal.

[jknilinux]

Oh, I understand now.

Dang- you might have solved it.

Awwww...... You broke my paradox!