Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/31810
Title: Logica plurale
Authors: Boccuni, Francesca
Keywords: PluralsLanguageLogicPluralitàLogicaLinguaggio
Issue Date: 2020
Publisher: EUT Edizioni Università di Trieste
Source: Francesca Boccuni, "Logica plurale", in "APhEx 22", 2020, pp. 30
Journal: APhEx 
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.
Type: Article
URI: http://hdl.handle.net/10077/31810
ISSN: 2036-9972
Appears in Collections:22 APhEx num 22, anno 2020

Files in This Item:
File Description SizeFormat
LogicaPlurale.pdf373.79 kBAdobe PDFThumbnail
View/Open
Show full item record


CORE Recommender

Page view(s)

21
checked on Apr 11, 2021

Download(s)

27
checked on Apr 11, 2021

Google ScholarTM

Check


This item is licensed under a Creative Commons License Creative Commons