General > Off Topic

I am lying!

<< < (10/11) > >>

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



--- Quote ---aren't you just saying the paradox all over again?
--- End quote ---

--- Quote ---So are you saying the paradox is correct?
--- End quote ---
No to both of these.

--- Quote ---You seem to be admitting that B must be true, even though we haven't even defined what it is.
--- End quote ---
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.

Navigation

[0] Message Index

[#] Next page

[*] Previous page