Minimal Logicism
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 emploie la notion de quantification plurielle et une formulation du premier ordre de la tristement célèbre Loi Fondamentale V de Frege. La sémantique plurielle de Geo...
Enregistré dans:
| 主要作者: | |
|---|---|
| 格式: | Article ou chapitre numérique |
| 语言: | Français |
| 出版: |
2015
|
| 在线阅读: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |
| 总结: | 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 emploie la notion de quantification plurielle et une formulation du premier ordre de la tristement célèbre Loi Fondamentale V de Frege. La sémantique plurielle de George Boolos est remplacée par la Acts of Choice Semantics (ACS) de Enrico Martino, qui est développée à partir de la notion de référence arbitraire en raisonnement mathématique. ACS fournit une forme de logicisme qui est radicalement alternative à celle de Frege et qui est fondée sur l'existence des individus plutôt que sur l'existence des concepts. |
|---|