Il significato della nuova testata

So che tutti si vergogneranno di chiederlo. Quella cornice significa qualcosa?
Sì, ha un significato.
Spiega cosa significa quando applico una funzione f a c ottenendo c' e che rapporto può avere con un altro mondo in cui da d ottengo d' tramite un'altra funzione.
Spiega quando posso affermare che M(f) è il meaning, la semantica di f. Il significato di f in un mondo parallelo.

A che serve? Serve a spiegare formalmente come mai quando mettiamo nello stesso sacchetto una mela con un'altra mela stiamo compiendo un'addizione. Cioè che mettere mele nello stesso sacchetto è una semantica dell'addizione.
Quando vogliamo dimostrare che la funzione M(f) significa f si stabilisce una proiezione tra il mondo superiore c, c'... e quello inferiore d, d'... e poi basta dimostrare che il grafico commuta, ovvero che se da c ottengo f(c) = c' e poi lo proietto in d', ottengo sempre lo stesso risultato d' che risulta proiettando c in d e poi applicandogli il significato di f, ovvero M(f).

Quindi il significato della nuova testata è il significato.