As far i understand existential import Aristotelian point of view universal statements should talk about things that are exist , But Boolean point of view say that we can talk about any thing . OK ?
But from both standpoints the word some implies existence .
so how they Treat the statement "some unicorns are red"
and why Boole make different standpoint of view in universal statements and keep particular the same as Aristotle ?
and by Boolean standpoint
All s are p = No member of s are outside p .
No s are p = No member of s are inside p .
and Venn diagrams will look like this
But How they will look like in Aristotelian point of view ?
then by existential import they make modern square of opposition
and only relation is contradictory i can understand why sub-alternation is
removed but i can't understand why another relation removed (sub-contrary ,