Notation Peano-Russell
Dans le monde d'aujourd'hui, Notation Peano-Russell a acquis une importance significative dans différents domaines, générant un impact qui va au-delà de ce qui était attendu. Depuis son émergence, Notation Peano-Russell a capté l'attention des experts et du grand public, générant des débats, des recherches et des opinions diverses qui ont marqué son importance et sa portée dans la société contemporaine. Dans cet article, nous approfondirons l'essence de Notation Peano-Russell, explorant ses implications, son évolution au fil du temps et son influence dans différentes sphères, démontrant l'impact que cette figure/thème/date unique a sur notre réalité actuelle.
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:
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 .» (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.
Somme logique
La somme logique appliquée à deux propositions retourne sa disjonction.
Produit logique
Le produit logique appliqué à deux propositions retourne la valeur de vérité des deux propositions étant toutes les deux vraies.
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.
Plus de fonctions complexes de propositions
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).
L'inférence est équivalente à la règle du modus ponens, où
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.».
Notes
- 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
- (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.
