We argue that some sign language loci (i.e. positions in signing space that realize discourse referents) are both formal variables and simplified representations of what they denote; in other words, they are simultaneously logical symbols and pictorial representations. We develop a 'formal semantics with iconicity' that accounts for their dual life; the key idea ('formal iconicity') is that some geometric properties of signs must be preserved by the interpretation function. We analyze in these terms three kinds of iconic effects in (...) American and French Sign Language (ASL and LSF): (i) structural iconicity, where relations of inclusion and complementation among loci are directly reflected in their denotations; (ii) locus-external iconicity, where the high or low position of a locus in signing space has a direct semantic reflex, akin to the semantic contribution of gender features of pronouns; and (iii) locus-internal iconicity, where different parts of a structured locus are targeted by different directional verbs, as was argued by Liddell and Kegl. The resulting semantics combines insights of two traditions that have been sharply divided by recent debates. In line with the 'formalist camp' (e.g. Lillo-Martin and Klima, Neidle, and Sandler and Lillo-Martin), our theory treats loci as variables, and develops an explicit formal analysis of their behavior. But we also incorporate insights of the 'iconic camp', which emphasized the role of iconic constraints in sign language in general and in pronominals in particular (e.g. Cuxac, Taub, Liddell). However, this synthesis is only possible if formal semantics makes provisions for iconic requirements at the very core of its interpretive procedure. (An Appendix discusses relevant data from Italian Sign Language [LIS].). (shrink)

: In the 1980s, the analysis of presupposition projection contributed to a ‘dynamic turn’ in semantics: the classical notion of meanings as truth conditions was replaced with a dynamic notion of meanings as Context Change Potentials. We argue that this move was misguided, and we offer an alternative in which presupposition projection follows from the combination of a fully classical semantics and a new pragmatic principle, which we call Be Articulate. This principle requires that a meaning pp’ conceptualized as involving (...) a pre-condition p should be articulated as … … rather than as … pp’ …, unless the full conjunction is ruled out because the first or the second conjunct is semantically idle. In particular, … … is infelicitous - and hence … pp’ … is acceptable - if one can determine as soon as p and is uttered that no matter how the sentence ends these words could be eliminated without affecting its contextual meaning. An equivalence theorem guarantees that this condition suffices to derive Heim’s results in almost all cases. Extensions of the condition lead to several new predictions, in particular concerning some ‘symmetric readings’, as well as presupposition projection in quantified structures, which displays a complex interaction between the nature of the trigger and the monotonicity of the quantifier. (shrink)