5.252

Home
Su
1.
2.
3.
4.
5.
6.

 

Solo così è possibile la progressione da termine a termine in una serie di forme (da tipo a tipo nelle gerarchie di Russell e di Whitehead). (Russell e  Whitehead non hanno ammesso la possibilità di questa progressione, ma ne hanno fatto reiterato uso.)

5.2521    L'applicazione continuata d'un'operazione al suo proprio risultato la chiamo applicazione successiva dell'operazione ("O' O' O' a" è il risultato della triplice applicazione successiva di "O'  xi " ad "a").

In senso analogo parlo dell'applicazione successiva di più operazioni ad un certo numero di proposizioni.

5.2522    Il termine generale d'una serie di forme a,  O' a, O' O' a, ... lo scrivo quindi così: "[a, x, O' x]". Quest'espressione in parentesi è una variabile. Il primo termine dell'espressione in parentesi è l'inizio della serie delle forme; il secondo, la forma d'un qualsiasi termine x della serie; il terzo, la forma di quel termine della serie che segue immediatamente x.

5.2523    Il concetto dell'applicazione successiva dell'operazione è equivalente al concetto "e così via".