Abstract:
The author argues against the use of material implication of modern twovalued logic and proposes to substitute for it necessary implication which goes back to Aristotle. He shows how necessary implication, which is three-valued, can be interpreted by means of a Carroll diagram.