Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #141637

Re: this sentence is true?

From olcott <polcott333@gmail.com>
Newsgroups comp.theory, sci.logic
Subject Re: this sentence is true?
Date 2026-06-11 17:11 -0500
Organization A noiseless patient Spider
Message-ID <110fbqu$1pchl$1@dont-email.me> (permalink)
References <1109h4p$22tt$2@dont-email.me> <5pSdnSZ4K8r1xLX3nZ2dnZfqnPednZ2d@giganews.com> <1109mg4$7ja5$1@dont-email.me> <110f71t$1np5l$2@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

On 6/11/2026 3:50 PM, Tristan Wibberley wrote:
> On 09/06/2026 19:36, olcott wrote:
>> On 6/9/2026 1:20 PM, Ross Finlayson wrote:
>>> On 06/09/2026 10:05 AM, dart200 wrote:
>>>> much discussion in this group has been had around the lair's paradox:
>>>>
>>>> LP = "this sentence is false"
>>>>
>>>> but not a lot of discussion has been in regards to the converse, the
>>>> truth-teller's paradox:
>>>>
>>>> TP = "this sentence is true"
> [snip]>> Not otherwise saying anything, it's not false.
>>>
>>>
>>
>> Not in this case. This case the evaluation of
>> the truth value of an expression gets stuck in
>> non-terminating recursion. This notion is best
>> understood within Proof Theoretic Semantics.
> 
> 
> Depending on your axioms and reasoning strategy. With TP itself as an
> axiom it is indeed true or else the system is inconsistent.
> 

Welcome back you seems to be one of the most knowledgeable people here.

Boolean True(L, x) is a function on finite strings within
language L. Some of these finite string are axioms.

X := True(L, X) simply gets stuck in recursion.
a := b means a is defined as b and its processed
as macro replacement.

Same idea as this Prolog (if you know Prolog)
% This sentence is true.
?- TT = true(TT).
TT = true(TT).
?- unify_with_occurs_check(TT, true(TT)).
false.

> Without TP as an axiom and with no inference of TP from the axioms but
> with a positive intuitionist system and a theorem that there are no
> statements with undefined truth then TP is false or else the system is
> inconsistent.
> 

It seems that you are saying that it is a sort of negation
as failure kind of false.

-- 
Copyright 2026 Olcott

My 28 year goal has been to make
"true on the basis of meaning expressed in language"
reliably computable for the entire body of knowledge.
The complete structure of this system is now defined.

The entire body of knowledge expressed in language is
comprised of two types of relations between finite strings:
(a) *Axioms* Expressions of language that are stipulated to be true.

My system bridges the analytic/synthetic distinction by
expressly encoding all empirical "atomic facts" in a formal
language such as CycL of the Cyc project.

(b) *Inference Rules* Expressions of language that are semantically
entailed syntactically from (a) and/or (b).

Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

this sentence is true? dart200 <user7160@newsgrouper.org.invalid> - 2026-06-09 10:05 -0700
  Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-09 12:53 -0500
  Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-09 11:20 -0700
    Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-09 13:36 -0500
      Re: this sentence is true? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-11 21:50 +0100
        Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-11 17:11 -0500
          Re: this sentence is true? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-12 13:32 +0100
            Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-12 08:45 -0500
              Re: this sentence is true? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-12 15:23 +0100
                Re: this sentence is true? polcott <polcott333@gmail.com> - 2026-06-12 11:00 -0500
                Re: this sentence is true? --- Olcott exceeds PTS olcott <polcott333@gmail.com> - 2026-06-12 15:07 -0500
    Re: this sentence is true? dart200 <user7160@newsgrouper.org.invalid> - 2026-06-09 17:34 -0700
      Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 07:08 -0700
        Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 08:08 -0700
          Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-10 10:33 -0500
            Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 09:15 -0700
              Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-10 11:27 -0500
                Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 10:02 -0700
                Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 10:10 -0700
                Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 10:13 -0700
                Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-10 12:30 -0500
                Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 11:02 -0700
                Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-10 11:07 -0700
                Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-10 13:34 -0500
                Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-12 09:27 -0700
                Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-12 11:44 -0500
                Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-12 12:27 -0700
                Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-12 14:35 -0500
                Re: this sentence is true? Ross Finlayson <ross.a.finlayson@gmail.com> - 2026-06-14 09:25 -0700
                Re: this sentence is true? "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2026-06-10 12:19 -0700
          Re: this sentence is true? dart200 <user7160@newsgrouper.org.invalid> - 2026-06-10 12:37 -0700
  Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-09 14:45 -0500
  Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-09 15:46 -0500
    Re: this sentence is true? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-11 21:55 +0100
      Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-11 17:14 -0500
  Re: this sentence is true? Scott Hoge <nospam@nospam.com> - 2026-06-11 01:14 +0000
    Re: this sentence is true? olcott <polcott333@gmail.com> - 2026-06-10 21:09 -0500
    Re: this sentence is true? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-11 21:57 +0100
      Re: this sentence is true? Scott Hoge <nospam@nospam.com> - 2026-06-12 00:37 +0000
        Re: this sentence is true? Julio Di Egidio <julio@diegidio.name> - 2026-06-23 11:17 +0200
  Re: this sentence is true? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2026-06-11 21:45 +0100

csiph-web