Abstract
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.
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.
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.
Citazione
Francesca Boccuni, “Logica plurale”, in “APhEx 22”, 2020, pp. 30.
Numero della rivista
Visualizza e scarica il file PDF
Vai agli indici
AUTORI&AUTRICI
È professore associato di logica e filosofia della scienza presso la facoltà di Filosofia dell'Università Vita-Salute San Raffaele, dove insegna logica formale e logica filosofica. I suoi interessi di ricerca riguardano i programmi astrazionisti in filosofia della matematica e il logicismo fregeano, la logica dei predicati del secondo ordine e la logica plurale, la nozione di riferimento arbitrario nei linguaggi formali.
