Classical logic defines a contradiction as a situation in which two propositions cannot both be true simultaneously — the conjunction of a claim and its negation. This definition, however, imports unstated and unearned metaphysical commitments: that incompatibility is binary, that the terms "true" and "false" are univocal, that logic is the final arbiter of what can coexist. Tralse Informationalism (TI Sigma) rejects these hidden assumptions and proposes a **liberal definition**:
Brandon Charles Emerick (Tue,) studied this question.