Commutation of Conditionals

Type: Logical Fallacy > Formal Fallacy > Fallacy of Propositional Logic > Commutation of Conditionals


Form Similar Validating Form (Contraposition)
If p then q.
Therefore, if q then p.
If p then q.
Therefore, if not-q then not-p.
Example Counter-Example
If it's raining then the streets are wet.
Therefore, if the streets are wet then it's raining.
If Barry is President then he is over 35.
Therefore, if Barry is over 35 then he is President.


To commute a compound proposition is to switch its components. For example, commuting the compound proposition: "Today is Sunday and it's raining" is switching its components―"Today is Sunday" and "It's raining"―to get the sentence: "It's raining and today is Sunday."

Commutation is a validating form of immediate inference for many truth-functional connectives, such as "and" in the example above. In fact, commuting such propositions produces a logically equivalent proposition. However, the connective "if-then" that occurs in conditional propositions is not commutable, that is, the commutation of a conditional proposition is not as a general rule logically equivalent to the original proposition. For example, "If today is Sunday then it's raining" does not say the same thing as "If it's raining then today is Sunday." Also see the counter-example in the table, above.



This is one of Aristotle's thirteen fallacies, from the language-independent group, also known as the "Fallacy of the Consequent". The closely-related fallacy of affirming the consequent is often attributed to Aristotle, but his description of the fallacy sounds closer to commuting a conditional than affirming its consequent:

The refutation which depends upon the consequent arises because people suppose that the relation of consequence is convertible. For whenever, suppose A is, B necessarily is, they then suppose also that if B is, A necessarily is. This is also the source of the deceptions that attend opinions based on sense-perception. For people often suppose bile to be honey because honey is attended by a yellow colour: also, since after rain the ground is wet in consequence, we suppose that if the ground is wet, it has been raining; whereas that does not necessarily follow.

For this reason, I have included "Fallacy of the Consequent" in the list of aliases for this fallacy.


Acknowledgment: Thanks to Martina Rudic for criticism of the previous Example.