[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >
The one thing I feel relatively strongly about is that all restricted quantification should behave alike, with respect to importingness. Given that, we have two possibilities, 1. RQ is importing. Therefore DeMorgan fails to apply to RQ when the quantified set is empty. But it is so meaningless to quantify an empty set that we would never want to do it, so it is of no practical consequence whether DeMorgan applies to it. 2. RQ is nonimporting. But it is so meaningless to apply RQ to an empty set that RQ always implicates a nonempty set. DeMorgan applies to RQ, but again this is of no practical consequence. If the choice is between (1) and (2), as I think it should be, then it is hard to see how anybody could give a shit which one is chosen. If it comes down to this choice and a vote on it, I will abstain; I'd be equally happy with tossing a coin to decide it. --And.