Frege: Filosofia del Linguaggio per Esame

Gottlob Frege

• Gottlob Frege (1848-1925) è un matematico e filosofo tedesco, considerato fondatore della filosofia analitica e della logica moderna.
• Le opere principali includono:
  • Begriffsschrift (1879)
  • Grundgesetze der Arithmetik (1893-1903)
  • Über Sinn und Bedeutung (1892)

Quantificazione in Frege

• Sviluppo di un sistema di quantificazione formale con simboli come "∀" (per tutti) e "∃" (esiste).
• Permette espressioni precise di concetti logici complessi.
• Analisi del quantificatore universale come funzione mappante predicati a valori di verità.

Enunciati di credenza e principio di sostituibilità

• Due espressioni con la stessa denotazione possono essere sostituite senza alterare il valore di verità.
• Esempio: “Angelina” e “Jolie” sono intercambiabili in frasi come “il fidanzato di Angelina”.

Composizionalità in Frege

• La composizionalità è il principio che il significato di un'espressione complessa deriva dal significato delle parti e dalla loro combinazione.
• L'idea fondamentale è che il significato di un enunciato non è una semplice somma dei significati delle parole.

Distinzione tra Sinn e Bedeutung

• Sinn è il contenuto concettuale, mentre Bedeutung è l'oggetto a cui l'espressione si riferisce nella realtà.
• Il valore di verità di un enunciato dipende dalle sue condizioni di verità, che coincidono con il significato dell'enunciato.
• Esempio: L'enunciato “La neve è bianca” ha il Sinn del concetto di neve bianca e la Bedeutung dell'oggetto reale.

Contributi di Frege alla filosofia del linguaggio

• Fondamenti della filosofia analitica e di un sistema di logica formale di grande rigore.
• Teoria del significato basata sulla distinzione tra senso e referenza.
• Introduzione del principio di composizionalità per la semantica, influenzando filosofia della mente, matematica e linguistica.

Ludwig Wittgenstein

• Wittgenstein (1889-1951) è un filosofo austriaco, influente nel XX secolo, noto per le sue opere Tractatus Logico-Philosophicus (1921) e Ricerche filosofiche (1953).

Teoria pittografica del significato

• Sviluppata nel Tractatus, sostiene che il linguaggio funzioni come un'immagine della realtà.
• Gli enunciati elementari rappresentano stati di cose, e il significato è definito dalla loro relazione con tali stati.

Significato di un enunciato elementare

• Consiste nella verificabilità: un enunciato è vero se lo stato di cose rappresentato è presente nella realtà.

Isomorfismo tra enunciati e stati di cose

• La relazione tra enunciati elementari e stati di cose è di isomorfismo, in cui la struttura dell'enunciato rispecchia la struttura dello stato di cose.

Concetto di mondo nel Tractatus

• Il mondo è visto come la totalità dei fatti, non delle cose.
• I fatti determinano ciò che accade e ciò che non accade, senza alternative possibili.

Alfred Tarski

• Tarski (1901-1983) è un logico e matematico polacco, importante per la logica e la filosofia del linguaggio.
• Principale contributo: una definizione di verità basata sulla soddisfazione in un linguaggio formale.

Definizione di verità di Tarski

• Una proposizione è vera se soddisfa tutte le assegnazioni compatibili con la semantica del linguaggio.
• Offerta di un vocabolario, sintassi e semantica per chiarire la verità in un linguaggio.

Vantaggi della definizione di Tarski

• Maggiore precisione e oggettività rispetto a definizioni precedenti.
• Applicabilità a linguaggi formali complessi, superando i limiti delle definizioni vaghe precedenti.

Dimostrazione di verità assoluta

• Basata sulla nozione di metalinguaggio.
• Un enunciato è vero se e solo se il suo referente nel metalinguaggio è corretto.
• Fondamentale il principio di bivalenza: ogni enunciato è vero o falso.

Limiti della dimostrazione di Tarski

• Applicabile solo a enunciati formalizzati in un linguaggio logico.
• Non adatto per enunciati in linguaggio naturale a causa della loro ambiguità.