Idéographie — Wikipédia

Cette page contient des caractères spéciaux ou non latins. S’ils s’affichent mal (▯, ?, etc.), consultez la page d’aide Unicode.

L'idéographie (Begriffsschrift) est un langage entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la logique mathématique.

Introduction[modifier | modifier le code]

Le projet d'un langage entièrement formalisé n'est pas nouveau : Leibniz en avait développé un, qui n'aboutit pas, sous le nom de caractéristique universelle.

Naissance de l'idéographie[modifier | modifier le code]

La première publication portant sur l'idéographie est le texte Idéographie (Begriffsschrift – Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens) publié en 1879. Frege continua à travailler à l'idéographie dans Les Fondements de l'arithmétique (Die Grundlagen der Arithmetik, 1884).

Représentation graphique de l'idéographie[modifier | modifier le code]

Ce langage utilise le plan comme espace de travail et ne se limite pas à la ligne (comme la logique d'aujourd'hui, basée sur les Principia Mathematica de Bertrand Russell et Alfred North Whitehead qui en est tributaire). Ce langage est aujourd'hui inutilisé même s'il en subsiste des traces par exemple dans le symbole de négation « ¬ », de conséquence « ⊢ » ou de tautologie modélisation « ⊨ ».

─A 

┬─A 

├─A 

├┬─A 

─┬─B  └─A 

─┬┬─A  └┬─B 

─┬──B  └┬─A 

─┬┬─B  └┬─A 

─┬┬─B  └──A 

┬┬──B  └┬─A 

┬┬┬─B  └──A 

┬┬┬┬─A  │ └─B  └─┬─B    └─A 

── A ≡ B 

Concepts basiques	Notation de Frege	Notations modernes
Jugement	${\displaystyle \vdash A,\Vdash A}$	${\displaystyle p(A)=1}$ ${\displaystyle p(A)=i}$
Implication		${\displaystyle B\rightarrow A}$ ${\displaystyle B\supset A}$
Quantification universelle		${\displaystyle \forall x\colon F(x)}$
Quantification existentielle		${\displaystyle \sim \forall x\colon \sim F(x)}$ ${\displaystyle \exists x\colon F(x)}$
Équivalence/Identité	${\displaystyle A\equiv B}$	A ↔ B ${\displaystyle A\equiv B}$ ${\displaystyle A=B}$

L’implication est exprimée par Frege ainsi, quand on a deux propositions A et B, on a 4 cas :

1. A est affirmé et B est affirmé
2. A est affirmé et B est nié
3. A est nié et B est affirmé
4. A est nié et B est nié

L’implication B implique A (B⊃A) nie le troisième cas, en d’autres termes il est faux qu’on a à la fois B vrai et A faux.

L'idéographie est construite sur l’implication, ce qui facilite l’usage de la règle du détachement, c'est-à-dire que si A est vraie et si A implique B est vraie, alors B est aussi vraie (A ∧ (A⊃B)) ⊃ B.

Elle contient le quantificateur universel ∀, codé par un petit creux surmonté d'une lettre gothique qui remplace le trait ─ (pas disponible en unicode). Le carré logique est aussi présent.

Elle contient aussi la définition, codée dans l'idéographie par le caractère unicode suivant : ╞═.

Dépassement de la logique de Frege[modifier | modifier le code]

La présentation axiomatisée de logique chez Frege qui repose sur l'idéographie utilisée entre autres dans les Lois fondamentales de l'arithmétique (Grundgesetze der Arithmetik) a été mise à mal par le paradoxe de Russell. Elle contient en plus de la version de 1879 la loi V qui aboutit à une contradiction comme ∃x (F(x)∧¬F(x)). L'idéographie de 1879 et les théorèmes des Grundgesetze der Arithmetik utilisant cette loi V sont tout de même valides.

