17
edits
(→Inquisitive semantics: Consider explaining presupposition) |
m (→TODO proposal details: Specify the syntax of the completeness phrase) |
||
Line 74: | Line 74: | ||
The complementizer {{t|ma}} will gain semantics, specifically <math>\lambda \text{P}. ?!P</math>. | The complementizer {{t|ma}} will gain semantics, specifically <math>\lambda \text{P}. ?!P</math>. | ||
We will need to add a new phrase to the grammar, the completeness phrase, TODO describe the completeness operators. However, it will usually have a null head, the incompleteness operator (which I'm pretty sure just does nothing?). | We will need to add a new phrase to the grammar, the completeness phrase, which will have a <math>\Sigma</math> phrase as its complement, and a completeness operator as its head. TODO describe the completeness operators. However, it will usually have a null head, the incompleteness operator (which I'm pretty sure just does nothing?). | ||
We'll probably want prefixes that apply to quantifiers and apply one of the following to the result of applying the quantifier (in other words, applying them outside the quantifier): <math>!</math>, <math>;</math>, <math>?</math>, <math>?!</math>. | We'll probably want prefixes that apply to quantifiers and apply one of the following to the result of applying the quantifier (in other words, applying them outside the quantifier): <math>!</math>, <math>;</math>, <math>?</math>, <math>?!</math>. |
edits