← Back to context Comment by apw 12 years ago Do you have a reference for "it's logically impossible to prove a negative"? 2 comments apw Reply ernesth 12 years ago In Intuitionistic Logic, you cannot rely on ad absurdum proofs (no law of excluded middle). However, people usually believe in classical logic where proving that something is false is easy: we just need to prove it is not true. pjbrow 12 years ago Yep, the logic text book that I learnt it from. Just google "inductive logic prove negative" to check out a few articles on it.
ernesth 12 years ago In Intuitionistic Logic, you cannot rely on ad absurdum proofs (no law of excluded middle). However, people usually believe in classical logic where proving that something is false is easy: we just need to prove it is not true.
pjbrow 12 years ago Yep, the logic text book that I learnt it from. Just google "inductive logic prove negative" to check out a few articles on it.
In Intuitionistic Logic, you cannot rely on ad absurdum proofs (no law of excluded middle). However, people usually believe in classical logic where proving that something is false is easy: we just need to prove it is not true.
Yep, the logic text book that I learnt it from. Just google "inductive logic prove negative" to check out a few articles on it.