経験主義と帰納の問題
* 論理実証主義者の検証原理
+『論考』の有限主義：
有意味な命題はすべて、したがって量化命題も要素命題の真理関数である
（∀x）F(x)⇔F(a1)＆F(a2)＆F(a3)＆F(a4)＆…F(an)
⇒還元主義へ：科学の命題（一般法則）のプロトコル命題への還元
一般法則⇔有限な数のプロトコル命題の真理関数
ところが一般には、普遍量化命題は真理関数に還元できないと考えられる
F(a1)＆F(a2)＆F(a3)＆F(a4)＆…F(an)と〜F(an+1)は矛盾しないが
（∀x）F(x)と〜F(an+1)は矛盾する
e.g.これまで観察されたn羽のスワンがすべて白いとしても、n+1羽めのスワンが白いとは限らない
ゆえに、「すべてのスワンは白い」という命題は、有限個の白いスワンの観察によっては検証されない⇒帰納の問題
* 帰納の問題への二つの対応
ポパーの反証主義：命題の有意味性は、検証可能性ではなく、反証可能性にある
確率論の導入：法則命題の確からしさを、確率理論によって体系的に取り扱う
文献
A. F. チャルマーズ『新版 科学論の展開』（恒星社厚生閣）
ポパー派寄りの科学哲学入門書
内井惣七『科学哲学入門』（世界思想社）
確率論の重要性を強調
授業関連情報インデックスへ
授業担当者へのメール tit03611@lt.ritsumei.ac.jp