Abstract

Many theories provide semantics for English by proxy of semantics for the "logical form" of English sentences. The paper presents a dilemma: if there is no algorithm for moving between English and logical form, English itself has not been given a semantic theory. But if there is an algorithm, it can be incorporated in the theory, which would then apply directly to English. In the worst case, logical form is an obstacle to providing semantics for English. In the best case, it is unnecessary.