様相演算子（ようそうえんざんし、）または様相結合子（ようそうけつごうし、）とは、様相論理のための論理結合子である。命題から命題を形成する演算子である。一般に、様相演算子は次の意味で非真理関数的という「形式的」性質を持つ：複合式の真理値が、その構成要素の実際の真理値以外の要因に依存することがある。真理的（）様相論理の場合、様相演算子は別の意味で真理関数的と言うこともできる。すなわち、現実的か否かを問わず、可能世界全体にわたる真理値の分布にのみ敏感であるという意味である。最後に、様相演算子は「直観的」には、その演算子が適用される命題についての様相的態度（必然性、可能性、信念、知識など）を表現するものとして特徴付けられる。
様相演算子の構文
様相演算子との構文規則は、全称量化子と存在量化子の規則に非常に似ている。実際、様相演算子と、および命題論理における通常の論理結合子（）を含む任意の式は、前束正規形に類似したde dicto正規形に書き換えることができる。主要な注意点として、全称量化子と存在量化子が量化子に続く命題変項や述語変項のみに束縛されるのに対して、様相演算子とは到達可能な可能世界を量化するため、そのスコープ内の任意の式に束縛される。例えば、はと論理的に等値であるが、はと論理的に等値ではない。むしろ、はを論理的に含意する。
式の中に様相演算子と量化子の両方がある場合、隣接する様相演算子と量化子の対の順序が異なると異なる意味論的意味につながることがある。また、多様相論理が関与する場合、隣接する様相演算子の対の順序が異なっても、異なる意味論的意味につながることがある。
様相の解釈
様相論理における様相演算子を解釈する方法はいくつかあり、少なくとも真理様相（alethic）、義務様相（deontic）、価値論的（axiological）、認識様相（epistemic）、信念様相（doxastic）がある。
真理様相（Alethic） 真理様相演算子（M演算子）は、可能世界の基本的条件、特に因果性、時空間的パラメータ、および人の行為能力を決定する。これらは可能世界における行為・事態・出来事・人・性質の可能性・・必然性を示す。
義務様相（Deontic） 義務様相演算子（P演算子）は、禁止的または規範的規則として可能世界の構築に影響を与える。すなわち、何が禁止され、義務的であり、許可されているかを示す。
価値論的（Axiological） 価値論的様相演算子（G演算子）は、ある社会集団・文化・歴史的時代から見た価値と反価値として世界の実体を変換する。価値論的様相は高度に主観的なカテゴリーである：ある人にとって善いことが、別の人には悪いとみなされることがある。
認識様相（Epistemic） 認識様相演算子（K演算子）は、可能世界における知識・無知・信念のレベルを反映する。
信念様相（Doxastic） 信念様相演算子は、言明への信念を表現する。
意志様相（Boulomaic） 意志様相演算子は欲求を表現する。
脚注