[Math] Why is “material implication” called “material”

logicpropositional-calculusterminology

Why is "material implication" called "material"? What does the word "material" imply or underline?

It seems that the term "material condition" even preferred over the term "implication", preferred also by Wikipedia.

Why? What is so special about "material" versus just "implication"?

Best Answer

"Material" highlights that the relationship between $P$ and $Q$ in the notation $$P\rightarrow Q$$ is not causal. For more insight, see https://en.wikipedia.org/wiki/Material_conditional

Related Question