# Computing Simple Quantifiers

## Abstract

In this Chapter I introduce the idea of semantic automata—simple computational devices corresponding to basic quantifiers in natural language. In line with a procedural approach to semantics, given a quantified sentence and a finite model, a semantic automaton computes the truth-value of this sentence in that model. In order to build the semantic automata theory, I first show how to encode finite models as strings of symbols, translating between generalized quantifier theory and formal language theory. With the help of this encoding I show what kind of automata correspond to particular quantifiers. This leads to a number of characterization results, for instance, a classic theorem of Van Benthem establishing equivalence between quantifiers definable in first-order logic (e.g., ‘more than 5’) and quantifiers recognizable by finite-automata. Quantifier ‘most’, which is not definable in first-order logic, will require a recognition device with some sort of unbounded working memory, e.g., a push-down automaton. The question arises: are these logical characterizations cognitively plausible? In the next chapter, I will argue that the answer is positive.

## Keywords

Monadic generalized quantifiers Logical definability Finite model-theory First-order quantifiers Proportional quantifiers Automata theory Chomsky’s hierarchy Computations Finite-automata Push-down automata## References

- van Benthem, J. (1986).
*Essays in Logical Semantics*. Reidel.Google Scholar - Ginsburg, S., & Spanier, E. H. (1966). Semigroups, Presburger formulas, and languages.
*Pacific Journal of Mathematics*,*16*, 285–296.CrossRefGoogle Scholar - Kanazawa, M. (2013). Monadic quantifiers recognized by deterministic pushdown automata. In M. Aloni, M. Franke, & F. Roelofsen (Eds.),
*Proceedings of the 19th Amsterdam Colloquium*(pp. 139–146).Google Scholar - Mostowski, M. (1998). Computational semantics for monadic quantifiers.
*Journal of Applied Non-Classical Logics*,*8*, 107–121.CrossRefGoogle Scholar - Partee, B. H., ter Meulen, A. G., & Wall, R. (1990).
*Mathematical Methods in Linguistics*. Studies in Linguistics and Philosophy. Springer.Google Scholar