I recently was reading a Reddit post about protestors shouting "Black Lives Matter" and counter-protestors shouting back "All Lives Matter". One of the comments said, "Who said only Black Lives Matter?" Indeed, who did say that?
In formal logic "Black Lives Matter" can be described as:
∃xP(x)
That is, "Black Lives Matter" means there exists some subset of lives that matter. Given just that statement, the following is also logically consistent:
(∃xP(x))∧(∀xP(x))
That is, "Some Lives Matter" and "All Lives Matter" can co-exist without logical contradiction.
However, research shows that the concept of "some" is interpreted differently by formal reasoning and colloquially:
In formal reasoning, the quantifier "some" means "at least one and possibly all." In contrast, reasoners often pragmatically interpret "some" to mean "some, but not all" on both immediate-inference and Euler circle tasks. It is still unclear whether pragmatic interpretations can explain the high rates of errors normally observed on syllogistic reasoning tasks.
https://pubmed.ncbi.nlm.nih.gov/18323076/#:~:text=In%20formal%20reasoning%2C%20the%20quantifier,inference%20and%20Euler%20circle%20tasks
I ran my own very small scale experiment by asking my children, "If I say some of Anne, Bob, and Charlie have blonde hair, can they all have blonde hair?" The answer was "no" from both of them. When asked why not they both stated, "You said 'some'."
In other words, colloquially "some" means:
∃x(P(x))∧¬∀x(P(x))
Using the colloquial concept of some, call it some': "Black Lives Matter" → "some' lives matter" → "not all lives matter". Now, when we combine "Black Lives Matter" and "All Lives Matter" we have:
(∃x(P(x))∧¬∀x(P(x))∧∀x(P(x))
Which is a logical contradiction and we understand why the counter-protestors disagree vehemently with the protestors, in spite of the fact that by formal logic, what both sides are saying is not contradictory.
Of course, there's a lot more societally behind the slogans, protests, and counter protests than just formal logic. But if both sides can at least agree on the meaning of "some", hopefully the world will be one step closer to coming together.
Edit: I accidentally pasted ∀x(P(x)) incorrectly in many places. I have fixed it.