⟳ Репост от Rollofthedice
I think I see the larger objection you’re building, so let me scope ahead. If the claim were “this model is the uniquely correct worldview,” satisfiability would be insufficient. But the target is a necessity claim, which quantifies over every admissible alternative.