WMDs once again
I thought this comment by Paul Snively, which appeared on the recent thread about lying and WMDs, was well-put, and worth highlighting: Brief logic lesson: You cannot prove the negation of an existential quantifier in first-order logic given the open-world … Continue reading →
