形而上学の概念

様相を説明，解釈するために作られた装置

関連する人物

ライプニッツから始まったとされている

現在のものは，ソール・クリプキらによって導入された

様相の意味論を扱うため

様相とはこういうもの

~という可能性もある

可能性

~というのは不可能だ

不可能性

絶対に~だ

論理的必然

論理法則の元に成り立つ必然性

形而上学必然

自然法則や論理法則が違ってても，成り立ってないといけないもの

~だ

偶然性

可能世界とは

世界の集合

事実の羅列かもしれん

この辺は色々と議論があるらしい

様相の解釈

~が可能 \Leftrightarrow 全ての可能世界の世界で~が成り立つ

~は不可能 \Leftrightarrow~が成り立つ可能世界は存在しない

~は必然 \Leftrightarrow 全ての可能世界で~が成り立つ

~だ \Leftrightarrow この世界で成り立っている

みたいな感じ

繋がり

記号論理学の直観主義論理や様相論理などの意味論に使われている

参考