様相論理 is Fun

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

MENU

2017-01-12から1日間の記事一覧

行為の善悪について

真偽値の類似物として善悪値なるものを導入する。 真偽値は命題に対して与えられるが、善悪値は行為、あるいは行為についての命題に対して与えられる。 当然、善が真と、悪が偽と対比される。 ただし、二値論理にするためには、悪と非悪(optionalという語が…

義務論理の意味論について

義務論理の意味論 善悪が道徳的に正しい・正しくないを意味しているとすると、命題論理における真偽値の類推として、善悪値を考えることができそうなものである。ところが、善悪値関数あるいはそのような概念に基づいた義務論理の意味論の基礎付けは試みられ…