Options
Logica plurale
Boccuni, Francesca
2020
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.
Journal
Publisher
EUT Edizioni Università di Trieste
Source
Francesca Boccuni, "Logica plurale", in "APhEx 22", 2020, pp. 30
Languages
it
File(s)