日常言語の「ならば」（英語だとif）は、たぶん古典論理と挙動が違うっぽい。というのをStanford Encyclopedia of Philosophyの"indicative conditionals"を眺めながら書いてみる。 plato.stanford.edu ※英語だと、直説法と仮定法によって用法が分かれるが、…