'MUITOS': FORMALIZANDO UM CONCEITO IMPRECISO

This work presents general notions involving quantifiers and shows a separation between logical quantifiers and non logical quantifiers. As a non logical quantifier, “many” is introduced in a formal approach which generates a new logical system: the Logic of Many. Finally we show some limits of the model proposed to interpret “many” in a formal context and discusses the subject.