• Final Resolution of the Liar Paradox

    From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Thu Nov 27 08:36:42 2025
    From Newsgroup: comp.ai.philosophy

    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP) // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...)))))) https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.
    --
    Copyright 2025 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning" computable.

    This required establishing a new foundation
    for correct reasoning.

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Thu Nov 27 10:28:54 2025
    From Newsgroup: comp.ai.philosophy

    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...)))))) https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox* https://philpapers.org/archive/OLCFRO.pdf
    --
    Copyright 2025 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning" computable.

    This required establishing a new foundation
    for correct reasoning.
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Kaz Kylheku@643-408-1753@kylheku.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Thu Nov 27 18:07:33 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-11-27, olcott <polcott333@gmail.com> wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    Most people get over the Liar Paradox by the time they
    are out of elementary school.

    It shows your very low intellectual maturity to be
    so captivated by the Liar Paradox.
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mikko@mikko.levanto@iki.fi to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Fri Nov 28 10:06:57 2025
    From Newsgroup: comp.ai.philosophy

    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox* https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    For the most common forms of formal logic this paradox is not possible
    because there is no syntax for definitions.
    --
    Mikko
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From dart200@user7160@newsgrouper.org.invalid to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Fri Nov 28 09:29:33 2025
    From Newsgroup: comp.ai.philosophy

    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was final
    then that premise would become final and contradict itself


    For the most common forms of formal logic this paradox is not possible because there is no syntax for definitions.

    --
    hi, i'm nick! let's end war 🙃

    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Fri Nov 28 12:10:25 2025
    From Newsgroup: comp.ai.philosophy

    On 11/28/2025 11:29 AM, dart200 wrote:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was final
    then that premise would become final and contradict itself


    He only seems to care about rebuttal at the expense of truth.


    For the most common forms of formal logic this paradox is not possible
    because there is no syntax for definitions.


    --
    Copyright 2025 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning" computable.

    This required establishing a new foundation
    for correct reasoning.
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Fri Nov 28 16:42:40 2025
    From Newsgroup: comp.ai.philosophy

    On 11/28/2025 9:29 AM, dart200 wrote:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was final
    then that premise would become final and contradict itself

    How many digits does PI have?




    For the most common forms of formal logic this paradox is not possible
    because there is no syntax for definitions.



    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Fri Nov 28 16:43:44 2025
    From Newsgroup: comp.ai.philosophy

    On 11/27/2025 10:07 AM, Kaz Kylheku wrote:
    On 2025-11-27, olcott <polcott333@gmail.com> wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    Most people get over the Liar Paradox by the time they
    are out of elementary school.

    It shows your very low intellectual maturity to be
    so captivated by the Liar Paradox.


    It seems as if PO IS the liar paradox itself?
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From FromTheRafters@FTR@nomail.afraid.org to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Fri Nov 28 19:49:14 2025
    From Newsgroup: comp.ai.philosophy

    Chris M. Thomasson has brought this to us :
    On 11/28/2025 9:29 AM, dart200 wrote:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was final then >> that premise would become final and contradict itself

    How many digits does PI have?

    10 in decimal.
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Fri Nov 28 16:57:32 2025
    From Newsgroup: comp.ai.philosophy

    On 11/28/2025 4:49 PM, FromTheRafters wrote:
    Chris M. Thomasson has brought this to us :
    On 11/28/2025 9:29 AM, dart200 wrote:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was
    final then that premise would become final and contradict itself

    How many digits does PI have?

    10 in decimal.

    :^D

    5 in 5-ary, quinary. ;^)

    lol.

    31415926

    Well, I only see eight symbols therefore PI has 8 symbols. I only see
    the following unique symbols:

    1, 2, 3, 4, 5, 6, 9

    Therefore PI must be 7-ary.

    PO is strange because he thinks he can solve the halting problem.


    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Fri Nov 28 17:06:11 2025
    From Newsgroup: comp.ai.philosophy

    On 11/28/2025 4:49 PM, FromTheRafters wrote:
    Chris M. Thomasson has brought this to us :
    On 11/28/2025 9:29 AM, dart200 wrote:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was
    final then that premise would become final and contradict itself

    How many digits does PI have?

    10 in decimal.

    It's funny. PO with his "artificial abort" would say PI went on for too
    many symbols, no matter what radix. But how would he know if it was
    reading from a buffer that had more symbols in it. It's finite, but PO
    cuts it off and says its non-halting even though he cut himself off at
    the knees before the buffer was fully read. The black box program is
    simply outputting symbols of pi. PO says that's too many, says
    non-halting. The program under consideration has many more symbols to
    process, but it got aborted...
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Kaz Kylheku@643-408-1753@kylheku.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Nov 29 01:20:38 2025
    From Newsgroup: comp.ai.philosophy

    On 2025-11-29, Chris M. Thomasson <chris.m.thomasson.1@gmail.com> wrote:
    On 11/27/2025 10:07 AM, Kaz Kylheku wrote:
    On 2025-11-27, olcott <polcott333@gmail.com> wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    Most people get over the Liar Paradox by the time they
    are out of elementary school.

    It shows your very low intellectual maturity to be
    so captivated by the Liar Paradox.


    It seems as if PO IS the liar paradox itself?

    Oh, he's written more than a pair of docs, but they are garbage.
    --
    TXR Programming Language: http://nongnu.org/txr
    Cygnal: Cygwin Native Application Library: http://kylheku.com/cygnal
    Mastodon: @Kazinator@mstdn.ca
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Fri Nov 28 17:28:18 2025
    From Newsgroup: comp.ai.philosophy

    On 11/28/2025 5:20 PM, Kaz Kylheku wrote:
    On 2025-11-29, Chris M. Thomasson <chris.m.thomasson.1@gmail.com> wrote:
    On 11/27/2025 10:07 AM, Kaz Kylheku wrote:
    On 2025-11-27, olcott <polcott333@gmail.com> wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    Most people get over the Liar Paradox by the time they
    are out of elementary school.

    It shows your very low intellectual maturity to be
    so captivated by the Liar Paradox.


    It seems as if PO IS the liar paradox itself?

    Oh, he's written more than a pair of docs, but they are garbage.


    Shit. Well, December is almost here.
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mikko@mikko.levanto@iki.fi to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Nov 29 10:55:46 2025
    From Newsgroup: comp.ai.philosophy

    dart200 kirjoitti 28.11.2025 klo 19.29:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was final
    then that premise would become final and contradict itself

    Nothing is final in philosophy. It includes the satement "nothing
    is final in philosophy". Some philosphers may disagree with it or
    are at least not convinced so it is not final in philosophy and
    probably will never be. I don't think sufficiently many have said
    enough about it to even say that "Nothing is final in philosophy"
    is in philosophy.
    --
    Mikko
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mikko@mikko.levanto@iki.fi to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Nov 29 11:06:27 2025
    From Newsgroup: comp.ai.philosophy

    Chris M. Thomasson kirjoitti 29.11.2025 klo 2.43:
    On 11/27/2025 10:07 AM, Kaz Kylheku wrote:
    On 2025-11-27, olcott <polcott333@gmail.com> wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    Most people get over the Liar Paradox by the time they
    are out of elementary school.

    It shows your very low intellectual maturity to be
    so captivated by the Liar Paradox.


    It seems as if PO IS the liar paradox itself?


    Not really. The Liar in the paradox always lies. Real world liars
    lie only sometimes and good ones only the minimum they need in
    order to avoid revealing the truths they want to keep secret. But
    there also are people who don't care about truth and choose their
    words by other criteria.
    --
    Mikko
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Nov 29 10:10:24 2025
    From Newsgroup: comp.ai.philosophy

    On 11/29/2025 2:55 AM, Mikko wrote:
    dart200 kirjoitti 28.11.2025 klo 19.29:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was final
    then that premise would become final and contradict itself

    Nothing is final in philosophy.

    Semantic tautologies are always final even
    if no one understands them.

    Any expression of language that is proven true
    entirely on the basis of its meaning expressed
    in language is a semantic tautology.

    It includes the satement "nothing
    is final in philosophy". Some philosphers may disagree with it or
    are at least not convinced so it is not final in philosophy and
    probably will never be. I don't think sufficiently many have said
    enough about it to even say that "Nothing is final in philosophy"
    is in philosophy.

    --
    Copyright 2025 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning" computable.

    This required establishing a new foundation
    for correct reasoning.
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From dart200@user7160@newsgrouper.org.invalid to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Nov 29 10:53:14 2025
    From Newsgroup: comp.ai.philosophy

    On 11/29/25 12:55 AM, Mikko wrote:
    dart200 kirjoitti 28.11.2025 klo 19.29:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was final
    then that premise would become final and contradict itself

    Nothing is final in philosophy. It includes the satement "nothing

    it's just not a coherent belief that could be truth, as truth must have
    an ability to be final, even if we haven't yet figured out what that
    finality is

    is final in philosophy". Some philosphers may disagree with it or
    are at least not convinced so it is not final in philosophy and
    probably will never be. I don't think sufficiently many have said
    enough about it to even say that "Nothing is final in philosophy"
    is in philosophy.
    --
    a burnt out swe investigating into why our tooling doesn't involve
    basic semantic proofs like halting analysis

    please excuse my pseudo-pyscript,

    ~ nick
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Nov 29 13:00:02 2025
    From Newsgroup: comp.ai.philosophy

    On 11/29/2025 12:53 PM, dart200 wrote:
    On 11/29/25 12:55 AM, Mikko wrote:
    dart200 kirjoitti 28.11.2025 klo 19.29:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was
    final then that premise would become final and contradict itself

    Nothing is final in philosophy. It includes the satement "nothing

    it's just not a coherent belief that could be truth, as truth must have
    an ability to be final, even if we haven't yet figured out what that finality is

    is final in philosophy". Some philosphers may disagree with it or
    are at least not convinced so it is not final in philosophy and
    probably will never be. I don't think sufficiently many have said
    enough about it to even say that "Nothing is final in philosophy"
    is in philosophy.

    --
    a burnt out swe investigating into why our tooling doesn't involve
    basic semantic proofs like halting analysis

    please excuse my pseudo-pyscript,

    ~ nick

    *You should make your signature not auto erase*

    The problem with all "proofs" is that they
    split up the direct connection to semantics
    after the syllogism. This makes all modern
    "proofs" no more than symbol wigglers.

    --
    Copyright 2025 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning" computable.

    This required establishing a new foundation
    for correct reasoning.
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From dart200@user7160@newsgrouper.org.invalid to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Nov 29 11:00:49 2025
    From Newsgroup: comp.ai.philosophy

    On 11/29/25 8:10 AM, olcott wrote:
    On 11/29/2025 2:55 AM, Mikko wrote:
    dart200 kirjoitti 28.11.2025 klo 19.29:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was
    final then that premise would become final and contradict itself

    Nothing is final in philosophy.

    Semantic tautologies are always final even
    if no one understands them.

    Any expression of language that is proven true
    entirely on the basis of its meaning expressed
    in language is a semantic tautology.

    not bad polcott, i agree 💯 i think...

    mikko is refuted on that point


    It includes the satement "nothing
    is final in philosophy". Some philosphers may disagree with it or
    are at least not convinced so it is not final in philosophy and
    probably will never be. I don't think sufficiently many have said
    enough about it to even say that "Nothing is final in philosophy"
    is in philosophy.



    --
    a burnt out swe investigating into why our tooling doesn't involve
    basic semantic proofs like halting analysis

    please excuse my pseudo-pyscript,

    ~ nick
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Nov 29 13:16:23 2025
    From Newsgroup: comp.ai.philosophy

    On 11/29/2025 1:00 PM, dart200 wrote:
    On 11/29/25 8:10 AM, olcott wrote:
    On 11/29/2025 2:55 AM, Mikko wrote:
    dart200 kirjoitti 28.11.2025 klo 19.29:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was
    final then that premise would become final and contradict itself

    Nothing is final in philosophy.

    Semantic tautologies are always final even
    if no one understands them.

    Any expression of language that is proven true
    entirely on the basis of its meaning expressed
    in language is a semantic tautology.

    not bad polcott, i agree 💯 i think...

    mikko is refuted on that point


    Great. I think that you are I are the only
    one that care about these kind of truths.

    Literally everyone else here only cares about
    finding fault at the expense of truth. Mike
    might be the only exception. Even he appears
    to be much more focused on defending the status
    quo than accurately assessing new ideas.


    It includes the satement "nothing
    is final in philosophy". Some philosphers may disagree with it or
    are at least not convinced so it is not final in philosophy and
    probably will never be. I don't think sufficiently many have said
    enough about it to even say that "Nothing is final in philosophy"
    is in philosophy.





    --
    Copyright 2025 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning" computable.

    This required establishing a new foundation
    for correct reasoning.
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sat Nov 29 14:37:50 2025
    From Newsgroup: comp.ai.philosophy

    On 11/29/2025 1:06 AM, Mikko wrote:
    Chris M. Thomasson kirjoitti 29.11.2025 klo 2.43:
    On 11/27/2025 10:07 AM, Kaz Kylheku wrote:
    On 2025-11-27, olcott <polcott333@gmail.com> wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    Most people get over the Liar Paradox by the time they
    are out of elementary school.

    It shows your very low intellectual maturity to be
    so captivated by the Liar Paradox.


    It seems as if PO IS the liar paradox itself?


    Not really. The Liar in the paradox always lies. Real world liars
    lie only sometimes and good ones only the minimum they need in
    order to avoid revealing the truths they want to keep secret.

    It's not a lie if you truly believe it?


    But
    there also are people who don't care about truth and choose their
    words by other criteria.

    That seems to be PO like, in a sense...
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mikko@mikko.levanto@iki.fi to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sun Nov 30 11:12:46 2025
    From Newsgroup: comp.ai.philosophy

    olcott kirjoitti 29.11.2025 klo 18.10:
    On 11/29/2025 2:55 AM, Mikko wrote:
    dart200 kirjoitti 28.11.2025 klo 19.29:
    On 11/28/25 12:06 AM, Mikko wrote:
    olcott kirjoitti 27.11.2025 klo 18.28:
    On 11/27/2025 8:36 AM, olcott wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    The simple English shows that the Liar Paradox never
    gets to the point.

    This is formalized in the Prolog programming language
    ?- LP = not(true(LP)).
    LP = not(true(LP)).
    ?- unify_with_occurs_check(LP, not(true(LP))).
    False.

    Failing an occurs check seems to mean that the
    resolution of an expression remains stuck in
    infinite recursion. This is more clearly seen below.

    In Olcott's Minimal Type Theory
    LP := ~True(LP)    // LP {is defined as} ~True(LP)
    that expands to ~True(~True(~True(~True(~True(~True(...))))))
    https://philarchive.org/archive/PETMTT-4v2

    The above seems to prove that the Liar Paradox
    has merely been semantically unsound all these years.


    *Final Resolution of the Liar Paradox*
    https://philpapers.org/archive/OLCFRO.pdf

    Nothing is final in philosophy.

    self-contradictory statement bro

    clearly at least something much be final, because if nothing was
    final then that premise would become final and contradict itself

    Nothing is final in philosophy.

    Semantic tautologies are always final even
    if no one understands them.

    There always is or will be a philosopher who wants to add some
    further consideration.
    --
    Mikko
    --- Synchronet 3.21a-Linux NewsLink 1.2
  • From Mikko@mikko.levanto@iki.fi to comp.theory,sci.logic,sci.math,comp.ai.philosophy on Sun Nov 30 11:16:06 2025
    From Newsgroup: comp.ai.philosophy

    Chris M. Thomasson kirjoitti 30.11.2025 klo 0.37:
    On 11/29/2025 1:06 AM, Mikko wrote:
    Chris M. Thomasson kirjoitti 29.11.2025 klo 2.43:
    On 11/27/2025 10:07 AM, Kaz Kylheku wrote:
    On 2025-11-27, olcott <polcott333@gmail.com> wrote:
    This sentence is not true.
    It is not true about what?
    It is not true about being not true.
    It is not true about being not true about what?
    It is not true about being not true about being not true.
    Oh I see you are stuck in a loop!

    Most people get over the Liar Paradox by the time they
    are out of elementary school.

    It shows your very low intellectual maturity to be
    so captivated by the Liar Paradox.


    It seems as if PO IS the liar paradox itself?


    Not really. The Liar in the paradox always lies. Real world liars
    lie only sometimes and good ones only the minimum they need in
    order to avoid revealing the truths they want to keep secret.

    It's not a lie if you truly believe it?

    Common Language is ambigous on that.
    --
    Mikko
    --- Synchronet 3.21a-Linux NewsLink 1.2