A logic of questions and answers exists within the logic of statements, if we make the following identifications (roughly): "Whether" questions are identified with true exclusive disjunctions, and "which" questions are identified with true existential quantifications. The question-and-answer process is interpreted as an information-matching game. The question mark is not needed except as a device of abbreviation. Complete and partial answers can be distinguished and various relations of relevance, independence, and resolution defined.

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. (shrink)

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. (shrink)

2. Presupposition is a relation between two entities which have different ontological status. Presupposition is transitive.

If the currently available theories of semantic information and utility-expectation are to be applied in a satisfactory way, they must be combined with a message-processing procedure. This paper presents a model of communication within which such a procedure can be defined. In this model the sender's messages arrive over a period of time, the receiver can reject some messages and retain others, the receiver can change his mind in various ways, and the receiver can apply various evaluation functions to a (...) "usable message total". As one example of message-evaluation, a system for evaluating news-value is presented. (shrink)

In this paper I discuss a generalization of communication theory. I sketch a model of the communication situation sufficiently general to subsume all models of particular aspects of communication. Several definitions and lines of inquiry are proposed. It will be evident that much of what I say has been influenced by Bar-Hillel, and also that this paper goes beyond Bar-Hillel's both in generality of scope and in details of analysis. The more general aim of the paper is to suggest a (...) reconstruction of our intuitions regarding communication. In particular, I argue that we should drop the idea that anything is “conveyed” in communication. (shrink)

2. Mr. Raab is right that some elucidation is needed for thesis 1. Following his suggestion, I would say that an assumption is a proposition which we believe but can't prove. But, what he calls "assumptions which aren't believed" I subsume under "supposition." Suppositions and assumptions can be well-confirmed hypotheses. To entertain is to consider, to examine, or to test.

he notion of linguistic adequacy (the adequacy of sentences to express or describe) is explicated in terms of a set theoretical model of the communication situation. Roughly: a message is adequate to the degree it answers the receiver's questions. Adequacy is distinguished from openness, in such a way that a message can be both completely adequate in a communication event and also “inexhaustibly open”;. Using this explication it is possible to translate and clarify several familiar philosophical theses concerning the adequacy (...) of language. The view that “humanistic”; language differs from scientific language is clarified and criticized. Seven types of empirical test of the explication are discussed. (shrink)