様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。

その歴史は古くアリストテレスまで遡ることができる^[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。

様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子${\displaystyle \Box }$と、「～は可能である」ことを意味する可能性演算子${\displaystyle \Diamond }$のふたつの演算子が追加される。

様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同されやすい。

例えば「雪男は存在しているはずがない」という主張と、「雪男が存在することは可能である」という主張は、矛盾無く行うことが可能である。この場合、前者は認識論的様相であり、「（これまでの情報からして）雪男が実際に存在するとは考えられない」という主張とみなしうる。一方、後者は真理論的様相であり「（実際には存在しないのだが）雪男が存在することは可能である」という主張であると解釈することができる。

あるいは、「ゴールドバッハ予想は正しいかもしれないし、正しくないかもしれない」という言明も認識論的である。これは現時点の知識では正しいかどうか分からないということであり、仮にゴールドバッハ予想の証明が存在し、その方法に気付いていないだけだとすれば、真理論的には「正しくないかもしれない」という主張は誤りであることになる。

これ以外の様相としては、時間的なものがある。例えば、「明日雨が降るかどうかは決まっていない」のに対し、「昨日雨が降ったかどうかは決まっている」と考えられる。このように素朴な時間観には同意しない哲学者も多いが、その構造は様相論理によって把握することができる。

さらに「～べきではない」「～してもよい」といった義務に関わる命題も様相論理によって扱うことができる。直感的にも、「～べきではない」と「～してもよい」の関係は「～は必然的である」と「～は可能である」の関係と極めて類似している。義務表現を扱う様相論理は義務論理と呼ばれる。

様相論理には様々な公理系が考えられており、どのような公理系が妥当なのかはそれ自体が論争の的である。二つの様相演算子のあいだにド・モルガンの法則的な関係が成立することは、どの公理系でも共通している。${\displaystyle \Box }$は必然性演算子、${\displaystyle \Diamond }$は可能性演算子である。

• ${\displaystyle \Box p\leftrightarrow \neg \Diamond \neg p}$
• ${\displaystyle \Diamond p\leftrightarrow \neg \Box \neg p}$

即ち、「必然的に真」は「偽である可能性がない」と同等であり、「真である可能性がある」は「必然的に偽であるわけではない」と同等である。様相論理としての最低限の定義 ${\displaystyle \Diamond p=\neg \Box \neg p}$ のみを満たす最小の公理系としては、E という公理系が知られている。これは古典命題論理に以下の推論規則を加えたものである。

• 推論規則 : ${\displaystyle \varphi \leftrightarrow \psi }$ が成り立つならば、${\displaystyle \Box \varphi \leftrightarrow \Box \psi }$ も成り立つ。

この公理系 E より「強い」すべての公理系は、Classical な公理系と呼ばれる。

しかしながら、真と認めるべきかどうか直感的に明らかでない論理式も多く作ることができる。例えば「必然的に真ならば必然的に「必然的に真」である」と言えるのかどうか、即ち ${\displaystyle \Box p\rightarrow \Box \Box p}$ が成り立つのかどうかははっきりしない。こういった定理を認めるか否かによって、様々な公理系が生まれる。

必然化規則を満たす公理系（Normal な公理系）の中で、最も「小さな」公理系として知られているのは、クリプキによる K という公理系である。K の公理系に更に公理を付け加えることにより、様々な様相論理が得られる^[2]。

K の公理系は古典命題論理の公理系に公理図式K（太字になっていることに注意）と必然化規則（necessitation）を付け加えたものである。

• 公理K : ${\displaystyle \Box (A\rightarrow B)\rightarrow (\Box A\rightarrow \Box B)}$
• 必然化規則 : ${\displaystyle A}$ が無仮定で証明可能ならば、${\displaystyle \Box A}$ もまた無仮定で成立する。

ここで可能性演算子は定義 ${\displaystyle \Diamond p=\neg \Box \neg p}$ によって導入される。

K の公理系に以下の公理図式T「必然的に真ならば、真である」を加えた体系は T と呼ばれる。

• 公理T : ${\displaystyle \Box A\rightarrow A}$

T においては、K では証明可能でなかった ${\displaystyle p\rightarrow \Diamond p}$ などが証明可能となる。

公理系K,Tにおいては以下の1–4の同値性を証明できないために多重の様相（${\displaystyle \Diamond \Diamond }$, ${\displaystyle \Box \Box }$, ${\displaystyle \Diamond \Box }$, ${\displaystyle \Box \Diamond }$, ${\displaystyle \Box \Box \Box }$, ...）を減らすことができない。従って無限に多くの様相が区別されることになる。

1. ${\displaystyle \Diamond P\leftrightarrow \Box \Diamond P}$
2. ${\displaystyle \Box P\leftrightarrow \Diamond \Box P}$
3. ${\displaystyle \Diamond P\leftrightarrow \Diamond \Diamond P}$
4. ${\displaystyle \Box P\leftrightarrow \Box \Box P}$

これらは還元法則と呼ばれるが、右辺→左辺はTで証明可能なので、1–4の左辺→右辺の内、どれを公理系T に付け加えるかで S4, S5 の違いが生まれる。

• 公理4 : ${\displaystyle \Box A\rightarrow \Box \Box A}$ （還元法則の4に対応）をTに付け加えたのがS4である。
• 公理5 : ${\displaystyle \Diamond A\rightarrow \Box \Diamond A}$ （還元法則の1に対応）をTに付け加えたのがS5である。

実は、還元法則の1を仮定すれば、Tの下で2–4は証明可能となる。一方3を仮定すれば4がTで証明可能だが、2は証明可能でない。従ってS5はS4より真に強い（証明力の強い）公理系である。還元法則の導入により本質的に区別される様相はS4で7種類、S5で3種類と実際に減少する。

クリプキはこの S5 に非常に単純な意味論が当てはまることを示した（下の#様相論理の意味論参照）。しかし実際には、議論の目的によって適切な公理系は異なる。例えば、真理論的様相に関しては S5 が最も適当だが、認識論的様相では S4 という公理系が適切であると考えられている。

様相論理の意味論としてはソール・クリプキによって与えられたクリプキ意味論と呼ばれる体系があり、それと関係するよく知られたアイディアとして可能世界論がある。上で見た公理系のバリエーションは、可能世界のあいだの二項関係として定義される到達可能性の概念によって捉えることができる。なお、可能世界という概念をどう解釈すべきかを巡っては、哲学上の議論も盛んである。

命題様相論理の意味論の概要は以下の通りである。

Wを空でない集合とする。これは個々の可能世界全体の集合を表していると考えられる。次にW上の二項関係Rを考える。つまり${\displaystyle R\subseteq W^{2}}$である。また${\displaystyle \langle w,w'\rangle \in R}$ を ${\displaystyle _{w}R_{w'}}$と表す。RはW上の到達関係と呼ばれ、様相演算子の付いた論理式の真偽に影響する。またPVを命題変数全体の集合とし、このPVと先に定義したWに対し、関数Vを

