Re: Mathematical incompleteness has always been a misconception --- philosophy of logic

On 2/28/2025 5:20 PM, Richard Damon wrote:

On 2/28/25 5:04 PM, olcott wrote:

>
The bottom line here is that expressions that do not have
a truth-maker are always untrue. Logic screws this up by
overriding the common meaning of terms with incompatible
meanings. Provable(common) means has a truth-maker.
>
>
>

 But the problem is you try to make statements that have been shown to have a truth-make untrue, because you don't understand the conneciton to the truth-maker.
 

Your complete ignorance of the philosophy of logic has
never been my ignorance of logic. Logic says carefully
memorize the rules and do not violate these rules.
Philosophy of logic says: What happens when we totally
change these rules in many different ways?
Do we get a different result when we totally change all
of these rules?
What if unprovable meant untrue?
Would that get rid of undecidability?
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer