Talk:Peirce's law

From Wikipedia, the free encyclopedia

I don't follow all of the explanation at the end, but the part I do understand appears to be messed up. Sentence 6 defines a "glue line" as a line where all pears are glued to kiwis, and at least one such pear (/kiwi) exists. Therefore the later statement "each of the pears in this line is glued to a kiwi, so this must be a glue line" is incorrect, since both conditions aren't met. So everything following that doesn't follow.

Maybe I'm all messed up, or am just saying what you're trying to say in the first place. You can delete this after you read it if you authored this, as I'm probably not coming back...

• better explanation?
• if P and Q are boolean, we can just consider the four possible combinations of P and Q and show that Pierce's Law is true for all four:
  • P=0,Q=0: ((0→0)→0)→0 = (1→0)→0 = 0→0 = 1.
  • P=0,Q=1: ((0→1)→0)→0 = (1→0)→0 = 0→0 = 1.
  • P=1,Q=0: ((1→0)→1)→1 = (0→1)→1 = 1→1 = 1.
  • P=1,Q=1: ((1→1)→1)→1 = (1→1)→1 = 1→1 = 1.
• just remember that the implication operator (→) only takes on the value of 0 when 1→0, in all other cases, even 0→0, it's true. Digfarenough 18:10, 2 January 2006 (UTC)

Contents 1 Current Explanation for Laymen is Useless 2 Article fixed 3 Confusion 4 Why oh why...

[edit] Current Explanation for Laymen is Useless

I've been involved in Math and Science for some time, and I couldn't understand any of it. We need an example that does NOT somehow involve a contradiction. (If there were Kiwi and no Pears, then there were no Pears. A and B implies A, for goodness sake. It's got to go!)

Admittedly, finding an intuitive case where (P->Q)->P isn't too easy, but that's what needs to be done. Ideas are welcome. But I'm removing the whole kiwi and pear mess. --Obsidian-fox 01:29, 22 February 2006 (UTC)

Unfortunately for us, we have been drafted into the navy. Life at sea is no fun, but at least the lunch line serves pears. We like pears, so we're glad that they're served often. The navy has a very odd custom. Sometimes when we go through a line, every pear is glued to a kiwi. We call these "glue lines". The custom says that every glue line must have pears. Customs often have the force of laws, and this custom is so old that it's as strong as the law of gravity. Today, we come upon a line which has no pears. How sad for us. On the other hand, a funny thing happens when there are none of something: nearly any claim about it is true. For instance, all of the pears in this line are purple with orange polka dots. They are also all three feet long and taste like steak. And they are all very sweet pears. More to the point, each of the pears in this line is glued to a kiwi, so this must be a glue line. But every glue line has pears, which means that this line had pears after all. Odd that we didn't notice them earlier, isn't it? Well, now that we see some, they aren't purple with orange polka dots after all, nor are they three feet long or taste like steak. They are, however, very sweet. Hmm... my pear has a kiwi glued to it. Did you notice if this line was a glue line? No? Me neither.

Let's put this back into our logic context now. Okay, so P means that the line has pears and Q means that it has kiwi. (Well, can you come up with a common fruit starting with Q? Quinces are not very good raw.) Now, let's say that P→Q represents a glue line, since it's certainly true in a glue line. That means (P→Q)→P says that glue lines always have pears. Now, if we find a line with no pears (i.e. ¬P), then that line is a glue line (¬P→(P→Q)), but glue lines always have pears ((P→Q)→P), so not having pears means that the line has pears (¬P→P), which doesn't make sense (contradiction). That means that we can't find a line without pears, or rather that all lines have pears (P). If we put that all together, we see that the fact that glue lines always have pears means that all lines have pears, but not necessarially that all lines are glue lines (((P→Q)→P)→P, but not →(P→Q)).

[edit] Article fixed

Bah, I forget about my pet article for a bit and someone comes through and removes a vital section while someone else shows up with a question.

(duplicated at User talk:68.49.135.47)
Basically, what's going on is that we need to show a contradiction, e.g today is Tuesday and today is Wednesday. It's a bit bizarre. Let's start with these assumptions:
1. Today is Tuesday.
2. We never eat meat on Tuesday.
3. We ate meat today.

Notice that 2 and 3 together mean that today is not Tuesday:
1. Today is Tuesday.
2+3. Today is not Tuesday.

This is a contradiction, so something was wrong. In this case, one of our three assumptions is wrong, but we don't know which. Perhaps today is Wednesday. Perhaps we do sometimes eat meat on Tuesday. Perhaps we ate meat yesterday and not today. All of those are valid ways to fix our assumptions.

Now, in the case of our Pierce's Law example, we have two assumptions and one hypothesis:
1. A line is a glue line if every pear is glued to a kiwi.
2. A glue line has pears.

H. Today, we saw a line without pears.

Through our little mental experiment, that becomes:

H'. Today, we saw a line with every pear glued to a kiwi, but no pears.

So, we combine 1 and H'. Now we know this:
1+H'. Today we saw a glue line, but it had no pears.
2. A glue line has pears.

That gives us our contradiction, and also your confusion. You jumped here to start, and that didn't make any sense. Instead, our contradiction means that something was wrong. We trust our two assumptions, but the hypothesis could be wrong. It was wrong, meaning that the line we saw had pears. So we alter our hypothesis:
1. A line is a glue line if every pear is glued to a kiwi.
2. A glue line has pears.

H. Today, we saw a line with pears.

This is consistent, meaning that there is no contradiction. Notice that we can't combine 2+H:
2+H. Today, we saw a glue line.
is wrong.

Hope that helps! -FunnyMan 21:01, 2 January 2006 (UTC)

The explanation using the pear story does not seem to match the encyclopedic style surrounding it. Maybe we should replace it with exerpts from this discussion. Teply 20:03, 7 February 2006 (UTC)

[edit] Confusion

Dear FunnyMan, Thanks for your interest. Please be more specific as to what you find confusing and we can all discuss it here on the talk page, as that is likely to be the best policy for improving the article. In the meantime, though, I think that pinning a "scarlet letter" on the main article page is likely to be counter-productive, leading the casual reader of Wikipedia to lose confidence in the enterprise as a whole. So now that you've drawn initial attention to your concerns, maybe you would consider removing it. Many regards, Jon Awbrey 16:00, 7 January 2006 (UTC)

[edit] Why oh why...

1) You don't need to prove the "contrapositive." The article on Contraposition that you refer to is a repulsive sesquipedalian hodgepodge, *and* it gives a wrong example for the conversion to "contrapositive," thus completely useless as an explanation.

2) It would be more helpful, but still completely unnecessary, to prove the "obverted contrapositive."

3) In fact, noone needs a proof so far-fetched its author could barely keep track of it (or he wouldn't have missed the ¬ in (2) in the first place.)

4) Even if you absolutely had to prove it this way, if just to make everyone squint, you could have made it clear which and what follows from where. I mean that it took me half an hour to wade through through all your s...tuff, even though I already knew what you were taking about. Imagine what it would take for someone who didn't.

5) Here's how an 8-th grader would prove it:

Andrew Cooke (Feb 1 2006) - I just want to say thanks for the above. I'm learning logic and have been trying to understand this law. The proof on the front page had me completely lost, but the above is great; I can follow each step with no problems. I'm just learning, so don't feel competent to make changes myself, but I'd really, really encourage people to put the above on the front page rather than what's there now.