Refine
Year of publication
- 2014 (23) (remove)
Document Type
- Part of a Book (23) (remove)
Language
- English (23) (remove)
Has Fulltext
- yes (23)
Is part of the Bibliography
- no (23)
Keywords
- Inversionsfigur (9)
- Multistability (9)
- Multistable figures (9)
- Syntax (9)
- Wahrnehmungswechsel (9)
- Bantusprachen (6)
- Aspect seeing (3)
- Thema-Rhema-Gliederung (3)
- Erkenntnistheorie (2)
- Figure of thought (2)
Institute
- Informatik (1)
Irene Heim in unpublished work proposed a new syntax-semantics interface for propositional attitude reports based on an ontology without transworld individuals, but counterpart functions instead. We show that the approach can capture the 'de re'/'de dicto' distinction, but makes different predictions from accounts with transworld individuals. Specifically, the account uses a non-invertible counterpart functions: a single individual in an alternative world can be the counterpart of many individuals of the real world. The directionality of counterpart functions predicts that a 'de dicto' interpreted DP cannot be an argument of a 'de re' interpreted predicate. We show that the predicted restriction is corroborated by existing work on restrictions on 'de re' interpretation. The derivation of constraints on 'de re' interpretation argues empirically for the counterpart ontology and Heim’s implementation thereof.
Proportional determiner quantifiers in German allow interpretations that violate the conservativity universal of Keenan and Stavi (1986). I argue for an analysis that distinguishes between surface syntax and the logical form of sentences. I show that in surface syntax, German non-conservative quantifiers are determiners that form a constituent with a noun phrase and share case and agreement properties with the noun phrase. But I propose that at logical form the non-conservative determiners undergo an adverbialization movement and are interpreted by a mechanism that generalizes focus-a ected quantification of Herburger (2000). This result refines the understanding of conservativity as a constraint on interpretation.
This volume contains the papers presented at the First International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2014) which was held on July 13, 2014 in Vienna, Austria during the Vienna Summer of Logic 2014 (VSL 2014) as a workshop of the Sixth Federated Logic Conference (FLoC 2014). WPTE 2014 was affiliated with the 25th International Conference on Rewriting Techniques and Applications joined with the 12th International Conference on Typed Lambda Calculi and Applications (RTA/TLCA 2014).