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: True on the basis of meaning
Date: Sun, 12 May 2024 12:19:48 -0500
Organization: A noiseless patient Spider
Lines: 80
Message-ID: <v1qtnk$2rdui$2@dont-email.me>
References: <v1mljr$1q5ee$4@dont-email.me> <v1mnuj$lbo5$12@i2pn2.org>
 <v1mp1l$1qr5e$4@dont-email.me> <v1mpsh$lbo4$6@i2pn2.org>
 <v1ms2o$1rkit$1@dont-email.me> <v1prtb$2jtsh$1@dont-email.me>
 <v1qjb1$2ouob$2@dont-email.me> <v1qnfv$2q0t7$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 12 May 2024 19:19:49 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="72ecece1a9bec17b694bf422ef8241f0";
	logging-data="2996178"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+iVRUMnAnUh5GvKBQ+b57X"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:xt2qSHNoU0pLkXiHYfH6pLJ5P+0=
In-Reply-To: <v1qnfv$2q0t7$1@dont-email.me>
Content-Language: en-US
Bytes: 4375

On 5/12/2024 10:33 AM, Mikko wrote:
> On 2024-05-12 14:22:25 +0000, olcott said:
> 
>> On 5/12/2024 2:42 AM, Mikko wrote:
>>> On 2024-05-11 04:27:03 +0000, olcott said:
>>>
>>>> On 5/10/2024 10:49 PM, Richard Damon wrote:
>>>>> On 5/10/24 11:35 PM, olcott wrote:
>>>>>> On 5/10/2024 10:16 PM, Richard Damon wrote:
>>>>>>> On 5/10/24 10:36 PM, olcott wrote:
>>>>>>>> The entire body of expressions that are {true on the basis of their
>>>>>>>> meaning} involves nothing more or less than stipulated relations 
>>>>>>>> between
>>>>>>>> finite strings.
>>>>>>>>
>>>>>>>
>>>>>>> You do know that what you are describing when applied to Formal 
>>>>>>> Systems are the axioms of the system and the most primitively 
>>>>>>> provable theorems.
>>>>>>>
>>>>>>
>>>>>> YES and there are axioms that comprise the verbal model of the
>>>>>> actual world, thus Quine was wrong.
>>>>>
>>>>> You don't understand what Quite was talking about,
>>>>>
>>>>
>>>> I don't need to know anything about what he was talking about
>>>> except that he disagreed with {true on the basis or meaning}.
>>>> I don't care or need to know how he got to an incorrect answer.
>>>>
>>>>>>
>>>>>>>
>>>>>>> You don't seem to understand what "Formal Logic" actually means.
>>>>>>>
>>>>>>
>>>>>> Ultimately it is anchored in stipulated relations between finite
>>>>>> strings (AKA axioms) and expressions derived from applying truth
>>>>>> preserving operations to these axioms.
>>>>>
>>>>> Which you don't seem to understand what that means.
>>>>>
>>>>
>>>> I understand this much more deeply than you do.
>>>
>>> In and about formal logic there is no valid deep understanding. Only
>>> a shallow understanding can be valid.
>>>
>>
>> It turns out that ALL {true on the basis of meaning} that includes
>> ALL of logic and math has its entire foundation in relations between
>> finite strings. Some are stipulated to be true (axioms) and some
>> are derived by applying truth preserving operations to these axioms.
> 
> Usually the word "true" is not used when talking about uninterpreted
> formal systems. Axioms and what can be inferred from axioms are called
> "theorems". Theorems can be true in some interpretations and false in
> another. If the system is incosistent then there is no interpretation
> where all axioms are true.
> 

I am not talking about how these things are usually spoken of. I am
talking about my unique contribution to the actual philosophical
foundation of {true on the basis of meaning}.

This is entirely comprised of relations between finite strings:
some of which are stipulated to have the semantic value of Boolean
true, and others derived from applying truth preserving operations
to these finite string.

This is approximately equivalent to proofs from axioms. It is not
exactly the same thing because an infinite sequence of inference
steps may sometimes be required. It is also not exactly the same
because some proofs are not restricted to truth preserving operations.


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