Publication Date:
2020
Short description:
Logica plurale / Boccuni, Francesca. - In: APHEX. - ISSN 2036-9972. - 22:(2020).
abstract:
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.
Iris type:
1.1 Articolo in rivista
List of contributors:
Boccuni, Francesca
Published in: