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.
Logica plurale / Boccuni, F.. - In: APHEX. - ISSN 2036-9972. - 22:(2020).
Logica plurale
francesca boccuni
Primo
2020-01-01
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
APhEx22, 2020LogicaPlurale.pdf
solo gestori archivio
Tipologia:
PDF editoriale (versione pubblicata dall'editore)
Licenza:
Tutti i diritti riservati
Dimensione
373.79 kB
Formato
Adobe PDF
|
373.79 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
