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,comp.theory
Subject: Re: Truth Bearer or Truth Maker
Date: Wed, 24 Jul 2024 21:05:05 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <ab01dbfc4e573535b69821b5f679509c5fee6bf9@i2pn2.org>
References: <v7rohj$9t9k$2@solani.org> <v7rpra$1sv5t$2@dont-email.me>
 <v7rsko$9vkk$1@solani.org> <v7rtu5$1tp9a$1@dont-email.me>
 <e197c26d636042212a7a60c04d8dff0803bb2503@i2pn2.org>
 <v7s6v0$1v7h9$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 25 Jul 2024 01:05:05 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="245891"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
In-Reply-To: <v7s6v0$1v7h9$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Content-Language: en-US
Bytes: 3609
Lines: 63

On 7/24/24 8:41 PM, olcott wrote:
> On 7/24/2024 6:56 PM, Richard Damon wrote:
>> On 7/24/24 6:07 PM, olcott wrote:
>>> On 7/24/2024 4:44 PM, Mild Shock wrote:
>>>> But obviously sometimes sentences are
>>>> decidable, and sometimes not. Since
>>>> this depends on "True" and "L".
>>>>
>>>
>>> But when we talk about "decidability" this is actually
>>> only a misnomer for self-contradictory.
>>
>> But it isn't, and you only think that because you don't understand it.
>>
>>>
>>>> Actually modern logic does it much simpler,
>>>> you don't need to prescribe or explain what
>>>> a "True" and "L" does, in that you repeat
>>>>
>>>
>>> Tarski "proved" that True(L,x) cannot be consistently defined
>>> because he was simply too stupid to know that the Liar Paradox
>>> is not a truth bearer. Most of the greatest experts in this
>>> field are still too stupid.
>>
>> No, he PROVED that the grammer of the system allowed the formation of 
>> the sentence.
>>
>> The "True" predicate doesn't need the expression to be a truth bearer, 
>> just and expression that fits the grammer of the language.
>>
> 
> *That is a ridiculously stupid thing to say*
> I can't imagine anyone with an IQ over 100 saying
> that without a short-circuit in their brain.

WHy, that is the definition of it. Something you have CHOSEN not to 
learn, but instead LIED to yourself by using your "Zeroth Principles" of 
reading just a few things about it and then GUESSING (incorrectly) what 
it must mean. That just shows your self-imposed STUPIDITY of the subject.

> 
> In other words there really is no such thing as true
> because "a fish" is neither true nor false in English.

Right, so True(English< "a fish") would be just FALSE, which doesn't 
mean that "a fish" is false, just that it isn't true.

> 
> This is just like that episode of HBO Westworld where
> Bernard couldn't see a door right in front of his face
> because his brain has been programmed to not see that door.

Sounds more like what has happend to you, You just don't seem to 
understand the definition of the Truth Predicate that you are arguing 
about, SInce this was self-imposed, it just proves your stupidity due to 
having brainwashed yourself to be unable to see any actual facts that 
contradict the lies you have told yourself, which turned you into the 
ignorant pathological liar you are.

> 
> https://www.forbes.com/sites/erikkain/2016/11/14/one-of-the-biggest-westworld-fan-theories-just-came-true/
>