16 Nov 2025 · Epistemology, Agency
On the Freedom of the Will
A post-paradox reconstruction. Building on the Fixed-Point Paradox's elimination of libertarian free will, the paper introduces five Minimal Empirical Adequacy Conditions, deliberative sensitivity, reason-action covariance, the voluntary-involuntary distinction, interventional responsiveness, and phenomenological coherence, as the observable properties any scientifically adequate theory of agency has to explain, and shows each one supported by neuroscience, developmental psychology, and behavioral research. Hard determinism is then shown to face an inescapable dilemma: accept all five conditions as real causal structure and become theoretically identical to compatibilism in everything but name, or deny them and contradict established neuroscience outright. A formalized measure of reason-responsiveness, the rho-metric, closes the paper with direct implications for education, criminal justice, and clinical psychology.
7 Nov 2025 · Modal Epistemology
Q's Gambit
Omnipotence, temporal logic, and the Fixed-Point Paradox, framed as a thought experiment. An atemporal, hypercomputational, omniscient, omnipotent agent, named for the entity from Star Trek: The Next Generation, is set against the Fixed-Point Paradox, and every conceivable escape route for libertarian freedom, uncaused primitive choice, branching timelines, consulting an oracle, editing the past directly, collapses into contradiction or into a claim that cannot even in principle be verified. The mechanism is simple: infallible knowledge that an agent will perform a given action forces the metaphysical necessity of that action, which by the ordinary rules of modal logic makes the counterfactual possibility of doing otherwise impossible. The conclusion follows without qualification: libertarian freedom is not an open empirical question or a matter of philosophical taste, it is logically impossible, and compatibilism is the only position left both coherent and substantive.
31 Oct 2025 · Modal Epistemology
The Fixed-Point Paradox and the Incoherence of Counterfactual Freedom
The founding paper of the series. It presents a formal proof that an embedded agent cannot simultaneously hold certain knowledge of its own future action and the modal power to have done otherwise, building on Newcomb's Problem and the wider literature on paradoxes of self-reference. The paradox is shown to be a physical and temporal instance of Gödel's incompleteness theorem and formally isomorphic to Turing's halting problem, which grounds it in the hard limits of computability rather than in any contingent fact about human psychology. The resulting Axiomatic Opacity Constraint and Principle of Agentive Verifiability together eliminate every libertarian model of agency and leave a single measurable, computable, and empirically responsible alternative standing: a compatibilist account of reason-responsiveness that the two companion papers go on to develop.