論理学において、正規様相論理(せいきようそうろんり、normal modal logic)とは、以下の条件を満たす様相論理式(modal formulas)の集合 L である。
命題論理のすべての恒真式を含む。
クリプキスキーマ( ◻ ( A → B ) → ( ◻ A → ◻ B ) {\displaystyle \Box (A\to B)\to (\Box A\to \Box B)} )のすべてのインスタンスを含む。
以下の規則の下で閉じている。
分離規則(モーダスポネンス): A → B , A ∈ L {\displaystyle A\to B,A\in L} ならば B ∈ L {\displaystyle B\in L} 。
必然化規則: A ∈ L {\displaystyle A\in L} ならば ◻ A ∈ L {\displaystyle \Box A\in L} 。
上記の条件を満たす最小の論理はKと呼ばれる。今日一般的に使用されている(哲学的な動機付けを持つ)様相論理のほとんど、例えばC・I・ルイスのS4やS5
(英語版)は、正規である(したがってKの拡張である)。しかし、いくつかの義務論理や認識論理は、クリプキスキーマを放棄することがあるため、正規ではない。すべての正規様相論理は正則(英語版)であり、したがって古典的(英語版)である。 次の表は、一般的な正規様相システムをいくつか示したものである。表記法は、クリプキ意味論 § 一般的な様相公理スキーマ(英語版
一般的な正規様相論理
名前公理フレーム条件
K?すべてのフレーム
TT反射的
K44推移的
S4T, 4前順序
S5T, 5 または D, B, 4同値関係
S4.3T, 4, H全擬順序 (total preorder。推移関係や完全関係も参照)
S4.1T, 4, M前順序, ∀ w ∃ u ( w R u ∧ ∀ v ( u R v ⇒ u = v ) ) {\displaystyle \forall w\,\exists u\,(w\,R\,u\land \forall v\,(u\,R\,v\Rightarrow u=v))}
S4.2T, 4, G有向前順序
GL, K4WGL または 4, GL有限な狭義の半順序
Grz, S4GrzGrz または T, 4, Grz有限な半順序
DD連続的
D45D, 4, 5推移的、連続、かつユークリッド的
参考文献
Alexander Chagrov and Michael Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, Oxford University Press, 1997.
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}などしてくださる協力者を求めています(Portal:哲学)。
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・\a0 ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" |\a0 ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" -\a0 ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" /\a0 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")\a0 ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}
表示
編集