What does 'any' mean in predicate calculus I need to translate an English sentence into a well-formed predicate calculus formula.
The sentence starts off as:

Any tiger who chases every creature also chases itself.

Does 'any' translate to 'for all' or 'there exists' in predicate calculus?

"Any" is sometimes an ambiguous word in English.
"You can cash this check at any bank" means no matter which bank it is, you can do it, so every banks is one at which you can cash the check.  But that's not the same as "You can cash this check at every bank."
"Any member of the club can be chairman" means that every member has that ability, but it does not mean "Every member of the club can be chairman", which would imply all at the same time.
"Is there any number that satisfies this equation?" means "Is there some number that satisfies this equation?".  But "Any number satisfies this equation" means in effect that every number satisfies this equation.
"Prove that any number is purple" is ambiguous: It could mean "Pick any number --- it doesn't matter which one --- and prove that it is purple", or it could mean "Prove that if you pick any number at all --- it doesn't matter which one --- then it is purple", and that would mean that every number is purple.
In some contexts the word "any" should be avoided because of the ambiguity.
