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.
In "Logicism", the author considers an extension of the Grundgesetze der Arithmetik predicative subsystem consisting of Gottlob Frege, operated through a plural logic (George Boolos). The resulting formal system uses a particular semantics, the semantics of the acts of choice (Enrico Martino). The use of the plural logic and semantics of acts of choice highlights how the system presented incorporates a reduction of second-order Peano arithmetic to the mere logic, giving new life to approach this project himself fregeano. These two instruments ensures that the focus of the project himself approach moves from the consideration of concepts as logical entities, to the consideration of mere individuals of the first order as logical entities. As such, the formal system described in the text, whose philosophical aspects are extensively treated, provides an alternative to the original fregeano and logicism proposed neologicismo.