Logicismo: differenze tra le versioni

Versione delle 12:52, 20 feb 2013

Versione delle 12:57, 20 feb 2013

Riga 29:

Il processo definitorio delle definizioni impredicative (che individua un ente riferendosi a totalità alle quali l'ente appartiene) è un problema in una concezione costitutiva, riferendosi a qualcosa di non ancora costruito.<br>

Per evitar definizioni impredicative (e relative fallacie dell'autoriferimento) Russell elabora una teoria dei tipi: gerarchie di livelli degli enti logici, organizzati dai più semplici ai più complessi, definiti riferendosi ad enti già dati.

(Livello 0: gli elementi. Livello 1: gli insiemi di elementi. Livello 2: gli insiemi di insiemi di elementi. E così via). <br>In tale teoria vale il principio del circolo vizioso: nessuna totalità può contener elementi definiti in termini di se stessa. Il problema del sistema logico che Russell è la sua debolezza: senza definizioni impredicative, la matematica costruibile su tale base logica è limitata; e richiede assiomi estranei allo spirito sia predicativista sia logicista di partenzpartenza. Un esempio è l'assioma dell'infinito (esiste un tipo a cui appartengono infiniti individui distinti), senza cui si avrebbe l'esistenza di n individui che renderebbero possibile costruire i numeri cardinali da 0 a n, ma n+1 sarebbe una classe nulla, di conseguenza n+1 e tutti i successivi numeri naturali sarebbero tutti identici (cioè 0), il che sarebbe una catastrofe aritemeticaaritmetica.

La riduzione logicista (che venne chiamata [[teoria dei tipi]]) fu raggiunta da Russell a costo di alcune forzature, che negli anni a seguire provocarono il progressivo disfacimento del sistema eretto nei ''Principia''. Punti deboli della sistemazione russelliana si rivelarono: