All humans are mortal.
Socrates is human.
Therefore Socrates is mortal.

The subject is not merely the three sentences considered separately. It is the relation that prevents the premises from being true while the conclusion is false.

Logic makes the commitments of an inference explicit. It asks what a reasoner is committed to once certain premises are accepted.

This essay concentrates on consequence, validity, soundness, and the limits of inference. For the strength of uncertain evidence, continue to Logic and Probability; the interpretations and updating of probability are developed in Probability and Bayes.

This is narrower than every ordinary use of the word logic, but broader than one collection of textbook symbols.

From logos to modern logic

English logic comes through Latin logica from Greek logos, a term whose historical range includes speech, account, reason, proportion, and ordering. That history does not make logic identical to rationality, natural law, or the order of the universe.

Aristotelian syllogistic, Stoic propositional reasoning, Indian logical traditions, and Chinese traditions of names and disputation developed different problems and techniques. Modern formal logic grew through the interaction of philosophy and mathematics, especially in work on algebra, proof, foundations, and language.

Its scope now includes classical logic, modal and temporal logics, intuitionistic logic, many-valued systems, relevance and paraconsistent logics, and formal treatments of knowledge, obligation, and computation.

Ordinary “logic” and the discipline of logic

In ordinary English, logic can mean several things:

• an orderly train of thought;
• the rationale behind a policy;
• the operating mechanism of a system;
• the incentives of a business model;
• the pattern by which events develop;
• the validity of an argument.

“The logic of the platform rewards engagement” concerns incentives and mechanisms. “His explanation has no logic” may report inconsistency, missing reasons, or simply poor organization.

These uses are intelligible, but they should not be treated as interchangeable. Before evaluating a claim about “logic,” one should ask whether the issue is consequence, explanation, mechanism, coherence, or rhetoric.

Propositions, premises, conclusions, and models

Traditional presentations often move from concepts to judgments and then to inferences. Modern logic works with more explicit units:

• a formal language with expressions and formation rules;
• propositions or formulas capable of truth or falsity under an interpretation;
• premises that provide the starting commitments;
• a conclusion claimed to follow;
• proof rules licensing steps;
• semantics or models that assign interpretations.

A logic typically combines a language with a deductive system, a model-theoretic semantics, or both. A central question is how syntactic derivability relates to semantic validity.Stanford Encyclopedia of Philosophy: Classical Logic

The word product is not by itself a true or false claim. “This service is a product” is a proposition. Only after propositions are organized as premises and conclusion does an argument appear.

Truth, validity, and soundness

Consider:

All fish can fly.
Carp are fish.
Therefore carp can fly.

The first premise and conclusion are false, but the form is valid:

All A are B.
C is A.
Therefore C is B.

Validity says that the premises cannot all be true while the conclusion is false. It does not say that the premises are actually true.

The distinction prevents two common errors. A true conclusion can be reached through an invalid argument, and a valid argument can preserve falsehood from false premises.

Logical consequence

Semantic consequence is commonly written:

P ⊨ C

Roughly, every relevant interpretation that makes all members of P true also makes C true. Consequence is therefore often described as truth-preserving and necessary relative to a logic.

This rough account opens philosophical questions rather than closing them. Which interpretations count? What makes a constant logical? Is consequence primarily formal, modal, epistemic, or normative? Debates over language, meaning, context, and necessity enter the philosophy of logical consequence.Stanford Encyclopedia of Philosophy: Logical Consequence

Logical consequence is also different from psychological certainty. A person can feel certain of a conclusion that does not follow, or resist a conclusion that follows from premises the person explicitly accepts.

Deduction, induction, and abduction

Not every disciplined inference is deductive.

Deduction

Deduction asks whether premises necessitate a conclusion.

Every registered user has an identifier.
Mina is a registered user.
Therefore Mina has an identifier.

If the argument is valid and the premises are true, the conclusion cannot be false.

Induction

Induction extends beyond observed cases.

Most sampled customers care strongly about price.
Therefore customers in the target population probably care about price.

The conclusion is supported rather than entailed. Sampling, background knowledge, and new observations can change that support.

Abduction

Abduction proposes an explanation for what has been observed.

Checkout abandonment increased.
Errors cluster around one payment provider.
A provider failure is currently the best explanation.

The explanation remains defeasible. Competing hypotheses, additional measurements, and interventions can overturn it.

Calling all three “logic” in a broad sense should not erase the difference between entailment and evidential support.

Formal and informal logic

Formal logic abstracts from some subject matter to test patterns that remain stable under substitution. It is especially powerful for quantifiers, negation, conditionals, identity, and relations.

Informal logic examines arguments in natural language. It must also consider:

• suppressed premises;
• ambiguity and context;
• credibility of sources;
• relevance of analogies;
• burden of proof;
• rhetorical framing;
• fair representation of opposing arguments.

Formalization can expose structure, but it can also omit context. Natural language preserves context, but it can hide equivocation. Neither level eliminates the need for the other.

Conditionals and recurring fallacies

Suppose:

If the power fails, the server stops.

From a power failure to a stopped server is modus ponens. From a running server to no power failure is modus tollens.

But inferring a power failure from a stopped server affirms the consequent. The server may have stopped because of maintenance, hardware failure, or software error. Inferring that the server runs because power has not failed denies the antecedent and is also invalid.

These errors matter because diagnostic and causal claims often disguise an invalid conditional inference.

Logic, probability, causation, and fact

These relations answer different questions.

Consider:

If it rains, the ground will usually be wet.
The ground is wet.
Therefore it rained.

The conclusion is not deductively secured. A sprinkler, a leak, or cleaning could also explain the observation. Wet ground may increase the probability of rain and motivate causal investigation, but it does not entail rain.

entailment is not factual verification
association is not causal proof
high probability is not logical necessity
an intelligible explanation is not a demonstrated cause

Logic can organize probabilistic and causal arguments. It cannot substitute for data, experimental design, or a justified causal model.

Consistency is not truth

A set of propositions is consistent when they can be true together under the relevant logic. Consistency is necessary for many rational systems, but it is insufficient for truth.

A fictional world can be internally consistent. A collection of false beliefs can also avoid contradiction. Conversely, real information systems can contain local inconsistencies without every claim becoming acceptable; paraconsistent logics study ways of reasoning under such conditions.

Finding no contradiction therefore does not establish that the premises are complete, meaningful, or empirically adequate.

Is logic descriptive or normative?

People routinely commit invalid inferences. If logic merely described actual psychological behavior, it could not explain why those inferences should be corrected.

Logic is therefore commonly treated as normative in at least a conditional sense: if a reasoner accepts certain premises and aims to preserve truth or coherence, some conclusions are licensed and some combinations of commitments are defective.

The source of that normativity remains disputed. Logical laws may be understood as grounded in meaning, truth, rational commitment, structures of reality, rules of formal systems, or established inferential practices.

Logic is not a complete ethics of belief. It does not by itself decide which premises deserve acceptance, how much evidence is enough, or which practical goals should govern action.

Why are there multiple logics?

Classical logic supplies one influential account of consequence, but different domains motivate different formal systems:

• modal logic represents necessity and possibility;
• temporal logic represents order and change over time;
• deontic logic represents obligation and permission;
• intuitionistic logic ties truth more closely to constructive proof;
• many-valued and fuzzy systems alter truth-value structures;
• paraconsistent logics block unrestricted explosion from contradictions.

Plurality does not mean that any inference rule is as good as another. A proposed logic must specify its language, semantics, proof rules, and purpose, then demonstrate that the resulting system does the work claimed for it.

The practical discipline of logic

Logic makes an argument answerable to public inspection:

1. What exactly is the conclusion?
2. Which premises support it?
3. Which premises are factual, definitional, or normative?
4. Which step is an inference rather than an assumption?
5. Is there a countermodel or counterexample?
6. Does the conclusion exceed the premises?
7. Has uncertainty been presented as necessity?

This discipline turns “it sounds reasonable” into a structure that others can test.

Conclusion

Logic is neither a database of facts nor an automatic detector of causes. It studies relations of consequence and the commitments generated by inference.

Valid reasoning can preserve truth from true premises. It cannot guarantee those premises, supply missing evidence, or decide which ends are worth pursuing.

Clear concepts, reliable observations, probability, causal inquiry, and value judgment must work with logic rather than being replaced by it.

Logic asks what follows from what. Probability asks how strongly the available information supports competing possibilities.

That distinction matters whenever evidence is incomplete. A conclusion can be logically valid but based on false premises. A hypothesis can be strongly supported without being entailed. A probability can equal one inside a model without expressing a logical truth.

