SFC analitici /Russell 1 B. Russell: Atomismo logico Russell & Whitehead : - Nuova logica di ambito assai più vasto della logica classica La logica classica era essenzialmente una logica delle classi, La logica russelliana è una logica delle proposizioni

SFC analitici /Russell 2 B. Russell: Atomismo logico -la matematica tradizionalmente pensata come disciplina indipendente è vista da Russell come una parte della logica -Il linguaggio ordinario o “naturale “ ha una base simile alla logica dei “Principia Mathematica” -La logica matematica fornisce alla filosofia uno strumento per chiarire il significato degli enunciati di qualunque linguaggio naturale.

SFC analitici /Russell 3 B. Russell: Atomismo logico -‘Le proposizioni atomiche’ e proposizioni molecolari -Una proposizione atomica è una proposizione che non contiene altre proposizioni come sue parti. Le proposizioni molecolari sono riducibili alle proposizioni atomiche Le proposizioni atomiche hanno la forma soggetto+predicato o termini+ relazioni

SFC analitici /Russell 4 B. Russell: Atomismo logico Quando una proposizione atomica è vera il soggetto “denota” un oggetto individuale e il predicato “ si riferisce” a una caratteristica di questo oggetto. Il mondo è costituito di “ fatti” e i fatti sono atomici cioè ogni fatto è rappresentato da una proposizione atomica Gli ultimi costituenti del mondo sono i “fatti” e un fatto è costituito da un oggetto individuale e da una proprietà.

SFC analitici /Russell 5 B. Russell: Atomismo logico Teoria delle descrizioni Attraverso erronee analisi linguistici i filosofi sono stati condotti a credere con argomenti speciosi nell’esistenza di enti che il senso comune ritiene fittizi o non esistenti Es. Unicorni Il quadrato rotondo

SFC analitici /Russell 6 B. Russell: Atomismo logico a) La frase “ L’attuale re di Francia “ sembra il soggetto dell’enunciato “ L’attuale re di Francia è calvo” b)Poiché l’enunciato l’attuale Re di Francia è calvo” è significante deve vertere su qualcosa per esempio ‘l’attuale re di Francia’ c) A meno che il re di Francia esista l’enunciato non verterebbe su alcunché e pertanto non sarebbe significante

SFC analitici /Russell 7 B. Russell: Atomismo logico d) ‘l’attuale Re di Francia è calvo’ è significante Dunque deve esserci una qualche entità ( appunto l’attuale re di Francia) tale entità esiste o sussiste

SFC analitici /Russell 8 Russell: Atomismo logico Forma grammaticale ( superficiale) Forma logica (profonda) Esistono enunciati sensati in cui compaiono termini che non denotano nulla di esistente “L’attuale Re di Francia è calvo” sembra una proposizione atomica (Soggetto + predicato) in effetti è una proposizione generale. ( Se qualcosa è un x ha la proprietà z)

SFC analitici /Russell 9 Russell: Atomismo logico Se il significato di un’espressione si esaurisce nella denotazione come possono questi enunciati avere significato? Frege: distinzione di senso e significato Meinong : platonismo con una ontologia ridondante

SFC analitici /Russell 10 Russell: Atomismo logico L’espressione “L’ attuale re di Francia” è solo apparentemente Un termine È un costituente della struttura grammaticale ma non della struttura logica

SFC analitici /Russell 11 B. Russell: Atomismo logico L’analisi: ( una parafrasi) Qualcosa è l’attuale Re di Francia Non più di una cosa è l’attuale Re di Francia Qualunque cosa sia attuale Re di Francia è calvo

SFC analitici /Russell 12 B. Russell: Atomismo logico (descrizioni) Descrizioni Il re di Francia è calvo ‑ Forma GrammaticaleS ( Il re di Francia)+P ( è calvo) Forma Logica = congiunzione di tre enunciati: -Vi è almeno un re di Francia -Vi è uno e solo un re di Francia -qualunque cosa sia re di Francia è calvo

SFC analitici /Russell 13 B. Russell: Atomismo logico Le tre proposizioni componenti non contengono nomi propri ma solo termini generali come ‘ qualcosa’ ‘qualunque cosa’ Solo i soggetti delle proposizioni atomiche hanno un riferimento diretto cioè una DENOTAZIONE Le descrizioni sono “ simboli incompleti” non nomi propri “incompleti” perché non hanno significato se prese di per sé ma contribuiscono al significato delle proposizioni in cui occorrono: sono come i segni grafici ( ) Il linguaggio “ ideale” sarebbe costituito solo da nomi propri e potrebbe “ raffigurare “ il mondo

SFC analitici /Russell 14 B. Russell: Atomismo logico Per Frege l’esistenza è presupposta perché l’enunciato abbia un valore di verità Per Russell è parte di ciò che l’enunciato asserisce e che l’analisi mostra come falso

SFC analitici /Russell 15 B. Russell: Atomismo logico Nesso tra Forma logica e condizioni di verità dell' enunciato Verità = conformità ai fatti reali Forma logica = conformità ai fatti possibili