${\displaystyle V:PV\rightarrow 2^{W}}$

として定義する（${\displaystyle 2^{W}}$はWの冪集合、すなわち部分集合全体の集合である）。これは、ある原子命題について、それが真である可能世界の集合を与える解釈である。すなわち、可能世界wにおいて原子命題pが真であることを${\displaystyle w\in V(p)}$として表す。このように定義された順序三組〈W, R, V〉を解釈（もしくはクリプキモデル）と呼ぶ。

さて、解釈Vを以下のように論理式全体に再帰的に拡張する。A、Bを任意の論理式、wをWの任意の要素とする。

• ${\displaystyle w\in V(\neg A)\Leftrightarrow w\notin V(A)}$
• ${\displaystyle w\in V(A\land B)\Leftrightarrow w\in V(A)}$ かつ ${\displaystyle w\in V(B)}$
• ${\displaystyle w\in V(A\lor B)\Leftrightarrow w\in V(A)}$ または ${\displaystyle w\in V(B)}$
• ${\displaystyle w\in V(A\rightarrow B)\Leftrightarrow w\notin V(A)}$ または ${\displaystyle w\in V(B)}$
• ${\displaystyle w\in V(\Box A)\Leftrightarrow }$ 全ての ${\displaystyle _{w}R_{w'}}$ である ${\displaystyle w'\in W}$ について ${\displaystyle w'\in V(A)}$
• ${\displaystyle w\in V(\Diamond A)\Leftrightarrow }$ ある ${\displaystyle _{w}R_{w'}}$ である ${\displaystyle w'\in W}$ において ${\displaystyle w'\in V(A)}$

命題論理の結合子については古典命題論理と全く同じであるが、様相演算子については、可能世界と到達関係を持つ別の可能世界を考える必要がある。任意のクリプキモデル〈W, R, V〉の全ての${\displaystyle w\in W}$で${\displaystyle w\in V(A)}$の時、AはK（クリプキに因む）で恒真であると言う。ルイスの公理系の一部の意味論は到達関係Rに制限（二項関係の制限について詳しくは集合上の関係を参照）を加えることにより作ることが出来る。例えばS5でAが証明可能なのは、反射的かつ対称的かつ推移的であるという制限をRに加えた全てのクリプキモデルの全ての世界でAが真である時であり、その時のみである。同様にS4は反射的かつ推移的という制限を加える^[3]。

次に「非正規世界」（non-normal worlds）を導入する。Wを空でない集合、NをWの部分集合、他R及びvは上と同様に定義する。この時、順序四組〈W, N, R, V〉が非正規様相論理における解釈である。vは、命題論理の結合子については、全ての${\displaystyle w\in W}$で上記と同様に拡張される。様相演算子については、正規世界Nにおいては上記と全く同じだが、非正規世界W - N（WのうちでNに含まれない世界全ての集合）においては異なる。

全ての${\displaystyle w\in W-N}$で${\displaystyle w\in V(\Diamond A)}$且つ${\displaystyle w\notin V(\Box A)}$である。

いわば、非正規世界では定義的に（到達関係と関係なく）全ての可能命題が真であり、全ての必然命題が偽である。Aが恒真であるとは全ての解釈〈W, N, R, V〉の下で全ての${\displaystyle w\in N}$に対し${\displaystyle w\in V(A)}$であることを言う。非正規様相論理の解釈の到達関係Rに反射的であるという制限を加えるとS2、反射的かつ推移的という制限を加えるとS3の意味論となる^[4]。

公理系S4の位相的意味論では、原子命題達を位相空間の中の図形と解釈する。ここでは様相演算子${\displaystyle \Box }$と${\displaystyle \Diamond }$は、それぞれ開核作用素と閉包作用素に解釈される。代数的意味論では、原子命題達を位相ブール代数の元と解釈する。

この節は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "様相論理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2018年8月)

アリストテレスの論理学は大部分がいわゆる三段論法に関わるものであり、古典論理の枠内で扱えるものであるが、有名な De Interpretatione （『命題論』）の海戦問題のように、時間と可能性に関わる発展的な議論も行っている。スコラ哲学では主に本質（essence）と付随的な性質（accident）の区別について、厳密な論理が展開された。中世の思想家の中で、様相論理に関わる重要な仕事をした人物としてはオッカムのウィリアム、ヨハネス・ドゥンス・スコトゥスが挙げられる。

今日の様相論理は、1918年の著書 A Survey of Symbolic Logic のなかで S1–S5 の公理系を導入した C・I・ルイスに始まる^[5]。1933年にはクルト・ゲーデルにより、必然性演算子${\displaystyle \Box }$を基準とした方法で S4 が定義された。J・C・C・マッキンゼーは1941年に代数的方法を用いてルイスの S2 と S4 の体系の決定可能性を証明した。

様相論理に対しての意味論は様々な形で考えられてきたが、1963年にソール・クリプキにより提唱されたクリプキ意味論（可能世界意味論とも）は、様々な様相論理の体系に対して完全性定理が成り立つことが示され、様相論理を飛躍的に前進させた。

様相論理から派生した論理体系としては、従来の演算子に代わり、それぞれ過去・未来の到達可能性を示す様相演算子P・Fを導入する時相論理や、従来の様相演算子${\displaystyle \Box }$、${\displaystyle \Diamond }$にラベル付けを施した動的論理などがある。これらは認知現象の解析や計算機科学への応用など、目的に応じて様々に考案され、適用されている。

• 古森雄一, 小野寛晰『現代数理論理学序説』日本評論社、2010年。ISBN 9784535785564。 NCID BB02425588。全国書誌番号:21790737。 
• 戸田山和久『論理学をつくる』名古屋大学出版会、2000年。ISBN 4815803900。 NCID BA48630806。全国書誌番号:20118854。 
• Moshe Y. Vardi (2002-12-14) (PDF), Branching vs. Linear Time: Final Showdown, https://www.cs.rice.edu/~vardi/papers/etaps01-ver13.pdf 
• Priest, Graham (2008). An Introduction to Non-Classical Logic (2 ed.). Cambridge University Press 
• Blackburn, Patrick; Rijke, Maarten de; Venema, Yde (2002) [2001]. Modal Logic (eBook ed.). Cambridge: Cambridge University Press. doi:10.1017/cbo9781107050884. ISBN 978-0-521-52714-9. https://www.cambridge.org/core/books/modal-logic/F7CDB0A265026BF05EAD1091A47FCF5B 
• 昭宏, 吉満「C.i.ルイスと様相論理の起源」『科学哲学』第37巻第1号、2004年、1–14頁、doi:10.4216/jpssj.37.1。 

• 認識論理
• 義務論理
• 時相論理
  • 線形時相論理
• 直観主義理論
• 可能世界論
• ソール・クリプキ
• モダリティ

• Modal Logic （英語） - スタンフォード哲学百科事典「様相論理」の項目。

表 話 編 歴 論理学
関連項目 学術的領域 議論学 価値論 批判的思考 再帰理論 形式意味論 論理史 非形式論理学 計算機科学における論理学（英語版） 数理論理学 数学 メタ論理学 メタ数学 モデル理論 哲学的論理学 哲学 論理学の哲学 数学の哲学 証明論 集合論 論理学の歴史 基本概念 アブダクション 分析的と総合的の区別（英語版） 二律背反 アプリオリ 演繹 定義(内包と外延) 記述 帰納 推論 論理的帰結 論理形式（英語版） 論理的含意（英語版） 論理的真理 名前 必要十分条件 意味 パラドックス 可能世界論 前提 確率 理性 推理 参考 意味論 命題 サブスティトゥーション（英語版） 統語論（英語版） 真理 真理値 妥当性 数学記号の表
哲学的論理学 批判的思考と非形式論理学 分析 曖昧 信念 信用性（英語版） 根拠 説明 説明力（英語版） 事実 誤謬 探究 意見 節約 根拠 プロパガンダ 思慮分別（英語版） 推理 関連 修辞学 厳格 漠然（英語版） 論理学の哲学 構成主義 真矛盾主義 虚構主義（英語版） 有限主義（英語版） 形式主義 直観主義 論理的原子論（英語版） 論理主義 唯名論 プラトニック実在論（英語版） プラグマティズム 実在論
メタ論理学と超数学 カントールの定理 決定問題 チャーチのテーゼ 無矛盾性 実効的方法（英語版） 数学基礎論 ゲーデルの完全性定理 ゲーデルの不完全性定理 健全性 完全性 決定可能性 解釈 レーヴェンハイム-スコーレムの定理 メタ定理（英語版） 充足可能性 独立性（英語版） 独立 タイプとトークンの区別 使用と言及の区別
数理論理学 基幹 形式言語 構成規則 形式体系 演繹システム（英語版） 形式的証明 形式意味論 論理式 集合 元 クラス 古典論理 公理 自然演繹 推論規則 有限関係（英語版） 定理 論理的帰結 公理系 型理論 記号 統語論（英語版） 理論（英語版） 名辞論理学（英語版） 命題 推論 論証 妥当性 三段論法 反対の正方形 ベン図 命題論理とブール論理 ブール関数 命題論理 論理演算 真理値表 原子論理式 リテラル 述語論理 量化 全称記号 存在記号 一階述語論理 二階述語論理 高階述語論理 単項述語計算（英語版） 標準形 連言標準形 選言標準形 否定標準形 冠頭標準形 スコーレム標準形 節標準形 集合論 集合 空集合 数え上げ 外延 有限集合 関数 部分集合 冪集合 可算集合 帰納的集合 定義域 値域 順序対 非可算集合 モデル理論 モデル（英語版） 解釈（英語版） 超準モデル 有限モデル理論 真理値 妥当性 証明論 形式的証明 演繹システム（英語版） 形式体系 定理 論理的帰結 推論規則 統語論（英語版） 再帰理論 再帰 帰納的集合 帰納的可算集合 決定問題 チャーチ＝チューリングのテーゼ 計算可能関数 原始再帰関数 表現 真理値表 クワイン・マクラスキー法 カルノー図 存在グラフ 概念地図 オイラー図 ベン図 スパイダー図 タブローの方法 Xバー理論 構文木 構文解析
非古典論理 様相論理学 真理様相（英語版） 価値様相（英語版） 義務論理 信念様相（英語版） 認識論理 時相論理 線形時相論理 直観主義 直観論理 構成的解析（英語版） ハイディング算術（英語版） 直観主義型理論 構成的集合論（英語版） ファジィ論理 真理の程度（英語版） ファジィルール（英語版） ファジィ集合 ファジィ有限要素（英語版） ファジィ集合演算（英語版） 部分構造論理 構造規則（英語版） 適切さの論理 線形論理 矛盾許容論理 真矛盾主義 様相記述論理（英語版） 存在論 オントロジー言語（英語版）
論理学者 アンダーソン アリストテレス イブン・ルシュド イブン・スィーナー ベイン（英語版） バーワイズ（英語版） ベルナイス ブール ブーロス（英語版） カントール カルナップ チャーチ クリュシッポス カリー ド・モルガン フレーゲ ギーチ ゲンツェン ゲーデル ヒルベルト クリーネ クリプキ ライプニッツ レーヴェンハイム（英語版） ペアノ パース パトナム クワイン ラッセル シュレーダー（英語版） スコトゥス スコーレム スマリヤン タルスキ チューリング ホワイトヘッド オッカムのウィリアム ウィトゲンシュタイン ツェルメロ
カテゴリ