Il progetto logico di Frege
Frege mira a fondare l’aritmetica sulla logica: questo progetto è chiamato logicismo. Per rendere rigorosi i ragionamenti, elabora l’Ideografia, un linguaggio formale che riduce le ambiguità del linguaggio quotidiano. La sua notazione analizza le proposizioni attraverso funzione e argomento, superando la tradizionale divisione grammaticale tra soggetto e predicato, e rappresenta in modo preciso la quantificazione, per esempio «per ogni» ed «esiste».
- Il linguaggio ordinario è utile, ma può lasciare spazio a interpretazioni diverse.
- L’Ideografia mira a rendere visibile la struttura logica del pensiero.
Senso, significato e pensiero
Frege distingue senso (Sinn) e significato (Bedeutung). Nel caso di un’espressione che nomina un oggetto, il significato è l’oggetto indicato; il senso è il modo in cui viene presentato. «Stella del mattino» e «stella della sera» hanno lo stesso significato, Venere, ma sensi diversi: offrono differenti vie per identificarlo.
L’antipsicologismo sostiene che le leggi logiche non dipendono dai processi psicologici individuali. I pensieri sono contenuti oggettivi, non oggetti fisici né rappresentazioni private. Frege li colloca nel Terzo Regno: non li creiamo come stati mentali, ma li afferriamo con il pensiero. Questa distinzione spiega come un contenuto possa essere condiviso da persone diverse e restare indipendente dalle loro esperienze soggettive.