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

On 2/28/25 7:20 PM, olcott wrote:

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?
  

And thus you admit that NONE of your statement applies to the fields they apply to, the field of FORMAL LOGIC.
Your problem is you don't understand enough about the "rules" of Philosophy to know to stay in its realm when you talk.
Sorry, but you just admitted that you lifes work is just a lie, and that you never knew what you were talking about.
You are just utterly stupid.