Re: Minimal Logics in the 2020's: A Meteoric Rise

On 7/7/24 9:24 PM, olcott wrote:

On 7/7/2024 1:30 PM, Richard Damon wrote:

On 7/7/24 1:59 PM, olcott wrote:

On 7/7/2024 12:28 PM, Richard Damon wrote:

On 7/7/24 9:34 AM, olcott wrote:

On 7/7/2024 6:26 AM, Richard Damon wrote:

On 7/6/24 11:42 PM, olcott wrote:

On 7/6/2024 10:12 PM, Richard Damon wrote:

On 7/6/24 10:51 PM, olcott wrote:

On 7/6/2024 9:16 PM, Richard Damon wrote:

>
So if x is defined in L as ~True(L, x)
>
what value does True(L, x) have?
>

>
then True(L,x) evaluates to false ultimately meaning
that x is incorrect.

>
But doesn't ~false evaluate to True?
>

>
No. ~false evaluates to true or incorrect.

>
So, "incorrect" is an ACTUAL logic state, not just "sort of" and ~~P doesn't necessarily have the same value as P.
>

>
It is something like tri-valued logic.

>
It needs to either BE tri-valued, or be bi-valued, or be whatever number of values it is.
>

>
True, False and IDK would be trivalued logic.
True, False and not-a-logic-sentence is not actually trivalued logic.

>
Is "Not-a-logic-sentence" a truth value that True, of ~false can return or not?
>

 True(L,x)==false and True(L,~x)==false

I didn't ask about True(L, ~x).
I guess you can't read.
I take it then that
For x in L defined as ~True(L, x)
That True(L, x) is false, and thus
~True(L, x) must be true, as that is the logical negation of false, and thus x which is defined as such is also true, and tnue you system claims that True(L, <a true statement>) can be false, and thus blows up in inconsistancy.

means that x is not a logic sentence.

In other words, you system can't handle references.
And thus is just a small logic system.
Note, there is no requirement in logic to check a function you arn't using to see if you can do what you want.
This is because True(L, x) is defined to have a meaningful answer even if the input isn't a truth-bearer, but just a syntactically correct statement.

I will stop here because you get overwhelmed.
 

Nope, you are stopping before you dig yourself too deep, but that it too late, by not showing how you handle the problem shown, you are just admitting that you don't have a way to handle it but are just ignoring that your system is broken or very limited.
Sorry, you just failed the test.