4,205 research outputs found

    On greek illusions: a semantic account of Alexopoulou’s generalization

    Get PDF
    Alexopoulou (2008) argues that Greek provides new evidence for the concept of binding illusions that was hypothesized by Fox and Sauerland (1996). Of special interest from my perspective is Alexopoulou’s argument that binding illusions arise not only with existential and universal quantifiers, but also with negative and interrogative quantifiers. The purpose of this note is to speculate on how to account for these kinds of binding illusions semantically building on Alexopoulou’s argument. In the following I refer to Alexopoulou’s (2008) paper as BIRG (Binding Illusions and Resumption in Greek) and to Clitic Left-Dislocation as CLLD. BIRG’s argument is based on the generalization concerning CLLD in Greek. Generally, a left-dislocated noun phrase cannot bind a pronoun in its clause in Greek

    Higher-Dimensional Timed Automata

    Full text link
    We introduce a new formalism of higher-dimensional timed automata, based on van Glabbeek's higher-dimensional automata and Alur's timed automata. We prove that their reachability is PSPACE-complete and can be decided using zone-based algorithms. We also show how to use tensor products to combat state-space explosion and how to extend the setting to higher-dimensional hybrid automata

    On embedded implicatures

    Get PDF
    The Gricean approach explains implicatures by assumptions about the pragmatics of entire utterances. The phenomenon of embedded implicatures remains a challenge for this approach since in such cases apparently implicatures contribute to the truth-conditional content of constituents smaller than utterances. In this paper, I investigate three areas where embedded implicatures seem to differ from implicatures at the utterance level: optionality, epistemic status, and implicated presuppositions. I conclude that the differences between the two kinds of implicatures justify an approach that maintains Gricean assumptions at the utterance level, and assumes a special operator for embedded implicatures
    • …
    corecore