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

On 7/6/2024 5:22 PM, Richard Damon wrote:

On 7/6/24 6:08 PM, olcott wrote:

On 7/6/2024 4:02 PM, Richard Damon wrote:

The problem here is you logic doesn't actually allow for the necessaery references in it.
>

Not at all. My logic is simply smart enough to reject
non-truth-bearers AKA expressions that are not valid
propositions. It does not stupidly falsely assume that
every expression is a valid proposition.\

 Logic isn't "Smart", it follows its rules.
 Your rules are just inconsistent.
 

When-so-ever true means provable and false means not provable
the meaning of these words proves that such a system cannot
get stuck in pathological expressions.
LP := ~True(LP) has a cycle in the directed
graph of the elements of the expression related
to each other that Prolog and MTT detects.
?- LP = not(true(LP)).
LP = not(true(LP)).
?- unify_with_occurs_check(LP, not(true(LP))).
false.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer