An Inequality for Experimentally Testing the Violation of Savage’s Sure-Thing Principle

Abstract

Recent advances in behavioral economics and quantum cognition and decision elucidated a number of deviations of actual human decisions and choices from mathematical principles of normative decision theory, which are referred to as “anomalies”. One of the prominent anomalies is that the violations of Savage’s sure-thing principle, which is the fundamental axiom of the rational theory of decision under uncertainty. It states that if prospect x is preferred to y knowing that Event A occurred, and if x is preferred to y knowing that A did not occur, then x should be preferred to y even when it is not known whether A occurred. I explicitly derive an inequality for testing the violations of Savage’s principle in behavioral experiments on decision under uncertainty. The derivation suggests that the violation of Savage’s sure-thing principle may be due to the violation of the rule of complementarity in probability theory. Future applications for behavioral and neuro- economics and quantum cognition and decision theory are discussed.

Share and Cite:

Takahashi, T. (2026) An Inequality for Experimentally Testing the Violation of Savage’s Sure-Thing Principle. Applied Mathematics, 17, 16-25. doi: 10.4236/am.2026.171002.

1. Introduction

Behavioral economic studies have explored various “anomalies” in human judgment and decision-making. For instance, people’s decision under risk and uncertainty often violates von Neuman and Morgenstern (1944) [1]’s expected utility theory based on the independence axiom (see Allais, 1953 [2], for an early examination of this axiom), and people usually discount future outcomes (gains and losses) in a hyperbolic manners (Thaler, 1981 [3]) rather than rational (dynamically consistent), exponential manner. As a result of extensive studies in behavioral economics, Daniel Kahneman, who mainly studied judgement and decision-making under uncertainty, and Richard Thaler, who is well-known for studies of self-control problems in intertemporal choice and nudge, a new type of behavioral intervention, won Nobel prize for economics. Kahneman’s colleague Amos Tversky has also performed great contributions to behavioral economics in studies of intransitive preferences, decision under risk and uncertainty, and the violations of Savage’s sure-thing principle, which is explained in the next part.

1.1. Behavioral Studies of Savage’s Sure-Thing Principle

Notably, among fundamental axioms in rational decision theory, Savage’s sure-thing principle has also been experimentally examined. The sure-thing principle was originally introduced by L.T. Savage (1954) [4] in the following example (slightly paraphrased). An agent faces a choice of whether to acquire a given asset, conditional on the outcome of a forthcoming presidential election, which is treated as a relevant state variable. Evaluating his preferences conditional on each possible electoral outcome, the agent finds that purchasing the asset is optimal both given a Democratic victory and given a Republican victory. Because the preferred action is invariant across these mutually exclusive and exhaustive states, the agent infers that the asset should be purchased even in the absence of information about which state will obtain.

As is demonstrated by this story, the sure-thing principle appears innocent and compelling. Savage legitimately recognized its general validity and noted: I know of no other extralogical principle governing decisions that finds such ready acceptance (Pearl, 2016 [5]).

Slovic and Tversky (1974) [6]’s study is one of the important early attempts to test this principle. They characterized Savage’s sure-thing principle in the following manner:

“Savage’ (1954) independence principle (SIP), also called the sure-thing principle. This axiom asserts that if two alternatives have a common outcome under a particular state of nature, then the ordering of the alternatives should be independent of the value of that common outcome. Objections to SIP, in the form of counter-examples have been proposed by Allais (1955) [2] and Ellsberg (1961) [7]”.

In Slovic and Tversky’s formulation, the distinct characteristics of Savage’s sure-thing principle from von Neumann and Morgenstern’s independence axiom (presented in more accessible language):

If a person prefers option A over option B, they should also prefer a lottery that gives A with probability p and some third option C with probability ( 1p ) over a lottery that gives B with probability p and C with probability ( 1p ) , in other words, preferences between options should remain consistent when they are part of probabilistic mixtures with a common third option is somewhat obscure. At a later stage in the emergence of behavioral economics, Tversky and Shafir (1992) [8] stated the principle in this manner:

“One of the basic axioms of the rational theory of decision under uncertainty is Savage’s (1954) sure-thing principle (STP). It states that if prospect x is preferred to y knowing that Event A occurred, and if x is preferred to y knowing that A did not occur, then x should be preferred to y even when it is not known whether A occurred”.

This formulation is distinctive in that it explicitly incorporates an assumption concerning the decision maker’s knowledge about the state of the world. However, in their studies (Shafir and Tversky (1992) [8] and Tversky and Shafir (1993) [9] on the Prisoner’s Dilemma, the Newcomb’s problem, Hawaii problem etc., they examined whether the following proposition, rather than Savage’s sure-thing per se, holds (I present it here in a readily understandable manner):

When the three probabilities are compared — namely, the probability that prospect x is preferred to y given that Event A occurred, the probability that x is preferred to y given that A did not occur, and the probability that x is preferred to y when it is not known whether A occurred — the latter tends to take an intermediate value between the two conditional probabilities.

It is here reasonable to question why this condition on three types of the probabilities (i.e., the two conditional probabilities and the unconditional probability) is equivalent to the Savage’s sure-thing principle, which incorporates an assumption concerning the decision maker’s knowledge about the state of the world, but not probabilistic concepts. This issue has been extensively studied in subsequent mathematical modelling studies by several physicists, psychologists, and behavioral economists who have started to utilize non-standard probability theories (e.g., quantum probability theory, Pothos and Busemeyer, 2009 [10]; Yukalov and Sornette, 2009 [11]; Cheon and Takahashi, 2010 [12]; Khrennikov, 2010 [13]) to model human violations of Savage’s sure-thing principle.

1.2. Relations between Savage’s Sure-Thing Principle and the Law of Total Probability

According to the law of total probability, if Events A and B form a partition of the sample space, the overall probability of Y can be expressed as a weighted sum of its conditional probabilities:

P( Y )=P( A )P( Y|A )+P( B )P( Y|B ).

This law states that the total probability of Y, the unconditional probability P( Y ) , which is equivalent to P( Y|AorB )=P( Y|unknown ) , is obtained by summing the conditional probabilities of Y occurring under each possible condition, weighted by the unconditional probability of each condition. When we set P( Y|A )=P( Y|B )=1 , the law of total probability reduces to P( Y )=1 , by using that P( A )+P( B )=1 . Here we must note that P( Y|A )=P( Y|B )=1 corresponds to “if prospect X is preferred to Y knowing that Event A occurred, and if x is preferred to y knowing that A did not occur (Event B occurred)” and P( Y )=1 corresponds to “x is preferred to y even when it is not known whether A occurred”. Therefore, it can be stated that Savage’s sure-thing principle in Tversky and Shafir (1992) [8]’s formulation is a special case of the law of total probability when P( Y|A )=P( Y|B )=1 . Tversky and Shafir 1992) [8] and Shafir and Tversky (1992) [9] exploited the law of total probability instead of Savage’s sure-thing principle per se. In the Hawaii problem introduced by Tversky and Shafir (1992) [8], participants exhibited a systematic violation of the Sure-Thing Principle. The majority of participants (this frequency was interpreted as the conditional probability P( Y|A ) ) preferred to purchase a vacation package when they knew they had passed the qualifying examination, and likewise when they knew they had failed (this frequency as interpreted as the conditional probability P( Y|B ) ). Nevertheless, when the examination outcome was unknown, most participants (this frequency was interpreted as the unconditional probability P( Y ) ) deferred or declined the purchase. This preference reversal demonstrates a disjunction effect: a choice that is preferred under each possible state of the world is not preferred under their disjunction. As can be seen, Tversky and Shafir (1992) [8] assumed that P( A )+P( B )=1 , without measuring participant’s subjective probabilities P( A ) and P( B ) . In other words, the Tversky and colleague’s interpretation relies on assumptions about these latent variables (probability weighting).

Although these Tversky and Shafir’s studies and subsequent studies in quantum models of cognition and decision (Khrennikov, 2010 [13]) have utilized the law of total probability, no studies to date explicitly address the inequality on behavioral-experimentally measurable values (i.e., P( Y ) , P( Y|A ) , P( Y|B ) ) which holds if and only if the Savage’s sure-thing principle holds. This point important for experimental psychologists and economist to test whether Savage’s sure-thing principle is violated under experimental conditions in laboratory settings.

2. Mathematical Analysis of Violations of Savage’s Sure-Thing Principle

As stated earlier, Savage’s sure-thing principle can be regarded as a special case for the law of total probability. By exploiting this, we can claim that the violations of Savage’s sure-thing principle is, under behavioral experimental conditions that participant has two mutually exclusive responses (Y or N) and s/he is allocated to two mutually distinct known experimental conditions (A or B) and an unknown condition, equivalent to the violations of the following inequality (see a proof below) with standard definition of conditional probabilities of which values are obtained from experimental data (provided P( Y|A )P( Y|B ) ):

0< P( Y )P( Y|B ) P( Y|A )P( Y|B ) <1. (1)

When this inequality is not satisfied with the experimentally observed values of P( Y ) , P( Y|A ) , P( Y|B ) , i.e., one of the following two inequalities is violated,

P( Y|B )<P( Y )<P( Y|A ) (2)

or alternatively,

P( Y|A )<P( Y )<P( Y|B ), (3)

we can say that Savage’s sure thing principle is violated, which suggests that the participants are irrational in the sense of normative principles of consequential rationality and/or standard probability theory:

It is to be noted that inequality 1 can only be utilized when P( Y|A )P( Y|B ) , in other words, the probability that participant’s response is Y under condition A is different from that under condition B.

I here denote the proof of inequality 1. The law of total probability states:

P( Y )=P( A )P( Y|A )+P( B )P( Y|B ). (4)

Because condition A and B are mutually exclusive, it is satisfied from the axiom of Kolmogorovian probability theory (from the rule of complementarity P( A )+P( notB )=1 ):

P( B )=1P( A ). (5)

If we solve Equation (4) in terms of P( A ) , by utilizing Equation (5), we obtain:

P( A )= P( Y )P( Y|B ) P( Y|A )P( Y|B ) . (6)

Now from 0<P( A )<1 , we obtain inequality 1. (QED)

3. Discussions

The present analysis indicates that after determining(measuring) three probabilities (two conditional probabilities of participants’ behavioral choices P( Y|A ) , P( Y|B ) and one unconditional probability P( Y ) : the probability of participants’ behavioral choices under the unknown condition) , we are able to distinguish between violations and non-violation of Savage sure-thing principle by checking whether the inequality 1 holds (non-violation) or not (violation). As far as I know, this is the first study to derive the inequality on experimentally measurable quantities to test the violations of Savage’s sure thing principle.

3.1. Relationship to Previous Studies

Here discussed the relationship of the present study to the previous ones examining the violations of Savage’s sure-thing principle and human probability judgement errors.

After Tversky and Shafir’s studies [8] [9], several studies in quantum cognition and decision models (see Khrennikov 2010 [13], for the rich applications of this approach) utilized the formula of probabilities in quantum theory, in which so-called “interference term” I appears, as is the usual case in quantum theory in physics, in the right-hand side of the law of total probability:

P( Y )=P( A )P( Y|A )+P( B )P( Y|B )+I (7)

which can capture the violation of Savage’s sure-thing principle in a quantitative manner. Originally, for modelling probability judgement errors in humans, Franco (2009) [14] quantified, by utilizing quantum settings, the interference term as

I=2 P( A )P( B )P( Y|A )P( Y|B ) cosθ ,

where θ is a parameter called “quantum phase” in mathematical formalism in quantum physics. This expression has been widely utilized to model the violation of Savage’s sure-thing principle and other human probability judgement errors, and extended in later studies (Cheon and Takahashi, 2010). However, in Tversky and Shafir’s studies [8] [9] (and most subsequent ones), P( A ) and P( B ) were not measured and, only P( Y ) , P( Y|A ) , P( Y|B ) are experimentally observed. This makes it difficult to distinguish between violation and non-violation of the Savage’s sure-thing principle from the experimental data in most quantum theoretical model studies. In contrast, the present approach based on the inequality only containing experimentally observable quantities ( P( Y ) , P( Y|B ) , P( Y|A ) ) which is an advantage when researchers are only interested in whether Savage’s axiom is violated or not.

