Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott 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: References: <4394939716c6c6d2ed1fa9b5a269ed261768914e@i2pn2.org> <5e4fb6d29fbd03c807c9a8d4140f807a44c29cb9@i2pn2.org> <49291bd9f18eaf11097b6a26f062f54b7f4d6fa9@i2pn2.org> <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