Theme: Decidability

  • RT @curtdoolittle: @TheMelWestbrook @steve_vladeck You can, as some of us do, sp

    RT @curtdoolittle: @TheMelWestbrook @steve_vladeck You can, as some of us do, specialize in judicial decidability the history of law, and t…


    Source date (UTC): 2024-01-23 02:25:48 UTC

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

  • You can, as some of us do, specialize in judicial decidability the history of la

    You can, as some of us do, specialize in judicial decidability the history of law, and the various theories of law, and history of successes and failures of the court. The court is aware that it has assisted in the undermining of the legitimacy of the government by tolerance for sixties era lawfare. And it is attempting to reverse those errors before even the military has lost credibility (which is in progress now). If successful the left will have succeeded in the march though the instituions of cultural production and generated demand for their leninist authoriarianism. Oddly, not because they won the war of ideas, but because (a) single and childless woman vote for the state as a husband (as I have no doubt you consider it as a parent of some sort), (b) immigration. Between women and immigration the country has moved to the left. Meanwhile withiout single and childless women (most now), and immigrants, the country is solid red.

    Reply addressees: @TheMelWestbrook @steve_vladeck


    Source date (UTC): 2024-01-23 01:58:55 UTC

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

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

  • TRUTH (TESTIMONY) The Testimony We Call “Truth” The Decidability of Testimony —

    TRUTH (TESTIMONY)
    The Testimony We Call “Truth”

    The Decidability of Testimony
    —“We evolved to negotiate pragmatically not testify truthfully. The reason we need Truth is because it’s counter-intuitive – it provides decidability independent of opinion or value – and so it’s often undesirable.” —

    Deflating the word “True”.
    |Testimony| > Dishonesty(bias, deceit) > Error (ignorance, error) >
    … Meaningful (intuitionistic) > Honesty(rational) >
    … … Truthfulness(by due diligence) > Scientific (Testifiable) >
    … … … Ideal Truth (imaginary) >
    … … … … Analytic Truth (logical) >
    … … … … … Tautological Truth (linguistic).

    The etymology of the word “True” is Testimony:

    Truth (n.)
    Old English triewð (West Saxon), treowð (Mercian) “faith, faithfulness, fidelity, loyalty; veracity, quality of being true; pledge, covenant,” from Germanic abstract noun *treuwitho, from Proto-Germanic treuwaz “having or characterized by good faith,” from PIE *drew-o-, a suffixed form of the root *deru- “be firm, solid, steadfast.”, “oak” “Strong as an oak”.

    True (adj.)
    Old English triewe (West Saxon), treowe (Mercian) “faithful, trustworthy, honest, steady in adhering to promises, friends, etc.,” from Proto-Germanic *treuwaz “having or characterized by good faith” (source also of Old Frisian triuwi, Dutch getrouw, Old High German gatriuwu, German treu, Old Norse tryggr, Danish tryg, Gothic triggws “faithful, trusty”), from PIE *drew-o-, a suffixed form of the root *deru- “be firm, solid, steadfast.”

    Sense of “consistent with fact” first recorded c. 1200; that of “real, genuine, not counterfeit” is from late 14c.; that of “conformable to a certain standard” (as true north) is from c. 1550. Of artifacts, “accurately fitted or shaped” it is recorded from late 15c. True-love (n.) is Old English treowlufu. True-born (adj.) first attested 1590s. True-false (adj.) as a type of test question is recorded from 1923. To come true (of dreams, etc.) is from 1819.

    True (v.)
    Sense of correspondence. “make true in position, form, or adjustment,” 1841, from true (adj.) in the sense “agreeing with a certain standard.” Related: Trued; truing.
    (source: from the online etymology dictionary)

    An Action (Verb): We Lack a Primary Verb for “Speaking the Truth”
    While we have admittedly fuzzy definitions for true and truth, one of the frailties of English and most other IE languages is that they do not have a primary verb for “speak the truth,” as a contrast to lie and lying (v.). As we will observe repeatedly over the course of this book, the lack of a primary verb for Speaking the Truth is but one of many apparent confusions that are cause us so many problems of grammar and vocabulary.

    In order to solve the problem of the ‘missing term’ we will use the terms “truthful”, “truthfulness”. For example: ‘He lies’, vs. ‘He speaks truthfully’. I’m not adventurous enough with terminology to suggest we use truths and truth as in ‘He truths’, and ‘That’s a truth’, even if it’s not uncommon for us to use “True” and less frequently “Truth” as statements of agreement.

    A Term of Promise: All Statements are Promissory, With Varying Degrees of Contingency
    If I say ‘it’s raining’, I am saying “I promise it is raining”. I might say “I think/believe it is raining” which expresses contingency. I might also say “isn’t it raining?” Or “maybe it is raining” to suggest a possibility rather than state a contingency or a promise. Yet we seek to avoid that accountability.

    The Term Testimony Instead of Promise: ‘Testimonial Truth’
    In philosophical discourse the terms ‘promissory’ or ‘performative’ truth are used for similar purposes. But because we are working in the context of law not norm and because we want to distinguish our work from prior authors, we will use the term “Testimony” and “Testimonial Truth”.

    Only the Conscious (Humans) can Testify or Promise
    Only those capable of speech (testimony), possessing sentience (feeling) consciousness (reason) and agency (cognitive independence from intuitionistic interference) are cable of making such promises. And not all individuals are possessed of sufficient agency (knowledge, skill, ability) to make such promises – and unfortunately we are not ourselves aware of our own limits. For this reason honestly is insufficient for truth claims. Instead we must perform due diligence against our limitations in order to make truth claims. And to guard against deception we must demand warranty (Or as Taleb argues, ‘skin in the game’.) Not simply because people are deceptive, but because they often lack the agency to speak truthfully having performed due diligence against their frailties.

    The Degree of Promise in Testimony
    So when we make a truth claim or state a truth proposition, we are constructing an intersection of three axes;
    – The demand for decidability given the context of the question we decide
    – The decidability of the testimony necessary to fulfill that demand
    – The degree of warranty of due diligence that such testimony is sufficient for decidability, and demand for infallibility

    Our testimony is sufficiently decidable and warrantied for the degree of decidability or not.

    A Term of Agreement
    In English grammar we refer to yes and no as a subtype of word we call ‘Agreement’, as in |Word| Noun > Verb > Relation > Agreement. We also use ‘true’ and ‘false’ as methods of ‘agreement’, but agreement on the correspondence of testimony (speech) with reality (existence). So when we say ‘That is true’, we mean ‘I agree with your testimony’. Or less supportively ‘I consent to your testimony’. Or “I promise you will agree with my testimony”, or ‘I cannot disagree with your testimony’. In this sense yes and no, true and false, good and bad are statements of agreement.

    |Agreement| Agree, True, Good < Undecidable > Disagree, False, Bad

    A Point of View
    We habitually conflate (a) the words uttered by the speaker, with (b) the audience’s judgment of the correspondence of those words with reality, (c) the incentives of the speaker that bias his speech with (d) the sufficiency of decidability for the speaker, (e) the sufficiency of decidability of the audience who may or may not possess the skill, and (f) sufficiency of decidability for the judge who may or must possess such a skill to do so. And in doing so we conflate point of view (speaker, audience, judge), even though those points of view possess different information and different incentives, and different objectives.

    The audience and the judge must ask, what demand for sufficient decidability is required to answer this question? What degree of due diligence is necessary to claim an answer is honest, truthful, or true – and is it warrantable? And is that degree of honesty, truthfulness or truth sufficient to provide the decidability demanded by the question? In other words, is the testimony decidable true, and is the question decidable given that degree of truth? If not then what is the scale of possible consequence (harm), and what is the possibility of restitution (correction of the error)?

    |Point of View| Speaker (Producer)(Hypothesis) < >
    Audience (Market)(Theory) > Judge (Court)(Finding of Law)

    So a speaker (voice), author (text), or craftsman (symbols or illustrations), produces a product (hypothesis), that is tested by an audience (market), and negotiated (recursively), and either agreed with (purchased), or disagreed with (boycotted – exited), or submitted to a court (fraud).

    The Act of Testimony: Copying, Describing, and Reconstructing
    Speaking Truthfully requires accurately copying (reporting on) existential reality and then representing that copy in thoughts, words, displays, and actions or other symbols, where the audience’s use of those thoughts, words, and symbols reconstructs the same perception of reality as the speaker.

    Cheers
    -CD


    Source date (UTC): 2024-01-21 04:17:20 UTC

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

  • DECIDABILITY (ACTION) The Satisfaction of Demand For Infallibility A question (o

    DECIDABILITY (ACTION)
    The Satisfaction of Demand For Infallibility

    A question (or statement) is Decidable (true or false: consistent, correspondent, possible; good or bad, and sufficient) if (a) an algorithm (argument, or set of operations) exists within the limits of the system (domain: set of axioms, rules, theories) that one can use to produce a decision and (b) if sufficient information for the decision is present within the system such that, (c) one need not appeal to either information outside of the system, or DISCRETION (INTUITION, VALUES) to supply information necessary to DECIDE.

    Ergo, if DISCRETION (choice) is unnecessary, a proposition is DECIDABLE. If Discretion is necessary then the question may be DISCRETIONARY (subjective choice) but it is not DECIDABLE (objective).

    Or for the most reductive version: the subjective requires appeal to intuition (judgment) and the objective requires only appeal to present information.

    |Choice| Decidable > Discretionary(opinion) > Choice(preference, presumed good) > Random Selection (undecidable) > In-actionable

    The purpose of our method is to produce decidability as a means of circumventing the dependence on discretion and choice. By our diligent production of decidability we produce a value independent universal language of testimony in all subjects; but particularly in the subjects most vulnerable to discretionary impulse: cooperation, ethics, morality, and politics.

    Note: This emphasis on decidability explains the difference between rule of law (decidable) and rule by discretion (undecidable, and therefore subjective discretion or choice are required). If discretion is required, then it is rule by discretion (choice) if not, then rule of law.

    Demand For Increasingly Infallible Decidability

    In an effort to avoid the mistake of relying upon an Ideal Type, we will describe a spectrum, or ordered hierarchy of Demand for DECIDABILITY. That way we do not ask the universe to fit our definition, but that we provide a definition that corresponds to decidability in all cases we can perceive in the universe.

    Spectrum of Decidability:

    Intelligible: Decidable enough to imagine a conceptual relationship
    Reasonable: Decidable enough for me to feel confident about my decision (that it will satisfy my needs, and is not a waste of time, energy, resource )
    Actionable: Decidable enough for me to take actions that produce positive results.
    Moral: Decidable enough for me to not cause others to react negatively to me, if they have knowledge of my actions.
    Normative: Decidable enough to resolve a conflict without subjective opinion among my fellow people with similar values.
    Judicial: Decidable enough to resolve a conflict without subjective opinion across different peoples with different values.
    Scientific: Decidable regardless of all opinions or perspectives (‘True’)
    Logical(Analytic): Decidable out of physical or logical necessity
    Tautological: Decidably identical in properties (referents) if not references (terms).
    Ideal: Decidable if we possess the knowledge we do not and cannot, but wish we did. 😉

    So to borrow the one of many terms from Economics, we can see in this series (list) a market demand for increasingly infallible decidability.

    The Methods of Decidability

    We can also separate the actions of intuiting (intuition), from reasoning (all processes of the mind), from rationalism (justification), from calculation (in the wider sense – transformation of inputs into outputs) from computation (algorithm).

    |DECIDABLE| Unintelligible(Incomprehensible) > Intelligible(Comprehensible) > Possible (actionable) > Preferable > Good (Normative, Moral) > Decidable(Judicial) > True (scientific) > Analytically True (logical) > Tautologically True (Tautological)

    and

    |COGNITION| Comprehensible > Imaginable > Reasonable > Rational > Calculable > Computational > Identical

    and

    |METHOD| Experiential(emotional) > Rational (law : Social or Contractual) Theoretic (science: existential) > Axiomatic(logic: mental) >

    Each of these methods of reasoning depends upon a different degree of demand for the infallibility of decidability.

    So when we say we can decide a question, we mean it satisfies the demand for the infallibility of decidability.

    Note: This technique, where we test the satisfaction of demand for infallibility, will frame most of our thinking, and it is the principle difference between logical, philosophical, scientific, and legal thought. That is because it is the most complete of logical, philosophical, scientific, and legal thought.

    Cheers
    -CD


    Source date (UTC): 2024-01-21 04:04:47 UTC

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

  • I do not deny other modes of thought, any more than I deny the grammars we use t

    I do not deny other modes of thought, any more than I deny the grammars we use to explain them to one another. My job however is decidability, decidability applied to law, and law applied to bring about as close a condition of Natural Law as possible, so that we all may cooperate while minimizing conflict, even if we are maximizig competition, the result of which is

    So I am not an advisor (philosopher). I am a judge(jurist). I leave the choices to you as long as that choice does not include harm to others despite that you feel you are doing good – and are just wrong. 😉

    When you are wrong and cause harm then is when we resolve conflicts between percieved goods, that are not goods but errors or crimes. 😉

    Reply addressees: @artus9010 @riboster @AEemus @dr_duchesne


    Source date (UTC): 2024-01-10 17:00:29 UTC

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

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

  • I suppose I should help clarify the subject by disambiguating terms. Calculation

    I suppose I should help clarify the subject by disambiguating terms.

    Calculation in the broadest sense consists of the transformation of inputs into outputs. This is a process of deduction. (top down) Mathematics is Calculation.

    Computation in the broadest sense is the performance of operations. (bottom up) in the absence of deduction, induction, or inference. Arithimetic is computation.

    Probability, in now-popular AI, this difference is now re-conflated and restored to ambiguity because our computers, perform computations, using human-derived calculations, to produce bayesian accounting probabilities, as if they were inferences, because the number of dimensions of measurement and number paramaters exceed the human ability to calculate, in the category we call artificial intelligence. And since all langauge is reducible to measurements, where the measurement consists of a dimension that is subjectively testable by human experience, while still retaining it’s reducability to mathematical expression by substitution of arbitrary numbers as names and values as weights instead of natural naming (vs cardinal or ordinal).

    Machines cannot perform mathematics however, they may perform computations, and therefore may perform arithmetic. Even though, as painful as it is, division is still a matter of tabular trial and error. Just as so much of mathematics is a matter of ‘fitting’.

    I find math boring but I find the foundations of math, logic, and all the grammars (rules of continuous recursive disambiguation) fascinating. 😉

    Reply addressees: @Zamicol @cryptogeni


    Source date (UTC): 2024-01-08 13:40:22 UTC

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

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


    IN REPLY TO:

    Unknown author

    THE GODEL NONSENSE IS AN INTERGENERATIONAL INFECTION. 😉
    –“There’s no proof that everything is computable. Information theory is in agreement with Gödel.”– Replying to @Zamicol and @cryptogeni

    That is a naive statement. You are confusing the limits of mathematics with the limits of computation and not grasping computation as a sequence of possible operations. The fact is if the universe can construct anything at all – if ANYTHING can exist, then it is computable because there is no difference between computation and construction by permutation.

    The difference is that mathematics is universally statistical (categorical) so that we can predict what is mathematically reducible, and that is only a subset of what is computable. The problem with computability is that there is no means of prediction – there is only a means of trial and error.

    You also misunderstand Godel. The point is that not everything is provable because there is no closure to computability, and provability is a statement about logic given a set of fixed premises and not about existential possibility. Furthermore, the proof appears to be limited to arithmetical operations and nothing more complicated.

    It appears you also misunderstand information theory given that the purpose of the theory is to explain the problem of entropy and noice precisely because of the information loss in mathematical (verbal, ideal) reduction vs computational (operational,real) procedures is due precisely to the fact that mathematics loses information and computation doesn’t (at least down to -35 decimal places).

    I did not realize until the early nineties that this false understanding of Godel was spreading like a virus with each new generation of students learning programming – but who have no basic comprehension of its narrowness. However, there are authors who have written books, one in particular that I can’t recall off the top of my head, that I felt was largely accessible to the STEM degree-educated population.

    I hope this helps you at least head in the right direction.
    Let me know if you require further explanation.

    Cheers

    Original post: https://x.com/i/web/status/1744169409831145592

  • “The Intuitionist view (a philosophy of mathematics) restricts mathematics to on

    –“The Intuitionist view (a philosophy of mathematics) restricts mathematics to only what can be described re computability – and is the common view of mathematicians now.”–

    A common tendency in the field to confuse mathematical calculation (top-down, transformation of inputs into outputs) with computation (bottom up, construction of outputs from. limited inputs.) This was discussed during the intuitionist period in every single discipline. They intuited something had gone wrong but couldn’t quite understand it. Unfortunately, Turing came later instead of first.

    As I’ve said for years the intellectual failure in the west that affected everything, including even philosophy, but led us to Einstein and Bohr’s re-platonization of mathematics is the discovery by Babbage but his failure to write a treatise. And we’re still suffering from the consequence.


    Source date (UTC): 2024-01-08 13:01:25 UTC

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

  • The halting problem is a question of input pairs (subsets). There is no subset i

    The halting problem is a question of input pairs (subsets). There is no subset in the universe other than itself. As such the universe can only perform operations on a hierarchy of stable equlibria (quanta) and has no algorithm except decrease in pressure by spatial expansion or increase in density. It it can exist the universe can compute it given the conditions for the formation of any stable equilibria (state). These states are not predictable but if they exist they are computable because computable means ‘constructable’ whereas mathematics only means ‘describable’.

    Reply addressees: @RussellJohnston @Zamicol @cryptogeni


    Source date (UTC): 2024-01-08 03:29:33 UTC

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

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

  • THE GODEL NONSENSE IS AN INTERGENERATIONAL INFECTION. 😉 –“There’s no proof tha

    THE GODEL NONSENSE IS AN INTERGENERATIONAL INFECTION. 😉
    –“There’s no proof that everything is computable. Information theory is in agreement with Gödel.”– Replying to @Zamicol and @cryptogeni

    That is a naive statement. You are confusing the limits of mathematics with the limits of computation and not grasping computation as a sequence of possible operations. The fact is if the universe can construct anything at all – if ANYTHING can exist, then it is computable because there is no difference between computation and construction by permutation.

    The difference is that mathematics is universally statistical (categorical) so that we can predict what is mathematically reducible, and that is only a subset of what is computable. The problem with computability is that there is no means of prediction – there is only a means of trial and error.

    You also misunderstand Godel. The point is that not everything is provable because there is no closure to computability, and provability is a statement about logic given a set of fixed premises and not about existential possibility. Furthermore, the proof appears to be limited to arithmetical operations and nothing more complicated.

    It appears you also misunderstand information theory given that the purpose of the theory is to explain the problem of entropy and noice precisely because of the information loss in mathematical (verbal, ideal) reduction vs computational (operational,real) procedures is due precisely to the fact that mathematics loses information and computation doesn’t (at least down to -35 decimal places).

    I did not realize until the early nineties that this false understanding of Godel was spreading like a virus with each new generation of students learning programming – but who have no basic comprehension of its narrowness. However, there are authors who have written books, one in particular that I can’t recall off the top of my head, that I felt was largely accessible to the STEM degree-educated population.

    I hope this helps you at least head in the right direction.
    Let me know if you require further explanation.

    Cheers


    Source date (UTC): 2024-01-08 01:29:27 UTC

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

  • no. language is unlimited in representation, and operational closure is dependen

    no. language is unlimited in representation, and operational closure is dependent on continuous recursive disambiguation sufficient to produce decidability using man’s testfiable dimensions consistent and correspondent with reality. Arithmetic (godel’s logic) requires…


    Source date (UTC): 2023-12-27 19:59:28 UTC

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

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