Information icon.svg Results for the 2023 RationalWiki Moderator Election have now been posted. Thank you for participating in this election, and congratulations to the winners!

Traditional Square of Opposition

From RationalWiki
Jump to navigation Jump to search
Warning icon orange.svg This page contains too many unsourced statements and needs to be improved.

Traditional Square of Opposition could use some help. Please research the article's assertions. Whatever is credible should be sourced, and what is not should be removed.

The Square of Opposition for set diagrams
Cogito ergo sum
Logic and rhetoric
Icon logic.svg
Key articles
General logic
Bad logic

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 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 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.


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.[note 1] This is how a deductive argument can be valid but not 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.


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.


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.


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?[edit]

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.


  1. In logic, it's always assumed that the premises are true (unless stated otherwise) regardless of their truth in reality.