Minimal Logicism

Academic Article
Publication Date:
2014
Short description:
Minimal Logicism / Boccuni, F.. - In: PHILOSOPHIA SCIENTIAE. - ISSN 1281-2463. - 18:3(2014), pp. 81-94. [10.4000/philosophiascientiae.974]
abstract:
PLV (Plural Basic Law V) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notionof plural quantication and a rst-order formulation of Frege's infamous BasicLaw V. George Boolos' plural semantics is replaced with Enrico Martino's Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. ACS provides a form of logicism which is radically alternative to Frege's and which is grounded on the existence of individuals rather than on the existence of concepts.
Iris type:
1.1 Articolo in rivista
List of contributors:
Authors of the University:
Handle:
https://iris.unisr.it/handle/20.500.11768/50966
Published in:
PHILOSOPHIA SCIENTIAE
Journal