The present approach also indicates a psychological origin of the Savage’s sure-thing principle, other than that proposed in Tversky and Shafir (and quantum models of cognition and decision). Shafir and Tversky (1992) [9] attributes the violation of the sure-thing principle (STP, in the citation below) to people’s “non-consequential” reasoning (i.e., lacking a clear reason for choice under unknown conditions):

“people do not always choose in a consequentialist manner, then STP may sometimes be violated. For example, we have shown elsewhere that many people who chose to purchase a vacation to Hawaii if they were to pass an exam and if they were to fail, decided to postpone buying the vacation in the disjunctive case, when the exam’s outcome was not known (Tversky & Shafir, 1992 [8]). Having passed the exam, the vacation is presumably seen as a time of celebration following a successful semester; having failed the exam, the vacation becomes a consolation and time of recovery. Not knowing the outcome of the exam, we suggest that the decision maker lacks a clear reason for going and, as a result, may prefer to wait and learn the outcome before deciding to go, contrary to STP.”

This interpretation of the violation of Savage’s sure-thing principle attributes “irrationality” in decision making to the wrong value of P( Y ) : probabilities of choice under unknown conditions, rather than wrong values of P( Y|A ) and P( Y|B ) . In quantum theorical modelling studies, additional “interference” term I alone is problematic, that is, the values of P( A ) , P( Y|A ) , P( B ) , P( Y|B ) are legitimate, resulting in “irrationality” of the left-handed side of equation 1, P( Y ) . It can together be said that both conventional (Tversky and Shafir [8] [9]) and quantum models [11]-[14] focus on the origin of psychological deviation from correct values of choice probabilities P( Y ) under unknown conditions. In contrast, the present analysis indicates another interpretation that Equation (5), the additivity of probabilities, the sum of the probabilities of Event A and Event B (not occurring Event A): is equal to one P( A )+P( notA )=1 , has a problem in human mind, since in deriving the inequality of the Savage’s sure-thing principle, Equation (5) is utilized. There are several studies demonstrating such non-additivity of probabilities in human mind. For instance, in Kahneman = Tversky’s prospect theory (1979) [15], the psychological probabilities in decision under risk (“decision weights”, also referred to as probability weighting) are not additive: w( p )+w( 1p )<1 (subadditivity), as shown by Allais (1953) [2]’s classical paradox. More concretely, the equation

P( Y )=w( P( A ) )P( Y|A )+w( 1P( A ) )P( Y|B )

should be utilized to analyze the violations of Savage’s sure-thing principle and the law of total probabilities. In previous studies, the unobserved participant’s subjective probability P( A ) and P(B) were employed instead of probability weighting w( P( A ) ) and w( 1P( A ) ) in prospect theory.

3.2. Possible Future Directions

As suggested above, the violation of Savage’s sure-thing principle arises from the violation of complementarity rule in probability theory: P( A )+P( notA )=1 where P( A ) is the subjective belief that Event A occurs. This violation of the probability rule has been extensively studied in behavioral economics, particularly in Kahneman and Tversky’s prospect theory [15] as sub-additivity of probability weighting functions. Therefore, it may be promising future directions to examine whether the violations of Savage’s sure-thing principle is related to nonlinearity in decision-maker’s probability weighting functions. Behavioral economist Drazen Prelec [16] axiomatically derived the probability weighting function: w( p )=exp( ( lnp ) a ) , 0<a<1 . from, what is known as compound invariance. Al-Nowaihi and Dhami (2006) [17], who derived the probability weighting function from “power invariance”, states the importance of the axiom of Prelec’s compound invariance:

“The importance of this axiom is as follows. In expected utility theory, the product rule for probabilities allows us to reduce a compound lottery to a simple lottery of the same expected utility. Once we depart from expected utility theory, we need a rule that plays an analogous role. Compound invariance is a candidate for such a rule.”

Since the violations of Savage’s sure-thing principle may, as indicated from the present analysis, result from the nonlinearity of probability weighting in decision under uncertainty, it is necessary to be examined whether certain types of invariance principles are satisfied in the mathematical formulations of the violations of the principle.

