Traditional Square of Opposition

{{sources needed}}
[[File:Square of opposition, set diagrams.svg|thumb|right|165px|The Square of Opposition for set diagrams]]
{{logicnav}}
The '''traditional Square of Opposition''' is a square used to remember and help with four of the seven operations that can be done with the four types of [[Syllogism#Propositions|logical statements]]. In no specific order, they are the '''contradiction''' operation, the '''contrary''', the '''subcontrary''', and the '''subalternation''' operations. They relate the four logical statements together in ways that can help us find [[Truth#Role in logic|truth]] values and make invalid (because of form) syllogisms valid. The Square is arranged affirmative to negative left to right and universal to particular top to bottom. In this way, '''A''' is diagonally opposite to '''O''', is vertically above '''I''', and is horizontally across from '''E'''. '''I''' and '''O''' are horizontal from each other, and '''I''' is diagonal to '''E'''. '''O''' is vertically below '''E'''.

==Contradiction==
This operation is quite simple. It involves looking at the truth value of the first statement you have and going diagonally across the square and giving the diagonal statement the opposite truth value. For example, if the '''O''' statement 'some bananas are not yellow fruit' is false, using the contradiction operation has us go diagonally to the '''A''' statement, 'all bananas are yellow fruit'. If the '''O''' is false, it's contradiction '''must''' be true.{{efn|In logic, it's always assumed that the premises are true (unless stated otherwise) ''regardless of their truth in [[reality]]''.}} This is how a [[Deductive reasoning|deductive argument]] can be [[valid]] but not [[Soundness|sound]]. All purple animals jump over the [[Moon]]; all cows are purple animals; therefore all cows jump over the moon is valid because the premises are assumed to be true, but it isn't sound because in reality it's obviously false. The point here is that just because is that even if something is false in reality, it's assumed to be true for the sake of argument. Remember, '''A''' contradicts '''O''' and '''E''' contradicts '''I'''.

==Contrary==
This one's a bit harder to do than the contradiction. The contrary only works between '''A''' and '''E''' statements. The contrary relationship says that if one of those two is true, the other ''must'' be false; however, it's entirely possible for both to be false. The necessary condition is that one must be false. It's important to remember and know that if one is false, the other has an undetermined truth value because it ''could'' be true, but it also could be false. If 'all veggie burgers are delicious foods' is false, 'no veggie burgers are delicious foods' ''could'' be true, but it could also be false. All veggie burgers might not be delicious, but it's possible that at least one veggie burger is. If there exists a delicious veggie burger, it makes the '''E''' statement false.

Remember, '''at least one of these must be false. Both cannot be true.'''

==Subcontrary==
Almost just like the contrary, but with '''I''' and '''O'''. The operation is essentially the same, but it's flipped. In the subcontrary, at least one ''must'' be true. This is because if neither statement is true, you aren't talking about any members of either set. If 'some eggs are hard boiled eggs' is false, and 'some eggs are not hard boiled eggs' is false, it's absurd. It doesn't make any sense. If 'some eggs are hard boiled eggs' is false, that means there must be eggs that aren't hard boiled. But if 'some eggs are not hard boiled' is also false, then you aren't talking about any eggs at all. See how it doesn't make sense? This means that if you start with a false statement, the subcontrary says that the opposite statement ''must'' be true. But if you start with a true statement, the other statement has an undetermined truth value because it ''could'' be also true but it could be false. We just don't know, so we give it an undetermined truth value.

==Subalternation==
This is probably the one people screw up the most. Don't be that guy. This relationship is between '''A''' and '''I''' as a vertical relationship and '''E''' and '''O''' as a vertical relationship. The simplest way to put this is that truth flows downward. If '''A''' is true, '''I''' must be true as well. The long way to do this is a contradiction to a subcontrary. Contradict from a true '''A''' to a false '''O''', the subcontrary the false '''O''' to a true '''I'''. The short way is the subalternation, which says that truth flows downward. The other half of this operation is that falsity flows upward. If the '''I''' is false, the '''E''' must be true by contradiction, and a true '''E''' by the contrary says that '''A''' must be false. Falsity flows upward.

People really tend to screw this up by making truth flow upward or falsity flow downward. People get mixed up and say that if the '''A''' is false, it follows that the '''I''' must be false. But that just isn't true. It's false that 'all people are male humans' is false, but that doesn't mean that 'some people are male humans' is false. Likewise, just because 'some people are male humans' is true doesn't mean that 'all people are male humans' is true. '''Truth flows downward'''.

==What happens if we screw it up or do it wrong?==
It's fine, but you need to put 'illicit' (we abbreviate it to 'ILL' sometimes) in front of the operation so that everyone knows you screwed up. But it's really fine. Just realise that you made a mistake and own up to it. Otherwise, someone else is going to point out the mistake. Either way though, your logic will be corrected and you can continue making your argument.

==Notes==
{{reflist|group=note}}

[[Category:Logic]]

Categories: Logic