5 Lezione: Nominazione e forma logica. SCHEMA DI FREGE nel rapporto tra ESPRESSIONE e CONTENUTO. oggetto concetto valore di verità estensione.

Transcript

1 5 Lezione: Nominazione e forma logica SCHEMA DI FREGE nel rapporto tra ESPRESSIONE e CONTENUTO termine predicato enunciato singolare senso modo di modo di dare pensiero dare il il riferimento riferimento riferiment o oggetto concetto valore di verità estensione classe cosa accade con le descrizioni definite del tipo "il..."? "l'inventore delle orbite ellittiche dei pianeti morì in miseria" o "Keplero morì in miseria

2 PRESUPPOSIZIONE SEMANTICA p presuppone semanticamente q sse (a) se p è vero allora q è vero (b) se p è falso allora q è vero p = keplero morì in miseria mio nonno ha perso il treno non p = keplero non morì in miseria mio nonno non ha perso il treno q= keplero esiste ho un nonno e c'era il treno da prendere

3 cosa accade con TERMINI NON DENOTANTI? la serie infinita meno convergente il numero naturale più grande di tutti Ulisse Pegaso, il cavallo alato l'unicorno la montagna d'oro il quadrato rotondo l'attuale re di Francia (detto nel 2003) Meinong: esistono tanti tipi di oggetti non esistenti Frege (Senso e significato): un enunciato contenente un termine senza riferimento non ha riferimento = non ha valore di verità = non è né vero né falso Russell: né Meinong né Frege

4 Russell distingue: 1) Le descrizioni definite del tipo "il F", come ad esempio "il presidente del consiglio", "il presidente degli USA", ecc. Esse valgono di chiunque soddisfi la proprietà. 2) I normali nomi propri sono abbreviazioni di descrizioni definite e svolgono quindi una funzione analoga ad esse 3) I nomi logicamente propri svolgono la funzione di riferirsi direttamente a oggetti, a prescindere da una qualche proprietà; sono rappresentati nel linguaggio della logica dalle costanti individuali e nel linguaggio naturale da espressioni dimostrative come "questo" e "quello"

5 Frege aveva distinto forma grammaticale: S-P forma logica: f(a) Russell: Quale è la FORMA LOGICA degli enunciati che contengono termini non denotanti? (ES: l'attuale re di Francia è calvo) Cosa esprime l'articolo definito? 1. esiste almeno un attuale re di Francia (esistenza) 2. esiste al massimo un attuale re di Francia (unicità) 3. ed è calvo (a) x (Fx y (Fy x=y) Cx) (b) non x (Fx y (Fy x=y) Cx) (c) x (Fx y (Fy x=y) non Cx). Russell: tutti gli enunciati del linguaggio, compresi gli enunciati con termini non denotanti, hanno sempre un valore di verità

6 Wittgenstein: Tractatus logico-philosophicus (1) teoria dell'enunciato come immagine (2) teoria dell'enunciato come funzione di verità TEORIA DELL'ENUNCIATO COME IMMAGINE ci facciamo immagini dei fatti gli elementi dell'immagine si riferiscono a elementi del mondo la disposizione degli elementi corrisponde alla disposizione degli elementi nel mondo un'immagine ha una forma di raffigurazione (scultura, pittura, disegno,...) astraendo dalle forme di raffigurazione si arriva a una forma generalissima, la forma logica

7 il pensiero è l'immagine logica dei fatti nell'enunciato il pensiero si esprime sensibilmente un enunciato, composto di nomi, è analogo a una immagine la cui forma è la forma logica gli elementi dell'enunciato, i nomi, si riferiscono direttamente a elementi del mondo la disposizione degli elementi corrisponde alla disposizione degli elementi nel mondo l'enunciato mostra la sua forma logica - e il filosofo deve individuarla, come Russell con la teoria delle descrizioni

8 la forma logica è nascosta da accordi e convenzioni del linguaggio quotidiano; esempio il verbo "essere" forma logica forma grammaticale inclusione x(fx Gx) Ogni francese è gioviale appartenenza F(a) Abelardo è francese identità a=b Aldo è il bello della classe esistenza xfx Vi è almeno un francese LINGUAGGIO NATURALE E FORMA LOGICA FREGE RUSSELL- WITTG. ATOMISMO LOGICO visione "riformista" (correttiva o rivoluzionaria): occorre un linguaggio formale meno ambiguo del l.naturale visione "ermeneutica" o essenzialista: il filosofo analizza il linguaggio naturale fino a svelarne la forma logica nascosta, l'essenza del linguaggio -