Furthermore, Takahashi (2011) [18] derived the probability weighting function form psychophysical laws of time perception from which hyperbolic temporal discounting (Takahashi, 2005) [19] and the characteristics of prospect theory’s probability weighting (Takahashi and Han 2013) [20] are derived. Hence, it is an interesting possibility that the violations of Savage’s sure-thing principle originate from nonlinear distortion of time-perception. This should be examined in future studies in behavioral economics.

Several studies have attempted neural information processing underlying the violations of Savage’s sure-thing principle. Takahashi and Cheon (2012) [21] explored connection of quantum-like models to nonlinear neural population coding (bridge from cognitive model to neural mechanism). This study is a useful first attempt to investigate a neurally plausible account of quantum probabilistic interference effects on decision through uncertainty, resulting in the violation of Savage’s sure-thing principle. Recently, Khrennikov and colleagues (2025) [22] also attempts to embed quantum-like cognitive models inside neuronal/graphical network frameworks; explicitly targeted at reproducing disjunction and order effects (including the violations of Savage’s sure-thing principle) while connecting to neuronal architectures. Nevertheless, more work is needed for theoretical links between neural information processing and the violation of Savage’s sure-thing principle.

In the field of neuroeconomics, Berns et al. (2007) [23] were an early fMRI conceptual/empirical approach to estimating probability weighting from neural data. Tobler et al. (2008) [24] conducted Single-unit work showing that neural signals represent probability in a nonlinear fashion consistent with a weighting function (important neuronal evidence for distortions analogous to prospect theory weighting). Hsu et al. (2009) [25] shows fMRI evidence that BOLD signals respond nonlinearly to objective probability; authors fit Prelec-style weighting forms to neural responses. This is central for linking the violations of Savage’s sure-thing principle to distorted subjective probability representation. Ojala et al. (2018) [26] reported that pharmacological manipulation (dopamine) changes estimated probability-weighting. This study elucidated neurotransmitter mechanisms underlying nonlinear probability weighting in decision under risk and uncertainty. Future studies should examine which types of neurotransmitters modulate both the violations of Savage’s sure-thing principle and nonlinearity in probability weighting, to clarify common neuronal mechanisms underlying the violations of the complementarity probability law and Savage’s sure-thing principle.

4. Conclusions

The present analysis suggests that by examining three experimentally observable probabilities—two conditional probabilities of participants’ behavioral choices, P( Y|A ) and P( Y|B ) , and one unconditional probability P( Y ) representing choices under the unknown condition—we can determine whether Savage’s sure-thing principle is violated or not by testing whether inequality (1) holds (non-violation) or fails (violation). Theoretically, the present analysis shows a violation of the sure-thing principle may imply a corresponding breakdown of the rule of complementarity in probability theory. Future research employing neuroimaging and pharmacological approaches, together with theoretical investigations of the relationship between the sure-thing principle and neural information processing, will be important for advancing our understanding of this phenomenon.

Conflicts of Interest

The author declares that they have no conflicts of interest.

References

