Erkenntnis 78 (5):1051-1067 (2013)

Authors
Francesca Boccuni
University Vita-Salute San Raffaele
Abstract
PG (Plural Grundgesetze) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a few Fregean devices, among which the 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. Also, substitutional quantification is exploited to interpret quantification into predicate position. 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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s10670-013-9482-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,244
Through your library

References found in this work BETA

Introduction to Logic.Patrick Colonel Suppes - 1957 - New York, NY, USA: Dover Publications.
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
Pluralities and Sets.Øystein Linnebo - 2010 - Journal of Philosophy 107 (3):144-164.
Fixing Frege.John P. Burgess - 2005 - Princeton University Press.

View all 15 references / Add more references

Citations of this work BETA

Structuralist Neologicism†.Francesca Boccuni & Jack Woods - 2020 - Philosophia Mathematica 28 (3):296-316.
Logicism and Neologicism.Neil Tennant - 2013 - Stanford Encyclopedia of Philosophy.
Minimal Logicism.Francesca Boccuni - 2014 - Philosophia Scientae 18:81-94.

View all 6 citations / Add more citations

Similar books and articles

Plural Quantification.Ø Linnebo - 2008 - Stanford Encyclopedia of Philosophy.
On What There Are.Philippe De Rouilhan - 2002 - Proceedings of the Aristotelian Society 102:183 - 200.
The Logic of Finite Order.Simon Hewitt - 2012 - Notre Dame Journal of Formal Logic 53 (3):297-318.
Plural Quantification and Classes.Gabriel Uzquiano - 2003 - Philosophia Mathematica 11 (1):67-81.
Sharvy's Theory of Definite Descriptions Revisited.Berit Brogaard - 2007 - Pacific Philosophical Quarterly 88 (2):160–180.
On the Logic of Classes as Many.Nino B. Cocchiarella - 2002 - Studia Logica 70 (3):303-338.
Superplurals in English.Øystein Linnebo & David Nicolas - 2008 - Analysis 68 (3):186–197.

Analytics

Added to PP index
2013-03-27

Total views
82 ( #132,801 of 2,455,483 )

Recent downloads (6 months)
8 ( #84,265 of 2,455,483 )

How can I increase my downloads?

Downloads

My notes