Friday, November 28, 2014

Feedback for somerby.net/mack/logic

Anyone who wishes to comment on somerby.net/mack/logic, please leave your comments here.

3 comments:

Anonymous said...

Thanks very nice blog!

Lorenzo Gil Badiola said...

I noticed that there’s a possible bug in your software. For suppose (P→Q) is true. (P→Q) is equivalent to (¬P∨Q∨¬P∧Q) which is also equivalent to (P∧¬Q→¬P∧Q). Suppose we use Modus Ponen on (P∧¬Q→¬P∧Q). Then it seems we get a contradiction unless both P∧¬Q and ¬P∧Q are false.

mackwai said...

The modus ponens argument

P&~Q->~P&Q
P&~Q
,',
~P&Q

is valid, but only because the two premises are inconsistent; they can't both be true. The software notes this if you use the "therefore" operator (",',") in the argument. The premises lead to a contradiction, and anything follows from a contradiction. In other words, all arguments with contradictory premises are valid. This seems like a problem, but you have to remember that not all valid arguments are sound; an argument doesn't prove anything unless its premises are true, and contradictions are always false, so an argument with contradictory premises will never be sound.

It is not surprising that the two premises are inconsistent because, as you argue, (P∧¬Q→¬P∧Q) is equivalent to (P→Q). (P→Q) is equivalent to ¬P∨Q, which is equivalent to ¬(P∧¬Q), which is the negation of P∧¬Q.

Is there anything that the software appears to be doing wrong? From your comment, I can't tell if the problem is with the software or with the logical argument itself.