「模态逻辑」のコアイメージコアイメージ
命題の真偽に、必ず成り立つか、成り立つ場合があるかという条件を重ねて考える枠組み
「模态逻辑」の中国語での定義中国語での定義
「模态逻辑」の語源語源
模态逻辑は、「模态」と「逻辑」の複合語で、「模态」は事柄のあり方を表す語、「逻辑」は英語logicの音訳語であり、組み合わさって様相を扱う論理学を表す
「模态逻辑」のコラムコラム
- 文献では必然性を□、可能性を◇で表すことが多く、□Pは「Pが必然」、◇Pは「Pが可能」という読みになる
「模态逻辑」は英語では
- 「様相論理」 → modal logic和英辞典で見る