| Summary | Topics in the philosophy of language tend to fall into two main branches, pragmatics and semantics. Roughly, semantics deals with conventional meaning. Theories in formal semantics for natural language attempt to pair meanings with sentence-context pairs in some systematic way. A primary test of correctness for a semantic theory is whether it allows us to define the logical properties of sentences (such as whether one sentence logically implies another). The term “pragmatics” covers both a part of formal semantics, so defined, and also the study of the ways in which utterances effect communication. The first kind of pragmatic theory deals with the way in which the extensions of terms and the truth values of sentences depend on features of the situation in which the sentence is spoken. The second kind of pragmatic theory studies the nature of speech acts, such as asserting or asking, and also the ways in which speakers manage to convey more than the conventional meaning of the sentence uttered. It is not always clear where in this taxonomy a given phenomenon should fall. The topic of presupposition, for instance, has been located under all of these headings. |