17
$\begingroup$

I was asked in class the other day by a professor for whom English is a second language why $\forall$ is sometimes read "for all" while other times read "for every." Is there a rule for this?

I was thinking it might be read "for every" for finite and possibly countably infinite sets, since "every" seems to emphasize the distinctness of unique elements, while "for all" might be used for uncountably infinite sets, but I'm not sure.

  • 0
    @jefflovejapan: There are many ways, even just in mathematical English, that $\forall$ can be "pronounced." Context may influence pronunciation. For example, I believe that in $\forall x \in A$, the pronunciation "for all" may be less favoured than the others, while consecutive $\forall$ tend to be pronounced "for all." It could be an interesting applied linguistics project to study large quantities of text to determine whether there are consistent patterns. For spoken mathematics it would be much harder.2011-07-04

3 Answers 3

6

Universal quantifications can be written as "for all", "for any","for every", and "for each"; see the beginning of p. 168 here and http://en.wikipedia.org/wiki/List_of_mathematical_symbols.

  • 3
    In view of JDH's answer, let me note that the ambiguous issue with "any" is also indicated on p. 168 of the linked article. Quoting: If you write "If for any $x \in X$, f(x) > a, \ldots," it really is not clear whether you mean "for all $x$" or "for some $x$."2011-07-04
16

There are some interesting ambiguities arising from the use of the word "any," for in some situations, this word indicates $\forall$ and in others it indicates $\exists$.

For example, when one says "any even number larger than two is composite," then the meaning is $\forall$.

But if I ask, "are there any red balls in the box?" I am clearly not asking whether every red ball is in the box.

Consider the question, "Is any prime number even?" One answer is "Yes, $2$ is a prime number that is even," and this answer interprets the question as $\exists$. But another answer is, "No, $3$ is a prime number that is odd," interpreting the question as $\forall$.

Or consider the ambiguous usage, "Is any function satisfying our constraints continuous?" It isn't clear whether one is asking about a universal claim ($\forall$) or seeking an example ($\exists$).

  • 0
    @lhf thanks, I found it in Norman E. Steenrod, Paul R. Halmos, Menahem M. Schiffer, Jean A. Dieudonne-How to write mathematics-American Mathematical Society (1973), page 38 https://books.google.com.hk/books?id=6UypbkweqiwC&pg=PA38&lpg=PA38&dq=ideas+from+one+mortal+to+another+it+becomes+a+cumbersome+code&source=bl&ots=4RgmiDK_bC&sig=BXMrfSLQLYyAfXlp5ukIZvHppQE&hl=zh-CN&sa=X&ved=0ahUKEwiJyeKarrLQAhXGq48KHTRPDwIQ6AEIGjAA#v=onepage&q=ideas%20from%20one%20mortal%20to%20another%20it%20becomes%20a%20cumbersome%20code&f=false2016-11-18
8

I think your question is in fact most appropriate for an English language website.

If I were to pretend that this were such a website, I might answer as follows: for every emphasizes the individuality of the objects in the collection and is technically a singular ("for every element x..."), whereas for all emphasizes the collection itself and is technically a plural ("for all elements x...")

Based on this I have to say that I find your idea of using for every when referring to "discrete" or countable sets and for all when referring to "continuous" or uncountable sets rather charming and insightful. However, as a matter of mathematical practice, in all my experience the terms are used absolutely interchangeably. Many people say one, many say the other, and many say both. Given that the universal quantifier $\forall$ is written as an upside-down $A$ and is latexed as "\forall", probably a lot of people are trained to say "for all" more often than "for every" and maybe especially in more formal contexts. But really either usage is absolutely permissible -- indeed, should go completely unnoticed (except by your student the professor?) -- in practice no distinction is made.

  • 0
    May I ask, as a matter of mathematical practice, if the two are "**absolutely** interchangeable" in the phrases: for every real number a; and, for all real numbers a and b?2012-07-13