|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 不 ： [ふ] 1. (n-pref) un- 2. non- 3. negative prefix ・ 不可 ： [ふか] 1. (n,n-suf) wrong 2. bad 3. improper 4. unjustifiable 5. inadvisable ・ 不可能 ： [ふかのう] 1. (adj-na,n) impossible ・ 可 ： [か] 1. (n,n-suf) passable ・ 可能 ： [かのう] 1. (adj-na,n) possible 2. practicable 3. feasible ・ 能 ： [よく, のう] 1. (adv,n,vs) being skilled in 2. nicely 3. properly 4. well 5. skillfully 6. thoroughly ・ 世 ： [よ, せい] 【名詞】 1. world 2. society 3. age 4. generation ・ 世界 ： [せかい] 【名詞】 1. the world 2. society 3. the universe
哲学的論理学において、不可能世界 (impossible world) の概念は、正規（通常）の可能世界を用いて適切に扱うことのできない特定の現象をモデル化するために用いられる。不可能世界 ''w'' は、それはある意味で"不可能"であることを除けば、（それが何であれ）可能世界と同種のものである。文脈によって、ある矛盾が ''w'' では真となること、論理学または形而上学の正規の規則が ''w'' では成立できないこと、またはその両方を意味する。 非正規世界 (non-normal world) と言うこともある。 == 応用 == === 非正規様相論理 === 非正規世界はソール・クリプキによって1965年に導入された。これは、公理系Kよりも弱い様相論理、特に必然化規則規則 (necessitation rule) を棄却する様相論理に意味論を与える純粋な技術的手段として用いられた。以下、は必然演算子である。 : . そのような論理学は典型的に"非正規"であると言及される。クリプキ意味論における様相論理の語彙の標準的な解釈の下では、各モデルにおいてがすべての世界で成立する場合およびその場合に限り、である。がすべての世界で成立するがは成立しないモデルを構築するには、 (i) を非標準的な方法で解釈する（の真実をすべての到達可能 (accessible) な世界においてだけ考えるのではなく、到達不可能な世界を導入する）、または (ii) ''妥当''であるための条件を再解釈する必要がある。この後者の選択はクリプキが行った仕事である。''正規な''ものとして世界の分類を選び出す、そしてあるモデルにおけるすべての正規世界で真であるべき''妥当性''を設定する。この方法により、がすべての正規世界で真であるが、は真ではないモデルを構築することができる。われわれは、このが成立しない世界は''正規''ではない到達可能な世界を持つことを保障する必要があるだけである。このとき、は成立しないことが可能である。それゆえ、 論理が真実であることに関わらず、われわれの今いる世界ではが必然であることは成立しない。 これらの非正規世界は、 論理学に従って真であるものによってそれらが制約されていないという意味で''不可能''である。という事実から、が非正規世界で成立することにはならない。 世界の概念を持つ様相論理による言語の解釈についてのさらなる議論は、様相論理学およびクリプキ意味論の項目を参照のこと。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「不可能世界論」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Impossible world 」があります。 スポンサード リンク
|