論理哲学論考 5.252

論理哲学論考　1-7　5.1-5.6　5.21-5.25　5.251-5.254

　　　　

5.252 もっぱらそうして、或る形式列における項から項への（ラッセルとホワイトヘッドのヒエラルヒーにおけるタイプからタイプへの）進展は可能だ。（ラッセルとホワイトヘッドは、この進展の可能性を認めていないにもかかわらず、繰り返しそれを使っている。）

5.2521 ひとつのオペレーションの結果そのものに当のオペレーションを続けて適用することを、私はそのサクセッシヴな〔succesive〕適用と呼ぶ（「O 'O 'O 'a 」は「O 'ξ 」の「a 」への三回のサクセッシヴな適用の結果だ）。
同様の意味で、私は複数のオペレーションの幾つかの文へのサクセッシヴな適用について語る。

5.2522 そこで、私は形式列 a, O 'a, O 'O 'a, . . . の一般項をこう書く：「[a, x, O 'x ]」。この括弧表現はひとつの変数だ。この括弧表現の第一項は当の形式列の初項であり、第二項は当の列の任意の項 x の形式、第三項は x から直接帰結する項の形式だ。

5.2523 オペレーションのサクセッシヴな適用という概念は「以下同様」の概念と同等だ。


5.252	もっぱらそうして、或る形式列における項から項への（ラッセルとホワイトヘッドのヒエラルヒーにおけるタイプからタイプへの）進展は可能だ。（ラッセルとホワイトヘッドは、この進展の可能性を認めていないにもかかわらず、繰り返しそれを使っている。）
5.2521	ひとつのオペレーションの結果そのものに当のオペレーションを続けて適用することを、私はそのサクセッシヴな〔succesive〕適用と呼ぶ（「O 'O 'O 'a 」は「O 'ξ 」の「a 」への三回のサクセッシヴな適用の結果だ）。同様の意味で、私は複数のオペレーションの幾つかの文へのサクセッシヴな適用について語る。
5.2522	そこで、私は形式列 a, O 'a, O 'O 'a, . . . の一般項をこう書く：「[a, x, O 'x ]」。この括弧表現はひとつの変数だ。この括弧表現の第一項は当の形式列の初項であり、第二項は当の列の任意の項 x の形式、第三項は x から直接帰結する項の形式だ。
5.2523	オペレーションのサクセッシヴな適用という概念は「以下同様」の概念と同等だ。