Alfred Tarski

Alfred Tarski resegnò alla verità un rispetto matematico senza ridurla a psicologia o metafisica, ma tale risultato derivò da un temperamento che era al contempo austero e ambizioso. Non si accontentò di affermare che le proposizioni corrispondono alla realtà in un qualche vago senso filosofico. Voleva una definizione abbastanza disciplinata da sopravvivere al paradosso, abbastanza precisa da essere utile e abbastanza generale da illuminare ciò che i sistemi formali possono e non possono fare. Sotto la brillantezza tecnica si celava una forte convinzione che la vaghezza nella logica non fosse profondità, ma debolezza. Per Tarski, la chiarezza era una richiesta morale oltre che intellettuale.

Lavorando nella logica formale, cercò una definizione di verità adeguata per linguaggi formalizzati e sufficientemente robusta da evitare il paradosso semantico. Il suo famoso approccio richiedeva una distinzione tra linguaggio oggetto e metalinguaggio, in modo che si potesse affermare nel metalinguaggio che una frase è vera se e solo se ciò che essa afferma si verifica. Quella distinzione non era solo un dispositivo tecnico; esprimeva il suo profondo sospetto che il linguaggio possa essere rivolto contro se stesso se si ignorano i livelli di descrizione. La sua soluzione impose ordine dove la riflessione filosofica era spesso scivolata nella contraddizione.

La persona pubblica di Tarski era quella di un logico esigente, distaccato e quasi impersonale, eppure la forza privata dietro quella persona era un potente desiderio di salvare il significato dalla confusione. Aveva poca pazienza per teorie che si scambiavano in grandezza retorica mentre rifiutavano la disciplina formale. In questo senso, il suo lavoro era una reprimenda per i filosofi che trattavano la verità come un'occasione per un teatro metafisico. Ma era anche una difesa del senso comune: una frase non diventa vera a causa delle nostre attitudini nei suoi confronti. La sua verità dipende dal mondo, e il nostro compito è dichiarare quella relazione senza autoinganno.

Il suo contributo è importante perché ha chiarito cosa i filosofi possono e non possono chiedere a una teoria della verità. Una buona teoria dovrebbe preservare le intuizioni ordinarie rispettando la rigorosità formale. Tarski dimostrò che si può definire la verità in modo disciplinato per molti linguaggi e che farlo illumina la struttura della conseguenza semantica e della validità logica. Ha fornito ai pensatori successivi un modello di come separare il formale dall'intuitivo senza pretendere che entrambi potessero essere ignorati.

Il costo di questo risultato fu che la verità, nelle sue mani, divenne sempre più tecnica. Lo schema di base suona banale, ma l'impresa che lo circonda è tutt'altro che semplice. I metodi di Tarski aiutarono a trasformare la filosofia analitica, la logica e la semantica, eppure incoraggiarono anche uno stile di indagine in cui solo ciò che poteva essere formalmente controllato contava come serio. Questo lasciò alcune domande umane—soprattutto quelle che coinvolgono il linguaggio ordinario, il giudizio morale e la narrazione storica—ancora resistenti al suo framework. La sua stessa rigorosità potrebbe aver rinforzato quella resistenza, perché si fidava di metodi che potevano essere provati più che di significati che potevano semplicemente essere percepiti.

L'effetto sorprendente del suo lavoro fu quello di far apparire la verità sia elementare che difficile, familiare e specializzata. Non eliminò la disputa filosofica; la disciplinò. In un secolo sospettoso degli assoluti vaghi, questo ebbe un'importanza enorme. Tarski si colloca nella storia della verità come il tecnico che dimostrò che la vecchia questione poteva essere affrontata con nuovi strumenti, sebbene il prezzo della precisione fosse che alcune forme di ambiguità vissuta dovessero essere lasciate fuori dal laboratorio della logica.