C.I.ルイスの厳密含意 (2)

続きです。前回はこちら。 takuro-logic.hatenablog.com かんたんに復習すると、「実質含意のパラドクスを解決するため、C.I.ルイスは必然的な含意としての厳密含意を導入した」という教科書的なお話に対して、ではなんでルイスは様相 (必然性) を導入すると実質含意のパラドクスが解決すると思ったのだろうか、という疑問…