Quantificatori generalizzati e logica del primo ordine I

In this paper and in its sequel, “Quantificatori generalizzati e logica del primo ordine II”, I try to show that General Quantifiers (QG) are a much better formalization of natural language quantifiers than quantifiers of First order logic. First of all, general and natural language quantifiers have properties in common that first order quantifiers do not have. In the second place, there are some quantifiers in natural language that cannot be formalized in First order logic while they can be through QG theory. Furthermore, the logic form of QG is much more similar to the one of natural language quantifiers than that of first order quantifiers: QG make a clear distinction between noun phrases and predicates and do not introduce connectives which are not present in natural language sentences. Finally, some classes of quantifiers can be singled out from the point of view of QG theory that we cannot be singled out from the one of First order logic.