Squares of opposition
The traditional Aristotelian square of opposition is like that of first-order logic apart from existential import: Or in words: Outer negation is the contradictory, i.e., affirm/deny, and inner negation is the contrary, i.e., all/none. For quantifiers (or other operators) there is a duality square: Outer negation is negation of the whole quantifier; inner negation is …