 |  |
 |
Nick: Stefnaa
Oggetto: re:Qualcuno di buon cuore?
Data: 16/11/2008 18.32.30
Visite: 85
non la conoscevo O___o
cmq cercando ho trovato sto trafiletto...non so se ti possa aiutare, cmq rende almeno l'idea di cosa intende con Tipi"
Nei Principi della matematica, scritti in collaborazione con Whitehead, Russell cercò di derivare tutta la matematica pura da un ristretto numero di concetti logici fondamentali ed elaborò in modo sistematico la teoria dei tipi, quale soluzione ai paradossi logici derivanti dal concetto di classe, come, ad esempio, quello classico del cretese Epimenide che afferma "tutti i cretesi sono bugiardi". La teoria dei tipi stabilisce una gerarchia di livelli logici tra i concetti ed i simboli i quali si distinguono in tipi di ordine crescente. Sono di tipo zero quelli che indicano gli individui, di tipo uno quelli che indicano le proprietà degli individui, di tipo due quelli che indicano le proprietà delle proprietà degli individui, ecc.. Per tornare al paradosso di Epimenide, questo, in buona sostanza, afferma: "tutte le proposizioni di primo ordine da me affermate sono false". Così facendo, egli però afferma una proposizione di secondo ordine, per cui non cade in nessuna contraddizione.
E' il porco di Yattaman!
