Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #136685
| From | olcott <polcott333@gmail.com> |
|---|---|
| Newsgroups | comp.theory, sci.logic, sci.math, comp.ai.philosophy |
| Subject | Final Resolution of the Liar Paradox |
| Date | 2025-11-27 08:36 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <10g9nlr$1fv38$1@dont-email.me> (permalink) |
Cross-posted to 4 groups.
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.
Back to comp.theory | Previous | Next — Next in thread | Find similar | Unroll thread
Final Resolution of the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-27 08:36 -0600
Re: Final Resolution of the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-27 10:28 -0600
Re: Final Resolution of the Liar Paradox Mikko <mikko.levanto@iki.fi> - 2025-11-28 10:06 +0200
Re: Final Resolution of the Liar Paradox polcott <polcott333@gmail.com> - 2025-11-28 08:03 -0600
Re: Final Resolution of the Liar Paradox Mikko <mikko.levanto@iki.fi> - 2025-11-29 10:48 +0200
Re: Final Resolution of the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-29 10:04 -0600
Re: Final Resolution of the Liar Paradox Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:10 +0200
Re: Final Resolution of the Liar Paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-28 09:29 -0800
Re: Final Resolution of the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-28 12:10 -0600
Re: Final Resolution of the Liar Paradox "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-28 16:42 -0800
Re: Final Resolution of the Liar Paradox FromTheRafters <FTR@nomail.afraid.org> - 2025-11-28 19:49 -0500
Re: Final Resolution of the Liar Paradox "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-28 16:57 -0800
Re: Final Resolution of the Liar Paradox "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-28 17:06 -0800
Re: Final Resolution of the Liar Paradox Mikko <mikko.levanto@iki.fi> - 2025-11-29 10:55 +0200
Re: Final Resolution of the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-29 10:10 -0600
Re: Final Resolution of the Liar Paradox dart200 <user7160@newsgrouper.org.invalid> - 2025-11-29 11:00 -0800
Re: Final Resolution of the Liar Paradox olcott <polcott333@gmail.com> - 2025-11-29 13:16 -0600
Re: Final Resolution of the Liar Paradox Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:12 +0200
on "Nothing is final" dart200 <user7160@newsgrouper.org.invalid> - 2025-11-29 10:53 -0800
Re: on "Nothing is final" olcott <polcott333@gmail.com> - 2025-11-29 13:00 -0600
Re: Final Resolution of the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-27 18:07 +0000
Re: Final Resolution of the Liar Paradox "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-28 16:43 -0800
Re: Final Resolution of the Liar Paradox Kaz Kylheku <643-408-1753@kylheku.com> - 2025-11-29 01:20 +0000
Re: Final Resolution of the Liar Paradox "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-28 17:28 -0800
Re: Final Resolution of the Liar Paradox Mikko <mikko.levanto@iki.fi> - 2025-11-29 11:06 +0200
Re: Final Resolution of the Liar Paradox "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-29 14:37 -0800
Re: Final Resolution of the Liar Paradox Mikko <mikko.levanto@iki.fi> - 2025-11-30 11:16 +0200
csiph-web