Riassunto Penco - Appunti Unict

piove e non piove), indipendentemente da come stanno le cose del mondo. Tautologie
e contraddizioni sono sempre vere o false, senza condizioni
3) enunciati insensati: enunciati della filosofica, etica , estetica, non descrivono alcunché e
sono dunque insensati. Ad esempio quelli della metafisica pretendono di descrivere il
mondo e quindi non hanno senso. Gli enunciati della filosofia sono invece un nonsenso
palese, secondo Wittgenstein occorre dire ciò che si può dire, tacere di ciò di cui non si
può parlare. La filosofia è come una scala, una volta percorsa deve essere abbandonata.
La sua conclusione è un ascetismo linguistico che non ha pari nella filosofia
contemporanea.
Il neopositivismo si prefiggeva di unite la ricerca empirica con la logica matematica di Frege e
Russell e avrà fecondi sviluppi anche negli Usa, dove alcuni esponenti (tra cui Carnap)
emigreranno a causa del nazismo. Fin dall’inizio delle riunioni al Circolo di Vienna, i
neopositivisti accolgono con entusiasmo l’opera di Wittgenstein. La lezione del Tractatus,
nelle loro mani, si trasforma nel progetto di una nuova teoria del significato. Inizialmente la
tendenza era il riduzionismo: gli enunciati scientifici si possono ridurre, in linea di principio, a
enunciati di osservazione diretta (protocollari) e formule logiche. Per Wittgenstein
comprendere un enunciato significa sapere accade se esso è vero. Egli identifica significato e
condizioni di verità, ma non discute del problema di eventuali metodi di verifica: da logico
non si interessa all’accesso epistemico. I neo positivisti danno invece un’interpretazione forte
a questa idea: sapere cosa accade è per loro saper verificare la verità dell’enunciato.
Il principio di verificazione è riassumibile in uno slogan che si trova in alcuni scritti posteriori
di Wittgenstein e anche nell’opera di Moritz Schlick (1882-­‐1936): il significato di un enunciato
è il metodo della sua verifica. Questa revisione della definizione del significato come
condizioni di verità verrà chiamata da Quine “teoria verificazionista del significato”.
Il principio di verificazione divenne un criterio che avrebbe dovuto risolvere il problema della
demarcazione tra scienza e non scienza. In proposito, Popper è noto per aver sostituito il
principio di verificazione con il principio di falsificazione: una teoria è scientifica se è possibile
falsificarla. Tale principio subirà fin dall’inizio profonde trasformazioni. Con Carnap si passerà
a una versione in termini di probabilità; i dati empirici non possono confermare o falsificare
definitivamente un enunciato, ma possono aumentare o diminuire la probabilità che esso sia
vero. La teoria verificazionista del significato sarà poi criticata da Quine, che contribuirà a
rafforzare una visione empirista, priva dei dogmi dei primi neopositivisti.
Tarski costruisce una semantica formale che presenta maggiore ricchezza e precisione di
quella di Frege e Wittgenstein, denominata “teoria dei modelli”.
Tarski lascia in eredità la funzione interpretazione, che interpreta un’espressione in un
dominio D, un insieme di oggetti ben definito. La funzione interpretazione assegnerà come
estensione a un termine singolare un individuo, a un predicato una classe, a un enunciato un
valore di verità. Tarski definisce poi la nozione di modello, una coppia composta da un
dominio e una funzione interpretazione. Per parlare di verità di un enunciato occorre sempre
specificare sia il dominio D sia la funzione interpretazione I.
Espressioni uguali possono avere interpretazioni differenti in domini differenti, ma anche
nello stesso dominio. La semantica formale è dunque una teoria che specifica le condizioni di
verità per gli enunciati di un linguaggio. Ogni definizione di verità deve essere sia
formalmente corretta, sia materialmente adeguata. A questo proposito Tarski individua una
condizione di adeguatezza formale e materiale. Questa condizione è chiamata Convenzione T
(da Truth). Essa si basa sulla distinzione tra linguaggio oggetto e metalinguaggio, una