Logic provides structure. Probability represents uncertainty within a structure. Neither can replace the other.

This essay focuses on their interface: why entailment is not conditional probability, and how deductive consequence relates to graded evidential support. Logic treats consequence in its own right; Probability and Bayes examines interpretations of probability and belief revision.

The scope of “logic”

Logic includes many systems: classical and non-classical logics, modal logic, temporal logic, inductive logic, and accounts of defeasible reasoning. The clearest starting point for comparison is classical deductive logic.

Classical logic studies propositions, truth values, and consequence. An argument is valid when there is no interpretation in which all its premises are true and its conclusion is false.Stanford Encyclopedia of Philosophy: Classical Logic

All humans are mortal.
Socrates is human.
Therefore Socrates is mortal.

If both premises are true, the conclusion cannot be false. The relation can be written:

D ⊨ C

This says that every interpretation satisfying premises D also satisfies conclusion C.

Validity, truth, and soundness

Validity concerns the form of an inference. It does not verify the premises.

All fish can fly.
Carp are fish.
Therefore carp can fly.

The form is valid. The first premise is false. A sound argument therefore requires both:

valid inference
+ true premises

This produces three separate questions:

1. Are the concepts and propositions clear?
2. Are the premises true or adequately supported?
3. Does the conclusion follow from them?

Probability often enters the second question. Evidence may support a premise to some degree even when it cannot establish it deductively.

What probability represents

Probability assigns values between zero and one to events or propositions, but the meaning of those values depends on interpretation.

Probability may represent:

• long-run frequency across repeated trials;
• an objective chance or propensity in a physical system;
• evidential support for a proposition;
• a rational or personal degree of belief;
• the output distribution of a statistical model.

These interpretations share mathematical rules without making the same philosophical claim about what probability is.Stanford Encyclopedia of Philosophy: Interpretations of Probability

“There is a 70% probability of rain tomorrow” may summarize a calibrated forecast over comparable cases, a model distribution, or a degree of belief given current evidence. It does not say that rain is logically required.

Two different relations

Logical consequence is categorical relative to the premises:

A ⊨ B

Conditional probability is graded:

P(B | A) = 0.9

The second expression still allows cases in which A is true and B is false. A high conditional probability is not an entailment.

Truth is not a probability value

In classical logic, a proposition under an interpretation is true or false. Probability describes uncertainty about events or propositions; it does not turn truth into a percentage.

Before tomorrow arrives, a forecast may assign a 70% probability to rain. After time, place, and the criterion for rain are fixed, the proposition “it rained” is either true or false. The earlier probability described an uncertain epistemic or predictive state.

It helps to distinguish:

Evidence and credence can be represented probabilistically. Neither is identical to truth.

Probability one is not always logical necessity

If D logically entails C, and P(D) > 0, a probability model that respects the logical relation must satisfy:

D ⊨ C
→ P(C | D) = 1

The converse does not generally hold:

P(C | D) = 1
⇏ D ⊨ C

Probability one means that the model assigns all relevant probability mass to the event. Logical necessity means that no interpretation satisfying the premises makes the proposition false.

Continuous distributions make the difference vivid. A single exact point can have probability zero while remaining a possible value. Probability zero therefore need not mean contradiction, just as probability one need not mean logical truth.

Invalid deduction can still contain evidence

Consider:

If it rains, the ground becomes wet.
The ground is wet.
Therefore it rained.

As a deductive argument, this affirms the consequent and is invalid. Sprinklers, cleaning, or a leak could also wet the ground.

Yet wet ground may raise the probability of rain when:

• rain nearly always wets the ground;
• other causes of wet ground are uncommon;
• rain itself is not extremely rare.

The observation can support the hypothesis without proving it:

not deductively entailed
but probabilistically confirmed

Inductive logic studies relations of this kind: premises may make a conclusion more credible without guaranteeing it.Stanford Encyclopedia of Philosophy: Inductive Logic

Probability depends on logical structure

Probabilities cannot be assigned coherently until the events or propositions are specified.

One must know:

• which events exclude one another;
• which can occur together;
• whether one event includes another;
• what the condition in a conditional probability means;
• what counts as the negation of an event;
• whether the listed possibilities are exhaustive.

Suppose:

A = a user clicked an advertisement
B = a user completed a purchase attributed to that click

If the operational definition makes B a subset of A, then:

