What are some examples of words in the X category?
We looked at some slides today and some chalk-drawn tree structures that featured nodes like XP, X’, and X. So, what’s the relation between XP and VP? Or X’ and V’? And what is an XP anyway?
The answer is that XP can be thought of as “some phrase or other”, an arbitrary phrase. The idea is that it doesn’t matter what the category is, what we say about XP is supposed to hold of all categories. A longer version of this might go:
Take any element from the lexicon. Assume (as is reasonable) that anything we can pick from the lexicon has a category, something like N, V, P, D, C, A, or T. We don’t know what you picked (that is, it doesn’t matter what you picked), but suppose that we wish to express that, when Merge combines this head you picked with another one, and the head you picked projects its features, then we write the label of the unit with a “P” after the name of the category. We could say this by expressing the convention with blanks to fill in with the category: “When a lexical item of category __ is Merged with another lexical item and the first one projects, the combined unit is a __P.” We then say that this is true whenever you pick a lexical item and fill in its category into the two blanks in the statement of the convention.
That’s pretty much exactly what is meant by “XP”. “X” here is not really a category, it stands for whatever category we’re talking about. By stating generalizations about X and XP, we’re basically stating generalizations about N and NP, V and VP, A and AP, D and DP, C and CP, T and TP, etc., all at once. As well as for any categories that perhaps exist but have not yet been discovered, something that just listing the generalizations (one per known category) cannot achieve.
Same goes for YP and ZP. There’s nothing in our lexicon that actually has X, Y, W, or Z as its category, but we use those letters as variables (like “blanks”) to stand in for the category of whatever it is we’re talking about. This allows us to say, for example, that the category feature of the maximal projection, intermediate projection, and minimal projection is the same, for any category you care to pick.
Adger has a very small discussion of this on p. 115, consisting essentially of the line “I have used the variables X, Z, and W to stand for arbitrary labels.” But this is what he means.
If things are easier to grasp through a math analogy (as is often the case, no doubt, in your experience), consider this: The use of X above is (in a way) quite similar to the x of algebra. That is, the x in 3x + 2x = 10. The x there stands for a number, and we’re (probably) interested in trying out whatever numbers there are in that position to see which ones meet the condition that when multiplied by 3 then added to what you get when multiplying it by 2, the result is 10. Whatever number you try, you have to put it in for x consistently, since x simply refers to “the number you’re trying.”
Helpful? I hope this clarifies things a bit if you weren’t clear what the X was doing in X-bar theory.