Logicismo plurale - 9788854851214

Logicismo plurale. In "Logicismo plurale", l'autrice considera un'estensione consistente dei sottosistemi predicativi dei Grundgesetze der Arithmetik di Gottlob Frege, operata tramite la logica plurale (George Boolos). Il sistema formale risultante si avvale di una semantica particolare, la semantica degli atti di scelta (Enrico Martino). L'utilizzo della logica plurale e della semantica degli atti di scelta mette in evidenza come il sistema presentato incorpori una riduzione dell'aritmetica al secondo ordine di Peano alla mera logica, dando nuova linfa all'approccio logicista fregeano. Questi due strumenti fanno sì che il fulcro dell'approccio logicista si sposti dalla considerazione dei concetti in quanto entità logiche, alla considerazione dei meri individui del primo ordine come entità logiche. In quanto tale, il sistema formale descritto nel testo, i cui aspetti filosofici sono ampiamente trattati, fornisce una proposta di logicismo alternativa all'originale fregeano e al neologicismo.