@FBM,
FBM wrote:Read the definition carefully.
Why don't you go through your math logic abc books - if you have ever had any of the kind.
Contradiction - Def.: In classical logic, a contradiction comprises
logical incompatibility of two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite, inversions of each other.
Since for contradictory statements one may prove anything this is called the "principle of explosion" or "ex falso quodlibet" ("from falsity, whatever you like"). No formal model of any logic can exist and function if it has contradictions.
As a demonstration of the principle let's consider two contradictory statements - “All lemons are yellow” and "Not all lemons are yellow", and suppose (for the sake of argument) that both are simultaneously true. If that is the case, anything can be proven, like "God exists", for example, by using the following argument:
1. We know that "All lemons are yellow" as it is defined to be true.
2. Therefore the statement that (“All lemons are yellow" AND/OR "God exists”) must also be true, since the first part is true.
3. However, if "Not all lemons are yellow" (and this is also defined to be true), God must exist - otherwise statement 2 would be false.
Thus it has been "indisputably proven" that if a theory with contradictions can exist, from there automatically follows that anything can exist, including God.
In the very same way by using contradictory statements could be proved that "Big Bang does not exist" (in any interpretation of the world, especially in a world that is full of contradictions of any kind).
No formal logic can exist, let alone operate in the real world if its inference engine is based on contradictions. The very moment some 'theory', like the Big Bang for example, stumbles against unsolvable contradictions vs. physics and/or math logic - this is the end of that 'theory' -
rien ne va plus &
game over.