Formal fallacies

Formal fallacies are fallacies which occur in arguments in formal logic, as well as in ordinary language. A formal fallacy occurs when it produces a contradiction within the system of premises. When a system of premises produces a contradiction, the entire system must be rejected, on the basis that a system containing a contradiction will prove the truth of any proposition, including the negation of the propositions granted by the system.