I'm having some trouble with a homework question. I have the following

$P \rightarrow \neg P$

This looks like a contradiction to me. This should never be true! Yet, if I transform it using $p \rightarrow q := \neg p \vee q$, I get $\neg P \vee \neg P$, which is $\neg P$, which is satisfiable!

$P \rightarrow (\neg P \rightarrow P)$

Similarly, the same thing happens here. I look at this, and I see the part inside parentheses and say "so this is basically just $P \rightarrow (false)$- that's true half of the time"

But no, if I use that equation, I get $P \rightarrow (P \vee P) = P \rightarrow P$, which is a tautology.

Where am I going wrong?

-
You say it "should never be true". Have you actually drawn up a truth table to discover when it is true? – Chris Eagle Nov 5 '12 at 16:56
$p \rightarrow q$ 'says nothing' about $q$ when $p$ is false. – copper.hat Nov 5 '12 at 17:03

As Berci noted, implications in propositional logic are fraught with problems when interpreted in ordinary speech. Some people find it helpful to think of an implication $p\rightarrow q$ as a promise that whenever $p$ is true, $q$ will be guaranteed to be true. For instance, let $p$ = "It is sunny" and $q$ = "I'll ride my bike to work". When it's sunny, you're keeping your promise by riding your bike, so the implication will be true. On the other hand, if it's sunny and you drive to work, you've broken your promise and so the implication will be false. Notice, though, that if it's not sunny, you haven't broken your promise whether you ride your bike or not: in other words, if $p$ is false, then $p\rightarrow q$ will be true no matter what value $q$ has.

Now consider the implication $p\rightarrow\neg p$. It may seem to be contradictory ("If it's sunny, then it's not") at first glance, but it's not in the case where $p$ is false, since, recall, you're not breaking any promises. In other words, you've correctly observed that $p\rightarrow \neg p$ is false in case $p$ is true, but is true when $p$ is false, so actually isn't a contradiction.

-

Note that $P \rightarrow \lnot P$ is equivalent to $\lnot P \lor \lnot P$ which essentially is an assertion that $\lnot P$.

$\lnot P$ is true whenever $P$ is false. So the implication $P\rightarrow \lnot P$ is "satisfiable" whenever the truth value of $P$ is false.

Likewise, given $$P \rightarrow (P \rightarrow \lnot P),\tag{1}$$ then $(1)$ is true when $P$ is false; this is because, as we've seen, the conclusion of implication $(1)$ is equivalent to $\lnot P$. So again, we have $P \rightarrow \lnot P$, and thus $\lnot P$, true when $P$ is false.

Now we'll address the non-equivalent (to $(1)$) statement:

$$P \rightarrow (\lnot P \rightarrow P)\tag{2}$$ $$\iff P \rightarrow (\lnot\lnot P \lor P)$$ $$\iff P \rightarrow (P \lor P)$$ $$\iff P \rightarrow P$$

$P \rightarrow P$ can be read as $(\lnot P \lor P)$ which, as you observed, is a tautology.

Note that this can readily be seen as a tautology without deducing ($P \lor \lnot P$) from $P \rightarrow P$ because...

$\ast$ An implication is false if and only if its premise is true and its conclusion is false.

So given the implication $P \rightarrow P$, either P is true or else P is false: i.e. either true $\rightarrow$ true, or else false $\rightarrow$ false. And so, knowing $(\ast)$ the implication $P \rightarrow P$ cannot ever be false: Whatever the truth-value of $P$, it will never be true that the premise P will be true, while the conclusion P is false. When the premise $P$ is true, then the conclusion, $P$, is true.

As others here have pointed out, material implication ($\rightarrow$), as used in logic, does not correlate well with our intuitive, informal (and sometimes formal) understanding(s) of implication.

John Corcoran wrote a great paper on this problem, surveying the various meanings of implication, both classifying those meanings/uses, and pointing out the differences between them in an effort to better capture what implication means in various contexts. (For anyone interested, I highly recommend that you read Corcoran's "Meanings of Implication," Dialogos 9 (1973) 59–76. Reprinted in R. Hughes, Ed., Philosophical companion to first order logic. Indianapolis: Hackett. 1993.) Here is a link: http://philpapers.org/rec/CORMOI and http://philpapers.org/archive/CORMOI.pdf

-
@Brian Thanks for your edit...I was editing while you edited! It seems that I sometimes need to see my post before recognizing a missed $...especially when writing comments! – amWhy Nov 5 '12 at 17:19 You’re welcome. I actually hesitated, since you had just done an edit and were likely to catch the problem yourself, but the temptation to make such an easy quick fix was too great. :-) I often don’t catch little things like that until I see it, especially in comments. – Brian M. Scott Nov 5 '12 at 17:25 See also this post, and many others like it, which all address the meaning of material implication and how to better understand it. – amWhy Nov 5 '12 at 20:44 @amWhy In fact, the weird suggested edit was pointed out in chat. I guess free link is better than academia.edu link. – Martin Sleziak Jul 15 at 4:42 Thanks, @Martin! – amWhy Jul 15 at 17:56 Observe that$ P \rightarrow \neg P$is not a contradiction. When$P$is false, it is true. - Using the equivalence of$p\rightarrow q$and$\neg p\vee q$is the right idea here. Saying$P\rightarrow\neg P$, is then precisely the statement$\neg P$, as you observed. On the other hand,$\neg P\rightarrow P$becomes$P$by this reasoning, so$P\rightarrow(\neg P\rightarrow P)$becomes$P\rightarrow P$becomes$\neg P\vee P$, a tautology - As you just learned, the logical implication$P\to Q$is not the best for expressing implication in the most intuitive sense. There are a lot approach to help this, for example in intuitionistic logic, modal logic$\Box(P\to Q)$, etc. - Note that in Heyting Arithmetic,$0 = 1 \to \neg 0 = 1$. So the fact that you can have truths of the form$\varphi \to \neg\varphi\$ doesn't distinguish the classical truth-functional from the intuitionist conditional. – Peter Smith Nov 5 '12 at 20:03

The schema in question is the following. If P then –P. To see that this is not contradictory notice that it is implied by its own consequent –P, which of course is not contradictory. No non-contradictory sentence implies a contradictory sentence. It is useful to be aware of the fact that every conditional follows from its own consequent. Moreover it implies its own consequent: assume the conditional, to see that the consequent follows assume its negation, which implies the antecedent [double negation elimination], and using that with the original conditional gives the consequent[modus ponens], contradiction. QED

-
Welcome to Math.SE. This is an old question which already has a well-accepted answer. You have contributed nothing new. Please refrain from answering old answered questions if you are not contributing anything new – Shailesh Jul 15 at 1:24