Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic,comp.theory
Subject: Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal
 september failure
Date: Sun, 7 Jul 2024 22:02:02 -0500
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <v6fkrb$mr5k$2@dont-email.me>
References: <v67685$6fr5$1@solani.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>
 <v6cpnc$1b3m$2@dont-email.me>
 <9e59212316a9b258e95a1de7f5cca46fee37861e@i2pn2.org>
 <v6csla$1otr$2@dont-email.me>
 <3f12eb90be522441c8b95d17d25767fcaf72ed2d@i2pn2.org>
 <v6cvqs$5vir$2@dont-email.me>
 <efced1648cf7ddc1c257d7c4369add3b391dd005@i2pn2.org>
 <v6d2r0$6cgn$2@dont-email.me>
 <931fe5b1e73d204bf20a268dd025489e3040371d@i2pn2.org>
 <v6e5ho$bbcb$2@dont-email.me>
 <0f3e40caf51b61ebb05c4ec2ae44042bff632017@i2pn2.org>
 <v6el1u$e6tb$1@dont-email.me>
 <3c9ef913b1fbbca50c1a4acd02401906646327ed@i2pn2.org>
 <RpKdnUjg8sjx0Bb7nZ2dnZfqlJydnZ2d@giganews.com>
 <2d0b6260615af8afac79ee8de57bcd45c2f2056f@i2pn2.org>
 <v6fk9p$mr5k$1@dont-email.me>
 <8bd5f2159853ff17ef81b27a85141bccc324e7d9@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 08 Jul 2024 05:02:03 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8e9286d680ce7523efb7696bf75a6d8f";
	logging-data="748724"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19UrihwwuJM3K1VsRt3yZnY"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:AevS6lgmlFLZ3DrtMRKdRO9GqQo=
In-Reply-To: <8bd5f2159853ff17ef81b27a85141bccc324e7d9@i2pn2.org>
Content-Language: en-US
Bytes: 3548

On 7/7/2024 9:54 PM, Richard Damon wrote:
> On 7/7/24 10:52 PM, olcott wrote:
>> On 7/7/2024 9:50 PM, Richard Damon wrote:
>>> On 7/7/24 10:22 PM, olcott wrote:
>>>> On 7/7/2024 1:30 PM, Richard Damon wrote:
>>>>>
>>>>> Is "Not-a-logic-sentence" a truth value that True, of ~false can 
>>>>> return or not?
>>>>>
>>>>
>>>> *I will try to be perfectly clear*
>>>> Not-a-logic-sentence(L,x) ≡ (~True(L,x) ∧ ~True(L,~x))
>>>>
>>>
>>> In other words, you have no idea of how to express you concept in the 
>>> terms of how a logic would be built with it, as you just don't 
>>> undertand how logic works.
>>>
>>
>> That every expression of language that is {true on the basis of
>> its meaning expressed using language} must have a connection by
>> truth preserving operations to its {meaning expressed using language}
>> is a tautology. The accurate model of the actual world is expressed
>> using formal language and formalized natural language.
>>
> 
> Word salad.
> 
> No such model exists, so you are basing your system on faery dust.
> 
> You just don't understand what you are talking about, and think Formal 
> Logic is just like the abstract philosophy you seemed to have studied a 
> bit of.

Formal logic is a subset of this.
Not-a-logic-sentence(PA,g) ≡ (~True(PA,g) ∧ ~True(PA,~g))
There are no truth preserving operations in PA to g or to ~g

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