Do we need quantification?
The authors argue that quantifiers in first-order languages are dispensable provided that only syntactic and semantic factors are considered. But, that they are indispensable for reasons of communicability. Among the special cases that are considered for the argument are ''quantificationally incomplete'' models (not enough names), and models on infinite domains, requiring infinite sentences as values of a ''dispensability function''.
scientific article; zbMATH DE number 3902612