# "→" is the symbol for material implication. Is there such a thing as "immaterial implication"?

Why do we qualify "implication" with "material"? This seems to imply that there are other kinds of implication.

• Strict implication, for instance: necessary(p->q) Mar 16, 2015 at 23:56
• I think that's more of a feature of modal logic, not the operator itself. For instance you could say ◻(PvQ), ⋄(PvQ), or (PvQ). The function of "v" won't change, but the modal operator changes the truth conditions of the expression within its scope. I'm not too sure if what I said is true though haha. Mar 17, 2015 at 0:50
• What I wrote is the definition of strict implication. It's been proposed as a "better" (more intuitive) implication. Yes, it relies on possible worlds, there are alternative definitions by they're rather technical and unnecessarily complicated. Mar 17, 2015 at 7:39
• Another term is "material consequence". There, "material" is used to distinguish from causality.
– user2953
Mar 17, 2015 at 9:35
• This video gives a good overview of many kinds of implications. The source material for his lecture was mostly Jonathan Bennett's A Philosophical Guide to Conditionals. Mar 17, 2015 at 16:09

There is no "immaterial" implication.

The term "material implication" originated with Bertrand Russell, The Principles of Mathematics (1903); see Part I : Chapter III. Implication and Formal Implication for :

• Two kinds of implication, the material and the formal.

See in W&R, Principia Mathematica the notation for implication (the "horseshoe") ⊃; in the "material" usage, it is a connective between propositions :

*1.2 ⊢ : p v p . ⊃ . p,

while in the formal usage it is a relation between "classes" :

*10·02 φx ⊃x ψx . = . (x). φx ⊃ ψx.

See :

Today, the material conditional has to be compared with other conditionals : the subjunctive and the counterfactual conditionals; see :

• Can you elaborate a little bit? Mar 17, 2015 at 11:30

Material implication -- the usual form implication in mathematics -- defines P => Q equivalent to ~[P and ~Q]. Some are uncomfortable with the notion that if P is false and Q is false, then P => Q true. Perhaps that is because the notation suggests some come causal relationship -- e.g. that maybe P causes Q, or Q causes P. Their thinking may be: How can P cause Q if P is false? Or something along those lines.

I like to use following example. Consider the statement: "If it is raining, then it is cloudy."

Raining => Cloudy

This does not mean that rain causes cloudiness. Or that cloudiness causes rain. Neither is the case. The statement means simply that it cannot be simultaneously both raining and not cloudy.

~[Raining & ~Cloudy]

This will be true if it is not raining and not cloudy (i.e. if both antecdent and consequent of the conditional statement are false). Nothing weird or counter-intuitive about that.

As a math person, I don't see the need for any other kind of conditionals, but here is a list of some alternative formulations from Wiki:

UPDATE 3 YEARS LATER:

For my latest thinking on material implication, see my blog posting Material Implication: If Pigs Could Fly. There I derive the truth table using notions of implication in common usage.

• What makes people most uncomfortable is that Raining --> Cloudy will be true if it has never ever rained. Or indeed, if Raining were a contradiction. May 4, 2015 at 9:57
• Yes. If it never rains, then we could obviously say that it is never both raining and not cloudy. May 4, 2015 at 18:50

Not quite an answer, but it might be found useful:

In Aristotles Physics he distinguishes between causes; there are four types, amongst them is the formal and material.

The formal cause is what causes the shape or form of something: the formal cause of the pot is the potter. The material cause is what the pot is made of - the clay.

Of course there can be no pot if the potter is not there to shape the clay; nor can there be any pot, if the potter has no clay. Both causes are necessary in this situation.

Causes are consequences; and what is a consequence can be understood as an implication. This links up with two types of logic in Aristotle, the formal and material. The formal logic are propositions true by form - the syllogism - for instance; the first proposition of the famous example being:

Socrates is mortal

The material logic is truth by correspondence. Is there, in fact, a Socrates?

Again both are neccessary to establish objective knowledge.

One might say then the immaterial implication is the formal one.