الخلاصة:
This study is about the logical theory of quantification and its relation to the linguistics of the Arabic language. Fencing so that we found a great convergence between the two fields, but the difference lies in the formal logical language, which is characterized by rigidity, unlike natural language.and this makes it richer than them, when logic is concerned with the universal quantifier and existential quantifier found the field of quantifiers in the language Arabic is wider so that multiple quantifiers and many applications.