B → A
P(B) ≤ P(A)

A report showing more attributed buyers than recorded clickers signals a definition, attribution, collection, or data-integration problem. A more sophisticated probability formula will not repair an incoherent event structure.

Bayes connects evidence and belief revision

Bayes’ theorem is:

P(H | E) = P(E | H) × P(H) / P(E)

Here:

• H is a hypothesis;
• E is evidence;
• P(H) is the prior probability;
• P(E | H) is the likelihood of the evidence if the hypothesis is true;
• P(H | E) is the posterior probability after observing the evidence.

Bayesian reasoning does not assert:

E occurred
→ H must be true

It compares how expected the evidence would be under rival hypotheses, then reallocates confidence. Logical relations define hypotheses, evidence, exclusions, and implications. Probability quantifies the resulting uncertainty. Bayesian epistemology develops this into a normative account of rational belief revision.Stanford Encyclopedia of Philosophy: Bayesian Epistemology

Bayes also exposes a common error: confusing P(E | H) with P(H | E). A test may be highly likely to return positive when a condition is present while the probability of the condition given a positive result remains much lower, especially when the condition is rare.

Probability is not causation

Logic, probability, and causation answer different questions:

A strong association may arise from reverse causation, a common cause, selection, measurement, or random variation. Causal analysis adds temporal order, counterfactual comparisons, interventions, mechanisms, and assumptions that identify an effect. The fuller account is developed in What Causation Means.

Probability does not choose an action

A well-calibrated probability still leaves practical questions unresolved:

logic: is the reasoning coherent?
probability: how likely are the outcomes?
value: how good or bad are the outcomes?
risk: which losses are tolerable?
authority: who may make the choice?
decision: which action is selected?

The option with the highest probability of success may have a trivial benefit, an unacceptable downside, or costs imposed on people who did not authorize the decision. Probability supplies inputs to decision-making; it does not settle values and responsibility.

Logic and probability in AI systems

A language model assigns probabilities to possible next tokens given context, then a decoding procedure selects outputs:

context
→ probability distribution over next tokens
→ token selection
→ generated text

High generation probability does not establish that a sentence is true, logically entailed, responsive to the user’s actual aim, or authorized for action.

An AI system therefore needs more than probabilistic generation. Depending on the task, it may need:

• factual retrieval and source checks;
• consistency and schema validation;
• explicit rules and permission checks;
• calculations or formal proofs;
• execution results and external feedback.

A fluent answer may be probable but contradictory. A valid derivation may be built on false retrieved facts. A calibrated prediction may still identify no useful intervention. These are different failure modes and require different checks.

An audit for uncertain inference

When reading or constructing an argument under uncertainty, ask:

1. What exactly are the propositions or events?
2. Which statements are premises, observations, assumptions, or definitions?
3. Is the conclusion entailed or only supported to a degree?
4. What evidence supports the premises?
5. What interpretation does the probability number have?
6. Is the conditioning information stated correctly?
7. Have base rates and rival hypotheses been considered?
8. Has an association or prediction been mistaken for a cause?
9. Which values, risks, and permissions remain outside the probability model?
10. What new evidence would change the conclusion?

Conclusion

Logic and probability impose different kinds of discipline on reasoning.

Logic specifies constraints among propositions and identifies what follows from accepted premises. Probability represents uncertainty about events or propositions and constrains how confidence should respond to evidence.

Their connection can be summarized as:

logic defines the structure
→ probability represents uncertainty within it
→ evidence updates probabilities
→ causal inquiry asks what changes what
→ values and risks enter decisions
→ action produces new evidence

Logic cannot replace probability when evidence is incomplete. Probability cannot replace logic when definitions conflict, possibilities are omitted, or an inference is invalid. Sound reasoning requires both the structure of consequence and the discipline of uncertainty.

References

• Stanford Encyclopedia of Philosophy: Classical Logic
• Stanford Encyclopedia of Philosophy: Logical Consequence
• Stanford Encyclopedia of Philosophy: Interpretations of Probability
• Stanford Encyclopedia of Philosophy: Inductive Logic
• Stanford Encyclopedia of Philosophy: Bayesian Epistemology

Expected value is a mathematical property of a probability distribution:

It is the probability-weighted mean of the values taken by a random variable.

