Filosofia del linguaggio 2012-2013 Alfredo Paternoster
Russell: la teoria delle descrizioni Frege: descrizioni vuote non hanno riferimento, quindi gli enunciati dove esse occorrono non hanno valore di verità. Russell: le descrizioni non sono nomi, bensì enunciati mascherati: L attuale re di Francia = C è qualcosa che è re di Francia e solo quella cosa è re di Francia ( $xrxf & y(ryf (x=y) ). Quindi: L attuale re di Francia è calvo è un enunciato che riceve un valore di verità, il falso.
Russell: la teoria delle descrizioni L argomento ante litteram di Frege contro l analisi russelliana delle descrizioni. Si consideri: (A) (B) L inventore del telefono è americano C è una e una sola cosa che è inventore del telefono ed è americano Se A è vero, allora B è vero (A implica B). Ma se il senso di A è espresso da B (come sostiene Russell), allora negare B equivale ad asserire A. A è: (C) L inventore del telefono non è americano (= non è vero che l inventore del telefono è americano)
Russell: la teoria delle descrizioni L argomento ante litteram di Frege contro l analisi russelliana delle descrizioni. Si consideri: (A) (B) L inventore del telefono è americano C è una e una sola cosa che è inventore del telefono ed è americano Se A è vero, allora B è vero (A implica B). Ma se il senso di A è espresso da B (come sostiene Russell), allora negare B equivale ad asserire A. A è: (C) L inventore del telefono non è americano (= non è vero che l inventore del telefono è americano) Ma la negazione di B ( non è vero che c è una e una sola cosa che ) non solo non implica C, ma è addirittura incompatibile con esso, perché C richiede che ci sia una e una sola cosa che.
Russell: la teoria delle descrizioni La replica di Russell all argomento di Frege: A, ovvero C, è ambiguo. Può voler dire: (C1) $x(ixt & Ax & clausola di unicità) (C2) $x (Ixt & Ax) Frege dà per scontato che A=C2 (ovvero, confonde C1 con C2). Ma: - se C=C1, C è esattamente la negazione di B (quindi non è vero che non lo implica) - Se C=C2, C non è la negazione di B, quindi tanto B quanto C possono essere falsi, e quando B è falso non c è nessuna incompatibilità.
Russell: teoria semantica - Non c è bisogno di postulare sensi per dar conto della verità. Le espressioni linguistiche hanno soltanto riferimento ( semantica referenziale ). - I nomi (apparentemente) propri sono in realtà abbreviazioni di descrizioni. I veri nomi propri (logicamente tali) sono le espressioni indicali ( questo, quello ) che stanno per un dato di senso o comunque per qualcosa di cui abbiamo acquaintance, conoscenza diretta. - La forma grammaticale maschera la forma logica. Compito della teoria semantica è mettere in luce la forma logica
Sviluppi di Frege: il Tractatus Gli enunciati elementari (= atomici) sono un immagine logica di stati di cose. Se nel mondo si dà quello stato di cose (se quello stato di cose è un fatto), l enunciato è vero, falso altrimenti. Gli enunciati non sono nomi di valori di verità. Gli enunciati esprimono un senso (= significato in senso intuitivo) e hanno un valore di verità. Un enunciato è vero in quanto corrisponde a (= è l immagine di) un fatto, non in quanto è in relazione con un oggetto astratto (il vero). I termini singolari (i nomi ) significano oggetti. Al contrario degli enunciati, i termini singolari non hanno senso ma solo riferimento.
Il Tractatus Stato di cose = nesso di oggetti (enti, cose) : si ha uno stato di cose tutte le volte che si ha un insieme di oggetti tra cui vigono certe relazioni. Gli stati di cose possono essere realizzati - sussistenti (= fatti) - o meno. Es. l essere la penna sul tavolo l essere Gianni più giovane di Luca
Il Tractatus Un enunciato (proposizione) è una sequenza strutturata di segni che stanno per oggetti e relazioni. L enunciato rappresenta lo stato di cose, nel senso che ne riproduce la struttura. Es. Rxy ( x è a destra di y ) rappresenta lo stato di cose costituito da due oggetti che stanno nella relazione di essere l uno a destra dell altro
Il Tractatus Significato (= senso) di un enunciato = condizioni di verità (cfr. 4.024) La condizione di verità di un enunciato atomico è lo stato di cose che esso esprime (se infatti quello di stato di cose sussiste, allora l enunciato è vero, e viceversa). Gli enunciati complessi sono funzioni di verità degli enunciati atomici in essi contenuti, quindi le loro condizioni di verità sono determinate dalle tavole di verità. Le tavole di verità possono essere viste come un metodo per formalizzare le condizioni di verità degli enunciati complessi.
Tautologie e insensatezza 1 Le proposizioni della logica sono le tautologie. Le tautologie sono prive di senso (sinnlos) in quanto non descrivono stati di cose (il sussistere di uno stato di cose è contingente; una tautologia, invece, è necessaria). In altre parole: l essenza delle proposizioni ordinarie risiede nel loro essere vere o false (a seconda di come stanno le cose nel mondo); invece le tautologie non possono essere false.
Insensatezza 2 Le proposizioni che parlano del linguaggio (e delle nozioni di oggetto, stato di cose, verità ecc.), come quelle del Tractatus, sono insensate (unsinnig) in un accezione più radicale: cercano di dire quello che non si può dire ma solo mostrare. Non parlano del mondo, ma della logica, cioè dei nostri modi di pensare il mondo. Queste proposizioni sarebbero sensate se potessimo uscire dal linguaggio (dalla logica), così da poterne parlare; ma non possiamo uscire dal linguaggio (dalla logica). Si tratta quindi di proposizioni necessarie in un senso diverso dalle tautologie.
La metafilosofia di Wittgenstein Il linguaggio naturale è logicamente imperfetto, maschera la vera struttura ( forma ) logica. Una conseguenza di questo fatto è che noi non comprendiamo la logica del linguaggio, cioè ci lasciamo sviare dal modo ingannevole in cui il linguaggio ordinario esprime i pensieri. Anche i problemi filosofici nascono da questi fraintendimenti. La filosofia non è una dottrina ma un attività, l attività di chiarificazione logica dei pensieri. L esito della (buona) filosofia non è un insieme di affermazioni, ma il chiarirsi di proposizioni.