翻訳と辞書 Words near each other ・ 不可知論者 ・ 不可算 ・ 不可算名詞 ・ 不可算量 ・ 不可算集合 ・ 不可給態 ・ 不可能 ・ 不可能の三角形 ・ 不可能を可能にする男 ・ 不可能ボトル ・ 不可能世界 ・ 不可能世界論 ・ 不可能事 ・ 不可能図形 ・ 不可能物体 ・ 不可能犯罪 ・ 不可能犯罪捜査官 ・ 不可能立体 ・ 不可能選択 ・ 不可視インク Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 不可能世界 ： ウィキペディア日本語版 不可能世界論[ふかのうせかいろん] 哲学的論理学において、不可能世界 (impossible world) の概念は、正規（通常）の可能世界を用いて適切に扱うことのできない特定の現象をモデル化するために用いられる。不可能世界 ''w'' は、それはある意味で"不可能"であることを除けば、（それが何であれ）可能世界と同種のものである。文脈によって、ある矛盾が ''w'' では真となること、論理学または形而上学の正規の規則が ''w'' では成立できないこと、またはその両方を意味する。 非正規世界 (non-normal world) と言うこともある。 == 応用 == === 非正規様相論理 === 非正規世界はソール・クリプキによって1965年に導入された。これは、公理系Kよりも弱い様相論理、特に必然化規則規則 (necessitation rule) を棄却する様相論理に意味論を与える純粋な技術的手段として用いられた。以下、$\backslash Box$は必然演算子である。 : $\backslash vdash\; A\; \backslash Rightarrow\; \backslash \; \backslash vdash\; \backslash Box\; A$. そのような論理学は典型的に"非正規"であると言及される。クリプキ意味論における様相論理の語彙の標準的な解釈の下では、各モデルにおいて$A$がすべての世界で成立する場合およびその場合に限り、$\backslash vdash\; A$である。$A$がすべての世界で成立するが$\backslash Box\; A$は成立しないモデルを構築するには、 (i) $\backslash Box$を非標準的な方法で解釈する（$A$の真実をすべての到達可能 (accessible) な世界においてだけ考えるのではなく、到達不可能な世界を導入する）、または (ii) ''妥当''であるための条件を再解釈する必要がある。この後者の選択はクリプキが行った仕事である。''正規な''ものとして世界の分類を選び出す、そしてあるモデルにおけるすべての正規世界で真であるべき''妥当性''を設定する。この方法により、$A$がすべての正規世界で真であるが、$\backslash Box\; A$は真ではないモデルを構築することができる。われわれは、この$\backslash Box\; A$が成立しない世界は''正規''ではない到達可能な世界を持つことを保障する必要があるだけである。このとき、$A$は成立しないことが可能である。それゆえ、 論理が真実であることに関わらず、われわれの今いる世界では$\backslash Box\; A$が必然であることは成立しない。 これらの非正規世界は、 論理学に従って真であるものによってそれらが制約されていないという意味で''不可能''である。$\backslash vdash\; A$という事実から、$A$が非正規世界で成立することにはならない。 世界の概念を持つ様相論理による言語の解釈についてのさらなる議論は、様相論理学およびクリプキ意味論の項目を参照のこと。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「不可能世界論」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Impossible world 」があります。 スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.