Tell HN: Foundations and AI

Ex falso quodlibet does not say “anything except truth” follows. Truth is like a closed set while falsehood is like an open superset from which you can actually end up back in the closed Truth set. - There is a path asymmetry between truth and falsehood. The most common application of this principle is the process of elimination.

Wikipedia redirects to the Principle of Explosion from EFQ, but two falsehoods can actually lead to the same conclusion. From how PoE is used it is apparent that EFQ and PoE are not the same thing.

Convergence of falsehood is structure, so it is locally informative even though it isn’t global truth. It is something AI would discover and act upon, leading to consequences that formal logic in its current state does not foresee.