Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: Minimal Logics in the 2020's: A Meteoric Rise
Date: Sat, 6 Jul 2024 20:06:51 -0500
Organization: A noiseless patient Spider
Lines: 65
Message-ID: <v6cpnc$1b3m$2@dont-email.me>
References: <v67685$6fr5$1@solani.org> <v69b2t$3chpq$1@dont-email.me>
 <5e4fb6d29fbd03c807c9a8d4140f807a44c29cb9@i2pn2.org>
 <v69k46$3duna$1@dont-email.me>
 <49291bd9f18eaf11097b6a26f062f54b7f4d6fa9@i2pn2.org>
 <v69pca$3eq6r$1@dont-email.me>
 <7e4f146addad55792c0f18ab92d2092ebcc5dbfd@i2pn2.org>
 <v69scb$3fc2r$1@dont-email.me>
 <6e51f0e94c1e00fcaec8897b4374547bfa2d2be1@i2pn2.org>
 <v6aeup$3lj41$1@dont-email.me>
 <b47ba0b985bb7a89548bd47c0f86d8693241f892@i2pn2.org>
 <v6c0lk$3skuk$3@dont-email.me>
 <e474b5f0ed67e56f6da43e7c0deb62c76342933a@i2pn2.org>
 <v6c2td$3skuk$4@dont-email.me>
 <51aecdca646d067438e9cd44b11cb8bf9be933f2@i2pn2.org>
 <v6c69s$3u2mj$2@dont-email.me>
 <ffea314eb0c48ef1c7c52e41bbe5e596252363c9@i2pn2.org>
 <v6cajn$3uu9o$1@dont-email.me>
 <e25eac30415eb75101e6e8af05c3a40d6ea8dbda@i2pn2.org>
 <v6cf9d$3viun$3@dont-email.me>
 <f22abb5f17f657bd1122de3c6339beadf4fb3e8f@i2pn2.org>
 <v6ch6a$13k$2@dont-email.me>
 <4ce79acf7c53160136f77603265cc1e5a5d3e34e@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 07 Jul 2024 03:06:53 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9c29ee80738061e83f912864b4700212";
	logging-data="44150"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18evP0hvi5JQtbZp0tuXHyi"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DBRAg9JPBNfuVn+lio0kkRrWe/s=
Content-Language: en-US
In-Reply-To: <4ce79acf7c53160136f77603265cc1e5a5d3e34e@i2pn2.org>
Bytes: 4022

On 7/6/2024 6:28 PM, Richard Damon wrote:
> On 7/6/24 6:41 PM, olcott wrote:
>> On 7/6/2024 5:22 PM, Richard Damon wrote:
>>> On 7/6/24 6:08 PM, olcott wrote:
>>>> On 7/6/2024 4:02 PM, Richard Damon wrote:
>>>>> The problem here is you logic doesn't actually allow for the 
>>>>> necessaery references in it.
>>>>>
>>>> Not at all. My logic is simply smart enough to reject
>>>> non-truth-bearers AKA expressions that are not valid
>>>> propositions. It does not stupidly falsely assume that
>>>> every expression is a valid proposition.\
>>>
>>> Logic isn't "Smart", it follows its rules.
>>>
>>> Your rules are just inconsistent.
>>>
>>
>> When-so-ever true means provable and false means not provable
>> the meaning of these words proves that such a system cannot
>> get stuck in pathological expressions.
> 
> And such a definition requires the system to be keep simple or it 
> becomes inconsistant.
> 
>>
>> LP := ~True(LP) has a cycle in the directed
>> graph of the elements of the expression related
>> to each other that Prolog and MTT detects.
>>
> 
> So, what value does True(LP) return?
> 

True(L,x)  means x is true.
~True(L,x) means x is untrue which includes false and not a proposition.

True(L,~x) means x is false.
~True(L,~x) means x is unfalse which includes true and not a proposition.

True(L,LP) is false and True(L,~LP) is false which means LP
is not a proposition.

> If it returns your error below, it fails to meet the requirements, as 
> "nonsense" statement must return false.
> 
> But then, not that false is true, so the predicate is in its problem.
> 
> THe only answers are:
> 1) Not have a True Predicate.
> 2) Not allow that form of reference, even indirectly, which limits the 
> power of the logic system.
> 
>> ?- LP = not(true(LP)).
>> LP = not(true(LP)).
>> ?- unify_with_occurs_check(LP, not(true(LP))).
>> false.
>>
>>
> 

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