Refine
Year of publication
- 2018 (2) (remove)
Document Type
- Article (1)
- Working Paper (1)
Language
- English (2)
Has Fulltext
- yes (2)
Is part of the Bibliography
- no (2) (remove)
Keywords
- semantics (2) (remove)
Institute
- Informatik (1)
- Neuere Philologien (1)
Our recently developed LRSX Tool implements a technique to automatically prove the correctness of program transformations in higher-order program calculi which may permit recursive let-bindings as they occur in functional programming languages. A program transformation is correct if it preserves the observational semantics of programs- In our tool the so-called diagram method is automated by combining unification, matching, and reasoning on alpha-renamings on the higher-order metalanguage, and automating induction proofs via an encoding into termination problems of term rewrite systems. We explain the techniques, we illustrate the usage of the tool, and we report on experiments.
Despite a large body of research, the linguistic nature of exhaustivity in single wh-questions is unresolved. Moreover, little empirical evidence exists as to which related structures pattern with bare wh-questions regarding exhaustivity. This paper explores the felicity of various exhaustivity violations in unembedded single bare wh-questions in German and compares them to related structures. In two novel felicity judgment experiments, a total of 441 participants rated exhaustive as well as non-exhaustive plural and non-exhaustive singleton answers to wh-questions or statements in a questionnaire. Answers were based on picture stimuli depicting individuals performing various actions. The felicity of non-exhaustive answers was compared across four main test conditions: bare wh-questions (wer ‘who’), wh-questions with a lexical exhaustivity marker (wer alles ‘who all’), plural definite descriptions contained in a restrictive relative clause (e.g., “the people who are fishing in the garden”), and the scalar quantifier “some” (e.g., “some people who are fishing in the garden”).
We employ a novel methodological approach to improve the interpretability of statistical differences between experimental conditions by using the statistical measure of Minimal Important Difference (MID). Our results from estimated MIDs reveal that adults’ felicity judgments of non-exhaustive plural answers to bare wh-questions pattern with those to wer alles-questions and to plural definite descriptions: exhaustivity violations in the bare wh, the wer alles and the plural definite conditions were rated as less felicitous than exhaustivity violations in the some-condition.