Its importance comes from combining consequences and probabilities in one quantity. Its limitation is exactly the same: a single mean cannot preserve the full shape of a distribution or decide what risks a particular agent should accept.

Random variables and distributions

A random variable assigns numerical values to outcomes. For a fair coin, define:

heads → X = 1
tails → X = 0

The corresponding distribution is:

P(X = 1) = 0.5
P(X = 0) = 0.5

For a discrete random variable, expected value is defined as:

E[X] = Σ xᵢ P(X = xᵢ)

For the coin:

E[X] = 1 × 0.5 + 0 × 0.5 = 0.5

No single toss produces half a head. The expectation belongs to the distribution, not to an individual trial. OpenStax therefore describes expected value as the mean of a discrete random variable and, under repeated trials, as its long-run average.OpenStax: Mean or Expected Value and Standard Deviation

Expected value is not the most likely outcome

Consider a lottery:

Its expected payoff is:

E[X] = 0.1 × 100 + 0.9 × 0 = 10

Yet $10 is not a possible payoff, and $0 is the most likely result.

Several summaries answer different questions:

Two distributions can have the same expected value while assigning radically different probabilities to gains, losses, and extreme outcomes.

When does expectation become a long-run average?

Expected value is defined from a distribution. Its interpretation as an observed long-run average requires additional conditions.

The intuitive story assumes that:

• comparable trials can be repeated;
• the generating process remains stable;
• observations have suitable independence or regularity;
• the expectation exists and is finite;
• the agent can remain in the process long enough for averaging to matter.

Under appropriate conditions, averages across many trials can approach the expected value. That does not imply that a single observation should be close to it.

Many important choices are not indefinitely repeatable. A medical intervention, an irreversible project, or a decision that can exhaust all available capital may give one agent only one relevant draw. Expected value can still describe the modeled distribution, but “it works on average” is not a complete personal decision rule.

Why expected value is useful

Expected value compresses a distribution into a quantity that can be compared and combined. It is especially useful when:

• decisions repeat many times;
• losses can be pooled or diversified;
• outcomes have a common numerical scale;
• probabilities are reasonably stable;
• no single adverse outcome destroys the decision maker.

Expectation is linear:

E[aX + bY] = aE[X] + bE[Y]

This property does not require X and Y to be independent. It allows the expected value of a total to be assembled from the expectations of its components, which makes expectation central in statistics, finance, insurance, operations research, and machine learning.

Equal means can hide unequal risks

Compare two choices:

Their expected values are identical. Their distributions are not.

A decision maker still needs to inspect:

1. Dispersion: How far can outcomes depart from the mean?
2. Tail risk: Can a low-probability loss be catastrophic?
3. Ruin: Can one failure remove the ability to continue?
4. Timing: When do costs and benefits occur?
5. Reversibility: Can the choice be undone or repeated?
6. Dependence: Do losses arrive together rather than independently?
7. Model error: How reliable are the estimated probabilities and values?

Expected value is one feature of a distribution. Treating it as the distribution itself discards the information most relevant to many high-stakes choices.

From expected value to expected utility

A dollar does not have the same practical significance in every state or for every person. Losing $10,000 may be tolerable for one agent and ruinous for another. The numerical payoff and its value to the decision maker must therefore be distinguished.

Expected utility applies a utility function to outcomes before averaging:

E[U(X)] = Σ P(X = xᵢ)U(xᵢ)

In standard normative decision theory, an option is evaluated by combining beliefs about possible outcomes with the agent’s valuation of those outcomes. Under specified consistency conditions, preferences can be represented as maximizing expected utility.Stanford Encyclopedia of Philosophy: Decision Theory

This is a normative representation of rational choice under uncertainty, not a complete psychological description of how people actually decide. Kahneman and Tversky developed prospect theory partly as a descriptive challenge to expected utility accounts. Their experiments emphasized reference dependence, the special weight of certainty, and different patterns of risk attitude for gains and losses.Kahneman and Tversky: Prospect Theory

What do the probabilities mean?

Every expected value inherits the interpretation and quality of its probabilities. A probability may represent:

• a long-run frequency;
• an objective physical chance or propensity;
• evidential support for a proposition;
• an agent’s degree of belief;
• a predictive distribution estimated by a model.

These interpretations are related but not interchangeable. The philosophy of probability distinguishes physical, evidential, and subjective readings, each of which changes what an expected value claim means.Stanford Encyclopedia of Philosophy: Interpretations of Probability

