/sci/ - Science & Math

[Anonymous No.11882378]

Disproof of law of noncontradiction

Let S := ¬S. By substituting S into ¬S we get ¬¬S, which is S. So S implies S and not S.

Assuming the law of noncontradiction, S and not S is false. Therefore the law of noncontradiction says ¬S. However, substituting S into that, the law of noncontradiction says ¬¬S, so the conclusion is S and ¬S. The axiom of law of noncontradiction results in a contradiction, so the law of noncontradiction is false