Sweet describes the pragmatic foundations of standard logic and applies these foundations to the task of developing a theory of intended models as an extension of standard model theory in which the relevant "intending" is represented pragmatically. Methods of formal logic are used to investigate the structure of the relation between language and the world. The truism which holds that this relation includes the speaker as well as the object spoken about is formally explicated...
