Erkenntnis 78 (5):1051-1067 (2013)
AbstractPG (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
Similar books and articles
On What There Are.Philippe De Rouilhan - 2002 - Proceedings of the Aristotelian Society 102:183 - 200.
On the Infinite in Mereology with Plural Quantification.Massimiliano Carrara & Enrico Martino - 2011 - Review of Symbolic Logic 4 (1):54-62.
On Plural Reference and Elementary Set Theory.Helen Morris Cartwright - 1993 - Synthese 96 (2):201 - 254.
Sharvy's Theory of Definite Descriptions Revisited.Berit Brogaard - 2007 - Pacific Philosophical Quarterly 88 (2):160–180.
Love, Plural Subjects & Normative Constraint.Joseph Kisolo-Ssonko - 2012 - Phenomenology and Mind (3).
Added to PP
Historical graph of downloads
Citations of this work
The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
Structuralist Neologicism†.Francesca Boccuni & Jack Woods - 2020 - Philosophia Mathematica 28 (3):296-316.
In Defence of Higher-Level Plural Logic: Drawing Conclusions From Natural Language.Berta Grimau - 2019 - Synthese 198 (6):5253-5280.
References found in this work
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.