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: Fri, 5 Jul 2024 17:33:47 -0500
Organization: A noiseless patient Spider
Lines: 56
Message-ID: <v69scb$3fc2r$1@dont-email.me>
References: <v67685$6fr5$1@solani.org> <v676rf$2u7lu$1@dont-email.me>
 <v67i45$6keq$1@solani.org> <v67j9a$2vtu0$2@dont-email.me>
 <v67jvc$6l2j$1@solani.org> <v67mbp$349l4$1@dont-email.me>
 <4394939716c6c6d2ed1fa9b5a269ed261768914e@i2pn2.org>
 <v67ono$34d9q$1@dont-email.me>
 <ba31e5eebae5a2b987f1ff1ec5886f00f59dc3b5@i2pn2.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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 06 Jul 2024 00:33:48 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="1569906ca87652a7e8ed8fdc0709863c";
	logging-data="3649627"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18b3gTUWXc3NsNjeGWYw67L"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0YDP2wQxb1NwFCSXlBI9LkrKvXc=
In-Reply-To: <7e4f146addad55792c0f18ab92d2092ebcc5dbfd@i2pn2.org>
Content-Language: en-US
Bytes: 3676

On 7/5/2024 5:22 PM, Richard Damon wrote:
> On 7/5/24 5:42 PM, olcott wrote:
>> On 7/5/2024 4:18 PM, Richard Damon wrote:
>>> On 7/5/24 4:12 PM, olcott wrote:
>>>> On 7/5/2024 2:54 PM, Richard Damon wrote:
>>>>> On 7/5/24 1:38 PM, olcott wrote:
>>>>>>
>>>>>> Every expression such that neither X nor ~X is provable in L
>>>>>> is simply not a truth bearer in L. This does correctly reject
>>>>>> self-contradictory expressions that wold otherwise be interpreted
>>>>>> as the incompleteness of L.
>>>>>
>>>>> FALSE STATEMENT.
>>>>>
>>>>
>>>> Can't be false it is stipulated.
>>>
>>> Can't stipulate that something is true.
>>>
>>
>> That every expression of language that is {true on the basis of
>> its verbal meaning} must have a connection by truth preserving
>> operations to its {verbal meaning} is a tautology.
> 
> But that isn't what you said above. You keep on getting your lies mixed up.
> 
I am fallible so the first time that I say something
it will probably not be infallible.

> True on the basis of its verbal meaning isn't a thing in formal system, 
> so not a Tautology, unless you mean by "verbal meaning" the meaning 
> assigned to the term in the system.
> 
Se that I have to update it again because I am fallible.
Did you know that the Gnostic Demiurge concept of God is fallible?

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.

This refutes Tarski undefinability for the entire set of
knowledge that can be expressed using language.

It sure as Hell does not get confused by any pathological
expressions that refer to themselves such as the key
expression that attempt to refute truthmaker maximalism:
This sentence has no truthmaker

The accurate model of the actual world is expressed
using formal language and formalized natural language.

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