La presentazione è in caricamento. Aspetta per favore

La presentazione è in caricamento. Aspetta per favore

Il problema dei paradossi nella storia della logica formale.

Presentazioni simili


Presentazione sul tema: "Il problema dei paradossi nella storia della logica formale."— Transcript della presentazione:

1 Il problema dei paradossi nella storia della logica formale

2

3

4

5

6 Consideriamo la seguente situazione: Questo barbiere rade solo gli uomini che non si radono da soli Questo barbiere rade solo gli uomini che non si radono da soli Chi rade il barbiere ? Chi rade il barbiere ?

7 Usiamo gli insiemi … Linsieme che ha come elementi solo gli uomini che SI RADONO DA SOLI Linsieme che ha come elementi solo gli uomini che SI RADONO DA SOLI Linsieme che ha come elementi solo gli uomini che NON SI RADONO DA SOLI Linsieme che ha come elementi solo gli uomini che NON SI RADONO DA SOLI

8 Ricordiamo che: Questo barbiere rade solo gli uomini che non si radono da soli Questo barbiere rade solo gli uomini che non si radono da soli SE il barbiere si rade da solo … … ALLORA il barbiere appartiene ad A e non può radersi; Insieme ma SE invece il barbiere non si rade da solo … … ALLORA il barbiere appartiene a B e può radersi; QUINDI … … il barbiere si rade da solo se e solo se non si rade da solo … !!!

9 Paradosso del barbiere = antinomia di Russell (Bertrand Russell 1902) –antinomia = compresenza di due affermazioni contraddittorie (tesi e antitesi) che sono entrambe giustificate, ossia prodotte da un ragionamento corretto p p (p se e solo se non p) Tavola di verità del bicondizionale (o doppia implicazione): una doppia implicazione è vera solo quando antecedente e conseguente hanno il medesimo valore di verità. PQ P Q VVV VFF FVF FFV

10 Le antinomie non erano una novità: il paradosso del mentitore, o di Epimenide cretese (scuola megarica, IV-III secolo a.C.) –se affermo io mento, il mio enunciato è vero se e solo se è falso il dilemma del coccodrillo (scuola stoica, IV-II secolo a.C.) –un coccodrillo rapisce un bambino e la madre lo supplica di non divorarlo; il coccodrillo dice alla donna che gli restituirà il figlio solo se lei riuscirà a indovinare la sua reale intenzione di restituirlo o meno; la donna dice tu non vuoi restituirmelo, e il coccodrillo non sa più cosa fare perché – a questo punto - non può né tenere il bambino, né restituirlo senza entrare in contraddizione con se stesso … le antinomie della cosmologia razionale (Kant, Critica della ragion pura, 1781) –i discorsi sul mondo sviluppati dalla riflessione metafisica danno luogo a coppie di affermazioni reciprocamente contraddittorie sulla verità delle quali non vi è modo di decidere: »il mondo ha un limite nel tempo e nello spazio / il mondo è infinito nel tempo e nello spazio »tutto nel mondo è fatto di elementi semplici / nulla è semplice, tutto è composto »ecc..

11 NB: differenza tra paradosso e antinomia le antinomie sono una sottoclasse dei paradossi, i quali sono affermazioni che vanno contro (parà) il senso comune (doxa); ci sono quindi paradossi che non sono antinomie: –i cosiddetti paradossi del sorite (da soros, che vuol dire mucchio), anche detti paradossi dellinduzione »paradosso dei granelli di sabbia: un granello di sabbia non è un mucchio di sabbia; due granelli nemmeno; neanche tre … quanti granelli ci vogliono per dire che abbiamo un mucchio di sabbia? La differenza tra mucchio e non mucchio sta in un solo granello in più (o in meno)?!? »il Calvo: un uomo che ha perso un capello non è calvo; quando ha perso due capelli, ancora non è calvo; nemmeno quando ne ha persi tre … la differenza tra calvo e non calvo sta in un solo capello in meno (o in più)?!? –i sofismi, ossia ragionamenti falsi nella forma, ma di primo acchitto convincenti: »il Cornuto: tu possiedi tutto quello che non hai perduto; ma non hai perduto le corna; dunque sei cornuto.

