# A key idea—the meaning postulate

In GTU, a proposition, p, is viewed as an answer to a question, q, of the form "What is the value of X?" Thus, *p* is a carrier of information about *X.* From this perspective, the meaning of p, M(p), is the information which *p* carries about *X.* An important consequence of the fundamental thesis of GTU is what is referred to as the meaning postulate. In symbolic form, the postulate is expressed as *M(p) = GC(X(p)),* where *GC(X(p))* is a generalized constraint on the variable which is constrained by *p.* In plain words, the meaning postulate asserts that the meaning of a proposition may be represented as a generalized constraint. It is this postulate that makes the concept of a generalized constraint the centerpiece of GTU.

A point which should be noted is that the question to which *p* is an answer is not uniquely determined by p; hence, X(p) is not uniquely defined by *p*. Generally, however, among the possible questions there is one which is most likely. For example, if *p* is "Monika is young," then the most likely question is "How old is Monika?" In this example, *X* is Age(Monika).