Repository | Journal | Volume | Articles
(2014) Philosophia Scientiae 18 (3).
PLV (Plural Basic Law V) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a first-order formulation of Frege's infamous Basic Law 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.
Publication details
DOI: 10.4000/philosophiascientiae.974
Full citation:
Boccuni, F. (2014). Minimal logicism. Philosophia Scientiae 18 (3), pp. 81-94.
This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.
