 In what follows, we look at three rival accounts of quantification in modern logic. They are departures from classical quantification logic because they reject some of classical axioms of quantification or because they question some aspect of the Tarskian model theory we have used to interpret the language of classical quantification logic.