Abstract

(1) Every miner went to a meeting. It seems that (1) can mean either that there was one meeting that every miner went to, or that every miner went to at least one meeting with no guarantee that they all went to the same meeting. In the language of first-order logic we can represent these two readings as a matter of the universal and existential quantifiers having different scope with respect to each other.