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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

The Fruits of Logicism.Timothy Bays - 2000 - Notre Dame Journal of Formal Logic 41 (4):415-421.
The aim of Russell’s early logicism: a reinterpretation.Anders Kraal - 2014 - Synthese 191 (7):1-18.
Russell’s reasons for logicism.Ian Proops - 2006 - Journal of the History of Philosophy 44 (2):267-292.
A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree.Mingzhong Cai - 2010 - Notre Dame Journal of Formal Logic 51 (4):443-455.
Plural Logicism.Francesca Boccuni - 2013 - Erkenntnis 78 (5):1051-1067.
Logicism Reconsidered.Patricia A. Blanchette - 1990 - Dissertation, Stanford University
Frege, Dedekind, and the Origins of Logicism.Erich H. Reck - 2013 - History and Philosophy of Logic 34 (3):242-265.
Russell: a guide for the perplexed.John Ongley & Rosalind Carey - 2013 - New York: Continuum. Edited by Rosalind Carey.
On dp-minimal ordered structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
Ed Zalta's Version of Neo-Logicism: a friendly letter of complaint.Philip A. Ebert & Marcus Rossberg - 2009 - In Hannes Leitgeb & Alexander Hieke (eds.), Reduction – Abstraction – Analysis. Ontos. pp. 11--305.
Locally o-minimal structures and structures with locally o-minimal open core.Antongiulio Fornasiero - 2013 - Annals of Pure and Applied Logic 164 (3):211-229.
Logicism lite.Richard Jeffrey - 2002 - Philosophy of Science 69 (3):474-496.
Logicism Revisited.Otávio Bueno - 2001 - Principia 5 (1-2):99-124.
Logicism as Making Arithmetic Explicit.Vojtěch Kolman - 2015 - Erkenntnis 80 (3):487-503.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.

Analytics

Added to PP
2016-02-04

Downloads
36 (#410,354)

6 months
5 (#441,012)

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

Plural quantification exposed.Øystein Linnebo - 2003 - Noûs 37 (1):71–92.
Arbitrary reference.Wylie Breckenridge & Ofra Magidor - 2012 - Philosophical Studies 158 (3):377-400.
Second-order logic still wild.Michael D. Resnik - 1988 - Journal of Philosophy 85 (2):75-87.

View all 8 references / Add more references