Cette loi V exprime que deux extensions de concepts sont identiques quand ils ont les mêmes cas de vérités, soit comme l’écrit Frege dans les Lois fondamentales ἐF(ε) = ἀG(α) = ∀x(F(x) = G(x)), ce qui établit une équipotence (même cardinal) entre l’ensemble des extensions de concepts et celui des concepts, ce qui est contredit par le fait qu’un ensemble a un cardinal strictement inférieur à celui de l’ensemble de ses sous-ensembles. De plus, un corollaire de cette loi V est que tout concept admet une extension, y compris les plus farfelus comme celui-ci « être une extension du concept sous lequel on ne tombe pas » qui, exprimé dans l’idéographie des Lois fondamentales ainsi x=εF ∧ ¬F(x), aboutit au paradoxe du barbier.

Le calcul dans le travail de Frege[modifier | modifier le code]

Frege a déclaré que neuf de ses propositions sont des axiomes, et les justifiait en soutenant officieusement que, compte tenu de leur sens voulu, ils expriment des vérités évidentes en soi. Re-exprimée en notation contemporaine, ces axiomes sont les suivants:

1. ${\displaystyle \vdash \ \ A\rightarrow \left(B\rightarrow A\right)}$
2. ${\displaystyle \vdash \ \ \left[\ A\rightarrow \left(B\rightarrow C\right)\ \right]\ \rightarrow \ \left[\ \left(A\rightarrow B\right)\rightarrow \left(A\rightarrow C\right)\ \right]}$
3. ${\displaystyle \vdash \ \ \left[\ D\rightarrow \left(B\rightarrow A\right)\ \right]\ \rightarrow \ \left[\ B\rightarrow \left(D\rightarrow A\right)\ \right]}$
4. ${\displaystyle \vdash \ \ \left(B\rightarrow A\right)\ \rightarrow \ \left(\lnot A\rightarrow \lnot B\right)}$
5. ${\displaystyle \vdash \ \ \lnot \lnot A\rightarrow A}$
6. ${\displaystyle \vdash \ \ A\rightarrow \lnot \lnot A}$
7. ${\displaystyle \vdash \ \ \left(c=d\right)\rightarrow \left(f(c)=f(d)\right)}$
8. ${\displaystyle \vdash \ \ c=c}$
9. ${\displaystyle \vdash \ \ \forall af(a)\rightarrow \ f(c)}$

(1)–(3) régissent l'implication matérielle, (4)–(6) la négation, (7) et (8) l'identité, et (9) le quantificateur universel. Le (7) exprime le principe d'identité des indiscernables de Leibniz, et le (8) affirme que l'identité est une relation réflexive.

Toutes les autres propositions sont déduites de (1)–(9) grâce à l'une des règles d'inférence suivantes :

• Le Modus ponens nous permet de déduire ${\displaystyle \vdash B}$ de ${\displaystyle \vdash A\to B}$ et ${\displaystyle \vdash A}$;

• La loi de généralisation nous permet de déduire ${\displaystyle \vdash P\to \forall xA(x)}$ de ${\displaystyle \vdash P\to A(x)}$ si x ne se produit pas de P;

• La règle de substitution, que Frege ne précise pas explicitement. Frege a appliqué les résultats du Begriffsschrifft dans Les Fondements de l'arithmétique.

Bibliographie[modifier | modifier le code]

• Gottlob Frege (trad. Corine Besson), Idéographie, Vrin, 1999
• Gottlob Frege (trad. Claude Imbert), Les Fondements de l'arithmétique, L’ordre philosophique, Seuil, 1969
• Paul Tannery, « Dr Frege. — Begriffschrift », dans Revue philosophique de la France et de l'étranger, tome VIII, 1879

Voir aussi[modifier | modifier le code]

Liens externes[modifier | modifier le code]

• (en) Frege’s Theorem and Foundations for Arithmetic sur la SEP
• (en) Frege's Logic, Theorem, and Foundations for Arithmetic dans sa dernière actualisation (été 2013), sur l'archive de la SEP
• (de) G. Frege, Begriffsschrift, 1879, sur Gallica
• F. Schmitz, « Frege, du nombre au concept », sur Le centre atlantique de philosophie de l’université de Nantes, 2000

Articles connexes[modifier | modifier le code]

• Histoire de la logique
• Calcul des propositions
• Connecteur logique

• Portail des mathématiques
• Portail de la logique
• Portail de la philosophie
• Portail de la philosophie analytique