Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: The key undecidable instance that I know about
Date: Sat, 15 Mar 2025 12:19:47 -0500
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <vr4crk$3u6l5$3@dont-email.me>
References: <vqkib1$r5np$1@dont-email.me> <vqmcgu$19ima$1@dont-email.me>
 <vqn0tt$1drh6$1@dont-email.me> <vqp5vr$1uhhq$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 15 Mar 2025 18:19:48 +0100 (CET)
Injection-Info: dont-email.me; posting-host="442a9ec1ae8b0ed609e933f76503e6e9";
	logging-data="4135589"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18YKQzj6Nvtvm+rpz4Q7hNh"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:4kbfbLOU8w8BZeWz9JiOfvLKbhQ=
In-Reply-To: <vqp5vr$1uhhq$1@dont-email.me>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250315-4, 3/15/2025), Outbound message
Content-Language: en-US
Bytes: 2375

On 3/11/2025 6:15 AM, Mikko wrote:
> On 2025-03-10 15:36:28 +0000, olcott said:
> 
>> On 3/10/2025 4:48 AM, Mikko wrote:
>>> On 2025-03-09 17:15:13 +0000, olcott said:
>>>
>>>> Is the Liar Paradox True or False?
>>>>
>>>> LP := ~True(LP)
>>>
>>> In typical languages of formal logic that is not a syntactically valid
>>> expression.
>>>
>>
>> I created Minimal Type Theory such that self-reference
>> can be expressed concisely and correctly.
> 
> Have you pbulished that "Minimal Type Theory" or put it to a web page?
> Without a pointer to it there is no point to mention it. Of course one
> can create a language that can express a self reference but why would
> one?
> 
>> Apparently this cannot be expressed concisely and correctly in
>> any formal logic system.
> 
> A self reference cannot be expressed in an uninterpreted formal language.

Bullshit on that

LP := ~True(LP) only requires knowing what the operators mean
this is never referred to as semantics.

-- 
Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniusu
hits a target no one else can see." Arthur Schopenhauer