Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
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 08:21:34 -0500
Organization: A noiseless patient Spider
Lines: 88
Message-ID: <v4mosu$1qt6$8@dont-email.me>
References: <v45tec$4q15$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> <v4mj7m$3n5c$6@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 16 Jun 2024 15:21:34 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2f28c05d249972130f2ddc6107b08476";
	logging-data="60326"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18g958oyO84Ut0Lx8U5VtNt"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:az8WFSuGQyeqYKJ/jPQqAad6oUA=
In-Reply-To: <v4mj7m$3n5c$6@i2pn2.org>
Content-Language: en-US
Bytes: 4963

On 6/16/2024 6:44 AM, Richard Damon wrote:
> 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.
> 

It provides the single piece of knowledge that
{cat} <is a type of> {animal}

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

googol = 10^100
googolplex = 10^googol --- 10^10^100
https://en.wikipedia.org/wiki/Googolplex

This knowledge could be encoded as a list individual meaning
postulates. with the subscript of the meaning postulate being
its identifier.

{cats> <are> {animals}
{animals} <are> {living things}
{living things} <are> {physically existing things}
{physically existing things} <are> {things}
{cats} <have> {four legs}

Try to make an example with a cycle.

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

We simply hypothesize that all of the knowledge of the world
that can be encoded using language is already encoded using
language.

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

We do not merely assume that {cats} <are not>
{fifteen story office buildings} after the terms {cat}
and {office building} are fully encoded in postulates
we can see that they have mutually exclusive properties.

{cats} <are> {living things}
{office buildings} <are not> {living things}.

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