Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory,sci.logic
Subject: Re: H(D,D) cannot even be asked about the behavior of D(D) --- Truth
 Itself is not Broken.
Date: Sun, 16 Jun 2024 07:44:54 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v4mj7m$3n5c$6@i2pn2.org>
References: <v45tec$4q15$1@dont-email.me> <v4j2ck$39ub0$1@dont-email.me>
 <v4j2u4$kqh$13@i2pn2.org> <v4j3bd$3a0ot$2@dont-email.me>
 <v4js1c$2218$2@i2pn2.org> <v4k5aq$3fnqu$3@dont-email.me>
 <v4k69h$2218$3@i2pn2.org> <v4k84g$3gc4t$2@dont-email.me>
 <v4k9gi$2219$2@i2pn2.org> <v4kafp$3gc4t$7@dont-email.me>
 <v4kbc0$2218$16@i2pn2.org> <v4kcn5$3h3iu$3@dont-email.me>
 <v4kdcc$2218$18@i2pn2.org> <v4kefm$3h3iu$5@dont-email.me>
 <v4kf8g$2219$7@i2pn2.org> <v4kflr$3hugj$2@dont-email.me>
 <v4kg3f$2218$20@i2pn2.org> <v4kgop$3hugj$3@dont-email.me>
 <v4khir$2219$9@i2pn2.org> <v4ki8q$3ib3p$1@dont-email.me>
 <v4kim5$2219$11@i2pn2.org> <v4kj9m$3iid3$1@dont-email.me>
 <v4kjod$2218$22@i2pn2.org> <v4kl14$3ircc$1@dont-email.me>
 <v4klf7$2219$13@i2pn2.org> <v4kp9p$3jfm0$2@dont-email.me>
 <v4l6q6$3n5d$2@i2pn2.org> <v4l83h$3m8b0$1@dont-email.me>
 <v4l9ea$3n5d$4@i2pn2.org> <v4lc8n$3n4dj$1@dont-email.me>
 <v4le45$3n5d$6@i2pn2.org> <v4lgq9$3rfk3$3@dont-email.me>
 <v4lir8$3n5d$9@i2pn2.org> <v4llek$3sben$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sun, 16 Jun 2024 11:44:54 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="122028"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
X-Spam-Checker-Version: SpamAssassin 4.0.0
In-Reply-To: <v4llek$3sben$1@dont-email.me>
Bytes: 3651
Lines: 47

On 6/15/24 11:16 PM, olcott wrote:
> On 6/15/2024 9:32 PM, Richard Damon wrote:
>> On 6/15/24 9:57 PM, olcott wrote:
>>> On 6/15/2024 8:11 PM, Richard Damon wrote:
>  >>
>>>>
>>>> EVERYTHING is meaningless until you start to define some of them to 
>>>> conenct them to actual ideas and things.
>>>>
>>>
>>> {cat} <is a> {animal} is more than zero meaning
>>> for the otherwise totally meaning less finite
>>> strings.
>>>
>>
>> But, without the link from {cat} to the English word "Cat", it 
>> provides us no knowledge about our actual world.
>>
> 
> WrongO it provides the single unit of meaning that
> {cat} <is a> {animal}

Which, since we don't have {cat} to talk about, being JUST A STRING OF 
SYMBOLS it gives no knowledge about anything other than the system with 
all the other meaningless symbols.

> 
> Encode another googol of meaning postulates and we will know
> all of the general knowledge about cats and everything else.

No, we have all the general knowledge about {cat}s and {everything else}

> 
> The key basis of ALL of this that most of the experts in the
> field are mostly clueless about is Truthmaker Maximalism.
> 
> If there is no physical or conceptual thing that makes expression
> X true then X is conclusively proven untrue on this basis.
> 

And there can not be any such thing if the strings are just meaningless 
strings. So, we need definitional links to connect those strings to 
something that provides meaning to them.

And in the system, without such links to establish the truth of the base 
principles in the system, you need to just "assume" some are true 
without a truth maker (and with the links, their truthmakers are out of 
system).