可能とは？
|
反証可能性（はんしょうかのうせい、Falsifiability）とは、検証されようとしている仮説が実験や観察によって反証される可能性があることを意味する。 ある仮説が反証可能性を持つとは、その仮説が何らかの実験や観測によって反証される可能性があることを意味する。例えば、「明日、太陽が東から昇る」という仮説は、「明日、太陽が東から昇らない」という観測によって反証されるかもしれない。これに対して、いかなる実験や観測によっても反証されない構造を持つ仮説を反証不可能な仮説と呼ぶ。（注＊反証可能性の概念そのものにはこれ以上の意味がない。反証可能性という概念の存在を認めることと反証主義とを混同してはならない。また、反証可能性の概念は、反証不可能な命題の意味、価値または有用性を排除しない）。 原子命題とは、「明日、太陽が東から昇る」「お隣の田中さんは犬を飼っている」などのように、それ自体で意味的に完結した単独の命題である。原子命題は、端的に、反証可能であるか反証不可能であるかのどちらかである。しばしば、日常において科学的と考えられている命題が原子命題として見られると、その命題において反証が可能でない場合がある。例えば、「生物は進化した」「大正12年に関東大震災があった」「彼は殺人を犯した」などである。これらの仮説の時制を見れば分かるように、一見科学的だがそれ自体では反証可能性を持たない仮説は、その仮説の意味内容すなわち検証の直接的な対象が過去の出来事であったときに多く見られる。 普通、検証されようとしている仮説は、いくつかの原子命題の論理的な結合を通じて成り立っている。そして、専らそれを検証することが目的であるところの仮説を主要仮説と呼び、その前提や条件となる諸命題を補助仮説と呼ぶ（注＊何を主要仮説とし、何を補助仮説とするかはおよそ検証者の任意である）。 例えば、「明日、太陽が東から昇るのを私は見るであろう」という仮説を主要仮説として設定しよう。このとき、検証者は、通常、様々な前提や条件を付加する。具体的に言うと、「明日、雨でないならば」「私が観測を妨害されないならば」などである。さらに、曖昧さを避けるために、「地平線のどの範囲から昇れば東から昇ったと言えるのか」も定義する必要がある。これらが「明日、太陽が東から昇る」という仮説の補助仮説になる。補助仮説の中には、当たり前すぎて検証者が普段意識しないものも含まれる。そして、主要仮説と補助仮説のそれぞれについて、反証可能であるかどうかが判定される。それゆえに、「明日、雨が降らず、かつ、私が観測を妨害されないならば、明日、東から太陽が昇るのを私は見るであろう」という仮説は、「明日、東から太陽が昇るのを私は見る」を主要仮説とし、また、「明日、雨が降らない」および「私が観測を妨害されない」を補助仮説とし、そして、その全ての原子命題について反証可能な一個の仮説であると定められる。 この仮説は論理的な推論であるから、「明日、雨が降らない」および「私が観測を妨害されない」が反証されなかったにもかかわらず「明日、東から太陽が昇るのを私は見るであろう」が反証されたとき、この仮説は正しくないとみなされる。 反証可能性のないアドホックな仮説を補助仮説として追加すると、その理論全体の反証可能性が低下する。これは、A ∧ B ⇒ C という推論が（論理的にではなく科学的に）妥当であるかどうかを判断するためには少なくとも A と B が反証可能でなければならないからである（注＊論理学の要請からすれば C も反証可能でなければならないはずだが、しかし、自然科学においては主要命題 C が必ずしも直接的に反証可能であるとは限らない。これは、自然科学においては反証不可能なプログラム仮説を主要命題に組み込むことが認められることに由来する。例えば、進化論の主要命題はこれに属すると考えられる）。 ある仮説が反証可能性を持つかどうかを判定することは難しい。次のような実験を考えてみよう。降霊会を開いて霊を呼び出す実験が失敗した。心霊現象に否定的な学者は、少なくとも今回用いた方法（条件）によって霊を呼び出せるという仮説が反証されたと考える。これに対して、心霊現象に肯定的な学者が「霊の実在を疑う者がいたための失敗」と反論する。ここで、もし心霊現象に肯定的な学者が「霊の存在を疑う者が降霊会場に立ち入らず、遠隔のビデオカメラによって撮影するならば、降霊は成功する」と付け加えるならば、この降霊理論は全体として反証可能性を持つものになる。つまり、メインの実験が失敗した後で主張者がそれに補助仮説を付け加えたとしても、その補助仮説が反証可能である限り科学的検証の場に立つことができる。反証可能性が否定されるのは、例えば、「心霊現象は科学的に分析できない」と主張するような場合である。したがって、安易に「この仮説には反証可能性がない」「これはアドホックな補助仮説である」と断定するのは危険である。 反証可能性を持つ仮説のみを科学的な仮説とみなす科学哲学上の立場を反証主義と呼ぶ。哲学史的に見れば、反証可能性の概念は科学と擬似科学の判定基準として提案された。反証主義によれば、科学理論は反証可能性を持ちつつ未だ反証されていない仮説の総体であると定義される。そして、厳しい反証テストに耐え抜いた仮説ほどより信頼性が高いものとみなされる。反証主義の代表的人物はカール・ポパーである。ポパーはフロイトの精神分析やアドラーやマルクスの理論を反証可能性がないため、科学的ではないと批判した。現在では、疑似科学を反証可能性だけでなく別の要素も含めて特徴付けようとする傾向が強い。テレンス・ハインズは、疑似科学の特徴として、反証不可能性の他に証明責任の転嫁や検証への消極的態度を挙げている。 モデル - 検証と反証の非対称性-悪魔の証明 - オッカムの剃刀 - アドホックな仮説 - アブダクション |
[ 28] 反証可能性 - Wikipedia
[引用サイト] http://ja.wikipedia.org/wiki/%E5%8F%8D%E8%A8%BC%E5%8F%AF%E8%83%BD%E6%80%A7
|
論理学・哲学において、可能世界（かのうせかい）とは、可能性、必然性、偶然性などの様相命題を論理的に扱うための理論的装置である。可能世界の概念は論理学において広く定着しているが、その解釈の仕方を巡っては議論も多い。 可能世界の考えはライプニッツに始まるとされる。ライプニッツは可能世界の概念を神の心に結びつけて用い、現実に創造された世界が「全ての可能世界の中で最善のものである」と論じた。また可能世界のアイディアはルクレティウス、イブン＝ルシュド、ヨハネス・ドゥンス・スコトゥスの著作に遡ることができるとする研究者もいる。 現在の可能世界論は、可能性や必然性の意味論を扱うため、ソール・クリプキらによって1950年代に導入された。可能世界論では、現実世界は無数の可能世界のなかの一つであると考える。世界について考えうる異なる「あり方」ごとに異なる可能世界があるとされ、そのなかで我々が実際に暮らしているのが「現実世界」である。これに基づき、可能性や必然性について、以下のように分析することができる。 「クリプキ意味論」はしばしば可能世界意味論と同義で扱われるが、クリプキ意味論は必ずしも必然性・偶然性といった真理論的様相に限った理論ではなく、また「可能世界」という表現から前提されがちな様相実在論的な意味合いはない。 「可能世界」は様々な哲学的探究において中心的な位置を占めた。中でも、デイヴィッド・ルイスとロバート・スタルネイカーによる、近傍可能世界を用いた反事実条件文の分析は有名である。この分析では、我々が反事実条件文を用いて「もし〜だったとすれば、〜だっただろう」と論じるとき、その主張の真偽は、その前件を満たすような最も現実世界に近い世界において、後件が真かどうかによって決定される。「近い世界」とは、できるだけ多くの事実を共有している世界、ということである。 例えば「2000年のアメリカ大統領選挙でブッシュが大統領にならなかったとしたら、ゴアが大統領になっていただろう」という文は、次のような主張を表現したものだと定式化することができる。「ブッシュが大統領にならなかった可能世界のうち、我々の現実世界に最も近い全ての世界において、ゴアが大統領になっている」。この解釈に基づけば、もしブッシュが大統領にならなかった現実世界に最も近い世界のうち、ゴアも大統領になっていないような世界があるとすれば、この反事実条件文によって表現された主張は「偽」である、ということになる。 このほかにも可能世界論は哲学の議論において中心的役割を演じている。例えば心の哲学における機能主義や物理主義をめぐる議論がそれである。また可能世界の存在論的位置づけについて、デイヴィッド・ルイスが様相実在論を擁護したことで、論争が加熱している。様相実在論は、我々の住んでいる世界の外に可能世界が「実際に存在する」とする議論である。 ルイスは、様相論理が機能し可能世界意味論が正しいとすれば、世界において何が真でなければいけないのか、我々が様相表現の解釈において量化している可能世界とはいったい何なのか、を問うた。そして、我々が量化している可能世界とは、この現実世界が「存在する」のと同様の意味で存在している、実在的かつ具体的な世界にほかならないとした。そうした諸可能世界は、我々の現実世界との間にいかなる空間的・時間的・因果的関係も持たないという点で現実世界から区別されるにすぎないのである。ルイスによれば、現実世界が持っている特別な性質というのは唯一、関係的なものでしかない。つまり、「我々が」そこに住んでいる、という性質である。即ち「現実に」は、「私」や「今」といった概念と同じように指標的なものにすぎない、ということになる。 一方、ロバート・アダムズやウィリアム・ライカンは、ルイスによる描像は形而上学的に突飛に過ぎるとして拒絶し、可能世界を、世界についての無矛盾で最大限詳細な記述ないし命題の集合であるとする。この解釈では、可能世界は「あるあり方をした世界」ではなく、「世界がそのようでありうるようなあり方の記述」であることになる。この立場や、アルヴィン・プランティンガやピーター・フォレストによる類似した議論を、ルイスは「代替様相実在論」と呼び、そのような立場は可能世界意味論の御利益を「安く買い叩こうとする」ものであり、究極的には適切な説明に失敗する、と反論している。クリプキは著書『名指しと必然性』のなかでルイスの可能世界意味論の使用に対してオープンな議論を行い、可能世界を純粋に形式的・論理的な存在物とする規約的な見方を擁護し、可能世界を現実に存在する世界とする議論や、命題や記述の集合とみる見方を退けている。 |
[ 29] 可能世界論 - Wikipedia
[引用サイト] http://ja.wikipedia.org/wiki/%E5%8F%AF%E8%83%BD%E4%B8%96%E7%95%8C
|
Hotmail、Gmailなどのアドレス帳から、相手がSkypeを使っているかどうか自動的に検索。一挙にコンタクトリストに追加が可能になった。 Skypeは5月10日、Windows版Skype 3.2の正式版をリリースした。大きな機能改善は4点あり、さらに通話音質の改善をうたっている。 1つ目はPayPalを使った送金機能。欧米でポピュラーなオンライン送金サービス「PayPal」と連携し、Skype同士で送金が可能になっている。手数料は無料。ただし、現在利用できる国が制限されており、送金が可能なのは34カ国。日本に住むユーザーからの送金は行えない。ただし受け取りは可能だ。 2つ目はWebカメラを使って、自分の写真を撮り、プロフィールの画像に設定できるようになったこと。3つ目として、Webブラウザを使わずに、マイアカウントにアクセスできるようになった。SkypeOutに使うSkypeクレジットを購入したり、SkypeInの延長、パスワードの変更などが可能になっている。 4つ目は、各種メールソフトからのコンタクトリストの取り込みに対応したことだ。これまでOutlookおよびOutlook Expressのみだったが、Hotmail、Yahoo！Mail（米国）、Gmailに対応した。これらのメールのアドレス帳に登録されているユーザーのメールアドレスからSkypeのアカウントを検索、相手がSkypeユーザーであれば登録できる。 インポートするとともに、Skype内で自動的に検索。リストアップされたユーザーから、登録したいユーザーを選択すれば、コンタクトに追加される デジタルワークスタイルの視点：会ってみたい人にいつか会うための方法「いつかこの人に直接会って話を聞いてみたい！」――。尊敬している経営者や起業家、人生に大きな影響を与えた本の著者、いつも読んでいるブログを書いている人、いつも使っているオンラインサービスの開発者などなど。インターネットを通じてアプローチするコツをご紹介します。 名刺交換した相手が人事異動したら、メールで通知するサービスもらった名刺をスキャナに通すだけで、取引先データベースができあがり。取引先の人たちに人事異動が発生したら、メールで通知。三三とダイヤモンド社の提携によるサービスが始まる。 ライフハック テンプレート：＃058 できないことシート自分の限界にチャレンジしていますか？ 限界を知るためにも、できることではなく、“できないこと”を書き出してみましょう。 田口元の「ひとりで作るネットサービス」探訪：もっと自分の知らない情報や人とつながっていきたい──fooo.name・高村さん知らない人同士でも、興味が似通っている人ともっと出会えるようになるといい──。そう話す高村さんは大手SNSの開発にも携わる24歳。「Ustream映像にTwitterコメントをニコニコ動画風に」。そこから始まったのが「fooo.name」だ。 以前は自分が伸びていた感じがあったのに、最近は伸びている感じがしない。意外なところにある自己成長を阻害するワナを解説する ビジネスでもプライベートでも多くの人がコミュニティに携わるHP。社員の自由な活動を支える企業文化と行動規範とは 情報処理技術者試験がITSS(ITスキル標準）と融合しようとしている。どこへ行く、情報処理技術者試験？ jobtxt1 += '30代で派遣・フリーの仕事はなくなるのか？43歳エンジニアと派遣会社担当者に聞いた'; jobtxt2 += '匿名｜最高25社から査定結果が届く。査定｜プロが鑑定するあなたの市場価値'; |
[ 30] ITmedia Biz.ID：Skype3.2リリース Gmailのアドレス帳も取り込み可能に
[引用サイト] http://www.itmedia.co.jp/bizid/articles/0705/10/news010.html
