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

In comp.theory olcott <polcott333@gmail.com> wrote:

On 11/6/2024 2:34 PM, Alan Mackenzie wrote:

In comp.theory olcott <polcott333@gmail.com> wrote:

On 11/6/2024 10:45 AM, Alan Mackenzie wrote:

[ .... ]

There is another sense in which something could be a lie.  If, for
example, I emphatically asserted some view about the minutiae of
medical surgery, in opposition to the standard view accepted by
practicing surgeons, no matter how sincere I might be in that
belief, I would be lying.  Lying by ignorance.

That is a lie unless you qualify your statement with X is a
lie(unintentional false statement). It is more truthful to
say that statement X is rejected as untrue by a consensus of
medical opinion.

No, as so often, you've missed the nuances.  The essence of the
scenario is making emphatic statements in a topic which requires
expertise, but that expertise is missing.  Such as me laying down the
law about surgery or you doing the same in mathematical logic.

It is not at all my lack of expertise on mathematical logic
it is your ignorance of philosophy of logic as shown by you
lack of understanding of the difference between "a priori"
and "a posteriori" knowledge.

Garbage.

Surgical procedures and mathematical logic are in fundamentally
different classes of knowledge.

But the necessity of expertise is present in both, equally.  Emphatically
to assert falsehoods when expertise is lacking is a form of lying.  That
is what you do.

This allows for the possibility that the consensus is not
infallible. No one here allows for the possibility that the
current received view is not infallible. Textbooks on the
theory of computation are NOT the INFALLIBLE word of God.

Gods have got nothing to do with it.  2 + 2 = 4, the fact that the
world is a ball, not flat, Gödel's theorem, and the halting problem,
have all been demonstrated beyond any doubt whatsoever.

Regarding the last two they would have said the same thing about
Russell's Paradox and what is now known as naive set theory at the
time.

There's no "would have said" regarding Russell's paradox.  Nobody would
have asserted the correctness of naive set theory, a part of mathematics
then at the forefront of research and still in flux.  We've moved beyond
that point in the last hundred years.

And you are continually stating that theorems like 2 + 2 = 4 are false.
That is, theorems unequivocally proven by unequivocally correct
reasoning.  Such statements are a form of lying.

That you can't begin to imagine that mathematical logic might
not be infallible is definitely an error on your part ....

Not at all.  The error is fully on your part, and that is assuming that
established fact in an area in which you have no expertise must be false
because you don't like it.  2 + 2 IS 4, whether you like it or not.

The elementary parts of mathematical logic are indeed correct.  Those are
the parts which enable the proving of 2 + 2 = 4, the Halting theorem, and
many, many other results.

If you were right, mathematics simply wouldn't exist.

.... as proven by your failure to point put any error in the following:

Stop swearing.

(Incomplete(L) ≡  ∃x ∈ Language(L) ((L ⊬ x) ∧ (L ⊬ ¬x)))

That's off topic for this sub-thread.

[ .... ]

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).