In this paper, we provide an overview of some of the results obtained in the mathematical theory of intermediate quantifiers that is part of fuzzy natural logic. We briefly introduce the mathematical formal system used, the general definition of intermediate quantifiers and define three specific ones, namely, “Almost all”, “Most” and “Many”. Using tools developed in FNL, we present a list of valid intermediate syllogisms and analyze a generalized 5-square of opposition.

A system of intermediate quantifiers (“Most S are P”, “m/n S are P”) is proposed for evaluating the rationality of human syllogistic reasoning. Some relations between intermediate quantifiers and probabilistic interpretations are discussed. The paper concludes by the generalization of the atmosphere, matching and conversion hypothesis to syllogisms with intermediate quantifiers. Since our experiments are currently still running, most of the paper is theoretical and intended to stimulate psychological studies.