| In the classical predicate calculus only conjunction, negation and the universal quantifier are needed. |
| The distinction here can be seen as a distinction of scope for the existential quantifier. |
| The claim, of course, was that referential uses of a description are a function of pragmatics, not quantifier scope. |
| Disjunction, implication and the existential quantifier are definable making free use of double negation. |
| Thus, pronouns in discourse anaphora are not variables bound by their quantifier antecedents. |
| It is mapped onto the restrictor of the generic quantifier, hence an inductivist reading is available. |
