Abstract

We consider the logical form of a natural language sentence to be a formal object which determines both the logical properties of the sentence and, more generally, the ways the sentence is logically related to other sentences. Thus if some NL sentence logically entails another, this fact must follow, given the logical forms of the two sentences. The power of a theory of logical forms of natural language then lies first in what logical properties and relations it can define, and second, in which NL sentences it can show to be logically related to which others.