Re: The philosophy of logic reformulates existing ideas on a new basis ---

On 2024-11-08 16:21:55 +0000, olcott said:

On 11/8/2024 10:02 AM, Alan Mackenzie wrote:

As I said, it's not a matter of "belief".  It's a matter of certain
knowledge stemming from having studied for and having a degree in maths.

 You understand what the received view is.

But you don't.

My view is inconsistent with the received view therefore
(when one assumes that the received view is infallible)
I must be wrong.

More omportantly, you have not presented enough of your view that
we could determine whether your view is internally consistent.

I reject what you say because it's objectively wrong.  Just as if you
said 2 + 2 = 5.
 

What I said about is a semantic tautology just like
2 + 3 = 5. Formal systems are only incomplete when
the term "incomplete" is a euphemism for the inability
of formal systems to correctly determine the truth
value of non-truth-bearers.

 No.  You lack the expertise.

 I know how the current systems work and I disagree
that they are correct. This is not any lack of expertise.

You have not shown that you know and have often shown that you don't.
Your disagreement is just an opinion. You have not shown any reasron
why anyone else should disagree.
We believe in logic and arithmetic because nobody has ever observed
a situation where they give a false result from true assumptions.
--
Mikko