A calculation may be arithmetically exact while its inputs are poor. Outcomes may have been omitted, values may be measured on the wrong scale, or probabilities may come from stale data and an incorrect model.

An expected value is no more reliable than its outcome definitions, value assignments, and probability estimates.

Expected value does not choose by itself

To use expected value in a real decision:

1. Define the available actions.
2. List materially different outcomes for each action.
3. Check for omitted indirect effects.
4. State where each probability comes from.
5. Decide what numerical value is being measured.
6. Compute the expectation.
7. Inspect dispersion, quantiles, dependence, and tails.
8. Test whether the agent can survive the downside.
9. Vary uncertain inputs and see whether the ranking changes.
10. Update the model when new evidence arrives.

The expected value is an input to judgment. It cannot determine whether the modeled objective is morally acceptable, whether a loss is survivable, or whether the decision maker has authority to expose others to the risk.

A final definition

Expected value is the probability-weighted mean of a random variable, used to summarize the center of its probability distribution.

It is not:

• a promise about the next observation;
• the most likely outcome;
• necessarily a value that can occur;
• a full description of risk;
• an automatic decision.

Expected value makes uncertain consequences comparable. Good judgment begins after that calculation, by restoring the information that the average leaves out.

References

• OpenStax: Mean or Expected Value and Standard Deviation
• Stanford Encyclopedia of Philosophy: Interpretations of Probability
• Stanford Encyclopedia of Philosophy: Decision Theory
• Stanford Encyclopedia of Philosophy: Normative Theories of Rational Choice: Expected Utility
• Kahneman and Tversky: Prospect Theory: An Analysis of Decision under Risk

People perceive problems, form beliefs, imagine futures, and develop preferences. None of these activities by itself selects a course of action. A decision occurs when an agent resolves enough of the open possibilities for one direction to guide what happens next.

Decision-making is the process through which an agent responds to a practical situation by comparing possible actions, uncertain consequences, values, and constraints, then commits to a course of action.

The central transition is:

several live possibilities
→ judgment and trade-off
→ one option gains practical priority
→ planning and action

Commitment here is revisable. It means that the agent stops treating every possibility as equally open and begins allocating time, attention, authority, and resources. New evidence can reopen the decision.

Decision, Judgment, Choice, and Intention

These terms often describe different parts of one episode.

“The project is likely to succeed” is a judgment. “Given its upside and our loss limit, we will fund the pilot” is a decision. The first does not entail the second. Action also requires values, constraints, alternatives, and an account of who bears the risk.

The Structure of a Decision

A practical situation

Why does a response seem necessary now? A decision problem begins with a conflict, opportunity, obstacle, or fork that matters to an agent.

A frame

“Should we continue the project?”, “How can we reduce its failure risk?”, and “Which objective should we preserve?” frame the same situation differently. A frame determines which options and evidence become visible. Precise analysis cannot rescue the wrong problem.

An agent and authority

Who can make the selection effective? Who advises, who can veto, and who bears the consequences? Collective deliberation does not produce an operative decision unless an institution also defines authority and responsibility.

Ends, values, and constraints

A goal specifies a desired state. Values explain why it matters. Constraints mark unacceptable means, risks, costs, or side effects.

Many hard decisions persist because several goods cannot be fully realized together. Revenue, safety, autonomy, fairness, speed, and loyalty may resist a common scale.

Feasible options

Success and failure are outcomes, not actions. Continue, stop, reduce scope, negotiate, run a pilot, or wait for information can be genuine options. Doing nothing and retaining the status quo also have consequences and should not disappear from the comparison.

Consequences, causation, and uncertainty

A decision requires a view about what each action might change. This is a causal question, not merely an association. It also requires some representation of uncertainty, whether statistical, model-based, judgmental, or explicitly unknown.

Probability says how plausible an outcome is. It does not say how desirable, fair, or acceptable that outcome would be.

A decision rule

An agent might maximize expected value, limit ruin, protect a non-substitutable value, choose a robust option, preserve reversibility, or stop searching when an option clears an aspiration level. Different rules can select different actions. The rule itself therefore needs justification.

Commitment, execution, and feedback

A decision must become a plan, allocation, instruction, or action. Observation then changes the next decision:

decide
→ execute
→ observe
→ compare expected and actual states
→ revise beliefs, ends, or rules
→ decide again

