Deutsch   English   Français   Italiano  
<6e51f0e94c1e00fcaec8897b4374547bfa2d2be1@i2pn2.org>

View for Bookmarking (what is this?)
Look up another Usenet article

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: Minimal Logics in the 2020's: A Meteoric Rise
Date: Fri, 5 Jul 2024 19:12:51 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <6e51f0e94c1e00fcaec8897b4374547bfa2d2be1@i2pn2.org>
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>
 <v69scb$3fc2r$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 5 Jul 2024 23:12:51 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="2247595"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v69scb$3fc2r$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 4843
Lines: 89

On 7/5/24 6:33 PM, olcott wrote:
> 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.

Then ADMIT an error rather then say someone else is wrong because you 
didn't say what you meant.

> 
>> 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?

And that Gnosticism is just a heresy that is inconsistent, and thus not 
true.

> 
> 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.

No, only if you restrict the language it can use. For instance, On the 
basis of natural language Cats are Cats is a statement that is true by 
the meaning of the words, as it Blurgs are Blurgs. But in a system that 
doesn't define Cats, or Blurgs (like basic mathematics) there is not 
possible connection by truth preserving operations to the any meaning 
since it uses undefined terms in the system.

You keep om forgetting that formal systems are not defined in terms of 
natural language, so you can't use natural language definition to work 
with them.

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

But that isn't what Tarski was talking about.

After all, you STILL can't give a consitant value for the expression 
True(L, x) for x defined in L as ~True(L,x).

Clearly our language allows us to define an x that way, and whatever 
value True(L,x) is defined (either True or False) it becomes a 
contradiction.

> 
> 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

And why not? what is the value of True(L,x) from above?

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

and can't be an completely accurate model of the actual world, as we 
don't know enough about it.