「Pは偶然である」は「Pと¬Pはどちらも必然でない」という風に定義される。記号化すると、"▽P ≡ ¬☐P＆◇P"という感じか。伝統的な哲学では、偶然の反対は必然だけど、その場合の必然は、様相論理の"☐"には対応していない気がする。ところで、近世の哲学者は、…