様相論理学造句

• 様相論理学では、さらに様相記号を用いる。
• 可能世界 - 論理学の一分野である様相論理学において使用される専門用語。
• クリプキモデルは（ラベル付き）状態遷移系の特殊ケースであるため、双模倣性は様相論理学の概念とも言える。
• （百科事典）「Modal Logic」 - スタンフォード哲学百科事典にある「様相論理学」についての項目。
• このような記述が「様相的（modal）」であるというのは、様相論理学的な可能性と必然性を主張しているためである。
• 1960年代に Arthur Prior が提唱した様相論理学に基づいた時相論理を特に時制論理（Tense Logic）と呼ぶことがある。
• 可能性「～でありうる」、必然性「～にちがいない」などを論理学の枠組として扱うのが様相論理学であり、ここではそれらに対する否定が基本的法則（公理）として必要とされる。
• 1932年、様相論理学の創始者の一人であるルイス（Lewis）によって実質含意のパラドクスを避けるために、厳密含意（strict implication）が提案された。
• 20世紀の初頭までには古典論理による推論の限界が明らかにされる一方で、その公理系そのものを懐疑する視点から様相論理学、直観論理や矛盾許容論理などの展開も提示されている。
• 様相論理学（ようそうろんりがく）は古典的な論理学では扱わない「～でなければならない」「～でありうる」「～べきである」といった可能性や必然性に関わる命題を扱う論理学である。
• 意味的な否定は上記の様相論理学における否定として扱うことができ、例えば「…してよい」の意味的否定は「…してはならない」、「…しなければならない」の意味的否定は「…しなくてよい」である。

• 様相論理学的日语：模态逻辑