Predicativismo

Il predicativismo è una posizione revisionista all'interno della filosofia della matematica che si caratterizza per la richiesta che le entità matematiche (funzioni, relazioni, insiemi, ecc.) siano definite dal "basso verso l'alto": a partire da alcune entità ritenute incontrovertibili, tipicamente i numeri naturali, si definiscono entità matematiche nuove in modo "predicativo". Ovvero, le definizioni di nuove entità debbono utilizzare solo ciò che era disponibile "prima" di introdurle; in particolare, non devono far uso né delle entità che si stanno definendo né delle collezioni cui appartengono. Le definizioni che non soddisfano questo requisito sono dette impredicative. L'articolo posiziona il predicativismo all'interno dei dibattiti fondazionali sorti a cavallo tra fine Ottocento e inizio Novecento e ne delinea le caratteristiche principali, soprattutto in relazione al contributo di Hermann Weyl.