Notation Peano-Russell

En logique mathématique, la notation Peano-Russell a été l'application de Bertrand Russell de la notation logique de Giuseppe Peano aux notions logiques de Frege, et a été utilisé dans l'écriture des Principia Mathematica en collaboration avec Alfred North Whitehead:

La notation adoptée dans ce travail est basé 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

Les quatre fonctions fondamentales sont les fonctions contradictoires, la somme logique, le produit logique et la fonction implicatif.

Fonction contradictoire

La fonction contradictoire appliquée à une proposition retourne sa négation.

$\sim p$

Somme logique

La somme logique appliquée à deux propositions retourne sa disjonction.

$p\lor q$

Produit logique

Le produit logique appliqué à deux propositions retourne la valeur de vérité des deux propositions étant toutes les deux vraies.

$p\cdot q$

Fonction implicative

La fonction implicative appliquée à deux propositions ordonnées retourne la valeur de vérité de la première impliquant la seconde proposition.

$p\supset q$

Plus de fonctions complexes de propositions

$p\equiv q$, tient pour $p\supset q\cdot q\supset p$.

L'assertion est la même que la réalisation d'une déclaration entre deux étapes complètes.

$\vdash p$

Une proposition affirmée est forcément vraie (sauf erreur de la part de l'écrivain).

L'inférence est équivalente à la règle du modus ponens, où $p\cdot p\supset q.\supset q$

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.».

Références

• (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

• Linsky, Bernard. "The Notation in Principia Mathematica". Stanford Encyclopedia of Philosophy.