Francesca Boccuni

È professore associato di logica e filosofia della scienza presso la facoltà di Filosofia dell'Università Vita-Salute San Raffaele, dove insegna logica formale e logica filosofica. I suoi interessi di ricerca riguardano i programmi astrazionisti in filosofia della matematica e il logicismo fregeano, la logica dei predicati del secondo ordine e la logica plurale, la nozione di riferimento arbitrario nei linguaggi formali.

Temi

Logica plurale

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…

Francesca Boccuni
Settembre 30, 2020

Profili

Frege, Gottlob

Abstract Gottlob Frege (Wismar 1848 – Bad Kleinen 1925) is one of the founding fathers of modern logic and philosophy of mathematics, and, in general, of analytic philosophy. He was the first to acknowledge that the problem of the foundations…

Francesca Boccuni
Febbraio 5, 2011