The aim of this article is to provide a historical and theoretical introduction to plural quantification. After a presentation of Boolos' plural semantics for second-order logic and the resulting formal system, i.e. plural logic, I will tackle the most famous issues they face. Finally, I will present a few possible applications of plural logic to the foundations of mathematics and logic.
Keywords: Plurals; Language; Logic.
Temi
Logica plurale
di Francesca Boccuni
30.09.2020
Scopo di questo articolo è fornire una panoramica storico-teorica sulla quantificazione plurale. Dopo aver presentato la semantica plurale di Boolos (1984, 1985) come possibile interpretazione per la quantificazione del secondo ordine e quello che, ormai, viene inteso come un linguaggio formale autonomo, i.e. il linguaggio della logica plurale, ne verranno trattati i problemi più noti. Infine, verranno presentate alcune possibili applicazioni della logica plurale ai fondamenti della matematica e alla logica.
Continua la lettura (non è necessario il reader PDF)
Scarica il file Pdf
