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:
| Hovedforfatter: | |
|---|---|
| Format: | Article ou chapitre numérique |
| Sprog: | Français |
| Udgivet: |
2015
|
| Online adgang: | Accès Université d'Orléans et IFPM Accès Université d'Orléans et IFPM |