Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine

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

On 4/26/2025 3:12 AM, Mikko wrote:

On 2025-04-25 21:14:30 +0000, olcott said:

[ .... ]

It is common knowledge that Quine is most famous for
rejecting the analytic/synthetic distinction by this paper:

Two Dogmas of Empiricism --- Willard Van Orman Quine (1951)
https://www.ditext.com/quine/quine.html

Be specific:

- Which sentence of that opus contains the mistake you ment
  when you said "I uniquely made his mistake more clear" ?
- Which sentence of that opus expresses a disagreement that there are
  any expressions that are proven completely true entirely on the basis
  of their meaning ?

That he disagrees that the analytic synthetic distinction
distinction exists. His key mistake is failing to understand
the details of how bachelor(x) gets its semantic meanings.

I suspect Quine's statements were much more nuanced than your
understanding (or misunderstanding) of them would suggest.  Since you
can't cite Quine's original text to back up your assertions, it seems
more likely that these assertions are falsehoods.

This leads him to failing to understand how words generally get
their meaning. This leads him to fail to understand which
expressions are true entirely based on their meaning. This leads
him to reject the analytic side of the analytic/synthetic distinction.

Again, this is likely false, for the same reasons.

The entire body of human knowledge that can be expressed in language
is an axiomatic system beginning with a finite list of basic facts.

You've never proven that, and it is almost certainly false.

From this list the rest of general knowledge that can be expressed
in language is derived through semantic logical entailment.

Apart from the bits which can't be.

--
Copyright 2025 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).