INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...

This anthology of essays on the work of David Kaplan, a leading contemporary philosopher of language, sprang from a conference, "Themes from Kaplan," organized by the Center for the Study of Language and Information at Stanford University.

Kaplan claims in Demonstratives that no operator may manipulate the context of evaluation of natural language indexicals. We show that this is not so. In fact, attitude reports always manipulate a context parameter (or, rather, a context variable). This is shown by (i) the existence of De Se readings of attitude reports in English (which Kaplan has no account for), and (ii) the existence of a variety of indexicals across languages whose point of evaluation can be shifted, but only in (...) attitude reports. We develop an alternative account within an extensional framework with overt quantification over times, worlds and contexts. Various typological facts are discussed, esp. the distinction between English, Amharic and Ewe pronouns, and that between English and Russian tenses. (shrink)

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)

Parallelism has been drawn between modes of representation and problem-sloving processes: Diagrams are more useful for brainstorming while symbolic representation is more welcomed in a formal proof. The paper gets to the root of this clear-cut dualistic picture and argues that the strength of diagrammatic reasoning in the brainstorming process does not have to be abandoned at the stage of proof, but instead should be appreciated and could be preserved in mathematical proofs.

This paper presents syntactic and semantic rules for a fragment of English with mixed quotation. The fragment shows that quotation has a recursive and compositional structure. Quoted expressions turn out to denote characters, so the semantics of quotation simulates the pragmatics of speech, including dependence on utterance contexts and reference to mental entities. The analysis also accommodates varieties of unquotation, pure quotation, and causal reference.

The phenomenon of mixed quotation exhibits clear signs of both the apparent transparency of compositional language use and the opacity of pure quotation. I argue that the interpretation of a mixed quotation in- volves the resolution of a metalinguistic presupposition. The leading idea behind my proposal is that a mixed-quoted expression, say, “has an anomalous feature”, means what x referred to with the words ‘has an anomalous feature’. To understand how this solves the paradox, I set up a precise grammatical (...) framework, explicitly connecting various levels of linguistic analysis: phonological forms, categorial syntax, and a dynamic picture of the semantics–pragmatics interface. In this framework I formalize and evaluate a presuppositional account of mixed quotation. Finally, I address the phenomenon of unquotation and argue that it is an essential ingredient for empirically adequate analysis of mixed quotation in natural language. (shrink)

dimensions. As a commenter, I should probably concentrate on the central claim and, if possible, probe its solidity. So, that’s what I’ll be doing.