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

Back to manuscript

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 .

Nearby in this section