Theme: Decidability

  • RT @ContraFabianist: Human rights elevate the individual as the primary unit of

    RT @ContraFabianist: Human rights elevate the individual as the primary unit of moral decidability. By elevating the individual, the human…


    Source date (UTC): 2023-08-31 07:52:17 UTC

    Original post: https://twitter.com/i/web/status/1697155331162567013

  • No. What is the difference between mathematical reducibility (formulae) and comp

    No. What is the difference between mathematical reducibility (formulae) and computational reducibility (algorithms)?


    Source date (UTC): 2023-08-30 21:09:09 UTC

    Original post: https://twitter.com/i/web/status/1696993482609414553

    Reply addressees: @Ket_Math_Dad @EricMorganCoach @Viorp2 @WerrellBradley @AntonyArakkal1 @Sargon_of_Akkad

    Replying to: https://twitter.com/i/web/status/1696991068666098019

  • The Decidability of Testimony

    The Decidability of Testimony https://t.co/upIuzWSfJk


    Source date (UTC): 2023-08-30 06:04:17 UTC

    Original post: https://twitter.com/i/web/status/1696765764278096083

  • There are questions that are decidable and questions that are open to discussion

    There are questions that are decidable and questions that are open to discussion. The problem with doomesticating women into politics is no different from the problem with domesticating men into politics – the only confounding factor is that women are verbally and socially seditious and destructive in their evasion of responsibility while men just compete for the rewards of responsibility. So we have to learn to prohibit women’s antisocial behavior (that they wrongly consider prosocial) just as we have prohibited male behavior.

    In large part my work (our work) tries to accomplish this goal, and I think succeeds.

    Reply addressees: @cavaller_humil


    Source date (UTC): 2023-08-20 17:16:20 UTC

    Original post: https://twitter.com/i/web/status/1693311013490212864

    Replying to: https://twitter.com/i/web/status/1693287004581085327

  • AI FOR LAW: THE PROBLEM OF DUMBNESS IN LLMs Present LLM’s are worse than terribl

    AI FOR LAW: THE PROBLEM OF DUMBNESS IN LLMs
    Present LLM’s are worse than terrible at ordinary language logic. Questionably tepid at even simple mathematical logic. Even though they can be acceptable at programmatic logic.

    LLMs rely for their incompetence at (ignorance of) logic on the patterns embedded in ordinary language and programmatic language, using statistical derivations obtained by brute force consuming of online text – and appear to need to rely on third party APIs for mathematical logic.

    Our work in the formal operational logic of decidability and in particular legal decidability, may require we compose our work and our work in the law in particular law in programmatic form, which by its structure contains the logic, *IF* the models cannot learn to develop the logic on their own.

    Now, the grammar of our work is a bridge between formal written language and programmatic language, with the constraint from mathematical logic on equilibration (equals signs).

    We assume we can produce enough of our text to train the models such that they depend less on models and more on summarization. But I feel this is optimistic given the very structure of the algorithms that produce LLM’s – which are, for all intents and purposes, content-summarizing search engines.

    So until we see another level of emergence from LLMs, demonstrating the ability to perform logic, by converting ordinary and formal language into the equivalent of programmatic logic, then I assume we will have to both maintain our current use of operational vocabulary and grammar in formal language, and reduce such work to programmatic language. Even then it may require an external API, or an extraordinary amount of training to produce that logical capacity.

    I haven’t spent enough time on Wolfram’s software to determine if we might produce it there. But I can see the potential of an LLM converting text to code, running the code and returning the result to itself for presentation to the user.


    Source date (UTC): 2023-08-20 15:00:27 UTC

    Original post: https://twitter.com/i/web/status/1693276818319491072

  • test = a set of criteria producing the rules by which a decision can be rendered

    test = a set of criteria producing the rules by which a decision can be rendered.


    Source date (UTC): 2023-08-15 21:02:48 UTC

    Original post: https://twitter.com/i/web/status/1691556065542828392

    Reply addressees: @bierlingm @LukeWeinhagen

    Replying to: https://twitter.com/i/web/status/1691551289258225901

  • (typo. tip: “Tenets”: one of the main principles or beliefs of a religion or phi

    (typo. tip: “Tenets”: one of the main principles or beliefs of a religion or philosophy: a principle criteria of decidability upon which judgments are made.)


    Source date (UTC): 2023-08-14 21:07:21 UTC

    Original post: https://twitter.com/i/web/status/1691194825737973760

    Reply addressees: @babsszemerei

    Replying to: https://twitter.com/i/web/status/1691115328032714752

  • Ask them to make any seemingly controversial philosophical statement without the

    Ask them to make any seemingly controversial philosophical statement without the use of the verb to be, and with the requirement of complete sentences, and ‘satisfaction of continuous recursive disambiguation’.
    Then ask them if words mean something, or if people mean to communicate something with words, which serve as loose measurements open to ambiguity.
    πŸ˜‰


    Source date (UTC): 2023-08-10 18:53:26 UTC

    Original post: https://twitter.com/i/web/status/1689711573068091394

  • “Q: Curt: What’s your definition of Philosophy?”– I use, and we at NLI use, the

    –“Q: Curt: What’s your definition of Philosophy?”–

    I use, and we at NLI use, the methodology of “Disambiguation by enumeration, serialization, and operationalization into a system of measurement”.

    The series of wisdom literatures consists of:
    Mythology(Suggestion, myths, anthropomorphism, counting) >
    … Religion(Command, parables, rules, arithmetic) >
    … … Philosophy(Justification, literature, sets, reason, geometry) >
    … … … Empiricism (Falsification, history, rationalism algebra)>
    … … … … Science (Testimony, logic, instrumentation, calculus)>
    … … … … … Operational Logic (Demonstration, first principles, computation, adversarial simulation)

    Disambiguation by Limits
    Therefore, via disambiguation, a wisdom literature is defined by its limits, and its limits by what it is not.

    Sequence
    This disambiguation (evolutionary series) describes the arc of anthropomorphic and anthropocentric to the opposite, in which man is merely another product of evolutionary computation of continuous recursive disambiguation of disorder into by the simple laws of the universe.

    The Cause of the Sequence
    The evolution of wisdom literatures consists of the gradual replacement of ignorance, anthropocentrism and storytelling with knowledge, materialism(the irrelevance of man), and measurement.

    Philosophy’s Position In the Sequence
    Philosophy, or what is most often termed ‘fantasy moral literature’ in the imitators of Plato, is a bridge between religion and rationalism. And Epicurus and Aristotle the bridge between socratic philosophy and empiricism (natural philosophy).

    Religion and Philosophy also imply the search for the good. Empiricism, Science, and Operationalism imply the search for truth with which we may then consider the good.

    At the present time, as far as I know, we have completed the disambiguation of philosophy and science such that the domain of truth is produced by science and operationalism, but that the choice of good is determined by philosophy and history, and theology is but a test of the durability of a claim of the good over centuries.

    The Unambiguous Definition of Philosophy
    The unambiguous definition of philosophy is the production the reduction of ignorance, error, presumption, and bias, through a systematic method, consisting of critical skepticism (testing), disambiguation, and decomposition (analysis), necessary to study, (falsify), causes and consequences of the fundamental questions, concepts, and principles of everyday life and of nature, encouraging us to investigate what we are ignorant of or err upon, resulting in the pursuit of improving human individual and group understanding, valuation, and choice, and justifying that knowledge to others, so that it might spread for personal and collective advantage.

    Differences
    Philosophy differs from Religion in that it seeks to advance the human condition through increasing knowledge, agency, and ability, while theology seeks to produce consistent behavior regardless of knowledge, agency, and ability. This is why religious communities advance more slowly than philosophical, and philosophical more slowly than scientific.
    But it’s also why theology, then philosophy, then empiricism, then science, then operationalism place increasingly costly burdens on the individual’s ability to obtain and make use of increasingly complex knowledge, that is increasingly difficult to comprehend.
    Ergo we not only require theology, philosophy, science, and operationalism for increases in precision, but for teaching incrementally, and for graceful failure by those lacking ability to learn increasingly abstract complexities.

    Cheers
    Curt Doolittle
    The Natural Law Institute
    The Science of Cooperation

    Reply addressees: @univcompass


    Source date (UTC): 2023-08-10 16:14:15 UTC

    Original post: https://twitter.com/i/web/status/1689671510946881536

    Replying to: https://twitter.com/i/web/status/1689649092463669248

  • Good question. No. It means you cant write a proof of internal consistency of ev

    Good question. No. It means you cant write a proof of internal consistency of everything. It means there is no closure except consistency and correspondence with reality. Which is similar to saying mathematical reducibility is limited. In other words there is no limit to mathematical expression without scale dependence caused by application to a correspondence with reality. Which means the same thing I’m saying. πŸ˜‰

    It it wasn’t 2am I’d explain further because the subject is fascinating. πŸ˜‰ Its why I did all that exhaustive work on the grammars.

    Reply addressees: @jskayfshd


    Source date (UTC): 2023-08-09 06:23:16 UTC

    Original post: https://twitter.com/i/web/status/1689160398350471168

    Replying to: https://twitter.com/i/web/status/1689070242902024199