Logicismo: differenze tra le versioni

Versione delle 02:44, 19 mar 2013

Versione delle 04:41, 26 set 2013

Riga 1:

{{quoteCitazione|Oggi pare guadagnar sempre più sostenitori l'opinione che l'aritmetica sia una logica più ampia e che la giustificazione più rigorosa delle leggi aritmetiche riporti indietro a leggi puramente logiche e solo ad esse. Sono anch'io di quest'opinione e su di essa fondo la richiesta d'includere la notazione aritmetica in quella logica. |Gottlob Frege, ''Funzione e concetto''}}

Per '''Logicismo''' si intende il tentativo di ridurre la [[matematica]] ai concetti ed alle regole della [[logica]]. Secondo le posizioni logiciste per lo sviluppo dell'[[aritmetica]] (e conseguentemente, della matematica stessa) non sarebbero necessari altri concetti che quelli della logica, essendo la matematica fondamentalmente un'applicazione specifica delle leggi universali della logica. Ogni concetto, teorema e legge della matematica può essere quindi dedotto e dimostrato partendo dagli assiomi fondamentali della logica.

Riga 20:

Frege crede di aver raggiunto dunque gli obbiettivi di garantire l'esistenza di infiniti enti matematici definiti solo da ingredienti logici, con cui è dunque possibile procedere a dimostrare verità aritmetiche.

Ma è lecito porre come assioma necessario il passaggio da un concetto alla sua estensione? E dal fatto che l'estensione di un concetto coincide con quella di un altro concetto, si può concludere che ogni oggetto che cade sotto il primo concetto cade anche sotto il secondo? Ebbene: il 16 giugno 1902, mentre stava scrivendo il secondo volume dei ''Principi dell'aritmetica'', il libro in cui procedeva alla vera e propria riduzione alla logica dei concetti basilari dell'aritmetica stessa, Frege ricevette una lettera in cui [[Bertrand Russell]], uno dei pochi a dimostrare interesse per il programma dell'oscuro pensatore tedesco all'inizio del Novecento, gli comunicava un'[[antinomia]] fondamentale che vanificava la sua intera opera, dimostrando la '''contraddittorietà dell'assioma di comprensione''' su cui Frege si era basato. L'antinomia è oggi nota con il nome di [[paradosso di Russell]]. <br>Frege pubblicò comunque nel 1903 il secondo volume dei ''Principi dell'aritmetica'', riportandovi l'antinomia di Russell come aggiunta, esposta in questo modo:{{quoteCitazione|A uno scrittore di scienza ben poco può giungere più sgradito del fatto che, dopo aver completato un lavoro, venga scosso uno dei fondamenti della sua costruzione. Sono stato messo in questa situazione da una lettera del signor Bertrand Russell, quando la stampa di questo volume stava per essere finita. [...] Ma veniamo al fatto! Il signor Russell ha scoperto una contraddizione che ora esporrò. Nessuno vorrà asserire, della classe degli uomini, che essa è un uomo. Abbiamo qui una classe che non appartiene a se stessa. Dico infatti che qualcosa appartiene a una classe se questo qualcosa cade sotto un concetto, la cui estensione è proprio la classe stessa. Fissiamo ora il concetto: classe che non appartiene a se stessa! L’estensione di questo concetto, ammesso che se ne possa parlare, è, per quanto detto, la classe delle classi che non appartengono a se stesse. Vogliamo chiamarla brevemente la classe K. Chiediamoci ora se questa classe K appartenga a se stessa! Supponiamo in primo luogo che essa appartenga a se stessa. Se qualcosa appartiene a una classe, cade sotto il concetto la cui estensione è la classe in esame, di conseguenza, se la nostra classe appartiene a se stessa, allora è una classe che non appartiene a se stessa. La nostra prima supposizione conduce quindi a una contraddizione. Supponiamo, in secondo luogo, che la nostra classe K non appartenga a se stessa: in questo caso essa cade sotto il concetto di cui essa stessa rappresenta l’estensione, quindi appartiene a se stessa: qui di nuovo abbiamo una contraddizione!}}Frege non si sarebbe più ripreso dal colpo infertogli da Russell e per il resto della sua vita si sarebbe tenuto lontano dal problema dei fondamenti della matematica.

La conseguenza del paradosso di Russell è che la [[teoria degli insiemi]] sviluppata da [[Georg Cantor]] e utilizzata da Frege può essere dimostrata internamente contraddittoria tramite la definizione di un insieme molto particolare: l'insieme che contiene tutti gli insiemi che non contengono se stessi come elementi (''"The set of all sets that do not contain themselves as members"''). La definizione di questo insieme porta al paradosso che questo insieme contiene e non contiene se stesso, dimostrando che la definizione di insieme di Frege non poteva essere usata come fondamento certo della definizione del concetto di numero e quindi della matematica.