• The essence of all of my work in less than a paragraph

    From olcott@[email protected] to sci.logic,comp.theory,comp.ai.philosophy,sci.math,sci.math.symbolic on Tue Oct 6 21:04:44 2026
    From Newsgroup: comp.ai.philosophy

    On 10/6/2026 6:23 PM, Ross Finlayson wrote:
    On 10/06/2026 12:44 PM, olcott wrote:
    On 10/6/2026 2:04 PM, Ross Finlayson wrote:
    On 10/06/2026 11:49 AM, olcott wrote:
    On 10/6/2026 1:00 PM, Ross Finlayson wrote:
    On 10/06/2026 09:50 AM, olcott wrote:
    On 10/6/2026 11:35 AM, Ross Finlayson wrote:
    On 10/06/2026 06:09 AM, olcott wrote:
    On 10/6/2026 7:50 AM, Blaine wrote:
    olcott wrote:

    When we assume that the Liar Paradox is not incoherent
    then his proof succeeds. Likewise when we assume that
    "cats are dogs" then "cats bark" is entailed.

    Not certain if you realized it but this is a math group. Let's >>>>>>>>> dispense with talking about barking cats & talk about math.

    Isomophisms are analogies.


    No they're accounts of "relations".


    Yet another retro-finitist crankety troll sock-puppet
    with a howler-troll fallacy blowing in the wind.


    Many of the easily-fooled and readily-satisfied variety
    have such sorts of premature reductionisms that seem to
    offer ready avenues that are facile es descencis.


    Structure in model theory vis-a-vis accounts in language
    of the loose sort like the analogy vis-a-vis "language
    geometry" make for that dictionaries may have more than
    one entry while they are yet the same word.


    Get bent, bot.



    Tarski is also a sort of retro-finitist reductionist.

    Do you ever have any substantial original thought that
    does not conform to some conventional textbook view?


    I'm a canonical dogmatic doctrinal researcher in
    a paleo-classical post-modern account with a thorough
    account of reason and super-classical reasoning,
    not an ingrate.


    It's hard to say what would be "original" thought, though,
    for example, I introduce something like an "original" as
    an "originary" analysis for mathematics like "the identity dimension". >>>>>
    Attaining to "Truth" is a usual account of seeking wisdom,
    then that accounts of "Foundations" have very, very strong
    requirements for their satisfaction of being thorough.


    So bottom line you very carefully with exacting precision
    memorize the work of others. You never ever consider the
    possibility that there might be a fundamentally different
    approach?

    This is (first of all) a yes or no question.


    So, the "paleo-classical post-modern" as "super-classical
    super-modern" makes for that historicity, metaphysics,
    and monism are present.



    Anybody has their own philosophy and psychology.




    No, your reading comprehension is deficient.

    You did fail to elaborate the details of your unique
    alternatives to the textbook views of foundations.

    If you can't explain it in simple words that proves
    that you do not sufficiently understand it yourself.



    https://www.youtube.com/@rossfinlayson

    How about 200+ hours of unscripted lectures?

    "Axiomless Principled Thea-theory"

    I don't even need a whole paragraph to sum up
    the essence of my work.

    The entire body of general knowledge expressed
    in language can be fully encoded as two types
    of relations between finite strings:
    (a) Stipulated relations
    (b) Semantic entailment specified syntactically.

    It did take me 28 years to distill it as that essence.
    --
    Copyright 2026 Olcott

    The essence of computation is applying finite
    string transformations to finite string inputs
    to derive outputs. // paraphrase of Emil Post

    My 28 year goal has been to make
    "true on the basis of meaning expressed in language"
    reliably computable for the entire body of general 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@[email protected] to sci.logic,comp.theory,comp.ai.philosophy,sci.math,sci.math.symbolic on Wed Oct 7 09:53:08 2026
    From Newsgroup: comp.ai.philosophy

    On 10/06/2026 07:04 PM, olcott wrote:
    On 10/6/2026 6:23 PM, Ross Finlayson wrote:
    On 10/06/2026 12:44 PM, olcott wrote:
    On 10/6/2026 2:04 PM, Ross Finlayson wrote:
    On 10/06/2026 11:49 AM, olcott wrote:
    On 10/6/2026 1:00 PM, Ross Finlayson wrote:
    On 10/06/2026 09:50 AM, olcott wrote:
    On 10/6/2026 11:35 AM, Ross Finlayson wrote:
    On 10/06/2026 06:09 AM, olcott wrote:
    On 10/6/2026 7:50 AM, Blaine wrote:
    olcott wrote:

    When we assume that the Liar Paradox is not incoherent
    then his proof succeeds. Likewise when we assume that
    "cats are dogs" then "cats bark" is entailed.

    Not certain if you realized it but this is a math group. Let's >>>>>>>>>> dispense with talking about barking cats & talk about math. >>>>>>>>>
    Isomophisms are analogies.


    No they're accounts of "relations".


    Yet another retro-finitist crankety troll sock-puppet
    with a howler-troll fallacy blowing in the wind.


    Many of the easily-fooled and readily-satisfied variety
    have such sorts of premature reductionisms that seem to
    offer ready avenues that are facile es descencis.


    Structure in model theory vis-a-vis accounts in language
    of the loose sort like the analogy vis-a-vis "language
    geometry" make for that dictionaries may have more than
    one entry while they are yet the same word.


    Get bent, bot.



    Tarski is also a sort of retro-finitist reductionist.

    Do you ever have any substantial original thought that
    does not conform to some conventional textbook view?


    I'm a canonical dogmatic doctrinal researcher in
    a paleo-classical post-modern account with a thorough
    account of reason and super-classical reasoning,
    not an ingrate.


    It's hard to say what would be "original" thought, though,
    for example, I introduce something like an "original" as
    an "originary" analysis for mathematics like "the identity
    dimension".

    Attaining to "Truth" is a usual account of seeking wisdom,
    then that accounts of "Foundations" have very, very strong
    requirements for their satisfaction of being thorough.


    So bottom line you very carefully with exacting precision
    memorize the work of others. You never ever consider the
    possibility that there might be a fundamentally different
    approach?

    This is (first of all) a yes or no question.


    So, the "paleo-classical post-modern" as "super-classical
    super-modern" makes for that historicity, metaphysics,
    and monism are present.



    Anybody has their own philosophy and psychology.




    No, your reading comprehension is deficient.

    You did fail to elaborate the details of your unique
    alternatives to the textbook views of foundations.

    If you can't explain it in simple words that proves
    that you do not sufficiently understand it yourself.



    https://www.youtube.com/@rossfinlayson

    How about 200+ hours of unscripted lectures?

    "Axiomless Principled Thea-theory"

    I don't even need a whole paragraph to sum up
    the essence of my work.

    The entire body of general knowledge expressed
    in language can be fully encoded as two types
    of relations between finite strings:
    (a) Stipulated relations
    (b) Semantic entailment specified syntactically.

    It did take me 28 years to distill it as that essence.


    That's just a closed finite-state machine,
    with underdefined "stipulation" and underdefined
    "semantics" and underdefined "syntax".

    Shut Up

    It's a rather curtailed view of "entire body"
    and also "general knowledge".


    --- Synchronet 3.22a-Linux NewsLink 1.2