IRIS

PLV (Plural Basic Law V) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notionof plural quantication and a rst-order formulation of Frege's infamous BasicLaw 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.

Minimal Logicism / Boccuni, Francesca. - In: PHILOSOPHIA SCIENTIAE. - ISSN 1281-2463. - 18:3(2014), pp. 81-94. [10.4000/philosophiascientiae.974]

Minimal Logicism

BOCCUNI, FRANCESCA
Primo
2014-01-01

Abstract

PLV (Plural Basic Law V) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notionof plural quantication and a rst-order formulation of Frege's infamous BasicLaw 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.
2014
PLV (Plural Basic Law V) est un système de second ordre cohérent qui vise à dériver l'arithmétique de Peano du second ordre. Il emploiela notion de quantication plurielle et une formulation du premier ordre dela tristement célèbre Loi Fondamentale V de Frege. La sémantique pluriellede George Boolos est remplacée par la Acts of Choice Semantics (ACS) deEnrico Martino, qui est développée à partir de la notion de référence arbitraireen raisonnement mathématique. ACS fournit une forme de logicisme quiest radicalement alternative à celle de Frege et qui est fondée sur l'existence des individus plutôt que sur l'existence des concepts.
1.1 Articolo in rivista
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11768/50966
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact