様相論理の歴史的な解説を読むと、C.I.ルイスの名前を見かける。それで「厳密含意strict implication」という言葉を目にするのだが、私はてっきり今でもこの用語を使うのだと思っていた。でも、条件法と含意との区別を守ろうとするなら、むしろ「厳密条件法s…