• Re: this sentence is true?

    From olcott@polcott333@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Wed Jun 10 11:27:45 2026
    From Newsgroup: comp.ai.philosophy

    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse
    and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy",
    that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails,
    so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up,
    and had again that a "true" eternal basic text was real, and true,
    though by then most accounts of Nietzsche in the Nietzsche-Register
    are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.
    --
    Copyright 2026 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning expressed in language"
    reliably computable for the entire body of knowledge.
    The complete structure of this system is now defined.

    The entire body of knowledge expressed in language is
    comprised of two types of relations between finite strings:
    (a) *Axioms* Expressions of language that are stipulated to be true.

    My system bridges the analytic/synthetic distinction by
    expressly encoding all empirical "atomic facts" in a formal
    language such as CycL of the Cyc project.

    (b) *Inference Rules* Expressions of language that are semantically
    entailed syntactically from (a) and/or (b).
    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From Ross Finlayson@ross.a.finlayson@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Wed Jun 10 10:02:53 2026
    From Newsgroup: comp.ai.philosophy

    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse
    and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy",
    that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails,
    so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up,
    and had again that a "true" eternal basic text was real, and true,
    though by then most accounts of Nietzsche in the Nietzsche-Register
    are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.




    Everybody had heard the song "Epic", with its iconic
    motif "What: is it?", then with regards to something
    like Mini Maggit, or Passenger, about Distintegration
    or Fascination Street vis-a-vis Icing Sugar and Like
    Cockatoos, or for Falling to Pieces or Love Hate Love.


    That's "a" body of knowledge, not "the" body of knowledge.


    Quit repeating yourself, it's irritating.


    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From Ross Finlayson@ross.a.finlayson@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Wed Jun 10 10:10:31 2026
    From Newsgroup: comp.ai.philosophy

    On 06/10/2026 10:02 AM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse
    and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy",
    that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails,
    so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up,
    and had again that a "true" eternal basic text was real, and true,
    though by then most accounts of Nietzsche in the Nietzsche-Register
    are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.




    Everybody had heard the song "Epic", with its iconic
    motif "What: is it?", then with regards to something
    like Mini Maggit, or Passenger, about Distintegration
    or Fascination Street vis-a-vis Icing Sugar and Like
    Cockatoos, or for Falling to Pieces or Love Hate Love.


    That's "a" body of knowledge, not "the" body of knowledge.


    Quit repeating yourself, it's irritating.



    That's just a positivism about
    terms that don't belong to it,
    here there's a "holistic dual monism".


    Applying one's own deconstructive account to one-self,
    the "modal temporal relevance logic" of all the things
    has infinity and continuity as primary, and so very _real_.


    That's for a matter of mathematical and philosophical
    maturity (and after a course of reason, defines _sanity_).

    Paradox-free reason has all the paradoxes in it as examples.


    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Wed Jun 10 12:30:01 2026
    From Newsgroup: comp.ai.philosophy

    On 6/10/2026 12:02 PM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse
    and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy",
    that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails,
    so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up,
    and had again that a "true" eternal basic text was real, and true,
    though by then most accounts of Nietzsche in the Nietzsche-Register
    are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.



    No one bothers to notice that a valid counter-example
    cannot possibly exist.

    How the Hell else do otherwise meaningless finite strings
    acquire meaning?
    --
    Copyright 2026 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning expressed in language"
    reliably computable for the entire body of knowledge.
    The complete structure of this system is now defined.

    The entire body of knowledge expressed in language is
    comprised of two types of relations between finite strings:
    (a) *Axioms* Expressions of language that are stipulated to be true.

    My system bridges the analytic/synthetic distinction by
    expressly encoding all empirical "atomic facts" in a formal
    language such as CycL of the Cyc project.

    (b) *Inference Rules* Expressions of language that are semantically
    entailed syntactically from (a) and/or (b).
    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From Ross Finlayson@ross.a.finlayson@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Wed Jun 10 11:02:24 2026
    From Newsgroup: comp.ai.philosophy

    On 06/10/2026 10:30 AM, olcott wrote:
    On 6/10/2026 12:02 PM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse
    and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy",
    that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails,
    so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up,
    and had again that a "true" eternal basic text was real, and true,
    though by then most accounts of Nietzsche in the Nietzsche-Register
    are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.



    No one bothers to notice that a valid counter-example
    cannot possibly exist.

    How the Hell else do otherwise meaningless finite strings
    acquire meaning?



    Well, you see, there are differences.

    Obviously two distinct objects at all makes a counter-example
    to there not being two distinct objects at all.

    It's the classical dialectic since Parmenides, dual monism
    after Heraclitus and a holistic dual monism and dialectic,
    that it's the very point of difference at all that two objects
    have their own theories and together make one theory of two
    theories, then naturally all the reasoning about factuals
    and counter-factuals arises since platonistically it already
    exists.

    It's a sad case being so sure about what guarantees itself
    un-sure, then it's worse to be wrong about it, then whether
    it's more pathetic to be a liar or ignorant, has usually
    that it's worse to be a liar than ignorant.

    Since then one could get blamed for malevolence instead of stupidity.


    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From Ross Finlayson@ross.a.finlayson@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Wed Jun 10 11:07:45 2026
    From Newsgroup: comp.ai.philosophy

    On 06/10/2026 11:02 AM, Ross Finlayson wrote:
    On 06/10/2026 10:30 AM, olcott wrote:
    On 6/10/2026 12:02 PM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse
    and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy",
    that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails,
    so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up,
    and had again that a "true" eternal basic text was real, and true,
    though by then most accounts of Nietzsche in the Nietzsche-Register
    are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.



    No one bothers to notice that a valid counter-example
    cannot possibly exist.

    How the Hell else do otherwise meaningless finite strings
    acquire meaning?



    Well, you see, there are differences.

    Obviously two distinct objects at all makes a counter-example
    to there not being two distinct objects at all.

    It's the classical dialectic since Parmenides, dual monism
    after Heraclitus and a holistic dual monism and dialectic,
    that it's the very point of difference at all that two objects
    have their own theories and together make one theory of two
    theories, then naturally all the reasoning about factuals
    and counter-factuals arises since platonistically it already
    exists.

    It's a sad case being so sure about what guarantees itself
    un-sure, then it's worse to be wrong about it, then whether
    it's more pathetic to be a liar or ignorant, has usually
    that it's worse to be a liar than ignorant.

    Since then one could get blamed for malevolence instead of stupidity.



    "The Logos" is a usual account, involving reason, rationality,
    logic, discourse, language, and so on.


    The post-modern criticism has a very welcome account of always
    being able to offer a deconstructivist account of views, then
    though that applying its own critique to itself, then demands
    that all the paradoxes get made examples of themselves in an
    overall theory that must acknowledge and resolve all the paradoxes
    to result paradox-free reason itself, then for bringing back together
    the idealistic and analytical traditions and for the teleology and
    the ontology and for strong mathematical platonism and strong logicist positivism, and knowledge wisdom science intelligence, about the paleo-classical post-modernism that belongs to structural realism.

    What you got there is a merely-partial half-account,
    along with a howler fallacy of living in a box, or "Burse's box",
    who is a troll.


    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Wed Jun 10 13:34:34 2026
    From Newsgroup: comp.ai.philosophy

    On 6/10/2026 1:02 PM, Ross Finlayson wrote:
    On 06/10/2026 10:30 AM, olcott wrote:
    On 6/10/2026 12:02 PM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse
    and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy",
    that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails,
    so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up,
    and had again that a "true" eternal basic text was real, and true,
    though by then most accounts of Nietzsche in the Nietzsche-Register
    are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.



    No one bothers to notice that a valid counter-example
    cannot possibly exist.

    How the Hell else do otherwise meaningless finite strings
    acquire meaning?



    Well, you see, there are differences.

    Obviously two distinct objects at all makes a counter-example
    to there not being two distinct objects at all.

    It's the classical dialectic since Parmenides, dual monism
    after Heraclitus and a holistic dual monism and dialectic,
    that it's the very point of difference at all that two objects
    have their own theories and together make one theory of two
    theories, then naturally all the reasoning about factuals
    and counter-factuals arises since platonistically it already
    exists.


    Exactly how do we say: "cats are animals"
    without any stipulated relationship between those
    (or equivalent) finite strings?
    --
    Copyright 2026 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning expressed in language"
    reliably computable for the entire body of knowledge.
    The complete structure of this system is now defined.

    The entire body of knowledge expressed in language is
    comprised of two types of relations between finite strings:
    (a) *Axioms* Expressions of language that are stipulated to be true.

    My system bridges the analytic/synthetic distinction by
    expressly encoding all empirical "atomic facts" in a formal
    language such as CycL of the Cyc project.

    (b) *Inference Rules* Expressions of language that are semantically
    entailed syntactically from (a) and/or (b).
    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From Chris M. Thomasson@chris.m.thomasson.1@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Wed Jun 10 12:19:40 2026
    From Newsgroup: comp.ai.philosophy

    On 6/10/2026 10:02 AM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    [...]
    Quit repeating yourself, it's irritating.



    Remember... you are talking to somebody who thinks they are God.


    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From Ross Finlayson@ross.a.finlayson@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Fri Jun 12 09:27:22 2026
    From Newsgroup: comp.ai.philosophy

    On 06/10/2026 11:34 AM, olcott wrote:
    On 6/10/2026 1:02 PM, Ross Finlayson wrote:
    On 06/10/2026 10:30 AM, olcott wrote:
    On 6/10/2026 12:02 PM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse
    and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy",
    that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails,
    so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up,
    and had again that a "true" eternal basic text was real, and true, >>>>>> though by then most accounts of Nietzsche in the Nietzsche-Register >>>>>> are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.



    No one bothers to notice that a valid counter-example
    cannot possibly exist.

    How the Hell else do otherwise meaningless finite strings
    acquire meaning?



    Well, you see, there are differences.

    Obviously two distinct objects at all makes a counter-example
    to there not being two distinct objects at all.

    It's the classical dialectic since Parmenides, dual monism
    after Heraclitus and a holistic dual monism and dialectic,
    that it's the very point of difference at all that two objects
    have their own theories and together make one theory of two
    theories, then naturally all the reasoning about factuals
    and counter-factuals arises since platonistically it already
    exists.


    Exactly how do we say: "cats are animals"
    without any stipulated relationship between those
    (or equivalent) finite strings?


    "Types" usually, accounts of relation.

    Cladistics, phylogeny, morphology, ..., types.

    Metaphor and simile often enough.

    Relations, generally.

    https://en.wikipedia.org/wiki/Cladistics

    "Cladistics is now the most commonly used method to classify organisms."

    https://en.wikipedia.org/wiki/Cladistics#In_disciplines_other_than_biology

    https://en.wikipedia.org/wiki/Type_theory


    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Fri Jun 12 11:44:54 2026
    From Newsgroup: comp.ai.philosophy

    On 6/12/2026 11:27 AM, Ross Finlayson wrote:
    On 06/10/2026 11:34 AM, olcott wrote:
    On 6/10/2026 1:02 PM, Ross Finlayson wrote:
    On 06/10/2026 10:30 AM, olcott wrote:
    On 6/10/2026 12:02 PM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse
    and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy",
    that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails, >>>>>>> so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up, >>>>>>> and had again that a "true" eternal basic text was real, and true, >>>>>>> though by then most accounts of Nietzsche in the Nietzsche-Register >>>>>>> are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.



    No one bothers to notice that a valid counter-example
    cannot possibly exist.

    How the Hell else do otherwise meaningless finite strings
    acquire meaning?



    Well, you see, there are differences.

    Obviously two distinct objects at all makes a counter-example
    to there not being two distinct objects at all.

    It's the classical dialectic since Parmenides, dual monism
    after Heraclitus and a holistic dual monism and dialectic,
    that it's the very point of difference at all that two objects
    have their own theories and together make one theory of two
    theories, then naturally all the reasoning about factuals
    and counter-factuals arises since platonistically it already
    exists.


    Exactly how do we say: "cats are animals"
    without any stipulated relationship between those
    (or equivalent) finite strings?


    "Types" usually, accounts of relation.


    098b5d25-9aa2-45be-a279-f9d440cccf4f "cats" bef95c07-48b6-4067-99dd-dfe7c5f76aef "are a type of" ac7253bc-6686-4b42-b634-7ca55b3aef03 "animals"

    Now where do get get the rest of the specific concrete meaning of 098b5d25-9aa2-45be-a279-f9d440cccf4f "cats" ?

    Cladistics, phylogeny, morphology, ..., types.

    Metaphor and simile often enough.

    Relations, generally.

    https://en.wikipedia.org/wiki/Cladistics

    "Cladistics is now the most commonly used method to classify organisms."

    https://en.wikipedia.org/wiki/Cladistics#In_disciplines_other_than_biology

    https://en.wikipedia.org/wiki/Type_theory


    --
    Copyright 2026 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning expressed in language"
    reliably computable for the entire body of knowledge.
    The complete structure of this system is now defined.

    The entire body of knowledge expressed in language is
    comprised of two types of relations between finite strings:
    (a) *Axioms* Expressions of language that are stipulated to be true.

    My system bridges the analytic/synthetic distinction by
    expressly encoding all empirical "atomic facts" in a formal
    language such as CycL of the Cyc project.

    (b) *Inference Rules* Expressions of language that are semantically
    entailed syntactically from (a) and/or (b).
    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From Ross Finlayson@ross.a.finlayson@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Fri Jun 12 12:27:47 2026
    From Newsgroup: comp.ai.philosophy

    On 06/12/2026 09:44 AM, olcott wrote:
    On 6/12/2026 11:27 AM, Ross Finlayson wrote:
    On 06/10/2026 11:34 AM, olcott wrote:
    On 6/10/2026 1:02 PM, Ross Finlayson wrote:
    On 06/10/2026 10:30 AM, olcott wrote:
    On 6/10/2026 12:02 PM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse >>>>>>>>>> and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy", >>>>>>>> that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails, >>>>>>>> so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up, >>>>>>>> and had again that a "true" eternal basic text was real, and true, >>>>>>>> though by then most accounts of Nietzsche in the Nietzsche-Register >>>>>>>> are neo-Nietzschean and fail to make for Nietzsche's greater
    philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.



    No one bothers to notice that a valid counter-example
    cannot possibly exist.

    How the Hell else do otherwise meaningless finite strings
    acquire meaning?



    Well, you see, there are differences.

    Obviously two distinct objects at all makes a counter-example
    to there not being two distinct objects at all.

    It's the classical dialectic since Parmenides, dual monism
    after Heraclitus and a holistic dual monism and dialectic,
    that it's the very point of difference at all that two objects
    have their own theories and together make one theory of two
    theories, then naturally all the reasoning about factuals
    and counter-factuals arises since platonistically it already
    exists.


    Exactly how do we say: "cats are animals"
    without any stipulated relationship between those
    (or equivalent) finite strings?


    "Types" usually, accounts of relation.


    098b5d25-9aa2-45be-a279-f9d440cccf4f "cats" bef95c07-48b6-4067-99dd-dfe7c5f76aef "are a type of" ac7253bc-6686-4b42-b634-7ca55b3aef03 "animals"

    Now where do get get the rest of the specific concrete meaning of 098b5d25-9aa2-45be-a279-f9d440cccf4f "cats" ?

    Cladistics, phylogeny, morphology, ..., types.

    Metaphor and simile often enough.

    Relations, generally.

    https://en.wikipedia.org/wiki/Cladistics

    "Cladistics is now the most commonly used method to classify organisms."

    https://en.wikipedia.org/wiki/Cladistics#In_disciplines_other_than_biology >>

    https://en.wikipedia.org/wiki/Type_theory





    Don't you even have a grammar for language? Always?

    Grammar and etymology? Those are words first, then words for things.

    "Vector machines" aren't thinking, they're programs.

    Obviously, modern accounts of mechanical reasoning are _reasoning_
    agents, not "cats, following the red dot".

    Then, while you're at it, define "oats".

    (This is that robots are cats and thinkers are oats.)


    That relations among objects are relations, as are theirs,
    ad infinitum, shows that the language of objects is infinite.


    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From olcott@polcott333@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Fri Jun 12 14:35:43 2026
    From Newsgroup: comp.ai.philosophy

    On 6/12/2026 2:27 PM, Ross Finlayson wrote:
    On 06/12/2026 09:44 AM, olcott wrote:
    On 6/12/2026 11:27 AM, Ross Finlayson wrote:
    On 06/10/2026 11:34 AM, olcott wrote:
    On 6/10/2026 1:02 PM, Ross Finlayson wrote:
    On 06/10/2026 10:30 AM, olcott wrote:
    On 6/10/2026 12:02 PM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse >>>>>>>>>>> and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy", >>>>>>>>> that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails, >>>>>>>>> so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up, >>>>>>>>> and had again that a "true" eternal basic text was real, and true, >>>>>>>>> though by then most accounts of Nietzsche in the Nietzsche- >>>>>>>>> Register
    are neo-Nietzschean and fail to make for Nietzsche's greater >>>>>>>>> philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.



    No one bothers to notice that a valid counter-example
    cannot possibly exist.

    How the Hell else do otherwise meaningless finite strings
    acquire meaning?



    Well, you see, there are differences.

    Obviously two distinct objects at all makes a counter-example
    to there not being two distinct objects at all.

    It's the classical dialectic since Parmenides, dual monism
    after Heraclitus and a holistic dual monism and dialectic,
    that it's the very point of difference at all that two objects
    have their own theories and together make one theory of two
    theories, then naturally all the reasoning about factuals
    and counter-factuals arises since platonistically it already
    exists.


    Exactly how do we say: "cats are animals"
    without any stipulated relationship between those
    (or equivalent) finite strings?


    "Types" usually, accounts of relation.


    098b5d25-9aa2-45be-a279-f9d440cccf4f "cats"
    bef95c07-48b6-4067-99dd-dfe7c5f76aef "are a type of"
    ac7253bc-6686-4b42-b634-7ca55b3aef03 "animals"

    Now where do get get the rest of the specific concrete meaning of
    098b5d25-9aa2-45be-a279-f9d440cccf4f "cats" ?

    Cladistics, phylogeny, morphology, ..., types.

    Metaphor and simile often enough.

    Relations, generally.

    https://en.wikipedia.org/wiki/Cladistics

    "Cladistics is now the most commonly used method to classify organisms." >>>
    https://en.wikipedia.org/wiki/
    Cladistics#In_disciplines_other_than_biology


    https://en.wikipedia.org/wiki/Type_theory





    Don't you even have a grammar for language? Always?

    Grammar and etymology? Those are words first, then words for things.


    CycL in computer science and artificial intelligence,
    is an ontology language used by Douglas Lenat's Cyc
    artificial intelligence project.

    https://en.wikipedia.org/wiki/CycL
    CycL of the Cyc Project is the grammar and Cyc itself as
    the type hierarchy.

    Cyc uses GUIDs for unique sense meanings of words.

    "Vector machines" aren't thinking, they're programs.

    Obviously, modern accounts of mechanical reasoning are _reasoning_
    agents, not "cats, following the red dot".

    Then, while you're at it, define "oats".

    (This is that robots are cats and thinkers are oats.)


    That relations among objects are relations, as are theirs,
    ad infinitum, shows that the language of objects is infinite.


    --
    Copyright 2026 Olcott

    My 28 year goal has been to make
    "true on the basis of meaning expressed in language"
    reliably computable for the entire body of knowledge.
    The complete structure of this system is now defined.

    The entire body of knowledge expressed in language is
    comprised of two types of relations between finite strings:
    (a) *Axioms* Expressions of language that are stipulated to be true.

    My system bridges the analytic/synthetic distinction by
    expressly encoding all empirical "atomic facts" in a formal
    language such as CycL of the Cyc project.

    (b) *Inference Rules* Expressions of language that are semantically
    entailed syntactically from (a) and/or (b).
    --- Synchronet 3.22a-Linux NewsLink 1.2
  • From Ross Finlayson@ross.a.finlayson@gmail.com to comp.theory,sci.logic,comp.ai.philosophy,sci.math.symbolic on Sun Jun 14 09:25:00 2026
    From Newsgroup: comp.ai.philosophy

    On 06/12/2026 12:27 PM, Ross Finlayson wrote:
    On 06/12/2026 09:44 AM, olcott wrote:
    On 6/12/2026 11:27 AM, Ross Finlayson wrote:
    On 06/10/2026 11:34 AM, olcott wrote:
    On 6/10/2026 1:02 PM, Ross Finlayson wrote:
    On 06/10/2026 10:30 AM, olcott wrote:
    On 6/10/2026 12:02 PM, Ross Finlayson wrote:
    On 06/10/2026 09:27 AM, olcott wrote:
    On 6/10/2026 11:15 AM, Ross Finlayson wrote:
    On 06/10/2026 08:33 AM, olcott wrote:
    On 6/10/2026 10:08 AM, Ross Finlayson wrote:
    Then an idea is that that's the entire domain of discourse >>>>>>>>>>> and it's one complete sentence
    and it is what defines "true"
    and it's called a "Comenius language",

    Panglottia is an idea similar to mine.
    Connecting together elements of the body of knowledge
    such that every expression of language is necessarily
    true. There is no such thing as false knowledge.

    The Truth Teller lacks such a connection.


    A "Comenius language" is an ideal, then there's
    that a "Coleridge language" is the poesie.

    So, it's figured that there's an ideal and perfect "Metonymy", >>>>>>>>> that is a real structure of all language,
    and a practical and potential "Metaphor", which eventually fails, >>>>>>>>> so that Comenius & Coleridge for Metonymy & Metaphor,
    are first-class sorts concepts in the dialectic.


    So, the usual account of an "ontology" is that it's subject
    to incompleteness, and also as about the inter-subjectivity
    of the relay-able of the relate-able, while yet that the
    objects of mathematics and logic have their own first-class
    existence, so that "strong mathematical platonism" and
    "weak logicist positivism" get put together to make
    "strengthened logicist postivism".


    One must always apply one's own deconstructive accounts
    to one-self. Otherwise that's just hypcrisy again.


    Nietzsche's "eternal basic text" has that Nietzsche
    was _insane_ and said it didn't exist, then, in Nietzsche's
    later years, sort of like Quixote, Nietzsche sobered or saned up, >>>>>>>>> and had again that a "true" eternal basic text was real, and true, >>>>>>>>> though by then most accounts of Nietzsche in the
    Nietzsche-Register
    are neo-Nietzschean and fail to make for Nietzsche's greater >>>>>>>>> philosophical maturity.


    The neo-anybody's are pretty much fake.

    "F for fake" - Faith No More (Stripsearch)

    So the body of knowledge expressed in language is entirely
    comprised of:

    (a) Expressions that are stipulated to be true
    thus assigning semantic meaning to otherwise meaningless
    finite strings and

    (b) Expressions that are semantically entailed by (a)
    and/or (b).

    Because the foundational basis for expressions of language
    is finite strings of symbols this semantic entailment must
    be specified syntactically and processed as finite string
    transformation rules.


    Nope, that's just a positivism.



    No one bothers to notice that a valid counter-example
    cannot possibly exist.

    How the Hell else do otherwise meaningless finite strings
    acquire meaning?



    Well, you see, there are differences.

    Obviously two distinct objects at all makes a counter-example
    to there not being two distinct objects at all.

    It's the classical dialectic since Parmenides, dual monism
    after Heraclitus and a holistic dual monism and dialectic,
    that it's the very point of difference at all that two objects
    have their own theories and together make one theory of two
    theories, then naturally all the reasoning about factuals
    and counter-factuals arises since platonistically it already
    exists.


    Exactly how do we say: "cats are animals"
    without any stipulated relationship between those
    (or equivalent) finite strings?


    "Types" usually, accounts of relation.


    098b5d25-9aa2-45be-a279-f9d440cccf4f "cats"
    bef95c07-48b6-4067-99dd-dfe7c5f76aef "are a type of"
    ac7253bc-6686-4b42-b634-7ca55b3aef03 "animals"

    Now where do get get the rest of the specific concrete meaning of
    098b5d25-9aa2-45be-a279-f9d440cccf4f "cats" ?

    Cladistics, phylogeny, morphology, ..., types.

    Metaphor and simile often enough.

    Relations, generally.

    https://en.wikipedia.org/wiki/Cladistics

    "Cladistics is now the most commonly used method to classify organisms." >>>
    https://en.wikipedia.org/wiki/Cladistics#In_disciplines_other_than_biology >>>


    https://en.wikipedia.org/wiki/Type_theory





    Don't you even have a grammar for language? Always?

    Grammar and etymology? Those are words first, then words for things.

    "Vector machines" aren't thinking, they're programs.

    Obviously, modern accounts of mechanical reasoning are _reasoning_
    agents, not "cats, following the red dot".

    Then, while you're at it, define "oats".

    (This is that robots are cats and thinkers are oats.)


    That relations among objects are relations, as are theirs,
    ad infinitum, shows that the language of objects is infinite.




    "Codes" or "codemes", if you've ever heard of Barthes for example,
    have it that "GUID's" or "globally unique identifiers" are rather
    opaque codes with regards to structured codes, like words are,
    with word roots, and connections to the dictionariological.

    Yeah, I guess you don't.


    --- Synchronet 3.22a-Linux NewsLink 1.2