In Tarski's case, by separating the metalanguage from the object language, so that such self-referential sentences cannot be constructed. — Banno
"this sentence is false" is true iff this sentence is false — Michael
a) "snow is white" is true iff snow is white
b) "snow is green" is true iff snow is green — Michael
The liar's paradox is not capable of being true or false. — creativesoul
You are tying a knot where one is not needed.
"this sentence has thirty one letters" is in the object language.
In the metalanguage, we name that sentence "Fred". Fred is true if Fred had thirty one letters.
Fred has thirty one letters.
Fred is true. — Banno
"The whole is greater than the sum of the parts" is true ≡ The whole is greater than the sum of the parts.
To what does this correspond?
"Frodo walked in to Mordor" is true ≡ Frodo walked in to Mordor.
To what does this correspond?
"Frodo walked in to Sydney" is true ≡ Frodo walked in to Sydney.
To what does this correspond?
"No bachelor is married" is true ≡ No bachelor is married.
To what does this correspond?
"All bachelors are married" is true ≡ all bachelors are married.
To what does this correspond?
"This sentence is false" is true ≡ this sentence is false
To what does this correspond? — Banno
Your account now is "p" is true iff q. — Michael
It always was. Putting p on both sides is a special case. — Banno
The reason why the Liar is not truth apt is because it has no truth conditions. — creativesoul
...logic excludes temporality. Not that it should do so -- but that's the idea. — Moliere
logic excludes temporality — Moliere
That's a flaw in my view — creativesoul
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.