Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: All computation & human reasoning encoded as finite string
 transformations --- Quine
Date: Sun, 27 Apr 2025 13:52:37 -0500
Organization: A noiseless patient Spider
Lines: 66
Message-ID: <vuludl$1bf1j$10@dont-email.me>
References: <vu343r$20gn$2@dont-email.me>
 <fbe82c2374d539fb658a8f5569af102b713ecd01@i2pn2.org>
 <vu3cb7$95co$2@dont-email.me> <vu5494$1urcb$1@dont-email.me>
 <vu6amj$2vn05$4@dont-email.me> <vu7m8j$956h$1@dont-email.me>
 <vu8nde$13jl5$4@dont-email.me> <vucthk$17en3$1@dont-email.me>
 <vue3dr$28iho$1@dont-email.me> <vufh49$3j05o$1@dont-email.me>
 <vugtvm$pke9$4@dont-email.me> <vui4gn$201kt$1@dont-email.me>
 <vuiula$2lf64$1@dont-email.me> <vuj075$1kkn$1@news.muc.de>
 <vuj2rd$2lf64$8@dont-email.me> <CuoPP.2531504$t84d.1872529@fx11.iad>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 27 Apr 2025 20:52:38 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="ee5019efe4d0d5f225206792de93e35a";
	logging-data="1424435"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19O2xnzdPcSYAM8N8nDDyoT"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:8Q5iSbzNMaRw+9Ulm+NMiAYs7sY=
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 250427-6, 4/27/2025), Outbound message
In-Reply-To: <CuoPP.2531504$t84d.1872529@fx11.iad>
Content-Language: en-US

On 4/27/2025 6:25 AM, Richard Damon wrote:
> On 4/26/25 12:49 PM, olcott wrote:
>> On 4/26/2025 11:04 AM, Alan Mackenzie wrote:
>>> 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.
>>>
>>
>> Two Dogmas of Empiricism --- Willard Van Orman Quine (1951)
>> https://www.ditext.com/quine/quine.html
>>
>> I am not going to wade through his double talk and weasel
>> words any more deeply that his issue with how the term Bachelor(x)
>> gets its meaning. He totally screwed that up proving that
>> he is clueless about how words get their meaning.
> 
> But he doesn't use double talk and weasel words.
> 

   Quine argues that all attempts to define and
   understand analyticity are circular. Therefore,
   the notion of analyticity should be rejected
   https://iep.utm.edu/quine-an/

He is stupidly wrong a about this. Analytic knowledge
exists in an acyclic directed graph tree of knowledge.
https://en.wikipedia.org/wiki/Ontology_(information_science)

*A type hierarchy is a knowledge tree acyclic graph*
   By the theory of simple types I mean the doctrine
   which says that the objects of thought (or, in another
   interpretation, the symbolic expressions) are divided
   into types, namely: individuals, properties of individuals,
   relations between individuals, properties of such relations, etc.
   https://en.wikipedia.org/wiki/History_of_type_theory#G%C3%B6del_1944

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