This competition entry has been selected for publication by the Forum team.
Option 1 — challenging P1 (the normative premise)
P1 is a universal claim about comparing actions: a justified preference for A over B always requires an assessment that A's downstream consequences are better. I take it in its broad form — not only literal expected values, but informal assessments too. Even an informal assessment must be made with some model of the world.
I grant P3 entirely. Our models are compressions. The universe changes while we model it, and it changes partly because we are within it. Our understanding of cosmos-wide consequences is therefore too coarse to compare actions, both in formal models and in informal reasoning.
My objection is to P1 itself. It is a universal claim, so one exception is sufficient.
Suppose an agent is a learning prediction model. I take myself to be such an agent. Then there are moments when that agent discovers that its actions have an effect it had not previously represented. Call that effect X.
The discovery is not the choice. What follows is. The agent can add X to its model (A), or it can continue calculating as before while knowing that X exists (B). Both are actions available to me, now.
I prefer A. Yet I do not need an expected value to justify this preference. Indeed, I cannot have one.
To justify A by comparing consequences, I must run that comparison inside some model. Which model?
If I use the model that already counts X, then I have already chosen A. The comparison presupposes the very revision it is meant to justify.
If I use the model that does not count X, then X appears nowhere in the comparison. From inside that model, adding X registers as no change at all.
Going one level up does not solve the problem. Any model capable of comparing A and B must itself already determine whether X belongs among the relevant considerations. The same problem therefore returns at every level.
The issue is not that the calculation is difficult. It is that there is no neutral calculation to perform. What a model counts is fixed before it can compute anything. Therefore what to count cannot itself be decided by computation within that model.
My preference also does not depend on whether I am ultimately correct about what I learned. Nor does it depend on predicting that adding X will improve future decisions. Once I judge X to be a relevant part of reality, knowingly maintaining a model that excludes it is defective. No forecast is required.
Moreover, B does not merely omit one effect from one calculation. It preserves a defect in the instrument that produces future assessments. For an impartial altruist, this is not merely an epistemic failure. It is a failure to remain responsive to consequences one already recognises as relevant.
P1 requires assessments; assessments require models. But model revision determines what the model is capable of assessing. Therefore P1 cannot remain neutral between A and B. It requires the choice of A before it can ask for the comparison that is supposed to justify A.
Therefore P1 cannot be universally true.
Defective how? Defective to what end? Perhaps we should omit this new finding, if the consequences of doing so are better?
And what consequences are those, that the impartial altruist recognizes as relevant?
I think this is exactly where my argument needs to be more precise. By “defective” I do not mean “expected to produce worse consequences.” If I meant that, then I would simply be making the EV argument again.
I mean defective as a model of reality.
Suppose I have a model M and I discover X. I come to believe that X is a real feature of the world and relevant to the domain I am trying to model. I then have two options:
It is perfectly possible that, for some particular goal, B produces better outcomes than A. I am not denying that. Indeed, that possibility is exactly why I don't want to define the defect in consequentialist terms.
My claim is instead:
Model of reality + recognised relevant information → norm to remain open to that information.
If I deliberately exclude X, I may still have a useful decision-making instrument. But I can no longer say that the resulting model represents the relevant part of reality without qualification.
So there are two different questions:
and
The first is an ordinary EV question.
The second is prior to it.
And this is precisely where I think P1 becomes problematic. P1 says that a justified preference between A and B requires comparing their downstream consequences. But the decision to revise the model is not itself simply a comparison between downstream consequences within a fixed model. It concerns the adequacy of the model that will subsequently be used to make those comparisons.
You ask:
Yes — if “should” means “is the action that maximizes the relevant objective.”
But then we have already moved back to ordinary practical reasoning.
My question is one level earlier:
If I say that I should knowingly exclude X because doing so has better consequences, I can calculate those consequences only through some model. But that model must already determine what counts as relevant information and what consequences count in the calculation.
So the model-revision question cannot be completely reduced to an EV comparison without introducing a criterion for model adequacy.
And that criterion is what I am calling an ontological ought.
On “what consequences are those?”
I think this is the most important question in your comment.
My answer is: they don't have to be consequences I have already specified.
That is precisely the point.
If I say:
then I have accepted the structure of P1.
But my claim is:
That claim is about maintaining the relationship between the model and reality, not about predicting a particular downstream outcome.
And there is an important distinction here between ignorance and exclusion.
If I don't know X exists, then X cannot be represented. That is simply the unavoidable limitation of a finite agent.
But once I encounter X and judge it to be relevant, I have a different problem. I now have information that conflicts with the boundary of my existing model.
At that point, maintaining the old model is not merely “being unaware.” It is actively preserving a representation in the face of information that challenges it.
That is the transition I am interested in.