Finite Offenses and Infinite Penalties - 36

A Proportionality Critique of Eternal Punishment and Atonement FINITE OFFENSES AND INFINITE PENALTIES 2 Thesis. Eternal punishment for finite offenses is logically incompatible with proportionate justice, restorative love, and genuine patience; common apologetic repairs (appeals to an infinite being’s dignity, redefinitions by divine fiat, or free-will reframings) either commit category errors, render justice tautological, or conflict with the resurrection premise in penal This paper sharpens the proportionality constraint into a typed, measure-preserving mapping principle and proves that no infinite penalty can be just for a finite offense under any admissible punishment metric. It shows why qualitative “infinite worth” does not validly induce infinite demerit, how fiat conceptions collapse justice into stipulation, and why a standard penal substitutionary package combined with resurrection yields a duration contradiction. The argument is presented as compact theorems with plain-English glosses, followed by replies to live objections (endless sin, status-scaling, deterrence, voluntarism, annihilationism) and implications for atonement models that aim to preserve love and This article offers five specific contributions to the literature on eternal punishment 1. The Conserved Mapping Principle (CMP). A typed, measure-preserving mapping /u1D453from offense magnitude to punishment magnitude is made explicit and constrained 2. Theorem T1 (Finite-Offense Exclusion). A proof that, under CMP, no just FINITE OFFENSES AND INFINITE PENALTIES 3 punishment assigned to a finite offense can be of infinite magnitude; the result is 3. Order-Explosion Lemma. A type-safe analysis of the “infinite worth ⇒ infinite demerit” move, showing that any mapping that forces finite offenses to infinite magnitude collapses ordinal structure needed for proportional justice. Theorem T2 (Normative Vacuity of Fiat). A demonstration that identifying justice with divine declaration is explanatorily empty with respect to proportionality and provides no linkage to the magnitude map. 5. PSA Duration Reductio. A compact inconsistency schema showing that penal substitution plus eternal penalty plus.