> On 5 Dec 2020, at 11:09, PGC <[email protected]> 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 [email protected] > <mailto:[email protected]>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/everything-list/d971ff7a-5114-4ec4-a219-0b23d754d9f6n%40googlegroups.com > > <https://groups.google.com/d/msgid/everything-list/d971ff7a-5114-4ec4-a219-0b23d754d9f6n%40googlegroups.com?utm_medium=email&utm_source=footer>. -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/F8AD4A6F-8AB8-4F13-9FBA-F1E76CCAB373%40ulb.ac.be.
