Manuscript Psy02-A@1 · Psy02-A.tex · theorem · d92ce402
Theorem: Relative non-entailment of an unconstrained assignment
Interpretive non-entailment · lines 2672–2688 · proof included or linked
Psy02-A@1#thm:nonentailment
Suppose has a model and contains no premise constraining an added predicate . Then the physical premises do not determine that predicate. In particular, there are two expansions with identical physical objects and predictions but different assignments.
Proof. Take one model of . Expand it once with and once with . The physical reduct is unchanged, so every physical premise and prediction has the same interpretation. The assignments differ because .