Abstract

In this paper we sketch a logic of message and reply. The logic is intended for application in a wide variety of situations, not restricted to the two-person, turn-taking situation. Each message has a body and a vector; the vector specifies the from, to, and the like. To reply to a message, it suffices to give either (1) a complete reply to the body or (2) a corrective reply to at least one presumption derivable from the vector. We discuss the problems of achieving effectiveness and completeness with respect to certain aspects of communication. The results are mixed. In section 9 we argue semi-formally that, in a certain sense, dialogue is necessary. Finally we note that this logic is not a rival of other approaches but may be combinable with them.