If this sentence is true, then Santa Claus exists as a nazi.

[PGC]

Yes, it is the season.

"So if this sentence is true, then Santa Claus both exists and is a nazi."

And if the sentence above were true, then Santa Claus would exist and be a nazi. But it doesn't say "It is false that if this sentence is true, then Santa Claus both exists and is a nazi." Thus, the sentence affirms its own truth, and Santa Claus does indeed exist and is a nazi.

And that's what I said. Bet you didn't know Santa was a real nazi. Now you do and are wiser. Further, if PGC says something, then something is true. No need for Modus Ponens and (A->B)+ A->(B->C) => (A->C) and all that fun stuff. So happy Santa season, stay safe, and good health to everybody. Watch out for Santa, whatever your ontology. PGC

[Bruno Marchal]

On 5 Dec 2020, at 11:09, PGC <multipl...@gmail.com> wrote:

Yes, it is the season.

"So if this sentence is true, then Santa Claus both exists and is a nazi."

And if the sentence above were true, then Santa Claus would exist and be a nazi. But it doesn't say "It is false that if this sentence is true, then Santa Claus both exists and is a nazi." Thus, the sentence affirms its own truth, and Santa Claus does indeed exist and is a nazi.

That is correct.

And that's what I said. Bet you didn't know Santa was a real nazi. Now you do and are wiser. Further, if PGC says something, then something is true. No need for Modus Ponens and (A->B)+ A->(B->C) => (A->C) and all that fun stuff. So happy Santa season, stay safe, and good health to everybody. Watch out for Santa, whatever your ontology. PGC

Of course, the consistent machine is saved by Traski theorem. She cannot define “true”. That corroborate the (néo)Platonist intuition that God (The whole encompassing Truth) is not definable.

Best, Stay safe, indeed…

Bruno

--
You received this message because you are subscribed to the Google Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email to everything-li...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/d971ff7a-5114-4ec4-a219-0b23d754d9f6n%40googlegroups.com.