• Re: All of computation and human reasoning can be encoded as finite str

    From Richard Damon@21:1/5 to olcott on Sun Apr 20 12:29:17 2025
    On 4/20/25 11: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?


    Double-talk, weasel words and ad hominem attacks count as
    pure foolishness and zero rebuttal what-so-ever.

    Right, and so YOUR argument is just pure foolishness.

    Finding an example of a computation that cannot be
    expressed as finite string transformation rules is
    the only possible valid rebuttal to the above.

    int DD()
    {
      int Halt_Status = HHH(DD);
      if (Halt_Status)
        HERE: goto HERE;
      return Halt_Status;
    }

    Which isn't a PROGRAM, so doesn't HAVE a "Halting Behavior", or any
    behavior at all.

    It only has behavior when the TEMPLATE is completed by adding the
    definition of HHH to it.

    Remeber, a PROGRAM needs a full description of ALL the code used by it.


    DD simulated by HHH according to the semantics of the C
    language (the correct finite string transformation rules)
    cannot possibly reach its own "return" instruction final
    halt state.

    And HHH can't simulate this per the semantic of the C language.

    It doesn't include the definition of HHH in it.

    And, if HHH is included by reference (which isn't how it is supposed ot
    be included) do you get your pathological relationship.

    When HHH is actually included by copy, as REQUIRED, we see that you
    structure is just not valid, as you intertwine the two, supposedly
    seperate, programs, which is the only way you code can even try to
    detect what it is detecting.


    Imagining what the simulated DD should do stupidly ignores
    what this DD actually does. This may be dishonest instead
    of stupid.


    But what DD actually does is FULLY DEFINED by the behavior of the HHH
    that it is completed with.

    If that HHH(DD) returns 0 (as you have defined it), then DD WILL HALT.

    We don't NEED to "imagine" what it does, we can directly determine it, something HHH doesn't do because, by its definition, it gives up based
    on UNSOUND logic and gives the wrong answer.

    The error in your logic comes from you trying to imagine HHH doing
    something other than what it was defined to do, while not changing the
    code within the input.

    Sorry, YOU are the one who used "double-talk" and weasle words, when you
    are not just out and out lying.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Apr 20 14:54:55 2025
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that the
    phrase "True by the meaning of the words alone", doesn't actually have
    meaning in a Natural Language context, as words have vaired, imprecise,
    and even spectrums of meaning, perhaps even multiple meanings at once.
    (This is even a form of word play used to convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments that you
    read, because the go over your head, and then YOU just assume theny must
    be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mr Flibble@21:1/5 to Richard Damon on Sun Apr 20 19:19:44 2025
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that the phrase "True by the meaning of the words alone", doesn't actually have meaning in a Natural Language context, as words have vaired, imprecise,
    and even spectrums of meaning, perhaps even multiple meanings at once.
    (This is even a form of word play used to convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments that you
    read, because the go over your head, and then YOU just assume theny must
    be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to Mr Flibble on Sun Apr 20 15:32:24 2025
    On 4/20/25 3:19 PM, Mr Flibble wrote:
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that the
    phrase "True by the meaning of the words alone", doesn't actually have
    meaning in a Natural Language context, as words have vaired, imprecise,
    and even spectrums of meaning, perhaps even multiple meanings at once.
    (This is even a form of word play used to convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments that you
    read, because the go over your head, and then YOU just assume theny must
    be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble


    I did first. I guess that means you suffer the same problems.

    Show how my first statement, which you quoted, is NOT a total refutation
    of his argument.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Apr 20 15:35:23 2025
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that
    the phrase "True by the meaning of the words alone", doesn't actually
    have meaning in a Natural Language context, as words have vaired,
    imprecise, and even spectrums of meaning, perhaps even multiple
    meanings at once. (This is even a form of word play used to convey
    special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language.
    AKA analytic(Olcott 2024)


    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and 'unmarried
    man' are everywhere interchangeable salva veritate.

    You just don't understand what you are reading, because it is just over
    your head.

    Sorry, you are just showing your stupidity,

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Apr 20 15:36:03 2025
    On 4/20/25 3:27 PM, olcott wrote:
    On 4/20/2025 2:19 PM, Mr Flibble wrote:
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that the >>> phrase "True by the meaning of the words alone", doesn't actually have
    meaning in a Natural Language context, as words have vaired, imprecise,
    and even spectrums of meaning, perhaps even multiple meanings at once.
    (This is even a form of word play used to convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments that you
    read, because the go over your head, and then YOU just assume theny must >>> be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble

    Richard does this to try to get away with masking his own
    complete ignorance of any of the words that I just used.


    Except that I ALWAYS start with the actual refutation, and thus you
    claim is just a LIE.

    Sorry, but you don't seem to understand how logic works.

    Care to show how my refutation was incorrect?

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Apr 20 16:37:45 2025
    On 4/20/25 3:58 PM, olcott wrote:
    On 4/20/2025 2:36 PM, Richard Damon wrote:
    On 4/20/25 3:27 PM, olcott wrote:
    On 4/20/2025 2:19 PM, Mr Flibble wrote:
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is
    that the
    phrase "True by the meaning of the words alone", doesn't actually have >>>>> meaning in a Natural Language context, as words have vaired,
    imprecise,
    and even spectrums of meaning, perhaps even multiple meanings at once. >>>>> (This is even a form of word play used to convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments that
    you
    read, because the go over your head, and then YOU just assume theny
    must
    be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble

    Richard does this to try to get away with masking his own
    complete ignorance of any of the words that I just used.


    Except that I ALWAYS start with the actual refutation, and thus you
    claim is just a LIE.

    Sorry, but you don't seem to understand how logic works.

    Care to show how my refutation was incorrect?

    You still have no idea what Quine's paper says and are
    trying to get away with claiming that you even looked at it.


    I think I can say the same thing about you.

    But you have shown a history of such problems, while I haven't.

    The fact that you dodged the question shows you don't have an answer.

    Sorry, but you are just showing your ignorance of what you talk about.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Apr 20 16:36:02 2025
    On 4/20/25 3:56 PM, olcott wrote:
    On 4/20/2025 2:35 PM, Richard Damon wrote:
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that
    the phrase "True by the meaning of the words alone", doesn't
    actually have meaning in a Natural Language context, as words have
    vaired, imprecise, and even spectrums of meaning, perhaps even
    multiple meanings at once. (This is even a form of word play used to
    convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language.
    AKA analytic(Olcott 2024)


    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and 'unmarried
    man' are everywhere interchangeable salva veritate.


    It is not the trivial minutiae such as that. Glancing
    at one sentence of a whole paper does not count as carefully
    studying the paper. The salient detail about the paper is
    that Quine convinced most everyone that analytic truth DOES NOT EXIST.


    But it is enough to show that the simple definition does not work.

    His treates is that "definitions" are not sufficiet, and thus trying to
    define analytics as JUST based on the meaning of words doesn't work.

    It isn't that "analytic truth" doesn't exist, but that we haven't
    properly defined what we mean by the term.

    Sort of like you don't understand what a program is, apparently because
    you don't think you need to know such details.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Apr 20 19:27:52 2025
    On 4/20/25 6:21 PM, olcott wrote:
    On 4/20/2025 3:36 PM, Richard Damon wrote:
    On 4/20/25 3:56 PM, olcott wrote:
    On 4/20/2025 2:35 PM, Richard Damon wrote:
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is
    that the phrase "True by the meaning of the words alone", doesn't
    actually have meaning in a Natural Language context, as words have >>>>>> vaired, imprecise, and even spectrums of meaning, perhaps even
    multiple meanings at once. (This is even a form of word play used
    to convey special meanings).


    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) >>>>>>>

    No, the point he was making was that this is NOT the only possible >>>>>> meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language.
    AKA analytic(Olcott 2024)


    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and 'unmarried
    man' are everywhere interchangeable salva veritate.


    It is not the trivial minutiae such as that. Glancing
    at one sentence of a whole paper does not count as carefully
    studying the paper. The salient detail about the paper is
    that Quine convinced most everyone that analytic truth DOES NOT EXIST.


    But it is enough to show that the simple definition does not work.


    Quine convinced most everyone that analytic truth DOES NOT EXIST.
    Quine convinced most everyone that analytic truth DOES NOT EXIST.
    Quine convinced most everyone that analytic truth DOES NOT EXIST.



    Maybe that is what you think, but I don't think that is actually true.

    The fact that discussion still occur about it seems to say you don't
    understand what you are saying, but then it seems you never did.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Apr 20 19:25:26 2025
    On 4/20/25 6:24 PM, olcott wrote:
    On 4/20/2025 3:37 PM, Richard Damon wrote:
    On 4/20/25 3:58 PM, olcott wrote:
    On 4/20/2025 2:36 PM, Richard Damon wrote:
    On 4/20/25 3:27 PM, olcott wrote:
    On 4/20/2025 2:19 PM, Mr Flibble wrote:
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is
    that the
    phrase "True by the meaning of the words alone", doesn't actually >>>>>>> have
    meaning in a Natural Language context, as words have vaired,
    imprecise,
    and even spectrums of meaning, perhaps even multiple meanings at >>>>>>> once.
    (This is even a form of word play used to convey special meanings). >>>>>>>

    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)


    No, the point he was making was that this is NOT the only possible >>>>>>> meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments
    that you
    read, because the go over your head, and then YOU just assume
    theny must
    be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble

    Richard does this to try to get away with masking his own
    complete ignorance of any of the words that I just used.


    Except that I ALWAYS start with the actual refutation, and thus you
    claim is just a LIE.

    Sorry, but you don't seem to understand how logic works.

    Care to show how my refutation was incorrect?

    You still have no idea what Quine's paper says and are
    trying to get away with claiming that you even looked at it.


    I think I can say the same thing about you.


    PUT UP OR SHUT UP BITCH !!!
    Correctly sum up the gist of Quine's whole paper in one sentence.


    What makes you think that is POSSIBLE?

    If he could have said it in one sentence he would have.

    If you want a broad summation, it is that classic discussion of analytic
    truth don't look at the details needed to define it well enough to be
    used as is.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Mon Apr 21 12:42:40 2025
    On 2025-04-20 15:33:15 +0000, olcott said:

    No counter-example to the above statement exists for all
    computation and all human reasoning that can be expressed
    in language.

    No counter exmple is not yet known but that it is possible that an
    unknown counter-example exists. In particular human reasoning is
    not sufficiently understood to say how it works.

    Double-talk, weasel words and ad hominem attacks count as
    pure foolishness and zero rebuttal what-so-ever.

    We know. We also know that you keep doing that wanyway.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Mon Apr 21 12:48:20 2025
    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?

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Mon Apr 21 12:50:10 2025
    On 2025-04-20 19:27:08 +0000, olcott said:

    On 4/20/2025 2:19 PM, Mr Flibble wrote:
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that the >>> phrase "True by the meaning of the words alone", doesn't actually have
    meaning in a Natural Language context, as words have vaired, imprecise,
    and even spectrums of meaning, perhaps even multiple meanings at once.
    (This is even a form of word play used to convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments that you
    read, because the go over your head, and then YOU just assume theny must >>> be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble

    Richard does this to try to get away with masking his own
    complete ignorance of any of the words that I just used.

    No, he isn't. His motivation is different from yours.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Mon Apr 21 12:53:06 2025
    On 2025-04-20 19:58:55 +0000, olcott said:

    On 4/20/2025 2:36 PM, Richard Damon wrote:
    On 4/20/25 3:27 PM, olcott wrote:
    On 4/20/2025 2:19 PM, Mr Flibble wrote:
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that the >>>>> phrase "True by the meaning of the words alone", doesn't actually have >>>>> meaning in a Natural Language context, as words have vaired, imprecise, >>>>> and even spectrums of meaning, perhaps even multiple meanings at once. >>>>> (This is even a form of word play used to convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments that you >>>>> read, because the go over your head, and then YOU just assume theny must >>>>> be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble

    Richard does this to try to get away with masking his own
    complete ignorance of any of the words that I just used.


    Except that I ALWAYS start with the actual refutation, and thus you
    claim is just a LIE.

    Sorry, but you don't seem to understand how logic works.

    Care to show how my refutation was incorrect?

    You still have no idea what Quine's paper says and are
    trying to get away with claiming that you even looked at it.

    Quite obviously you have no idea what Quine's paper says. Whether
    you looked at it seems to make no difference.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Mon Apr 21 13:04:58 2025
    On 2025-04-20 19:25:04 +0000, olcott said:

    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that
    the phrase "True by the meaning of the words alone", doesn't actually
    have meaning in a Natural Language context, as words have vaired,
    imprecise, and even spectrums of meaning, perhaps even multiple
    meanings at once. (This is even a form of word play used to convey
    special meanings).


    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)

    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Try reading his paper before you stupidly assume what he says.

    Hwat is wrong in the assumption that he said what is written in his paper?

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Mon Apr 21 13:11:25 2025
    On 2025-04-20 19:56:48 +0000, olcott said:

    On 4/20/2025 2:35 PM, Richard Damon wrote:
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that
    the phrase "True by the meaning of the words alone", doesn't actually
    have meaning in a Natural Language context, as words have vaired,
    imprecise, and even spectrums of meaning, perhaps even multiple
    meanings at once. (This is even a form of word play used to convey
    special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language.
    AKA analytic(Olcott 2024)

    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and 'unmarried
    man' are everywhere interchangeable salva veritate.

    It is not the trivial minutiae such as that. Glancing
    at one sentence of a whole paper does not count as carefully
    studying the paper. The salient detail about the paper is
    that Quine convinced most everyone that analytic truth DOES NOT EXIST.

    He did not claim that. He said that there are truths that are neither
    fully analytic nor fully synthetic so the often assumed boundary between
    the two does not exist.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to Richard Damon on Mon Apr 21 12:45:01 2025
    On 2025-04-20 16:29:17 +0000, Richard Damon said:

    On 4/20/25 11: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?

    We probably could present a verbal description of it if we could observe
    all details of the process.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Mon Apr 21 13:15:25 2025
    On 2025-04-20 22:21:55 +0000, olcott said:

    On 4/20/2025 3:36 PM, Richard Damon wrote:
    On 4/20/25 3:56 PM, olcott wrote:
    On 4/20/2025 2:35 PM, Richard Damon wrote:
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that >>>>>> the phrase "True by the meaning of the words alone", doesn't actually >>>>>> have meaning in a Natural Language context, as words have vaired,
    imprecise, and even spectrums of meaning, perhaps even multiple
    meanings at once. (This is even a form of word play used to convey >>>>>> special meanings).


    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) >>>>>>>

    No, the point he was making was that this is NOT the only possible >>>>>> meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language.
    AKA analytic(Olcott 2024)


    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and 'unmarried
    man' are everywhere interchangeable salva veritate.


    It is not the trivial minutiae such as that. Glancing
    at one sentence of a whole paper does not count as carefully
    studying the paper. The salient detail about the paper is
    that Quine convinced most everyone that analytic truth DOES NOT EXIST.

    But it is enough to show that the simple definition does not work.

    Quine convinced most everyone that analytic truth DOES NOT EXIST.

    What justification you have for your claim that most everyone believes
    that analytic truth does not exist?

    What justification you have for your claim that most of those who
    believe that analytic truth does not exist got that belief from Quine?

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Mon Apr 21 06:36:26 2025
    On 4/21/25 12:06 AM, olcott wrote:
    On 4/20/2025 6:25 PM, Richard Damon wrote:
    On 4/20/25 6:24 PM, olcott wrote:
    On 4/20/2025 3:37 PM, Richard Damon wrote:
    On 4/20/25 3:58 PM, olcott wrote:
    On 4/20/2025 2:36 PM, Richard Damon wrote:
    On 4/20/25 3:27 PM, olcott wrote:
    On 4/20/2025 2:19 PM, Mr Flibble wrote:
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is >>>>>>>>> that the
    phrase "True by the meaning of the words alone", doesn't
    actually have
    meaning in a Natural Language context, as words have vaired, >>>>>>>>> imprecise,
    and even spectrums of meaning, perhaps even multiple meanings >>>>>>>>> at once.
    (This is even a form of word play used to convey special
    meanings).


    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)


    No, the point he was making was that this is NOT the only possible >>>>>>>>> meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments >>>>>>>>> that you
    read, because the go over your head, and then YOU just assume >>>>>>>>> theny must
    be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble

    Richard does this to try to get away with masking his own
    complete ignorance of any of the words that I just used.


    Except that I ALWAYS start with the actual refutation, and thus
    you claim is just a LIE.

    Sorry, but you don't seem to understand how logic works.

    Care to show how my refutation was incorrect?

    You still have no idea what Quine's paper says and are
    trying to get away with claiming that you even looked at it.


    I think I can say the same thing about you.

    PUT UP OR SHUT UP BITCH !!!
    Correctly sum up the gist of Quine's whole paper in one sentence.


    What makes you think that is POSSIBLE?

    If he could have said it in one sentence he would have.


    In other words you have no idea about anything that he said
    or you have already stated these ideas that you do have.


    In other words, you are admitting to just being a liar by misquoting
    someone, and not reading what they are saying,

    Sorry, I guess your problem with Quine was that you "stopped at his
    first error" and didn't read the rest of the paper, so your claim that
    you know what it says are based on that same error.

    That isn't how laguage works, but then, you never understood how
    language works as you think language is just finite operations of finite symbols, when Natural Language is so much more. A point that Quine uses,
    which you can't understand.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Alan Mackenzie@21:1/5 to olcott on Mon Apr 21 22:25:06 2025
    In comp.theory olcott <polcott333@gmail.com> wrote:

    [ .... ]

    The body of human knowledge that is proven true entirely
    on the basis of the connection from an expression of
    language to its meaning also expressed in language is the
    kind of analytic that I have always been referring to.

    This is just a small part of human knowledge.

    I just found the right words this year. The basic facts
    (cannot be derived from other facts) are the axioms of
    this system. The only rule-of-inference is semantic
    logical entailment.

    Axioms need to be chosen carefully. Rules of inference likewise.

    With such a simple and powerful system anything can be
    expressed as the formalized semantics of natural language
    and undecidability becomes impossible.

    Many human experiences (alongside much else) cannot be expressed in
    formalised semantics. Undecidability is, on the contrary, not to be
    avoided.

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

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Mon Apr 21 18:49:37 2025
    On 4/21/25 4:44 PM, olcott wrote:
    On 4/21/2025 4:50 AM, Mikko wrote:
    On 2025-04-20 19:27:08 +0000, olcott said:

    On 4/20/2025 2:19 PM, Mr Flibble wrote:
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is
    that the
    phrase "True by the meaning of the words alone", doesn't actually have >>>>> meaning in a Natural Language context, as words have vaired,
    imprecise,
    and even spectrums of meaning, perhaps even multiple meanings at once. >>>>> (This is even a form of word play used to convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments that
    you
    read, because the go over your head, and then YOU just assume theny
    must
    be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble

    Richard does this to try to get away with masking his own
    complete ignorance of any of the words that I just used.

    No, he isn't. His motivation is different from yours.


    He is an intelligent and knowledgeable troll.


    Which is more than you, which is just a stupid and ignorant liar.

    Not that I am a troll, as I don't post to get excitement, I post to
    refute your errors.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Mon Apr 21 18:56:54 2025
    On 4/21/25 5:23 PM, olcott wrote:
    On 4/21/2025 5:15 AM, Mikko wrote:
    On 2025-04-20 22:21:55 +0000, olcott said:

    On 4/20/2025 3:36 PM, Richard Damon wrote:
    On 4/20/25 3:56 PM, olcott wrote:
    On 4/20/2025 2:35 PM, Richard Damon wrote:
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is >>>>>>>> that the phrase "True by the meaning of the words alone",
    doesn't actually have meaning in a Natural Language context, as >>>>>>>> words have vaired, imprecise, and even spectrums of meaning,
    perhaps even multiple meanings at once. (This is even a form of >>>>>>>> word play used to convey special meanings).


    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) >>>>>>>>>

    No, the point he was making was that this is NOT the only
    possible meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language. >>>>>>> AKA analytic(Olcott 2024)


    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and
    'unmarried man' are everywhere interchangeable salva veritate.


    It is not the trivial minutiae such as that. Glancing
    at one sentence of a whole paper does not count as carefully
    studying the paper. The salient detail about the paper is
    that Quine convinced most everyone that analytic truth DOES NOT EXIST. >>>>
    But it is enough to show that the simple definition does not work.

    Quine convinced most everyone that analytic truth DOES NOT EXIST.

    What justification you have for your claim that most everyone believes
    that analytic truth does not exist?


    Speaking with two dozen people about this.

    What justification you have for your claim that most of those who
    believe that analytic truth does not exist got that belief from Quine?


    Speaking with two dozen people about this.


    So "Two Dozen" is everyone?

    You don't seem to know the meaning of the words you use.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Mon Apr 21 19:00:55 2025
    On 4/21/25 4:57 PM, olcott wrote:
    On 4/21/2025 5:11 AM, Mikko wrote:
    On 2025-04-20 19:56:48 +0000, olcott said:

    On 4/20/2025 2:35 PM, Richard Damon wrote:
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is
    that the phrase "True by the meaning of the words alone", doesn't
    actually have meaning in a Natural Language context, as words have >>>>>> vaired, imprecise, and even spectrums of meaning, perhaps even
    multiple meanings at once. (This is even a form of word play used
    to convey special meanings).


    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) >>>>>>>

    No, the point he was making was that this is NOT the only possible >>>>>> meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language.
    AKA analytic(Olcott 2024)

    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and 'unmarried
    man' are everywhere interchangeable salva veritate.

    It is not the trivial minutiae such as that. Glancing
    at one sentence of a whole paper does not count as carefully
    studying the paper. The salient detail about the paper is
    that Quine convinced most everyone that analytic truth DOES NOT EXIST.

    He did not claim that. He said that there are truths that are neither
    fully analytic nor fully synthetic so the often assumed boundary between
    the two does not exist.


    The body of human knowledge that is proven true entirely
    on the basis of the connection from an expression of
    language to its meaning also expressed in language is the
    kind of analytic that I have always been referring to.

    But you can't actually define the system or show it to be useful.


    I just found the right words this year. The basic facts
    (cannot be derived from other facts) are the axioms of
    this system. The only rule-of-inference is semantic
    logical entailment.

    Which makes your system very weak.


    With such a simple and powerful system anything can be
    expressed as the formalized semantics of natural language
    and undecidability becomes impossible.


    It isn't "Powerful", because it can't prove anything new, and only
    include what we can prove strictly by the (ill-defined) meaning of the
    words.

    Note, until you handle the issues with that term, you haven't got a system.

    The problem is that since you seem to want to include "Natural Language"
    as your basis, Natural Language doesn't have the precisely defined
    meaning to words that you need for your logical arguments.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Mon Apr 21 19:04:26 2025
    On 4/21/25 4:44 PM, olcott wrote:
    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 does he say that EXACT statement?

    You are known to misquote.

    It seems you may be the one that is just stupidly wrong.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Tue Apr 22 11:42:57 2025
    On 2025-04-21 20:44:50 +0000, olcott said:

    On 4/21/2025 4:50 AM, Mikko wrote:
    On 2025-04-20 19:27:08 +0000, olcott said:

    On 4/20/2025 2:19 PM, Mr Flibble wrote:
    On Sun, 20 Apr 2025 14:54:55 -0400, Richard Damon wrote:

    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that the >>>>> phrase "True by the meaning of the words alone", doesn't actually have >>>>> meaning in a Natural Language context, as words have vaired, imprecise, >>>>> and even spectrums of meaning, perhaps even multiple meanings at once. >>>>> (This is even a form of word play used to convey special meanings).


    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)


    No, the point he was making was that this is NOT the only possible
    meaning of Bachelor.

    Sorry, you are just showing you don't understand the arguments that you >>>>> read, because the go over your head, and then YOU just assume theny must >>>>> be wrong.

    Sorry, all that shows is your stupidity and ignorance.

    Attack the argument not the person.

    /Flibble

    Richard does this to try to get away with masking his own
    complete ignorance of any of the words that I just used.

    No, he isn't. His motivation is different from yours.

    He is an intelligent and knowledgeable troll.

    He is intelligent and knowledgeable and can justify his claims.
    You are a troll that just repeats but does not argue.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Tue Apr 22 11:55:53 2025
    On 2025-04-21 21:23:31 +0000, olcott said:

    On 4/21/2025 5:15 AM, Mikko wrote:
    On 2025-04-20 22:21:55 +0000, olcott said:

    On 4/20/2025 3:36 PM, Richard Damon wrote:
    On 4/20/25 3:56 PM, olcott wrote:
    On 4/20/2025 2:35 PM, Richard Damon wrote:
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that >>>>>>>> the phrase "True by the meaning of the words alone", doesn't actually >>>>>>>> have meaning in a Natural Language context, as words have vaired, >>>>>>>> imprecise, and even spectrums of meaning, perhaps even multiple >>>>>>>> meanings at once. (This is even a form of word play used to convey >>>>>>>> special meanings).


    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) >>>>>>>>>

    No, the point he was making was that this is NOT the only possible >>>>>>>> meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language. >>>>>>> AKA analytic(Olcott 2024)


    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and 'unmarried >>>>>> man' are everywhere interchangeable salva veritate.


    It is not the trivial minutiae such as that. Glancing
    at one sentence of a whole paper does not count as carefully
    studying the paper. The salient detail about the paper is
    that Quine convinced most everyone that analytic truth DOES NOT EXIST. >>>>
    But it is enough to show that the simple definition does not work.

    Quine convinced most everyone that analytic truth DOES NOT EXIST.

    What justification you have for your claim that most everyone believes
    that analytic truth does not exist?

    Speaking with two dozen people about this.

    Insufficient, especially if you didn't have a random sample of all people.

    What justification you have for your claim that most of those who
    believe that analytic truth does not exist got that belief from Quine?

    Speaking with two dozen people about this.

    Insufficient, especially if you didn't have a random sample of all people.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Tue Apr 22 11:50:32 2025
    On 2025-04-21 11:49:41 +0000, olcott said:

    On 4/20/2025 6:27 PM, Richard Damon wrote:
    On 4/20/25 6:21 PM, olcott wrote:
    On 4/20/2025 3:36 PM, Richard Damon wrote:
    On 4/20/25 3:56 PM, olcott wrote:
    On 4/20/2025 2:35 PM, Richard Damon wrote:
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that >>>>>>>> the phrase "True by the meaning of the words alone", doesn't actually >>>>>>>> have meaning in a Natural Language context, as words have vaired, >>>>>>>> imprecise, and even spectrums of meaning, perhaps even multiple >>>>>>>> meanings at once. (This is even a form of word play used to convey >>>>>>>> special meanings).


    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) >>>>>>>>>

    No, the point he was making was that this is NOT the only possible >>>>>>>> meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language. >>>>>>> AKA analytic(Olcott 2024)


    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and 'unmarried >>>>>> man' are everywhere interchangeable salva veritate.


    It is not the trivial minutiae such as that. Glancing
    at one sentence of a whole paper does not count as carefully
    studying the paper. The salient detail about the paper is
    that Quine convinced most everyone that analytic truth DOES NOT EXIST. >>>>>

    But it is enough to show that the simple definition does not work.


    Quine convinced most everyone that analytic truth DOES NOT EXIST.
    Quine convinced most everyone that analytic truth DOES NOT EXIST.
    Quine convinced most everyone that analytic truth DOES NOT EXIST.



    Maybe that is what you think, but I don't think that is actually true.

    The fact that discussion still occur about it seems to say you don't
    understand what you are saying, but then it seems you never did.

    Everyone that I have spoken with about the analytic/synthetic
    distinction told me that Quine convinced them that this
    distinction does not actually exist.

    How many people?

    Besides, people sometimes convince others somthing they do not believe themselves. For example, you have convinced many people here that you
    don't understand what you are saying but you have shown in indication
    of yourself believing that.

    Because the notion of analytic truth is the foundation
    of all of my systems of reasoning, I could not just let
    this go.

    The prosess of reasoning is not sufficiently well understood to
    know that.

    Expressions of language that are provably true entirely
    on basis of their meaning expressed in language are
    Analytic(Olcott 2024) expressions.

    In order to prove anything from the meanings of words you need to know
    those meanings as well as some truth preserving transformations. As
    Quine opints out the knowledge of the meanings of words is empirical
    knowledge. As Aristotle points out the knowledge that some
    transformations preserver truth is empirical. Therefore all analytic
    knoeledge depends on empirical knowledge.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Tue Apr 22 12:04:01 2025
    On 2025-04-21 20:57:55 +0000, olcott said:

    On 4/21/2025 5:11 AM, Mikko wrote:
    On 2025-04-20 19:56:48 +0000, olcott said:

    On 4/20/2025 2:35 PM, Richard Damon wrote:
    On 4/20/25 3:25 PM, olcott wrote:
    On 4/20/2025 1:54 PM, Richard Damon wrote:
    On 4/20/25 1:53 PM, olcott wrote:
    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

    But it isn't, and that is YOUR screw up. Part of the problem is that >>>>>> the phrase "True by the meaning of the words alone", doesn't actually >>>>>> have meaning in a Natural Language context, as words have vaired,
    imprecise, and even spectrums of meaning, perhaps even multiple
    meanings at once. (This is even a form of word play used to convey >>>>>> special meanings).


    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) >>>>>>>

    No, the point he was making was that this is NOT the only possible >>>>>> meaning of Bachelor.


    Try reading his paper before you stupidly assume what he says.

    Quine was (on this issue) stupidly confused the whole rest of
    world on the analytic/synthetic distinction so most everyone
    totally lost track of expressions of language that are proven
    true entirely on the basis of their meaning expressed in language.
    AKA analytic(Olcott 2024)

    Like his statement:

    But it is not quite true that the synonyms 'bachelor' and 'unmarried
    man' are everywhere interchangeable salva veritate.

    It is not the trivial minutiae such as that. Glancing
    at one sentence of a whole paper does not count as carefully
    studying the paper. The salient detail about the paper is
    that Quine convinced most everyone that analytic truth DOES NOT EXIST.

    He did not claim that. He said that there are truths that are neither
    fully analytic nor fully synthetic so the often assumed boundary between
    the two does not exist.

    The body of human knowledge that is proven true entirely
    on the basis of the connection from an expression of
    language to its meaning also expressed in language is the
    kind of analytic that I have always been referring to.

    Before you can connect with an expression of a language one expression
    to its meanings you must have a connection of at least one expresson
    to its meaning.

    I just found the right words this year. The basic facts
    (cannot be derived from other facts) are the axioms of
    this system. The only rule-of-inference is semantic
    logical entailment.

    You can't express the meaning of "semantic logical entailment" so that
    it can be used as an inference rule. In particular, the wor "semantic"
    prevents its use in a formal system.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Tue Apr 22 12:07:31 2025
    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?

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Tue Apr 22 18:26:58 2025
    On 4/22/25 2:33 PM, olcott wrote:
    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.

    In other words, he didn't use the words you "quoted", but this is just
    another of your normal misinterpreation of someone smarter than you.


    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    No, he says there are statements that are not provable true on the basis
    of their words.

    He doesn't deny that SOME statements can be proven true, only that a
    system that is based on natural language can not use that as a sole
    basis of operation.

    You just don't understand the intracacies of the words being used, which
    is why you keep on twisting the meanings.


    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.

    Except truth is more than that, and less, since you keep on wanting to
    include natural language in your meanings, and natural language is by
    its nature fussy and has holes in it.


    Truth expressed in language <is> analytic truth.
    Truth expressed by physical sensations <is> empirical truth.


    And what about Truth expressed in language that needs idea from physical sensations to fully understand?

    Or context?

    The problem is "language" (as in Natural Language) isn't well enough
    defined to fully specify truth.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Wed Apr 23 07:20:25 2025
    On 4/22/25 11:48 PM, olcott wrote:
    On 4/22/2025 5:26 PM, Richard Damon wrote:
    On 4/22/25 2:33 PM, olcott wrote:
    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.

    In other words, he didn't use the words you "quoted", but this is just
    another of your normal misinterpreation of someone smarter than you.


    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    No, he says there are statements that are not provable true on the
    basis of their words.


    We aren't talking about that set. We are talking about statements
    that are provable on the basis of the meaning of their words.
    More technically expressions of language have semantic connections
    to their meaning that prove them true.

    He doesn't deny that SOME statements can be proven true, only that a
    system that is based on natural language can not use that as a sole
    basis of operation.

    You just don't understand the intracacies of the words being used,
    which is why you keep on twisting the meanings.


    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.

    Except truth is more than that,

    Truth that can be expressed in language is <exactly>
    Truth that can be expressed in language.

    But not all Truth is expressable in language, and thus you aren't
    talking about the same thing.


    and less, since you keep on wanting to include natural language in
    your meanings, and natural language is by its nature fussy and has
    holes in it.


    Truth expressed in language <is> analytic truth.
    Truth expressed by physical sensations <is> empirical truth.


    And what about Truth expressed in language that needs idea from
    physical sensations to fully understand?


    The concepts of physical sensations are fully elaborated verbally.

    Ok, then what is the smell of a rose.

    Or the color red.

    EXACT elaborations please.


    Or context?


    Situation context can be encoded verbally.

    But often isn't, and that is the problem with trying to use natural
    language as your base.


    The problem is "language" (as in Natural Language) isn't well enough
    defined to fully specify truth.

    Montague Grammar shows the way


    Nope, it does some of it, providing a standardized way of trying to
    interprete a natural language, but it doesn't fully succeed.

    The statementes correctly processed by the Montague Grammer are only a
    sub-set of the full domain of Natural Langague.

    In part because Natuaral Language is not restricted to expressing
    statements with precise meaning, and thus any attempt to claim a precise meaning for the statement must be incorrect, or at least incomplete
    (which is incorrect if it claims to be THE MEANING)

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Rosario19@21:1/5 to olcott on Wed Apr 23 20:33:02 2025
    On Sun, 20 Apr 2025 12:53:43 -0500, olcott wrote:

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

    possible the computation can be generate only by macro sostitutions...

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Thu Apr 24 11:42:28 2025
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?

    I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another
    topic.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    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.

    Where does he say that 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.

    No, not always. An empirical truth expressed in a language is an
    empirical truth. But which is a truth that is inferred from two
    premises, one analytic and one empirical?

    Truth expressed by physical sensations <is> empirical truth.

    I don't think a set of physical sensations can express a truth.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Thu Apr 24 07:20:02 2025
    On 4/23/25 12:08 PM, olcott wrote:
    On 4/23/2025 6:20 AM, Richard Damon wrote:
    On 4/22/25 11:48 PM, olcott wrote:
    On 4/22/2025 5:26 PM, Richard Damon wrote:
    On 4/22/25 2:33 PM, olcott wrote:
    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.

    In other words, he didn't use the words you "quoted", but this is
    just another of your normal misinterpreation of someone smarter than
    you.


    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    No, he says there are statements that are not provable true on the
    basis of their words.


    We aren't talking about that set. We are talking about statements
    that are provable on the basis of the meaning of their words.
    More technically expressions of language have semantic connections
    to their meaning that prove them true.

    He doesn't deny that SOME statements can be proven true, only that a
    system that is based on natural language can not use that as a sole
    basis of operation.

    You just don't understand the intracacies of the words being used,
    which is why you keep on twisting the meanings.


    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.

    Except truth is more than that,

    Truth that can be expressed in language is <exactly>
    Truth that can be expressed in language.

    But not all Truth is expressable in language, and thus you aren't
    talking about the same thing.


    X = "Truth that can be expressed in language"
    I say that all X <are> X and you disagree?

    But then you aren't talking about what you were talking about.

    The problem with you statement about Truth that can be express in
    language is that you get yourself mixed up between Formal Languages and
    Natural Languages.

    If we talk about using a Formal Language, then you run into the issue
    that for a sufficently powerful Formal System, Truths can be expressed
    that can not be Known from just that system.

    If we are talking about Natural Language, we run into the fact Natural Language, by its very definition, is not strongly defined, and thus many statements are ambiguous.



    and less, since you keep on wanting to include natural language in
    your meanings, and natural language is by its nature fussy and has
    holes in it.


    Truth expressed in language <is> analytic truth.
    Truth expressed by physical sensations <is> empirical truth.


    And what about Truth expressed in language that needs idea from
    physical sensations to fully understand?


    The concepts of physical sensations are fully elaborated verbally.

    Ok, then what is the smell of a rose.


    The actual smell of an actual rose is outside the scope
    of analytical truth. Everything else about a rose can
    be written down as Basic Facts.

    SO, you admit that you lied when you said that "The concepts of physical sensation are fully elaborated verbally"?


    Or the color red.

    EXACT elaborations please.


    The color red is already associated with a wavelength
    of light. The actual first-hand direct experience of
    seeing Red is outside the scope of analytic truth.
    Everything else can be written down as a Basic Fact.

    NO, it is not associated with *A* wavelength of light, but with a broad
    band, and the color Red can include other wavelengths outside of it.

    You run into the issue that the word "red" has arbitrary boundries on
    it, and a color that some would call "red" others might disagree and
    call something else, like perhaps "pink", or "crimson".

    This is the problem of NATURAL language, words are not precisely
    defined, and you can't do anything to completely define them.

    Yes, you can try your concept of adding GUIDs to them, but that is
    making a formalize version of the Natural Language, and unless you DO
    apply those GUIDs you aren't using that Formalized Version, and you
    can't take an arbitrary sentence and correctly formalize it, as some
    words have full spectrum of meanings, so you can't enumerate all of the meanings to seperate GUIDs, and some sentences can use multiple meanings
    of a word at once, getting meaning for the sentence out of the tension
    between the different meanings of the word.



    Or context?


    Situation context can be encoded verbally.

    But often isn't, and that is the problem with trying to use natural
    language as your base.


    That people do not typically write down the details of
    discourse context place no limits.

    It says that Natural Language, BECAUSE it often omits such details,
    can't be treated as if they were there.



    The problem is "language" (as in Natural Language) isn't well enough
    defined to fully specify truth.

    Montague Grammar shows the way


    Nope, it does some of it, providing a standardized way of trying to
    interprete a natural language, but it doesn't fully succeed.


    It was merely too big to complete at the time.
    It can be easily extended to become complete.
    For example Questions are merely Statements
    with a piece missing.

    No, Montague Grammer provides a way to decode sentences written with
    Montague Grammer in mind, or to handle the most common cases of the
    words use in Natural Grammer.


    The statementes correctly processed by the Montague Grammer are only a
    sub-set of the full domain of Natural Langague.

    In part because Natuaral Language is not restricted to expressing
    statements with precise meaning, and thus any attempt to claim a
    precise meaning for the statement must be incorrect, or at least
    incomplete (which is incorrect if it claims to be THE MEANING)

    Montage Grammar can eliminate all ambiguity of natural language.
    It can also retain any degree of vagueness that is needed.


    No it can't.

    What does the sentence: "Sally is a big girl" mean, what is it PRECISE
    meaning.

    I can show perhaps a dozen different meanings of the sentence due to the amgiguity of the English Language as she is actually used.

    Montage Grammer can perhaps assign the statement a single meaning, but
    it doesn't mean that was the actual meaning that was intended.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Thu Apr 24 19:18:33 2025
    On 4/24/25 3:28 PM, olcott wrote:
    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
     analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another
    topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    WHich it seems you don't understand what he is saying, because you just
    don't understand the basics of philispophcal logic, or the properties of Natural Language.


    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.

    Where does he say that 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?


    That is what he totally gets wrong when he rejects the
    analytic/synthetic distinction.

    So, the fact you can't actually quote a statement, taken if full
    context, where he does that, just shows that you don't understand what
    you are claiming.


    Truth expressed in language <is> analytic truth.

    No, not always. An empirical truth expressed in a language is an
    empirical truth. But which is a truth that is inferred from two
    premises, one analytic and one empirical?


    The set of basic (indivisible) facts are the axioms for
    the body of knowledge that can be expressed in language.

    But Natural Language, which is the domain that Quine writes about, has
    problems with precision that he points out, which makes the sharp
    division claimed to be not so sharp.


    Truth expressed by physical sensations <is> empirical truth.

    I don't think a set of physical sensations can express a truth.


    "I saw a cat walk across my living room floor."
    Requires seeing a cat.


    No it doesn't. It claims there to have been a set of physical
    senstation, but I can say that an not have seen it.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Fri Apr 25 11:28:57 2025
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another
    topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title
    "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you
    claim he said.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Fri Apr 25 12:56:11 2025
    On 4/25/25 12:24 PM, olcott wrote:
    On 4/25/2025 3:41 AM, Mikko wrote:
    On 2025-04-24 03:44:41 +0000, olcott said:

    On 4/23/2025 4:16 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where did Quine disagree that analytic truth can be separately
    demarcated
    and that there is no such thing as expressions of language that are
    true
    entirely on their semantic meaning expressed in language?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction
    he is best known for his rejection of the analytic/synthetic
    distinction. https://iep.utm.edu/quine-an/

    Where exacly does he say what you claimed him saying?


    Just read the rest of the article.
    He is widely known and most famous for rejecting the
    analytic/synthetic distinction.


    In other words, you can't justify your conclusion, because you don't
    REALLY understand what you read, and thus you try to reduce his more
    neuanced statement to something simpler that isn't what he is actually
    saying.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Fri Apr 25 21:37:30 2025
    On 4/25/25 5:14 PM, olcott wrote:
    On 4/25/2025 3:28 AM, Mikko wrote:
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
      analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another
    topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title
    "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you
    claim he said.


    Apparently you prefer to remain ignorant.
    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


    Yes, but not in the way you try to imply, because you just don't
    understand what he says. Your problem is he is talking about your
    knowledge and intelegence level, as you have seriouse problems with some
    of the basic concepts of language theory.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Sat Apr 26 11:12:07 2025
    On 2025-04-25 21:14:30 +0000, olcott said:

    On 4/25/2025 3:28 AM, Mikko wrote:
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
      analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another
    topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title
    "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you
    claim he said.


    Apparently you prefer to remain ignorant.
    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 ?

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Sat Apr 26 11:14:42 2025
    On 2025-04-25 16:24:28 +0000, olcott said:

    On 4/25/2025 3:41 AM, Mikko wrote:
    On 2025-04-24 03:44:41 +0000, olcott said:

    On 4/23/2025 4:16 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where did Quine disagree that analytic truth can be separately demarcated >>>> and that there is no such thing as expressions of language that are true >>>> entirely on their semantic meaning expressed in language?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction
    he is best known for his rejection of the analytic/synthetic
    distinction. https://iep.utm.edu/quine-an/

    Where exacly does he say what you claimed him saying?

    Just read the rest of the article.
    He is widely known and most famous for rejecting the
    analytic/synthetic distinction.

    So you don't know and can't find out.
    Or maybe you believe he did not say so but don't want to admit.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Alan Mackenzie@21:1/5 to olcott on Sat Apr 26 16:04:53 2025
    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).

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Apr 26 16:54:28 2025
    On 4/26/25 11:42 AM, olcott wrote:
    On 4/26/2025 3:14 AM, Mikko wrote:
    On 2025-04-25 16:24:28 +0000, olcott said:

    On 4/25/2025 3:41 AM, Mikko wrote:
    On 2025-04-24 03:44:41 +0000, olcott said:

    On 4/23/2025 4:16 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where did Quine disagree that analytic truth can be separately
    demarcated
    and that there is no such thing as expressions of language that
    are true
    entirely on their semantic meaning expressed in language?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction
    he is best known for his rejection of the analytic/synthetic
    distinction. https://iep.utm.edu/quine-an/

    Where exacly does he say what you claimed him saying?

    Just read the rest of the article.
    He is widely known and most famous for rejecting the
    analytic/synthetic distinction.

    So you don't know and can't find out.
    Or maybe you believe he did not say so but don't want to admit.


    Quine is most famous for rejecting the analytic/synthetic
    distinction like Einstein is most famous for E=MC²


    Right, but you don't understand his argument, and express what he says incorrctly, showing your ignorance of what you say.

    Your problem is your knowledge of what he is talking about seems to be
    totally inadiquite for you to understand what he is saying.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sat Apr 26 16:52:24 2025
    On 4/26/25 11:38 AM, olcott wrote:
    On 4/26/2025 3:12 AM, Mikko wrote:
    On 2025-04-25 21:14:30 +0000, olcott said:

    On 4/25/2025 3:28 AM, Mikko wrote:
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
      analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another >>>>>> topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title
    "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you
    claim he said.


    Apparently you prefer to remain ignorant.
    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.

    And how does it get its meaning that excludes the other option he points
    out for it?


    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.

    But he is right, as true Natural Language DOES have the pointed out
    ambiquity.


    The entire body of human knowledge that can be expressed in language
    is an axiomatic system beginning with a finite list of basic facts.
    From this list the rest of general knowledge that can be expressed
    in language is derived through semantic logical entailment.


    Try to do it.

    The problem is you are STARTING with the imprecision of Natual Language,
    and are stuck with it.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Sun Apr 27 12:08:28 2025
    On 2025-04-26 15:38:18 +0000, olcott said:

    On 4/26/2025 3:12 AM, Mikko wrote:
    On 2025-04-25 21:14:30 +0000, olcott said:

    On 4/25/2025 3:28 AM, Mikko wrote:
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
      analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another >>>>>> topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title
    "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you
    claim he said.


    Apparently you prefer to remain ignorant.
    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 you don't answer above question is sufficient to determine that
    you are trying a straw man deception.

    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.

    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.

    The entire body of human knowledge that can be expressed in language
    is an axiomatic system beginning with a finite list of basic facts.
    From this list the rest of general knowledge that can be expressed
    in language is derived through semantic logical entailment.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to Richard Damon on Sun Apr 27 12:41:24 2025
    On 2025-04-26 20:52:24 +0000, Richard Damon said:

    On 4/26/25 11:38 AM, olcott wrote:
    On 4/26/2025 3:12 AM, Mikko wrote:
    On 2025-04-25 21:14:30 +0000, olcott said:

    On 4/25/2025 3:28 AM, Mikko wrote:
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
      analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another >>>>>>> topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title
    "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you
    claim he said.


    Apparently you prefer to remain ignorant.
    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.

    And how does it get its meaning that excludes the other option he
    points out for it?


    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.

    But he is right, as true Natural Language DOES have the pointed out ambiquity.


    The entire body of human knowledge that can be expressed in language
    is an axiomatic system beginning with a finite list of basic facts.
    From this list the rest of general knowledge that can be expressed
    in language is derived through semantic logical entailment.


    Try to do it.

    The problem is you are STARTING with the imprecision of Natual
    Language, and are stuck with it.

    The solution is simple: create a new language and don't use any other.
    Define every word and don't use any word before you have defined it.
    State basic facts after you have defined all words to state them but
    before you infer anything about them. Likwise, state the rules of
    inference only after you have defined the words needed to state them
    but before using them in any inference.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Apr 27 21:39:19 2025
    On 4/27/25 2:38 PM, olcott wrote:
    On 4/27/2025 4:41 AM, Mikko wrote:
    On 2025-04-26 20:52:24 +0000, Richard Damon said:

    On 4/26/25 11:38 AM, olcott wrote:
    On 4/26/2025 3:12 AM, Mikko wrote:
    On 2025-04-25 21:14:30 +0000, olcott said:

    On 4/25/2025 3:28 AM, Mikko wrote:
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
      analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about >>>>>>>>> another
    topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title >>>>>>> "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you >>>>>>> claim he said.


    Apparently you prefer to remain ignorant.
    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.

    And how does it get its meaning that excludes the other option he
    points out for it?


    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.

    But he is right, as true Natural Language DOES have the pointed out
    ambiquity.


    The entire body of human knowledge that can be expressed in language
    is an axiomatic system beginning with a finite list of basic facts.
    From this list the rest of general knowledge that can be expressed
    in language is derived through semantic logical entailment.


    Try to do it.

    The problem is you are STARTING with the imprecision of Natual
    Language, and are stuck with it.

    The solution is simple: create a new language and don't use any other.
    Define every word and don't use any word before you have defined it.
    State basic facts after you have defined all words to state them but
    before you infer anything about them. Likwise, state the rules of
    inference only after you have defined the words needed to state them
    but before using them in any inference.


    Yes that seems to be exactly what I have been proposing
    for years. The "new" language is Rudolf Carnap Meaning
    Postulates / Montague Grammar extended to cover all
    natural language semantics.

    This is organized into a knowledge ontology type hierarchy. https://en.wikipedia.org/wiki/Ontology_(information_science)
    The Cyc project uses GUIDs instead of finite strings to label
    unique sense meanings.


    Which means you are giving up the concept that you are dealing with a
    pure Natural Language, but a formalize variant, and thus can only
    process things in that formailzed variant.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Richard Damon@21:1/5 to olcott on Sun Apr 27 21:40:22 2025
    On 4/27/25 2:30 PM, olcott wrote:
    On 4/27/2025 4:08 AM, Mikko wrote:
    On 2025-04-26 15:38:18 +0000, olcott said:

    On 4/26/2025 3:12 AM, Mikko wrote:
    On 2025-04-25 21:14:30 +0000, olcott said:

    On 4/25/2025 3:28 AM, Mikko wrote:
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
      analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about
    another
    topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title >>>>>> "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you >>>>>> claim he said.


    Apparently you prefer to remain ignorant.
    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 you don't answer above question is sufficient to determine that
    you are trying a straw man deception.


      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/

    I am not going to dig into the weeds and see
    where Quine says that, it is sufficient to know
    that he says that.


    So, I guess you think claims don't need to be proven, which actually
    mean you are admitting that you haven't actually proven any thing you
    have claims.

    Sorry, you just torpedoed your claims.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Tue Apr 29 12:39:40 2025
    On 2025-04-27 18:30:35 +0000, olcott said:

    On 4/27/2025 4:08 AM, Mikko wrote:
    On 2025-04-26 15:38:18 +0000, olcott said:

    On 4/26/2025 3:12 AM, Mikko wrote:
    On 2025-04-25 21:14:30 +0000, olcott said:

    On 4/25/2025 3:28 AM, Mikko wrote:
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
      analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another >>>>>>>> topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title >>>>>> "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you >>>>>> claim he said.


    Apparently you prefer to remain ignorant.
    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 you don't answer above question is sufficient to determine that
    you are trying a straw man deception.


    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/

    I am not going to dig into the weeds and see
    where Quine says that, it is sufficient to know
    that he says that.

    Which you apparently don't know as you can't point to a source.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Mikko@21:1/5 to olcott on Tue Apr 29 12:34:43 2025
    On 2025-04-27 18:38:44 +0000, olcott said:

    On 4/27/2025 4:41 AM, Mikko wrote:
    On 2025-04-26 20:52:24 +0000, Richard Damon said:

    On 4/26/25 11:38 AM, olcott wrote:
    On 4/26/2025 3:12 AM, Mikko wrote:
    On 2025-04-25 21:14:30 +0000, olcott said:

    On 4/25/2025 3:28 AM, Mikko wrote:
    On 2025-04-24 19:28:57 +0000, olcott said:

    On 4/24/2025 3:42 AM, Mikko wrote:
    On 2025-04-22 18:33:18 +0000, olcott said:

    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.

    Where?


    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
      analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/


     I uniquely made his mistake more clear.

    No, you didn't. You only made a more clear mistake but about another >>>>>>>>> topic.


    All expressions of language that can be proven true entirely
    on the basis of basic facts also expressed in language <are>
    the analytic side of the analytic / synthetic distinction.

    He disagrees that there are any expressions that are
    proven completely true entirely on the basis of their
    meaning.

    Where does he say that?

    Willard Van Orman Quine: The Analytic/Synthetic Distinction

    “...he is best known for his rejection of the
    analytic/synthetic distinction.”

    https://iep.utm.edu/quine-an/

    That page refers to many Quine's works, none of which has the title >>>>>>> "The Analytic/Synthetic Distinction".

    Apparently you don't kone where or evene whther Quine said what you >>>>>>> claim he said.


    Apparently you prefer to remain ignorant.
    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.

    And how does it get its meaning that excludes the other option he
    points out for it?


    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.

    But he is right, as true Natural Language DOES have the pointed out ambiquity.


    The entire body of human knowledge that can be expressed in language
    is an axiomatic system beginning with a finite list of basic facts.
    From this list the rest of general knowledge that can be expressed
    in language is derived through semantic logical entailment.


    Try to do it.

    The problem is you are STARTING with the imprecision of Natual
    Language, and are stuck with it.

    The solution is simple: create a new language and don't use any other.
    Define every word and don't use any word before you have defined it.
    State basic facts after you have defined all words to state them but
    before you infer anything about them. Likwise, state the rules of
    inference only after you have defined the words needed to state them
    but before using them in any inference.

    Yes that seems to be exactly what I have been proposing
    for years.

    But not started to do, even at a proof-of-concept level.

    The "new" language is Rudolf Carnap Meaning
    Postulates / Montague Grammar extended to cover all
    natural language semantics.

    Try to express those without using any other language.

    This is organized into a knowledge ontology type hierarchy. https://en.wikipedia.org/wiki/Ontology_(information_science)
    The Cyc project uses GUIDs instead of finite strings to label
    unique sense meanings.

    A GOID can be expressed with a finte (and fairly short) string.

    --
    Mikko

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)