Curt Doolittle

Theme: Decidability

  • The Value of Truth Increases with the Scale of the Consequences

    [T]he more parsimonious the statement of correspondence the more truth content and decidability. (This is a very loaded sentence.)
     
    As scale increases or decreases, and as consequence increases, and as the number of people affected increase, then the value of truth increases.
     
    Conversely, loose general rules expressed allegorically or in parable of one king or another are equally useful for individual action.
     
    For these reasons we increasingly favor increases in precision (parsimony) as the division of labor and scale of polity have increased.
     
    Because our collective actions are of greater consequences to those external to the decision.
     
    That is the explanation for the value of different systems of thought.
     
    Wisdom can be found many places but truth that survives falsification or criticism is a different thing altogether.
     
    In matters of money or life and death I think most moral men prefer to be adjudicated by truth.

  • PROGRAMMING RELIES UPON STRICT CONSTRUCTION And decidability. So do propertarian

    PROGRAMMING RELIES UPON STRICT CONSTRUCTION

    And decidability.

    So do propertarian ethics.

    That is the reason I figured it out.

    And it’s the reason hayek didn’t.

    I think he would have but he started with psychology.

    I started with decidability and strict construction.

    Source date (UTC): 2015-08-11 15:22:00 UTC

  • THE VALUE OF TRUTH INCREASES WITH THE SCALE OF THE CONSEQUENCES The more parsimo

    THE VALUE OF TRUTH INCREASES WITH THE SCALE OF THE CONSEQUENCES

    The more parsimonious the statement of correspondence the more truth content and decidability. (This is a very loaded sentence.)

    As scale increases or decreases, and as consequence increases, and as the number of people affected increase, then the value of truth increases.

    Conversely, loose general rules expressed allegorically or in parable of one king or another are equally useful for individual action.

    For these reasons we increasingly favor increases in precision (parsimony) as the division of labor and scale of polity have increased.

    Because our collective actions are of greater consequences to those external to the decision.

    That is the explanation for the value of different systems of thought.

    Wisdom can be found many places but truth that survives falsification or criticism is a different thing altogether.

    In matters of money or life and death I think most moral men prefer to be adjudicated by truth.

    Source date (UTC): 2015-08-07 12:33:00 UTC

  • That is a myth of the socialists. There is no logical difference between legal a

    That is a myth of the socialists. There is no logical difference between legal and mathematical constraints.

    Source date (UTC): 2015-08-05 07:14:54 UTC

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

    Reply addressees: @AppleCiderRadio

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

    IN REPLY TO:

    Original post on X

    Original tweet unavailable — we could not load the text of the post this reply is addressing on X. That usually means the tweet was deleted, the account is protected, or X does not expose it to the account used for archiving. The Original post link below may still open if you view it in X while signed in.

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

  • Definitions: Calculable, Computational, Rational, Irrational, Arational, and “Black Box”

    (draft) (learning propertarianism) [T]he subtle differences in terms of comparison. DEFINITIONS:

    CALCULATIVE (HYPOTHETICAL) vs COMPUTATIONAL(DETERMINISTIC) – A process is CALCULATIVE if human beings are required to perform it, and COMPUTATIONAL if (current) computers can perform it. CALCULATIVE INSTITUTIONS – The set of technologies that permit human beings to extend their perception and comparison ability, and therefore their ability to understand and forecast in complexity, particularly a division of knowledge and labor, as a means of assisting in planning, forecasting, production and decision making. Specifically: numbers, counting, arithmetic, accounting, algebra, calculus, statistics, combined with money, numeric time, banking, interest, contract, rule of law, combined with narrative, history, objective truth, combined with property, exchange, trade, markets. CALCULATION / CALCULATIVE: A calculation is a deliberate process for transforming one or more inputs into one or more results, with variable change. The term is generally used to describe a spectrum of methods of reasoning, from the very definite arithmetical calculation of using an algorithm, to the vague heuristics of calculating a strategy in a competition or calculating the chance of a successful relationship between two people. OPERATIONAL: A recipe for a description of a series of actions that produce a result within a limit of precision. (an existence proof) COMPUTATIONAL: A sequence of mechanically producible and repeatable operations. LOGICAL – A sequence of operations Not entirely a synonym for rational, since logical statements should be formally testable, while rational statements nearly need not be irrational. RATIONAL – Reasonable. Reasoned. A conclusion achieved through the process of reason. Drawing hypotheses from juxtaposing facts against each other and determining their relations. Does not imply that the answer is correct. Only that logic was reasoning was properly applied. IRRATIONAL – Not reasonable. Not correctly reasoned. In philosophical usage, means illogical, or poor reasoning. Specifically that the reasoning applied or decision made, does not result in the desired ends. ARATIONAL – Having no rational characteristics; having no capacity to reason. In philosophy, not within the domain of what can be understood or analyzed by reason; outside the competence of the rules of reason. ARATIONAL BLACK BOX – I use the terms “Black Box” and “Arational” to refer to non-logical content that produces beneficial ends. The problem with all religions other than perhaps stoicism and Buddhism, is that their resulting strategy differs from their claimed mythology. Christianity for example is a set of myths and ideals the purpose of which is to encourage if not force the extension of kinship love to non-kin, and by consequence, produce a high trust society.

  • Definitions: Calculable, Computational, Rational, Irrational, Arational, and “Black Box”

    (draft) (learning propertarianism) [T]he subtle differences in terms of comparison. DEFINITIONS:

    CALCULATIVE (HYPOTHETICAL) vs COMPUTATIONAL(DETERMINISTIC) – A process is CALCULATIVE if human beings are required to perform it, and COMPUTATIONAL if (current) computers can perform it. CALCULATIVE INSTITUTIONS – The set of technologies that permit human beings to extend their perception and comparison ability, and therefore their ability to understand and forecast in complexity, particularly a division of knowledge and labor, as a means of assisting in planning, forecasting, production and decision making. Specifically: numbers, counting, arithmetic, accounting, algebra, calculus, statistics, combined with money, numeric time, banking, interest, contract, rule of law, combined with narrative, history, objective truth, combined with property, exchange, trade, markets. CALCULATION / CALCULATIVE: A calculation is a deliberate process for transforming one or more inputs into one or more results, with variable change. The term is generally used to describe a spectrum of methods of reasoning, from the very definite arithmetical calculation of using an algorithm, to the vague heuristics of calculating a strategy in a competition or calculating the chance of a successful relationship between two people. OPERATIONAL: A recipe for a description of a series of actions that produce a result within a limit of precision. (an existence proof) COMPUTATIONAL: A sequence of mechanically producible and repeatable operations. LOGICAL – A sequence of operations Not entirely a synonym for rational, since logical statements should be formally testable, while rational statements nearly need not be irrational. RATIONAL – Reasonable. Reasoned. A conclusion achieved through the process of reason. Drawing hypotheses from juxtaposing facts against each other and determining their relations. Does not imply that the answer is correct. Only that logic was reasoning was properly applied. IRRATIONAL – Not reasonable. Not correctly reasoned. In philosophical usage, means illogical, or poor reasoning. Specifically that the reasoning applied or decision made, does not result in the desired ends. ARATIONAL – Having no rational characteristics; having no capacity to reason. In philosophy, not within the domain of what can be understood or analyzed by reason; outside the competence of the rules of reason. ARATIONAL BLACK BOX – I use the terms “Black Box” and “Arational” to refer to non-logical content that produces beneficial ends. The problem with all religions other than perhaps stoicism and Buddhism, is that their resulting strategy differs from their claimed mythology. Christianity for example is a set of myths and ideals the purpose of which is to encourage if not force the extension of kinship love to non-kin, and by consequence, produce a high trust society.

  • A (Very) Short Course In Decidability.

    (learning propertarianism)

    [W]hat does Decidable mean?

    REVERSE: In logic we state that a question (statement) is DECIDABLE if an algorithm (set of operations) exists within the limits of the system (rules, axioms, theories) that can produce a decision (choice). In other words, if the sufficient information for the decision is present within the system (ie: is decidable).

    OBVERSE: Instead, we should determine if there is a means of choosing without the need for additional information supplied from outside the system (ie: not discretionary).

    Or in simple terms, if DISCRETION is unnecessary, a proposition is decidable.

    This separates reason (or calculation in the wider sense) from computation (algorithm).  

  • A (Very) Short Course In Decidability.

    (learning propertarianism)

    [W]hat does Decidable mean?

    REVERSE: In logic we state that a question (statement) is DECIDABLE if an algorithm (set of operations) exists within the limits of the system (rules, axioms, theories) that can produce a decision (choice). In other words, if the sufficient information for the decision is present within the system (ie: is decidable).

    OBVERSE: Instead, we should determine if there is a means of choosing without the need for additional information supplied from outside the system (ie: not discretionary).

    Or in simple terms, if DISCRETION is unnecessary, a proposition is decidable.

    This separates reason (or calculation in the wider sense) from computation (algorithm).  

  • CALCULABLE, RATIONAL, IRRATIONAL, ARATIONAL and “BLACK BOX” (draft) (learning pr

    CALCULABLE, RATIONAL, IRRATIONAL, ARATIONAL and “BLACK BOX”

    (draft) (learning propertarianism)

    DEFINITIONS:

    CALCULATIVE (HYPOTHETICAL) vs COMPUTATIONAL(DETERMINISTIC) – A process is CALCULATIVE if human beings are required to perform it, and COMPUTATIONAL if (current) computers can perform it.

    CALCULATIVE INSTITUTIONS – The set of technologies that permit human beings to extend their perception and comparison ability, and therefore their ability to understand and forecast in complexity, particularly a division of knowledge and labor, as a means of assisting in planning, forecasting, production and decision making. Specifically: numbers, counting, arithmetic, accounting, algebra, calculus, statistics, combined with money, numeric time, banking, interest, contract, rule of law, combined with narrative, history, objective truth, combined with property, exchange, trade, markets.

    CALCULATION / CALCULATIVE: A calculation is a deliberate process for transforming one or more inputs into one or more results, with variable change. The term is generally used to describe a spectrum of methods of reasoning, from the very definite arithmetical calculation of using an algorithm, to the vague heuristics of calculating a strategy in a competition or calculating the chance of a successful relationship between two people.

    OPERATIONAL: A recipe for a description of a series of actions that produce a result within a limit of precision. (an existence proof)

    COMPUTATIONAL: A sequence of mechanically producible and repeatable operations.

    LOGICAL – A sequence of operations Not entirely a synonym for rational, since logical statements should be formally testable, while rational statements nearly need not be irrational.

    RATIONAL – Reasonable. Reasoned. A conclusion achieved through the process of reason. Drawing hypotheses from juxtaposing facts against each other and determining their relations. Does not imply that the answer is correct. Only that logic was reasoning was properly applied.

    IRRATIONAL – Not reasonable. Not correctly reasoned. In philosophical usage, means illogical, or poor reasoning. Specifically that the reasoning applied or decision made, does not result in the desired ends.

    ARATIONAL – Having no rational characteristics; having no capacity to reason. In philosophy, not within the domain of what can be understood or analyzed by reason; outside the competence of the rules of reason.

    ARATIONAL BLACK BOX – I use the terms “Black Box” and “Arational” to refer to non-logical content that produces beneficial ends. The problem with all religions other than perhaps stoicism and Buddhism, is that their resulting strategy differs from their claimed mythology. Christianity for example is a set of myths and ideals the purpose of which is to encourage if not force the extension of kinship love to non-kin, and by consequence, produce a high trust society.

    Source date (UTC): 2015-07-30 15:42:00 UTC

  • A SHORT COURSE ON DECIDABILITY (learning propertarianism) REVERSE: In logic we s

    A SHORT COURSE ON DECIDABILITY

    (learning propertarianism)

    REVERSE: In logic we state that a question (statement) is DECIDABLE if an algorithm (set of operations) exists within the limits of the system (rules, axioms, theories) that can produce a decision (choice).

    OBVERSE: Instead, we should determine if there is a means of choosing without the need for additional information supplied from outside the system.

    Or in simple terms, if DISCRETION is unnecessary.

    Source date (UTC): 2015-07-27 11:46:00 UTC