Talk:Law of Excluded Middle implies Peirce's Law
- In a way, this is a stronger statement, in that it says under what circumstances Peirce's Law will hold in an intuitionistic setting. --Dfeuer (talk) 15:02, 1 June 2013 (UTC)
- It's valid, though I've not inspected the argument. I'm not opposed to having it. I'm just not sure it presents the claim in its title as well as the proofs under Peirce's Law. Note that if one has intuitionistically proven $p \lor \neg p$, then one has already either proven $p$ or proven $\neg p$, so Peirce's law doesn't actually do anything useful for you, contrary to my suggestion a few minutes ago. --Dfeuer (talk) 15:32, 1 June 2013 (UTC)
- That's because I was thinking while typing, which is always a risky proposition. Assuming LEM means that for any $p$ we can conclude $p \lor \neg p$. Over at Peirce's Law/Formulation 2 there is a proof that if we accept LEM we can prove Peirce's Law/Formulation 2. That is, we can prove that for any $p$ and any $q$, $((p \implies q)\implies p)\implies p$.
- On the other hand, what this page shows is for any $p$, if it should so happen that $p \lor \neg p$ holds then it will also be the case that for any $q$ $((p \implies q)\implies p)\implies p$. --Dfeuer (talk) 20:25, 1 June 2013 (UTC)
Yes, that's what this page shows. LEM says that $p \lor \neg p$ for all $p$. This page shows that if $p \lor \neg p$ then for any $q$ etc.
But assuming LEM means $p \lor \neg p$ for all $p$ then this shows that PL holds for all $p, q$. I think you're just trying to make difficulty where none exists just so as to prove you're smarter than me. --prime mover (talk) 20:36, 1 June 2013 (UTC)
- No. My concern is that the proofs whose titles of the form "law foo implies law bar" don't match each other, even in the limited context of LEM/Clavius' Law/Peirce's Law. Perhaps we should have each form of each. --Dfeuer (talk) 21:34, 1 June 2013 (UTC)
- Yes, and there we have a difference of opinion. Even if it is on a page you yourself have written, some of your childishly negative and destructive language is needlessly offensive. It inspires others to use similar language to you, through sheer rage and hatred.
- IMO you are overly picky and critical, particularly in areas of mathematics which you declare to know not much about. If you genuinely don't know what you're talking about, shut up. If you're being deliberately falsely modest then nobody will take anything you say seriously because that's tantamount to lying. --prime mover (talk) 22:22, 1 June 2013 (UTC)
- Now you've got me really confused. Please explain what is wrong with this page. If it's correct, leave it alone and go and do something else. If it's incorrect, correct it. If it's terminally unsalvageable, then delete it. --prime mover (talk) 18:19, 2 June 2013 (UTC)