All Questions
Tagged with circular-reasoning axiom
1 question
2
votes
5
answers
1k
views
Why do some claim that the law of non-contradiction is non-trivially unprovable?
By non-trivially unprovable, I mean that unprovable unless proven by virtue of being an axiom or an inference rule. If a logic has an inference rule or an axiom that is not stated as ¬(A ∧ ¬A), but it ...