12 … ma lantinomia di Russell fu una bomba perché emerse allinterno del logicismo: –tentativo di provare che a.tutta la matematica pura utilizza concetti definibili in termini di un numero piccolissimo di concetti logici fondamentali; b.tutte le proposizioni matematiche fondamentali sono deducibili da un numero piccolissimo di concetti logici di base. –Peano, assiomatizzazione dellaritmetica dei numeri naturali (1899) –Hilbert, assiomatizzazione della geometria (1899) –Frege, formalizzazione della logica (Ideografia, 1879) e riduzione dellaritmetica alla logica ( ) –Russell e Whitehead, riduzione della matematica alla logica e tentativo di soluzione delle antinomie (Principia Mathematica, )

13 … ma perché il logicismo? XIX secolo: scoperta delle geometrie non euclidee –Riemann e Lobačevskij (varianti del V postulato di Euclide) –postulati non veri rispetto allo spazio dellesperienza ordinaria –come si può dimostrare la loro coerenza, ossia escludere che sia possibile dedurre da essi dei teoremi che si contraddicono tra di loro? un insieme di assiomi è coerente se tutte le conclusioni da esso deducibili sono vere poiché lo spazio descritto dai postulati euclidei coincide con lesperienza ordinaria, nessuno si era mai chiesto prima se quei postulati fossero coerenti –come, in generale, si può dimostrare la mutua coerenza di qualunque insieme di assiomi, dato che non è possibile dedurre tutti i teoremi (sono infiniti) per verificarne la verità? universalità e necessità vs probabilità -> il sogno di Leibniz…

14 Costruzione di modelli (interpretazioni del mondo descritto dagli assiomi) –con un numero finito di elementi -> consentono di verificare la coerenza degli assiomi (veri rispetto al modello); –con un numero infinito di elementi (la maggior parte dei sistemi di assiomi a fondamento dei vari rami della matematica, ad esempio laritmetica elementare) -> consentono di osservare solo un numero limitato di elementi Logicismo: se traduciamo tutti i concetti e le regole fondamentali che compaiono negli assiomi matematici in concetti e regole logiche, sarà possibile controllarne facilmente la coerenza. Lantinomia di Russell emerse tentando di formulare in termini logici elementari la teoria delle classi infinite (insiemi) di Cantor (il concetto di classe appariva intuitivamente chiaro e distinto); lantinomia ha la seguente forma: –vi sono classi che non contengono se stesse come elementi (esempio: la classe dei matematici); –vi sono classi che contengono se stesse come elementi (esempio: la classe dei concetti astratti); –la classe di tutte le classi che non contengono se stesse è o non è elemento di se stessa? (Il paradosso del barbiere …)

15 Lantinomia di Russell era emersa nel cuore della logica, ossia proprio allinterno dello strumento che doveva risolvere il problema della coerenza degli assiomi.

16 La soluzione proposta da Russell: –le antinomie nascono dallautoriferimento (cfr. litografie di Escher) –bisogna bandire gli strani anelli dalla logica, dalla teoria delle classi e dalla matematica Consideriamo una versione linguistica del paradosso del barbiere (paradosso di Grelling): –chiamiamo autodescrittivo ogni aggettivo che descrive se stesso (breve, esasillabico, …) –chiamiamo eterodescrittivo ogni aggettivo che non descrive se stesso (viola, commestibile, … la maggior parte degli aggettivi) –laggettivo eterodescrittivo è eterodescrittivo?

17 –per evitare lautoriferimento bisogna distinguere il livello delluso di un termine da quello della sua menzione: 1.Chicago è ventosa Il termine è usato: livello del linguaggio-oggetto 2.Chicago è trisillaba Il termine è menzionato, cioè nominato: livello metalinguistico il metalinguaggio è un linguaggio di secondo livello che descrive un altro linguaggio preso come oggetto della descrizione quando i due linguaggi coincidono (uso litaliano per descrivere litaliano), si distingue luso dalla menzione (segnalata dalle virgolette) non ha senso chiedersi se Chicago è ventosa … … come non ha senso chiedersi se viola è viola … … e se eterodescrittivo è eterodescrittivo?

