Plural Frege Arithmetic
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 p...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Language: | Français |
| Published: |
2022
|
| Online Access: | Accès Université d'Orléans et IFPM |
| Summary: | 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. |
|---|