The information state of an agent is changed when a text (in natural language) is processed. The meaning of a text can be taken to be this information state change potential. The inference of a consequence make explicit something already implicit in the premises - - . that no information state change occurs if the (assumed) consequence text is processed after the (given) premise texts have been processed. Elementary logic (. first-order logic) can be used as a logical representation language for texts, but the notion of a information state (a set of possibilities - - namely first-order models).
