Plural Frege Arithmetic
In [Boccuni 2010], a predicative fragment of Frege’s blv augmented with Boolos’ unrestricted plural quantification is shown to interpret pa2. The main disadvantage of that axiomatisation is that it does not recover Frege Arithmetic fa because of the restrictions impos...
Main Author: | Francesca Boccuni |
---|---|
Format: | Article |
Language: | deu |
Published: |
Éditions Kimé
2022-02-01
|
Series: | Philosophia Scientiæ |
Online Access: | http://journals.openedition.org/philosophiascientiae/3394 |
Similar Items
-
Frege's paradox.
by: Mendelsohn, Richard Lloyd, et al.
Published: (2009) -
Frege’s Theory of Types
by: Bruno Bentzen
Published: (2023-12-01) -
Leibniz on the Frege Point
by: Rauzy, Jean-Baptiste
Published: (2021-12-01) -
Frege, Thomae, and Formalism
by: Richard Lawrence
Published: (2023-05-01) -
Frege sobre “decisiones” (Entschlüsse): intencionalidad y motivación en Frege y Husserl
by: Mario González Porta
Published: (2013-05-01)