動的意味論
この翻訳は自然言語文の真理条件を捉えている(あるいは近似している)が、この翻訳と文の統語形式との関係は二つの点で不可解である。第一に、ロバ文以外の文脈では、不定詞は通常、全称量化子ではなく存在量化子を表す。第二に、ロバ代名詞の統語上の位置は、通常、不定詞に束縛されることを許さないはずである。
こうした特殊性を説明するために、自然言語の不定詞はそれを導入した演算子の統語的作用域の外で利用可能な新しい談話指示対象を導入するということを、ハイムとカンプが提案した。この考えを実現するために、彼らは、ロバ照応を捉える形式体系をそれぞれ提案した。この形式体系は、エグリの定理とその補題を妥当とする。
Egli's Theorem: ( ∃ x φ ) ∧ ψ ⇔ ∃ x ( φ ∧ ψ ) {\displaystyle (\exists x\varphi )\land \psi \Leftrightarrow \exists x(\varphi \land \psi )} Egli's Corolary: ( ∃ x φ → ψ ) ⇔ ∀ x ( φ → ψ ) {\displaystyle (\exists x\phi \rightarrow \psi )\Leftrightarrow \forall x(\phi \rightarrow \psi )}