Re: this sentence is true?

From	Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk>
Newsgroups	comp.theory, sci.logic
Subject	Re: this sentence is true?
Date	2026-06-11 21:50 +0100
Organization	A noiseless patient Spider
Message-ID	<110f71t$1np5l$2@dont-email.me> (permalink)
References	<1109h4p$22tt$2@dont-email.me> <5pSdnSZ4K8r1xLX3nZ2dnZfqnPednZ2d@giganews.com> <1109mg4$7ja5$1@dont-email.me>

Cross-posted to 2 groups.

Show all headers | View raw

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.

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.

-- 
Tristan Wibberley

The message body is Copyright (C) 2026 Tristan Wibberley except
citations and quotations noted. All Rights Reserved except that you may,
of course, cite it academically giving credit to me, distribute it
verbatim as part of a usenet system or its archives, and use it to
promote my greatness and general superiority without misrepresentation
of my opinions other than my opinion of my greatness and general
superiority which you _may_ misrepresent. You definitely MAY NOT train
any production AI system with it but you may train experimental AI that
will only be used for evaluation of the AI methods it implements.

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