talk:Material implication (rule of inference)#Gregbard's hatnote at Material conditional

As I recall, Douglas Hofstadter referred to this as the Switcheroo rule in his book Gödel, Escher, Bach. --81.138.95.57 (talk) 08:51, 12 September 2012 (UTC)

{{User:ClueBot III/DoNotArchiveUntil|1748829676}}

Prior to 2012 this article was merely a link to Material conditional. (Actually it should be the other way round: logicians usually refer to this logical operation as material implication.) Then some creative editor dreamed up the idea that material implication must be a rule of inference. This is simply false. Material implication, also known as classical implication, is a logical connective that is distinguished from other implications (such as intuitionistic implication and relevant implication) by virtue of satisfying Peirce's Law. When interpreted in two-valued logic material implication P → Q is false when P is true and Q is false and otherwise is true; as such it is equivalent to not-P or Q when negation and disjunction are present. Wikipedia should not be promoting the misleading idea that material implication is a rule of inference, which has no basis in logic. Vaughan Pratt (talk) 20:35, 21 October 2013 (UTC)

:I'm afraid this is a rule of inference, although (I believe) rarely under the name "material implication". — Arthur Rubin (talk) 10:46, 23 October 2013 (UTC)i

::On the contrary what you're referring to is a logical equivalence. Every logical equivalence vacuously gives rise to a derived rule of inference in which either side of the equivalence can be substituted for the other. Because it is vacuous one never dignifies any particular logical equivalence as a rule of inference in its own right. Conversely no rule of inference that has its own name gives rise to a logical equivalence. You will not find any reputable source that refers to this particular logical equivalence as a rule of inference. Furthermore material implication is neither a logical equivalence nor a rule of inference, it is an operation and it is simply wrong to call it anything else. Vaughan Pratt (talk) 20:56, 28 October 2013 (UTC)

::: Vaughan Pratt is correct. This article is completely broken. For correct usage see https://www.britannica.com/topic/implication#ref289368 Cerberus (talk) 00:38, 29 February 2020 (UTC)

::::I agree with the idea that one of the articles

::::# Material implication (rule of inference), and

::::# Material conditional

::::is redundant.

::::I suggest to merge the content of article 1 into article 2, and then redirect article 1 to article 2.

::::---- Marc Schroeder (talk) 01:47, 28 April 2025 (UTC)

Rather than simply defining $A\; \backslash implies\; B\; \backslash iff\; \backslash neg\; A\; \backslash lor\; B$ (or equivalently $\backslash neg\; (A\; \backslash land\; \backslash neg\; B))$, can this "definition" not somehow be justified by means of a formal derivation using a combination of more self-evident properties of implication, e.g. conditional proof, and the rule detachment?

Danchristensen (talk) 22:01, 16 April 2018 (UTC)

-----------------------------

For what it's worth, I have found it is possible to derive (in 25 lines) this "definition" using only the following rules of inference for natural deduction:

1. Assumption
2. De Morgan
3. Eliminate $\backslash neg\; \backslash neg$
4. Introduce $\backslash land$
5. Eliminate $\backslash land$
6. Eliminate $\backslash to$ (Detachment, Modus Ponens)
7. Introduce $\backslash neg$ (Proof by contradiction)
8. Introduce $\backslash to$ (Conditional proof)
9. Introduce $\backslash leftrightarrow$

--Danchristensen (talk) 16:00, 4 August 2021 (UTC)