On 5/3/2022 12:27 PM, Mikko wrote:
> On 2022-05-03 14:42:32 +0000, olcott said:
>
>> On 5/3/2022 4:31 AM, Mikko wrote:
>>> On 2022-05-02 15:47:32 +0000, Mr Flibble said:
>>>
>>>> Not all infinitely recursive definitions are invalid however infinitely
>>>> recursive definitions that arise out of a category error (as is the
>>>> case with the halting problem) are invalid.
>>>
>>> An infinite recursion cannot arise out of a category error as the
>>> recursion
>>> stops at the category error.
>>>
>>> Mikko
>>>
>>
>> The category error is that an expression of language X is construed as
>> a logic sentence / truth bearer that is true or false. It is because
>> of the infinitely recursive definition that X is neither of these.
>
> Only if the recursive expression is used as if it were a truth bearer.
> Definitions usually don't use expression that way.
>
> Mikko
>

Expressions of language can only be correctly construed as true:
(a) if they are defined to be true
(b) have no contradictory elements in (a)
(c) are derived by applying true preserving operations to (a) or (c)

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