Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
user110391's user avatar