• J Lou
    link
    fedilink
    -12 months ago

    “This sentence contains 2 words” is a sensible sentence. It has 5 words, so what the sentence says is false.

    The self-reference in the sentence is similar to that of the Liar’s paradox. Cousins of that paradox have been used to prove major limitative results in mathematical logic such as

    https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theorem

    https://en.wikipedia.org/wiki/Gödel%27s_incompleteness_theorems

    In usual logic, a false sentence implies every sentence.

    https://en.wikipedia.org/wiki/Material_conditional

    Also, if sentence P is false, then “P is false” is true

    @science_memes

    • @[email protected]
      link
      fedilink
      English
      32 months ago

      “J Lou has stopped beating their spouse.”

      If this sentence is true, it means you used to beat your spouse. If it is false, it means that you currently beat your spouse. Therefore, it proves that you are married and at some point in time you beat your spouse.

      • J Lou
        link
        fedilink
        12 months ago

        That sentence has a presupposition. The sentence I used can be fully formalized in a logic with predicates for knowledge of an entity and truth

        @science_memes

    • @[email protected]
      link
      fedilink
      English
      12 months ago

      I’m sure the official line would be that God is also ineffable to man. “omniscience” as some human has expressed it in whatever flawed language it is probably a flawed translation from ineffable divine meaning.

      Where is the evidence that god is actually “omniscient” or caims to be in the way that this proof interprets the term? It seems like hearsay to me.

      But irrespective of what this god-thing may or may not have said about itself to whom, I don’t see how the statement does more than show that “‘omniscience’ is a poorly defined/illogical term”. Or maybe, “People who use the word ‘omniscience’ to describe the extent of knowledge are not expressing themselves clearly or accurately”.

      This should not be all that surprising as most humans - as I understand them - rarely need to communicate clearly about infinites - so those that do should probably not use English and choose a more apposite language. Maybe hebrew or watever languages these supposed prophets might have used has better terminology.

      I suspect Moses might have flunked maths.