Formal verification analysis demonstrates a transcendental argument against determinism using risk metrics across possible worlds, indicating that determinism undermines epistemic justification.
A familiar intuition holds that determinism creates an epistemically adverse context. This paper formalizes this intuition by developing a new epistemic transcendental argument grounded in epistemic risk. We define risk over a set W of possible worlds using two distance functions, D and N, encoding modal closeness and normalcy, respectively. We argue that these functions better capture our intuitions about risk than traditional similarity-based accounts. Building on this framework, we articulate an argument based on five philosophically motivated axioms. We verify their independence and consistency in Z3 and carry out all the derivations in Lean 4.
No takes yet. Share an insight, caveat, or question.
Alessio Montagner (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: