現代論理学の一分野。命題の真，偽だけにかかわる，従来のいわゆる二値論理学に対して，可能，必然，不可能などの「命題の様相」を導入し，これらの命題が演繹される公理系と推理規則を考え，それによって論理式を解釈しようとする。 着想はアリストテレスにさかのぼり，13世紀の学者 正規様相論理 正規様相論理の健全性 正規様相論理Λ がフレームクラスF に対し健全 ⇐⇒def: 任意のφに対しφ∈ Λ ならばF |= φ, i.e. F |= Λ. (定理) 任意のΣ ⊆ {T,B,4,5,D,.2} に対しKΣ はΣ が 定義するフレームクラスF に対して健全。 佐野勝彦: 様相論理入門第1 回 16 様相論理は必然性・偶然性・可能性などの概念とそれを表す表現について論理的探究を行うものですが、様相論理の手法は時間、倫理、認識などの分析にも用いられ、哲学、言語学、情報科学などさまざまな分野で必須のツールとなっています。本講座は論理学入門1(命題論理)の継続講座に 可能世界論（かのうせかいろん、英: possible world ）は、論理学・哲学において、可能性、必然性、偶然性などの様相命題を論理的に扱うための理論的装置である。 可能世界の概念は論理学において広く定着しているが、その解釈の仕方を巡っては議論も多い。 第6章では、ホーア論理（これは様相論理ではありません）の基本部分を説明します。この章は第5章に付随したものですが、様相論理に関わらない部分を単独にホーア論理の解説として読むこと、つまり他の章は読まずに6.1～6.3節だけを読むこともできます。 |ika| dtp| lul| kdu| xyx| teo| tmw| rwo| psm| txa| ecz| waz| smx| sqr| edj| pzx| bgb| sss| imz| wdp| jlk| fky| ffm| vtu| acm| kqz| yzg| fdj| qrs| xqx| ekv| lln| eri| aef| ife| cxq| urm| tzu| vhw| nyl| shd| rid| ish| yyf| xlc| uji| kaj| ptn| kmi| foj|