Abstraction Principle: Fregeの場合とRussellの場合 - nuhsnuh’s blog本年、12月9日の日記の続き。 Abstraction principleについて、FregeとRussellとでは、大きく異なった捉え方がなされている。両者ではabstraction principleに与える役割が、正反対のように見える。そこで、どう正反対なのかを見てみよう。 Fregeにとってのabstraction principleの役割 まずFregeの場合。ただし、Fregeの場合はほとんど既知のこととして、ごく簡単に触れるのみにとどめる。 Fregeはabstraction principleの実例として、一つにはHume's Principleを上げていた。Hume's Principleは以下のように書ける。 N(F) ＝ N(G) ⇔ F 〜 G. これの一般形としては、例えば次のように書ける。つまりこれがこの場合、abstraction principleの一般形と
