H. P. Grice, "The explicaturum-implicaturum distinction"

expositum: Grice: “My preferred term for what Strawson calls the exponible.’ In dialectica, an exponible proposition is that which needs to be expounded, i.e., elaborated or explicated in order to make clear their true ‘form,’ as opposed to its mere ‘matter.’ ‘Giorgione is so called because of his size.’ ‘Giorgione is so called because of his size’ has a misleading ‘matter’ (implicating at least two forms). It may suggestin a simple predication. In fact, it means, ‘Giorgione is called ‘Giorgione’ because of his size’. Grice’s examples: “An English pillar box is called ‘red’ because it is red,” “Grice is called ‘Grice’ because he is Grice.” “Grice is called ‘Grice’ because his Anglo-Norman ancestors had ‘grey’ in their coat of arms.” “Grice is called ‘Grice’ because his ancestor kept grice, i. e. pigs.” Another example by Grice: ‘Every man except Strawson is running’, expounded as ‘Strawson is not running and every man other than Strawson is running (for Prime Minister)’; and ‘Only Strawson says something true’, uttered by Grice. Grice claims ‘Only Strawson says something true’ should be expounded (or explicated, or explciited, or exposed, or provided ‘what is expositum, or the expositum provided: not only as ‘Strawson says something true and no one other than Strawson says something true’, but needs an implicated third clause, ‘Grice says something false’ for surely Grice is being self-referentially ironic. If only Strawson says something true – that proposition can only be uttered by Strawson. Grice borrowed it from Descartes: “Only Descarets says something ture.” This last example brings out an important aspect of exponible propositions, viz., their use in a sophisma. Sophismatic treatises are a common genre at Oxford in which this or that semantic issue is approached dialectically (what Grice calls “the Oxonian dialectic”) by its application in solving a puzzle case. Another important ingredient of an exponible proposition is its containing a particular term, sometimes called the exponible term (terminus exponibilis in Occam). Attention on such a term is focused in the study of the implicaturum of a syncategorematic expression, Note that such an exponible term could only be expounded in context, not by an explicit definition. A syncategorematic term that generates an exponible proposition is one such as: ‘twice’, ‘except’, ‘begins’ and ‘ceases [to eat iron, or ‘beat your wife,’ to use Grice’s example in “Causal Theory of Perception”]’, and ‘insofar as’ e.g. ‘Strawson insofar as he is rational is risible’.  H. P. Grice, “Implicaturum and explicaturum”