Data di Pubblicazione:
2020
Citazione:
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.
Tipologia CRIS:
1.1 Articolo in rivista
Elenco autori:
Boccuni, Francesca
Link alla scheda completa:
Pubblicato in: