Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| logic:inferences:modus_tollens [13.04.26, 20:31:08] – [Other names] sascha | logic:inferences:modus_tollens [13.04.26, 20:35:07] (current) – [Fallacies] sascha |
|---|
| ^Conclusion | <span "not A">⌐A</span> <small>(not A)</small> | | <s invalid short" "A (invalid)">A</s> | <s "not B (invalid)" invalid short2">⌐B</s> <small>(not B)</small> | | ^Conclusion | <span "not A">⌐A</span> <small>(not A)</small> | | <s invalid short" "A (invalid)">A</s> | <s "not B (invalid)" invalid short2">⌐B</s> <small>(not B)</small> | |
| </div> | </div> |
| | |
| | The fallacies can be summarized as follows: |
| | |
| | * In an [[logic:formal_fallacies:affirming the consequent|affirmation of the consequent]], the order of the premises is retained, but the (necessary) negation is reversed. As a result, the inference is no longer valid. |
| | * In the case of [[logic:formal_fallacies:denying the antecedent|denying the antecedent]], the negation is retained, but the direction of the inference is reversed, which is not a valid transformation (<span maniculus "more info:">[[paralogisms:illicit_commutation/index|illicit commutation]]</span>). |
| | |
| | Both fallacies are described in more detail in the linked articles. |
| |
| ===== See also ===== | ===== See also ===== |
