Sujet : Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logic comp.ai.philosophySuivi-à : comp.theoryDate : 22. Apr 2025, 19:33:18
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vu8nde$13jl5$4@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 4/22/2025 4:07 AM, Mikko wrote:
On 2025-04-21 20:44:03 +0000, olcott said:
On 4/21/2025 4:48 AM, Mikko wrote:
On 2025-04-20 17:53:43 +0000, olcott said:
>
On 4/20/2025 11:29 AM, Richard Damon wrote:
On 4/20/25 tic 1:33 AM, olcott wrote:
No counter-example to the above statement exists for all
computation and all human reasoning that can be expressed
in language.
>
But can all Human reasoning be actually expressed in language?
>
For instance, how do you express the smell of a rose in a finite string so you can do reasoning with it?
>
>
https://plato.stanford.edu/entries/analytic-synthetic/
>
all human reasoning that can be expressed in language
<is> the {analytic} side of the analytic/synthetic distinction
that humanity has totally screwed up since
>
Two Dogmas of Empiricism
Willard Van Orman Quine
https://www.ditext.com/quine/quine.html
>
Couldn't even understand that the term Bachelor
as stipulated to have the semantic meaning of
Bachelor(x) ≡ ~Married(x) ∧ Male(x) ∧ Adult(x) ∧ Human(x)
>
You mean that if Quine says something that proves that he does not know
that thing?
>
When Quine says that there is no such thing as expressions
of language that are true entirely on their semantic
meaning expressed in language Quine is stupidly wrong.
Where did Quine say that?
When he disagrees that analytic truth can be separately
demarcated. I uniquely made his mistake more clear.
He disagrees that there are any expressions that are
proven completely true entirely on the basis of their
meaning.
HERE IS HOW HE IS WRONG
Truth is a necessary consequence of applying the truth
preserving operation of semantic entailment to the set
of basic facts (cannot be derived from other facts)
expressed in language.
Truth expressed in language <is> analytic truth.
Truth expressed by physical sensations <is> empirical truth.
-- Copyright 2025 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
All of computation and human reasoning can be encoded as finite string transformations
Re: All of computation and human reasoning can be encoded as finite string transformations --- Quine