理想の世界、について [雑]

明日までにペーパーを一本読んで、それをサマライズしなければならないのをすっかり忘れてぐうぐう寝てしまった。まずい。

読むべきペーパーは、義務論理deontic logicの解釈についてのものなんだけど、以前にも少し言ったことがあるとおり、クラスの人たちは必ずしもロジックの素養があるとは限らず、というか、ほとんど全員ロジックの素養がなかったりするので、義務論理が下敷きにしている様相論理のベーシックな部分も説明しなければならず、succintにまとまるかなあ、という危惧を抱いている。

ともあれ、そのペーパーでは、様相論理の可能世界解釈が義務論理においては「理想世界」として解釈され、何かある行為・状態が「倫理的」とされるには、そうしたすべての「理想世界」でそれら行為・状態が充当される必要がある……。こうした解釈は、たんに「解釈」として、つまりは、ある「倫理的」とされる行為・状態を、ある形式言語に落とし込む「ツール」として機能しているうちはそれほど問題がないんだけど、そうした「理想世界」を実体的に、つまりはそうした世界を主題的に扱い始めると「それ、どうなのよ？」という事態になる……こういうことが議論される。

やや難儀だけど、選んじゃったもんはしゃーねーな。