*DE SANREMI LOGICA*
*De natura trinitaria Directionis Artisticae Festivalis*
Tractatio per tabulas
*ASSIOMA 1* – *Principium Identitatis Festivalieriae*
*Sanremo è Sanremo.*
*_S ≡ S_*
Si noti che l’enunciato non dice nulla su Sanremo, eppure dice tutto.
È una tautologia che fonda un intero sistema formale: il dominio sanremese *_𝔇ₛ_*, autonomo e autoreferenziale, le cui regole d’inferenza non sono tenute a rispettare quelle vigenti nel _Dominio del Senso comune_ *_𝔇ₛc_*.
Formalmente:
*_∀x ∈ 𝔇ₛ_*: le proprietà di *_x_* sono valide se e solo se *_S ≡ S_*
*_𝔇ₛ ⊄ 𝔇ₛc_*
Ovvero: ciò che ha senso a Sanremo non è tenuto ad averne fuori. E viceversa.
*Theorema 1* – *_De Trinitate Artistica_*
Sia data la funzione *_Direzione Artistica D(x)_*, dove *_x_* rappresenta il Festival.
Si assume, nel dominio *_𝔇ₛc_* , che *_D(x)_* sia una funzione semplice con un unico titolare.
Ma in *_𝔇_*ₛ vale il seguente:
*_Lemma trinitarium_*. *_D(x)_* è una funzione composta tale che:
*_D(x) = f{g[h(x)]}_*
dove:
*_f(x) = De Martino_* – la variabile visibile, il volto, il sorriso in prima serata;
*_g(x) = Ferraguzzo_* – la competenza effettiva, il motore artistico reale;
*_h(x) = Mazzi_* – il vincolo politico, l’ombra governativa che orienta il dominio.
Si verifica che:
*_¬∃ i ∈ {f, g, h} : D(x) = i(x)_*
Nessuna delle tre persone è, da sola, la Direzione. Eppure:
*_f ≠ g ≠ h_* → ma *_D(x)_* è una.
Tre ipostasi distinte, una _substantia_ televisiva.
*_Corollarium theologico-politicum_*
In un Governo che ha posto tra le proprie priorità la difesa di Dio, la direzione artistica del Festival si configura come omaggio al dogma della Trinità:
*_∀ Governo(x)_* → *_se difesa di Dio ∈ programma(x), allora è coerente che Festival(x) sia uno e trino_*.
– De Martino conduce,
– Ferraguzzo dirige,
– Mazzi vigila.
Ma in questo Dominio il Festival procede — misteriosamente — come un’unica sostanza.
*_Conclusio_*
Poiché *_S ≡ S_*, e poiché in *_𝔇ₛ_* ogni conclusione è già contenuta nella premessa, ne discende che qualunque obiezione formulata in *_𝔇ₛc_* è, per definizione, fuori dominio e dunque irricevibile.
*_Q.E.D._*
*_Quod erat demonstrandum — et quod Sanremum, ceterum, iam sciebat._*