18 Secondo Russell e Whitehead, bisogna innanzitutto distinguere un livello base in cui si trovano solo oggetti, non insiemi; segue quindi un primo livello superiore in cui si trovano insiemi del tipo 1: quelli che possono avere come elementi solo oggetti del livello più basso, non insiemi; ad un ulteriore metalivello, possono essere formati insiemi del tipo 2, ossia insiemi che possono contenere come elementi o insiemi del tipo 1 o oggetti del livello base; ecc …. purché ogni insieme di qualsivoglia tipo successivo contenga come elementi SOLTANTO insiemi di un tipo inferiore al proprio oppure oggetti del livello base, e MAI se stesso o insiemi di tipo superiore al proprio. –La formazione di antinomie (strani anelli, o gerarchie aggrovigliate) viene bloccata con un procedimento normativo – una regola di produzione di insiemi ben formati. La teoria dei tipi dinsiemi

19 eterodescrittivo menziona se stesso (ad un meta-livello) come parola di un linguaggio oggetto, ma questo linguaggio-oggetto appare essere a sua volta un metalinguaggio: lo strano anello si crea perché non è chiaro a quale livello esso appartenga; considerato come oggetto del livello base – cioè al di fuori dellinsieme definito dallimpiego metalinguistico del termine eterodescrittivo -, eterodescrittivo può essere – senza contraddizione - autodescrittivo, così come il barbiere è un uomo che può radersi da solo.

20 Esempio di livello base – Tipo 0: le persone; ogni persona nel mondo è un oggetto di tipo 0; i puntini stanno per e così via …. Esempio di livello base – Tipo 0: le persone; ogni persona nel mondo è un oggetto di tipo 0; i puntini stanno per e così via …. Esempio di Tipo 1: linsieme nazione Italia, i cui elementi sono le persone che hanno la cittadinanza italiana; questo insieme ha 60 milioni di elementi di tipo 0 (tanti sono i cittadini italiani). Esempio di Tipo 1: linsieme nazione Italia, i cui elementi sono le persone che hanno la cittadinanza italiana; questo insieme ha 60 milioni di elementi di tipo 0 (tanti sono i cittadini italiani). Esempio di Tipo 2: linsieme Unione europea, i cui elementi sono gli insiemi nazione che si possono formare, come sotto, secondo le varie cittadinanze europee. Linsieme Unione europea ha 27 elementi di tipo 1 (tante sono le nazioni europee). Esempio di Tipo 2: linsieme Unione europea, i cui elementi sono gli insiemi nazione che si possono formare, come sotto, secondo le varie cittadinanze europee. Linsieme Unione europea ha 27 elementi di tipo 1 (tante sono le nazioni europee). Esempio di Tipo 3: linsieme Collaborazione euro-mediterranea, i cui elementi sono linsieme di tipo 2 Unione Europea e 16 insiemi nazione di tipo 1 che corrispondono a paesi extra-europei che affacciano sul Mediterraneo. Esempio di Tipo 3: linsieme Collaborazione euro-mediterranea, i cui elementi sono linsieme di tipo 2 Unione Europea e 16 insiemi nazione di tipo 1 che corrispondono a paesi extra-europei che affacciano sul Mediterraneo.

21 Douglas R. Hofstadter, Gödel, Escher e Bach: uneterna ghirlanda brillante, 1979 (ed. it. Adelphi 1984) E. Nagel e J.R. Newman, La prova di Gödel, 1958 (ed. it. Boringhieri 1974) Testi di riferimento Trovate convincente la soluzione proposta da Russell e Whitehead? –paragonate questa nozione formale di insieme con quella intuitiva … Pensate che abbia risolto i problemi del logicismo? Il sogno di Leibniz è realizzabile? –e se sì, in che misura? … la storia, in realtà, continua (in una qualche prossima puntata!) Un problema aperto


Scaricare ppt "Il problema dei paradossi nella storia della logica formale."

Presentazioni simili


Annunci Google