論理学FAQのブログ

きょうはいつもとちがうところから。いま、 philpapers.org を勉強会で読んでいる学生さんから質問を受けて、ちょっとおもしろかったので、書いてみます。質問 (のひとつ) は、Exercise 3.21についてのものでした。問題は 二重否定は正の様相演算子と見なすことができる。では、それは、正の様相のうち必然性タイプの様相…