Aethic Reasoning in Brief: From a Counterfactual Semantics to the Quantum Measurement Problem

A realist about quantum mechanics must say what unperformed measurements would have shown, and the theorems of Bell and Kochen–Specker forbid the obvious way of saying it: a standing valuation of the unmeasured. Every possible-worlds semantics for counterfactuals evaluates at complete worlds—a valuation by another name—so the realist needs counterfactual substance without counterfactual definiteness, and this paper compresses the framework, Aethic reasoning, built to supply exactly that: evaluation by perturbation of the evaluator’s own information state, the similarity ordering deleted rather than refined—absent as a primitive, and unrecoverable at the consequence-relation level on a reading the companion derives, with the full graded verdict function’s representability posed as the open challenge. The move beneath it: determinacy is a two-place relation between an attribute and an information state, and the openness it relativizes is tense-free—an observer’s unlearned past exactly as open as their unformed future. The chain, run once: blanks are constructive and permanent, so relabeling them wholesale as ignorance forces a single sample space that Bell statistics exclude. From there, mutual exclusivity becomes stated interior content, splitting superposition into a disagreeing regime and an agreeing one—the mixed/coherent regime distinction rendered as a difference in what is written, the continuous phase structure carried by the weighting axiom and nowhere on the attribute side. An information state is valid only if no future record can force a contradiction upon it, which is the collapse law, and run over a powerset of paths it draws the quantum–classical boundary as an exact record partition—recovering, with the weighting installed, Feynman’s indistinguishability rule with a non-circular referent for in principle. Collapse is then an indexing transition; cross-observer objectivity survives—no observer can meet another who contradicts them; and one flagged weighting axiom supplies the quantitative face, Malus and eraser phenomenology included. The price is stated with the claims: the Born-form weights are posited, the bridge from formal invalidity to physical unrealizability is a stated principle rather than a theorem, and one open construction—the irretrievability trigger—is where the framework stakes its divergence from universal unitarity.