In this article, I argue that when movement maps onto a λ-bound variable (a “trace”), that variable must be of an individual semantic type, such as type e or type d. Thus, even though natural language has expressions of higher types, these expressions cannot be represented as traces. When an individual-type trace would not be able to semantically compose in the launching site of movement, the moved element is forced to syntactically reconstruct. The motivation for this constraint on traces comes from a detailed investigation of how DPs in their different semantic guises—entities, properties, and generalized quantifiers—are interpreted when they move. I then argue that strong definite descriptions exhibit the same type-based restriction—namely, they cannot occur in higher-type positions, which I take as evidence for the theory that traces are definite descriptions.
Skip Nav Destination
October 06 2022
In Special Collection: CogNet
Online ISSN: 1530-9150
Print ISSN: 0024-3892
© 2022 by the Massachusetts Institute of Technology. Published under a Creative Commons Attribution 4.0 International (CC BY 4.0) license.
Massachusetts Institute of Technology
This is an open-access article distributed under the terms of the Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. For a full description of the license, please visit https://creativecommons.org/licenses/by/4.0/legalcode.
Linguistic Inquiry 1–40.
Ethan Poole; (Im)possible Traces. Linguistic Inquiry 2022; doi: https://doi.org/10.1162/ling_a_00467
Download citation file: