Plural Frege Arithmetic

Résumé Fr En

Dans [Boccuni 2010], un fragment prédicatif du blv de Frege augmenté de la quantification plurielle illimitée de Boolos interprète pa2. Le principal inconvénient de cette axiomatisation est qu’elle ne récupère pas Frege Arithmetic ( fa), en raison des restrictions imposées aux axiomes. Le but du présent article est de montrer comment [Boccuni 2010] peut être étendu de manière cohérente afin d’interpréter fa et par conséquent pa2 d’une manière qui soit parallèle à celle de Frege. Ce faisant, le système présenté sera mis en comparaison avec le système pe dans [Ferreira 2018] et quelques différences pertinentes entre les deux seront mises en évidence.

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 imposed on the axioms. The aim of the present article is to show how [Boccuni 2010] can be consistently extended so as to interpret fa and consequently pa2 in a way that parallels Frege’s. In that way, the presented system will be compared with the system pe in [Ferreira 2018] and some relevant differences between the two will be highlighted.