"Existential quantification." Sounds like something a fraternity brother of mine might come up with after smoking a joint.
Brother 1:
"Hey man, I just smoked a doobie and was thinking about having some cookies. All of a sudden I was in an ecstatic state of motus animi continuus and I came up with this here on my notepad.
An
existential quantification is a type of
quantifier, a
logical constant which is
interpreted as "there exists," "there is at least one," or "for some."
"I love predicate logic dude! Give me another doobie. I'm a little stuck on the rules of inference part man. I need to tie up the loose ends. Also, get me some cookies bro! I have the munchies and want some, but I'm not sure whether I want 1 or all of them."
Brother 2: "What are you talking about dude? Some is not 1. It's some, you know, more than 1 and not all."
Brother 1: "Ah dude. You didn't even read what I wrote. It's logically sound man. Let's not talk about it anymore. Normal human communication is so untruthful."
Brother 2: Watches as Brother 1 eats all of the cookies. "You ate all of them."
Brother 1: "That's right. I said I was going to eat some, so I ate them all."
Brother 2: "You are messed up man. Don't try to tell me that some is all too."
Brother 1: "Of course, it is dude! The range for some is 1 - 100%. I said I was eating some. Some does not exclude the possibility that all have the characteristic of being a cookie. Now if I had said, I want some, but not all. See! I love logic man! One last thing, the some can be all thing is actually what I've decided to call "universal quantification." That's why I wanted the second doobie. I'm stoked! No more conversation though."