5.25

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

 

L'occorrere dell'operazione non caratterizza il senso della proposizione.

L'operazione infatti non enuncia nulla; ad enunciare è solo il suo risultato, e questo dipende dalle basi dell'operazione.

(Operazione e funzione non devono essere scambiate l'una per l'altra.)

5.251    Una funzione non può essere suo proprio argomento; invece il risultato di un'operazione può divenire base dell'operazione stessa.

5.252 (3)  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.253    Un'operazione può revocare l'effetto di un'altra. Le operazioni possono elidersi l'un l'altra.

5.254    L'operazione può scomparire (ad esempio, la negazione in "~~p": ché ~~p = p).