[1] von Neumann, J. and Morgenstern, O. (1944) Theory of Games and Economic Behavior. 3rd Edition, Princeton University Press.
[2] Allais, M. (1953) Le Comportement de l’Homme Rationnel devant le Risque: Critique des Postulats et Axiomes de l’Ecole Americaine. Econometrica, 21, 503-546.[CrossRef]
[3] Thaler, R.H. (1981) Some Empirical Evidence on Dynamic Inconsistency. Economics Letters, 8, 201-207.[CrossRef]
[4] Savage, L.J. (1972). The Foundations of Statistics. 2nd Edition, Dover Publications.
[5] Pearl, J. (2016) The Sure-Thing Principle. Journal of Causal Inference, 4, 81-86.[CrossRef]
[6] Slovic, P. and Tversky, A. (1974) Who Accepts Savage’s Axiom? Behavioral Science, 19, 368-373.[CrossRef]
[7] Ellsberg, D. (1961) Risk, Ambiguity, and the Savage Axioms. The Quarterly Journal of Economics, 75, 643-669.[CrossRef]
[8] Tversky, A. and Shafir, E. (1992) The Disjunction Effect in Choice under Uncertainty. Psychological Science, 3, 305-310.[CrossRef]
[9] Shafir, E. and Tversky, A. (1992) Thinking through Uncertainty: Nonconsequential Reasoning and Choice. Cognitive Psychology, 24, 449-474.[CrossRef] [PubMed]
[10] Pothos, E.M. and Busemeyer, J.R. (2009) A Quantum Probability Explanation for Violations of ‘Rational’ Decision Theory. Proceedings of the Royal Society B: Biological Sciences, 276, 2171-2178.[CrossRef] [PubMed]
[11] Yukalov, V.I. and Sornette, D. (2008) Quantum Decision Theory as Quantum Theory of Measurement. Physics Letters A, 372, 6867-6871.[CrossRef]
[12] Cheon, T. and Takahashi, T. (2010) Interference and Inequality in Quantum Decision Theory. Physics Letters A, 375, 100-104.[CrossRef]
[13] Khrennikov, A. (2010) Ubiquitous Quantum Structure: From Psychology to Finance. Springer.
[14] Franco, R. (2009) The Conjunction Fallacy and Interference Effects. Journal of Mathematical Psychology, 53, 415-422.[CrossRef]
[15] Kahneman, D. and Tversky, A. (1979) Prospect Theory: An Analysis of Decision under Risk. Econometrica, 47, 263-291.[CrossRef]
[16] Prelec, D. (1998) The Probability Weighting Function. Econometrica, 66, 497-528.[CrossRef]
[17] Al-Nowaihi, A. and Dhami, S. (2006) A Simple Derivation of Prelec’s Probability Weighting Function. Journal of Mathematical Psychology, 50, 521-524.[CrossRef]
[18] Takahashi, T. (2011) Psychophysics of the Probability Weighting Function. Physica A: Statistical Mechanics and Its Applications, 390, 902-905.[CrossRef]
[19] Takahashi, T. (2005) Loss of Self-Control in Intertemporal Choice May Be Attributable to Logarithmic Time-Perception. Medical Hypotheses, 65, 691-693.[CrossRef] [PubMed]
[20] Takahashi, T. and Han, R. (2013) Psychophysical Neuroeconomics of Decision Making: Nonlinear Time Perception Commonly Explains Anomalies in Temporal and Probability Discounting. Applied Mathematics, 4, 1520-1525.[CrossRef]
[21] Takahashi, T. and Cheon, T. (2012) A Nonlinear Neural Population Coding Theory of Quantum Cognition and Decision Making. World Journal of Neuroscience, 2, 183-186.[CrossRef]
[22] Khrennikov, A., Ozawa, M., Benninger, F. and Shor, O. (2025) Coupling Quantum-Like Cognition with the Neuronal Networks within Generalized Probability Theory.
https://www.sciencedirect.com/science/article/pii/S0022249625000240
[23] Berns, G.S., Capra, C.M., Chappelow, J., Moore, S. and Noussair, C. (2008) Nonlinear Neurobiological Probability Weighting Functions for Aversive Outcomes. NeuroImage, 39, 2047-2057.[CrossRef] [PubMed]
[24] Tobler, P.N., Christopoulos, G.I., O'Doherty, J.P., Dolan, R.J. and Schultz, W. (2008) Neuronal Distortions of Reward Probability without Choice. The Journal of Neuroscience, 28, 11703-11711.[CrossRef] [PubMed]
[25] Hsu, M., Krajbich, I., Zhao, C. and Camerer, C.F. (2009) Neural Response to Reward Anticipation under Risk Is Nonlinear in Probabilities. The Journal of Neuroscience, 29, 2231-2237.[CrossRef] [PubMed]
[26] Ojala, K.E., Janssen, L.K., Hashemi, M.M., Timmer, M.H.M., Geurts, D.E.M., ter Huurne, N.P., et al. (2018) Dopaminergic Drug Effects on Probability Weighting during Risky Decision Making. eNeuro, 5, ENEURO.0330-18.2018.[CrossRef] [PubMed]

Copyright © 2026 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.