Minimal Logicism

Philosophia Scientiae 18:81-94 (2014)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

DOI

10.4000/philosophiascientiae.974

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,448

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Plural Logicism.Francesca Boccuni - 2013 - Erkenntnis 78 (5):1051-1067.
Plural Grundgesetze.Francesca Boccuni - 2010 - Studia Logica 96 (2):315-330.
On the Consistency of a Plural Theory of Frege’s Grundgesetze.Francesca Boccuni - 2011 - Studia Logica 97 (3):329-345.
A Notion of Logical Concept Based on Plural Reference.Carrara Massimiliano & Martino Enrico - 2018 - Acta Analytica 33 (1):19-33.
Arbitrary Reference in Logic and Mathematics.Massimiliano Carrara & Enrico Martino - 2024 - Springer Cham (Synthese Library 490).
To Be is to Be the Object of a Possible Act of Choice.Massimiliano Carrara & Enrico Martino - 2010 - Studia Logica 96 (2):289-313.
Frege's Theorem in Plural Logic.Simon Hewitt - manuscript
Comparing Peano arithmetic, Basic Law V, and Hume’s Principle.Sean Walsh - 2012 - Annals of Pure and Applied Logic 163 (11):1679-1709.
Plural Frege Arithmetic.Francesca Boccuni - 2022 - Philosophia Scientiae 26:189-206.
The Logic of Finite Order.Simon Hewitt - 2012 - Notre Dame Journal of Formal Logic 53 (3):297-318.

Analytics

Added to PP
2016-02-04

Downloads
49 (#441,615)

6 months
10 (#381,237)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Francesca Boccuni
University Vita-Salute San Raffaele

Citations of this work

Logicism and Neologicism.Neil Tennant - 2013 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Nominalist platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
Plural quantification exposed.Øystein Linnebo - 2003 - Noûs 37 (1):71–92.
Nominalist platonism.George Boolos - 1998 - In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. pp. 73-87.
Arbitrary reference.Wylie Breckenridge & Ofra Magidor - 2012 - Philosophical Studies 158 (3):377-400.

View all 11 references / Add more references