Simply begin typing or use the editing tools above to add to
this article. Once you are finished and click submit, your
modifications will be sent to our editors for review. aspect of
modal logic ...p, to be true without a certain proposition, q,
being also true (i.e., if the conjunction of p and not-q is
logically impossible), then it is said that p strictly implies
q. An alternative equivalent way of explaining the notion of
strict implication is by saying that p strictly implies q if and
only if it is necessary that... forms of implication ...an
attempt to construct a formal relationship more closely akin to
the intuitive notion of implication, Clarence Irving Lewis,
known for his conceptual pragmatism, introduced in 1932 the
notion of strict implication. Strict implication was defined as
∼♦(A·∼B), in which ♦ means “is possible” or “is not self-
contradictory.” Thus... theory of Lewis In logic, Lewis
criticized contemporary formal systems using material
implication and proposed an alternative system of logi