Logical inference in English: A preliminary analysis

The perfect fit of syntactic derivability and logical consequence in first-order logic is one of the most celebrated facts of modern logic. In the present flurry of attention given to the semantics of natural language, surprisingly little effort has been focused on the problem of logical inference in natural language and the possibility of its completeness. Even the traditional theory of the syllogism does not give a thorough analysis of the restricted syntax it uses.My objective is to show how a theory of inference may be formulated for a fragment of English that includes a good deal more than the classical syllogism. The syntax and semantics are made as formal and as explicit as is customary for artificial formal languages. The fragment chosen is not maximal but is restricted severely in order to provide a clear overview of the method without the cluttering details that seem to be an inevitable part of any grammar covering a substantial fragment of a natural language. (Some readers may feel the details given here are too onerous.)I am especially concerned with quantifier words in both object and subject position, with negation, and with possession. I do not consider propositional attitudes or the modalities of possibility and necessity, although the model-theoretic semantics I use has a standard version to deal with such intensional contexts.An important point of methodology stressed in earlier publications (Suppes, 1976; Suppes & Macken, 1978; Suppes, 1979) is that the semantic representation of the English sentences in the fragment uses neither quantifiers nor variables, but only constants denoting given sets and relations, and operations on sets and relations.In the first section, I rapidly sketch the formal framework of generative syntax and model-theoretic semantics, with special attention to extended relation algebras. The second section states the grammar and semantics of the fragment of English considered. The next section is concerned with developing some of the rules of inference. The results given are quite incomplete. The final section raises problems of extension. Classical logic is a poor guide for dealing with inferences involving high-frequency function words such as of, to, a, in, for, with, as, on, at, and by. Indeed, the line between logical and nonlogical inference in English seems to be nonexistent or, if made, highly arbitrary in character-much more so than has been claimed by those critical of the traditional analyticsynthetic tradition.No theorems on soundness or completeness are considered because of the highly tentative and incomplete character of the rules of inference proposed. However, because of the variable-free semantics used, soundness is easy to establish for the rules given.The research reported here has been supported in part by National Science Foundation Grant No. SED77-09698.