Three Questions for Decision Theory

Decision research separates three projects.

Descriptive

How do people actually decide? Psychology studies the effects of attention, memory, emotion, framing, defaults, social influence, and heuristics. The APA defines decision-making as the cognitive process of choosing between two or more alternatives. APA Dictionary of Psychology

A recurring behavior does not become rational merely because it is common.

Normative

How should coherent or rational choice be structured? Expected utility theory supplies one influential answer for choice under uncertainty:

EU(A) = Σ P(Oᵢ | A) × U(Oᵢ)

It compares acts by weighting the utility of possible outcomes by their probabilities. Contemporary utility is often a representation of preference rather than a direct unit of money or happiness. Stanford Encyclopedia of Philosophy: Expected Utility

The formula does not generate the option set, validate causal assumptions, settle moral constraints, or identify whose preferences should count.

Prescriptive

How can a real person or organization improve a particular decision? Prescriptive work translates evidence and standards into usable practices:

• separate facts, estimates, values, and unknowns;
• search for options suppressed by the initial frame;
• use outside comparison classes;
• specify stop, exit, and review conditions;
• buy information only when it can change action;
• test consequential assumptions through reversible steps;
• record what was known before outcomes became visible.

Bounded Rationality

No real agent has unlimited time, information, attention, or computation. Bounded rationality studies procedures that remain effective under those constraints. It does not simply label people irrational.

Herbert Simon’s idea of satisficing replaces exhaustive optimization with a search process and an aspiration level: stop when an option is good enough relative to the costs of continuing. Stanford Encyclopedia of Philosophy: Bounded Rationality

The rational question can therefore be:

Will the expected value of more information
exceed the cost of search, delay, and lost opportunity?

Indefinite optimization can itself be a poor decision.

Behavioral Regularities Are Not Merely Noise

Choices under risk depend on reference points, perceived gains and losses, presentation, and nonlinear sensitivity to probability. Prospect theory was developed to explain important patterns that standard economic models did not predict well. The 2002 Nobel Prize materials describe Daniel Kahneman’s contribution as integrating psychological research on judgment and decision-making under uncertainty into economics. Nobel Prize 2002

Calling a pattern a bias still requires a defensible benchmark. A shortcut can be poor under one environment and efficient under another once information and computation costs are included.

Why Decision-Making Is Not Only Calculation

Facts constrain action but do not specify what should matter. A probability distribution cannot decide which losses are acceptable. A utility score can clarify a trade-off while concealing rights, identity, loyalty, or values that the agent refuses to exchange.

The presence of several nominal options also does not guarantee meaningful agency. Poverty, power, addiction, information control, and institutional defaults alter the feasible set and the conditions of responsibility.

Collective decisions add procedural values. Who had standing, access to evidence, voice, and veto power can matter independently of whether the final outcome was efficient.

A Good Decision Can Have a Bad Outcome

Four evaluations should remain separate:

A low-probability event can defeat a sound decision. Luck can rescue a careless one. Evaluating the original decision by information learned only afterward produces hindsight and outcome bias.

A Practical Audit

1. What practical question actually requires resolution?
2. Has the initial frame excluded a better question?
3. Are inaction, delay, negotiation, or a reversible test real options?
4. Which statements are facts, causal assumptions, probabilities, values, or unknowns?
5. What mechanism connects each action to its expected effects?
6. What is being optimized, protected, or deliberately surrendered?
7. Can the worst plausible loss be borne?
8. Who decides, benefits, and bears risk?
9. Has the commitment entered plans, resources, and action?
10. Which new evidence would reopen the decision?

Decision-making is the joint between understanding and action. It closes some possibilities so that agency can proceed, while preserving the capacity to learn from consequences.

A good decision does not guarantee a good result. It is a defensible, executable, accountable, and revisable commitment made from the evidence, values, and constraints available at the time.

Further Reading

• Mental Models: How We Represent, Predict, and Act
• How Human Thinking Works: Representation, Reasoning, and Action

Sources

• APA Dictionary of Psychology: Decision Making
• Stanford Encyclopedia of Philosophy: Normative Theories of Rational Choice—Expected Utility
• Stanford Encyclopedia of Philosophy: Descriptive Decision Theory
• Stanford Encyclopedia of Philosophy: Bounded Rationality
• Nobel Prize 2002: Psychological and Experimental Economics