Notation Peano-Russell
En logique mathématique, la notation Peano-Russell est l'application de Bertrand Russell de la notation logique de Giuseppe Peano aux notions logiques de Frege, et est utilisé dans l'écriture des Principia Mathematica en collaboration avec Alfred North Whitehead:[1]
La notation adoptée dans ce travail est basée sur celle de Peano, et les explications qui suivent sont dans une certaine mesure basées sur le modèle de celles qu'il expose dans son Formulario Mathematico [à savoir, Peano 1889].» (PM 1927)(Chapiter I: Preliminary Explanations of Ideas and Notations, page 4)
Fonctions fondamentales de propositions[modifier | modifier le code]
Les quatre fonctions fondamentales sont les fonctions contradictoires, la somme logique, le produit logique et la fonction implicatif[2].
Fonction contradictoire[modifier | modifier le code]
La fonction contradictoire appliquée à une proposition retourne sa négation.
Somme logique[modifier | modifier le code]
La somme logique appliquée à deux propositions retourne sa disjonction.
Produit logique[modifier | modifier le code]
Le produit logique appliqué à deux propositions retourne la valeur de vérité des deux propositions étant toutes les deux vraies.
Fonction implicative[modifier | modifier le code]
La fonction implicative appliquée à deux propositions ordonnées retourne la valeur de vérité de la première impliquant la seconde proposition.
Plus de fonctions complexes de propositions[modifier | modifier le code]
, tient pour [3].
L'assertion est la même que la réalisation d'une déclaration entre deux étapes complètes.
Une proposition affirmée est forcément vraie (sauf erreur de la part de l'écrivain)[4].
L'inférence est équivalente à la règle du modus ponens, où [5]
En plus du produit logique, des points ont également été utilisés pour afficher des regroupements de fonctions de propositions. Dans l'exemple ci-dessus, le point avant le dernier symbole de l'implication groupe toutes les fonctions précédentes.
La notation comprend les définitions en tant que fonctions complexes de propositions, en utilisant le signe égal « = » pour séparer le terme défini de sa définition symbolique, se terminant par les lettres «def.»[6].
Notes[modifier | modifier le code]
- Russell 1910, p. 4.
- Russell 1910, p. 6.
- Russell 1910, p. 7.
- Russell 1910, p. 8.
- Russell 1910, p. 8-9.
- Russell 1910, p. 11.
Références[modifier | modifier le code]
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Peano-Russell notation » (voir la liste des auteurs).
Russell, Bertrand et Alfred North Whitehead (1910). Principia Mathematica Cambridge, England: The University Press.
Liens externes[modifier | modifier le code]
- Linsky, Bernard. "The Notation in Principia Mathematica". Stanford Encyclopedia of Philosophy.
