Contradiction has many meanings. In logic it denotes situations when we are led to conclude p&¬p for some proposition P. In much of modern logic, contradictions are explosive, which is to say that contradictions imply everything and anything, i.e., ∀q((p&¬p)→q). Logical contradictions are an example of oppositional contradictions, i.e., contradictions arising from opposing beliefs.
On Contradiction I
On Contradiction I
On Contradiction I
Contradiction has many meanings. In logic it denotes situations when we are led to conclude p&¬p for some proposition P. In much of modern logic, contradictions are explosive, which is to say that contradictions imply everything and anything, i.e., ∀q((p&¬p)→q). Logical contradictions are an example of oppositional contradictions, i.e., contradictions arising from opposing beliefs.