In logic, material implication is a binary operator. See conditional.

Also in logic, semantic implication and logical implication describe possible relationships between two sets of statements. See entailment.

In pragmatics (linguistics), implication has a different meaning.

In medical diagnosis and in forensics or scientific investigation of a condition, a hypothetical cause is implicated when a reason for the condition can be found, given that cause.