Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: sci.logic
Subject: Re: This makes all Analytic(Olcott) truth computable
Date: Mon, 19 Aug 2024 21:50:01 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <f41ab6fd62fe6b3e3dfc4476c56f3fd223b4b49a@i2pn2.org>
References: <v86olp$5km4$1@dont-email.me> <v9kg66$tdvb$1@dont-email.me>
 <v9nbjf$1dj8q$1@dont-email.me>
 <20b1dea98eda49e74e822c96b37565bb3eb36013@i2pn2.org>
 <v9o4p2$1h5u4$1@dont-email.me>
 <cd12fb81fcd05d2e112fc8aca2f5b791c521cfc9@i2pn2.org>
 <v9oddf$1i745$2@dont-email.me>
 <7f2a1f77084810d4cee18ac3b44251601380b93a@i2pn2.org>
 <v9ogmp$1i745$6@dont-email.me>
 <662de0ccc3dc5a5f0be0918d340aa3314d51a348@i2pn2.org>
 <v9oj4r$1i745$8@dont-email.me>
 <02642e518edd3aa9152cd47e4e527f21ee53a0e8@i2pn2.org>
 <v9okho$1i745$10@dont-email.me>
 <60c0214582c7f97e49ef6f8853bff95569774f97@i2pn2.org>
 <v9p7im$1p6bp$4@dont-email.me>
 <d67278caa0b8782725e806b61adf892028f2bf89@i2pn2.org>
 <v9qd2p$1tedb$10@dont-email.me>
 <4d8c7b1c69915ebbe108d7f4e29cf6172eac7759@i2pn2.org>
 <v9qel5$1tedb$13@dont-email.me>
 <43690773dba43c5d93d11635af0a26532e5be390@i2pn2.org>
 <v9qgn7$1tedb$15@dont-email.me> <v9sisj$2bs9m$1@dont-email.me>
 <v9slov$2c67u$3@dont-email.me> <v9uusd$2q1fo$1@dont-email.me>
 <v9vfh4$2rjt1$10@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 20 Aug 2024 01:50:01 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3166590"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
In-Reply-To: <v9vfh4$2rjt1$10@dont-email.me>
Bytes: 5060
Lines: 80

On 8/19/24 8:58 AM, olcott wrote:
> On 8/19/2024 3:14 AM, Mikko wrote:
>> On 2024-08-18 11:26:22 +0000, olcott said:
>>
>>> On 8/18/2024 5:37 AM, Mikko wrote:
>>>> On 2024-08-17 15:47:51 +0000, olcott said:
>>>>
>>>>> On 8/17/2024 10:33 AM, Richard Damon wrote:
>>>>>> On 8/17/24 11:12 AM, olcott wrote:
>>>>>>> On 8/17/2024 9:53 AM, Richard Damon wrote:
>>>>>>>>
>>>>>>>> I guess you consider all the papers they wrote describing the 
>>>>>>>> effects of their definitions "nothing"
>>>>>>>>
>>>>>>>
>>>>>>> Not at all and you know this.
>>>>>>> One change had many effects yet was still one change.
>>>>>>>
>>>>>>
>>>>>> But would mean nothing without showing the affects of that change.
>>>>>>
>>>>>
>>>>> Yet again with your imprecise use of words.
>>>>> When any tiniest portion of the meaning of an expression
>>>>> has been defined this teeny tiny piece of the definition
>>>>> makes this expression not pure random gibberish.
>>>>>
>>>>> Meaningless does not mean has less meaning, it is
>>>>> an idiom for having zero meaning.
>>>>> https://www.britannica.com/dictionary/meaningless
>>>>
>>>> You are lying. According to that page the word "meaningless"
>>>> has two meanings. The other is 'having no real importance or value'.
>>>>
>>>
>>> OK. I always use the base meaning of a term as its only meaning.
>>> That makes things much simpler if everyone knows this standard.
>>
>> People have different opions about which meaning is the "base"
>> meaning.
>>
> 
> The most commonly used sense meaning at the first
> index in the dictionary.

Which depends on the dictionary, so a meaningless definition.


> 
>>> For example a liar must be intentionally deceptive not merely mistaken.
>>
>> For example people may regard you as a liar if you say something untrue
>> when you were too lazy to check the facts.
>>
> 
> I am redefining the foundations of logic thus my definitions
> are stipulated to override and supersede the original definitions.
> It took a long time to reverse-engineer the subtle nuances of
> the exact details of what needed to be changed.
> 
> It took me two years just to define the term {analytic true}
> so that is became a semantic tautology. For the prior years
> to that most everyone simply disbelieved that there actually
> was an {analytic} side of the analytic/synthetic distinction.
> https://plato.stanford.edu/Entries/analytic-synthetic/
> 

And thus you need to first fully build the foundation, by FORMALLY 
defining with precisely defined words, the FULL set of axioms that you 
base foundation will use.

THEN you need to build something on it to show what it can (or can't) 
do. Ideally, take it forward to the point of having a system of similar 
power to the systems of the theorys you are complaining about are built on.

That is a lot of work, so you better get to it, but first you might want 
to learn how the existing systems are actually build so you understand 
what you need to do. My guess is you might have something worth showing 
is maybe 20 years or so. To bad you wasted all that time doing it the 
wrong way.