Pascal writes the wager argument in the Pensées, fragment 233 of the Brunschvicg edition, around 1657-1658. The text is unfinished, fragmentary, written for his own use and intended for an apologetic project that death interrupts. It poses a situation of decision under uncertainty: the God of Christian salvation exists or does not exist. The human must choose: whether or not to enter into believing conduct. Four cases combine the two dimensions.
Pascal reasons explicitly in terms of gain. "If you win, you win everything; if you lose, you lose nothing." If God exists and one has believed, one gains eternal salvation, infinite gain. If God exists and one has not believed, one loses eternal salvation, infinite loss. If God does not exist and one has believed, one has lived virtuously without metaphysical benefit, finite loss, even null. If God does not exist and one has not believed, one has neither gained nor lost anything, null gain.
Reformulated in the modern language of mathematical expectation, the argument takes the following form. Let $p$ be the probability that this God exists. The expected gain for the believer is:
$$E_{\text{believe}} = p \cdot \infty + (1-p) \cdot 0 = \infty$$
The expected gain for the non-believer is:
$$E_{\neg \text{believe}} = p \cdot (-\infty) + (1-p) \cdot 0 = -\infty$$
The domination is total: for any probability $p$ strictly positive, betting on belief is strictly preferable to not doing so.
The argument is famous as a theological exercise. It is less often recognized for what it also is: one of the first European formulations of an existential decision under uncertainty based on a weighted expectation. What is singular in Pascal is not only the expectation calculation; it is its application to an irreversible existential decision. Pascal himself had laid the mathematical foundations a few years earlier, in his correspondence with Fermat on the problem of division of stakes in 1654. Huygens publishes in 1657 De ratiociniis in ludo aleae, the first printed treatise on probability. The religious wager applies to belief what the correspondence with Fermat had applied to gaming: a calculation of expected value under uncertainty.
Pascal knows that belief cannot be decreed. The wager therefore does not bear only on a mental proposition. It bears on conduct: taking holy water, having masses said, entering into the practices that will make belief possible. The metaphysical decision becomes present discipline. "Make yourself stupid," writes Pascal, in a formulation that posterity will retain as provocation, but which designates precisely this: a repeated present cost, a discipline of the body, an entry into the practices that make the future state possible.
The structure of Pascal's wager announces that which will govern the modern insurance industry. Consider a life insurance contract. The insured pays a current or periodic premium. In case of death under the foreseen conditions, their beneficiaries receive capital. The actuarial calculation does not bear on an individual destiny, but on a distribution of deaths in a population: age, mortality table, contract duration, discounting, fees, mutualization. The existential event, dying, is converted into contractual probability.
Let $q_x$ be the probability of death at age $x$ given by the mortality table, $C$ the guaranteed capital, $P$ the annual premium, $i$ the discount rate, $T$ the contract duration. The pure premium is calculated by:
$$P = \frac{\sum_{t=0}^{T-1} C \cdot q_{x+t} \cdot {}{t}p{x} \cdot (1+i)^{-(t+1)}}{\sum_{t=0}^{T-1} {}{t}p{x} \cdot (1+i)^{-t}}$$
where ${}{t}p{x}$ denotes the probability of survival from age $x$ to $x+t$. The structure is that of an expectation weighted by mortality and discounted over time.
The isomorphism is not legal, nor material. It is operational. A present decision is made as a function of an uncertain future event. The present is engaged in the form of a cost, a discipline, or a premium. The future is made operational by a table of consequences. The religious wager and the insurance contract share this architecture: converting future uncertainty into present obligation.
The modern insurance industry is progressively constituted from the second half of the 17th century. Edmund Halley publishes in 1693 a mortality table based on the registers of the city of Breslau, giving life insurance a first rigorous statistical basis. The Equitable Life Assurance Society, founded in London in 1762, applies premiums calculated according to methods inspired by James Dodson and founded on mortality data. It gives life insurance a durably institutional actuarial form. Daniel Bernoulli formalizes in 1738 the theory of expected utility in his article on the St. Petersburg paradox. Bernoulli does not replace expectation calculation; he displaces it. Gain is no longer only evaluated as expected amount $E[X]$, but as expected utility $E[U(X)]$, modulated by the situation of the one who wagers.
This is not a documentary filiation. This is a continuity of form. Halley, Bernoulli, the actuaries of the Equitable operate in a secularized framework where decision under uncertainty no longer needs the vocabulary of salvation. The Pascalian wager is filed under theology, actuarial science under economics. The operational continuity becomes invisible because the domains are institutionally separated.
Conversely, contemporary life insurance carries a metaphysical dimension that it never names. The life insurance contract transforms the uncertain future event par excellence, death, into a present and regular obligation: the premium. It converts a possible trajectory into current financial flow. The mathematical structure is neutral, but the ontological operation is massive. It displaces future uncertainty into the present, makes it operational, converts it into calculable value. This is exactly what Pascal asks of the believer: convert metaphysical uncertainty about God's existence into present decision, religious practice, sacraments, inscription in a community.
Secularization has not dissolved the wager. It has redistributed it.
Doctrine
Calculation structures migrate between fields without losing their logic. The theological of the 17th century, the actuarial of the 18th, the financial of the 19th, the algorithmic of the 21st century can share the same mathematical architecture under incompatible names. The institutional separation of domains masks operational continuity.
Pascal's wager is not a contract in the legal sense. It is deeper: it is the minimal contractual form of uncertainty. A present cost is accepted in exchange for a conditional right on an undemonstrable future.
Insurance secularizes this form: it replaces salvation with capital, faith with premium, the infinite with a finite sum, God with a solvent institution.
Open Vector
Credit as deferred redemption, present debt compensated by the promise of future revenue, under condition of virtuous behavior. Industrial traceability as distributed last judgment, each piece carries its file, ready to be summoned to appear if a failure requires it. Regulatory compliance as administrative grace, compliant status accorded to those who satisfy the prescribed rituals, withdrawn from those who deviate from them.
These rapprochements are only valid under one condition: naming the common operation. Transformation of present conduct into future right. Conservation of a trace in view of ulterior judgment. Attribution of status through conformity to a ritual.
What other contemporary operations are secularized theologies whose trace we have lost?
