様相論理 is Fun

様相論理の学習ノートです

MENU

2017-05-25から1日間の記事一覧

いろいろな付値と様相論理の意味論について

真偽値関数は命題全体がなすブール束から、ブール束{0,1}への準同型写像です。 真理値関数の類似の付値を考えて、意味論を展開します。 たとえば、必然□p(pは必然である)を、事象pが起こる確率が1、♢p(pは可能である)を、事象pが起こる確率は0でない、と解釈…

義務論理のパラドックスを解消する話

義務論理のパラドックスのうち、「Free Choice Permission Paradox」 Deontic Logic (Stanford Encyclopedia of Philosophy)と呼ばれるパラドックスについて考えます。その回避策を提示します。 パラドックスの生じる原因は、規範に関する言明における、オペ…