Begriffsschrift

Idéographie

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

Sommaire

Introduction

Le projet d'un langage entièrement formalisé n'est pas nouveau: Leibniz avait déjà lui-même développé un tel projet sous le nom de caractéristique universelle mais sans réussir à aboutir.

Naissance de l'idéographie

La première publication portant sur l'idéographie est le texte éponyme Idéographie (Begriffschrift) 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

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


Idéographie   Signification Explication
─A
A est une proposition, on l’affirme logiquement A signifie quelque chose qui a un sens et qu'on peut juger soit vrai soit faux, le trait horizontal est appelé trait de contenu
┬─A
A est aussi une proposition, on exprime sa négation logique A est une proposition niée mais attention, on n’a pas pour autant écrit que A était fausse
├─A
A est une tautologie A est une proposition —donc A signifie quelque chose— et de plus A est vraie, le trait vertical est appelé trait de jugement
├┬─A
A est une contradiction A est une proposition et de plus A est fausse
─┬─B
 └─A

ou

─┬┬─A
 └┬─B
A implique B L'implication est décrite par Frege comme B ou non A, il s'agit de l'implication logique classique, voir ci-après
─┬──B
 └┬─A
non A implique B, soit A ou B Vu la ligne supérieure, on a B ou non non A, soit B ou A
─┬┬─B
 └┬─A
(non A) implique (non B)
─┬┬─B
 └──A
A implique non B, soit non (A et B) Il est faux que A et non non B
┬┬──B
 └┬─A
non (non A implique B) non (A ou B)
┬┬┬─B
 └──A
non (A implique non B) A et B
┬┬┬┬─A
 │ └─B
 └─┬─B
   └─A
A est équivalent à B
── A ≡ B
A et B ont le même contenu Il faut différencier l’équivalence logique de l’identité de contenu

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

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.

Bibliographie

  • Idéographie, Gottlob Frege, Vrin, 1999
  • Les fondements de l’arithmétique, Gottlob Frege, L’ordre philosophique, Seuil, 1969

Voir aussi

Wiktprintable without text.svg

Voir « idéographie » sur le Wiktionnaire.


L'Idéographie
Les Fondements de l'arithmétique

Que la science justifie un recours à l'idéographie - Sur le but de l'idéographie
Fonction et concept - Sens et dénotation - Concept et objet - Qu'est-ce qu’une fonction ?
Recherches logiques : La Pensée - La Négation - La Composition des pensées


Liens externes

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

Ce document provient de « Id%C3%A9ographie ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Begriffsschrift de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Begriffsschrift — is the title of a short book on logic by Gottlob Frege, published in 1879, and is also the name of the formal system set out in that book. Begriffsschrift is usually translated as concept writing or concept notation ; the full title of the book… …   Wikipedia

  • Begriffsschrift — Begriffsschrift, so v.w. Idiographische Schrift, s.u. Schrift A) …   Pierer's Universal-Lexikon

  • Begriffsschrift — ↑Ideografie …   Das große Fremdwörterbuch

  • Begriffsschrift — Das Titelblatt der Begriffsschrift Die Begriffsschrift ist ein schmales, nur etwa achtzig Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik. Es wurde 1879 mit dem Untertitel „Eine der arithmetischen… …   Deutsch Wikipedia

  • Begriffsschrift — Be|grịffs|schrift 〈f. 20〉 Schrift, in der jeder Begriff durch ein bes. Zeichen ausgedrückt wird, z. B. die chines. Schrift * * * Begriffsschrift,   Ideographie. * * * Be|grịffs|schrift, die: a) (Sprachw.) Ideographie: die chinesische Schrift… …   Universal-Lexikon

  • Begriffsschriftnotation — Das Titelblatt der Begriffsschrift Die Begriffsschrift ist ein schmales, weniger als hundert Seiten umfassendes Buch des Jenaer Mathematikers und Philosophen Gottlob Frege zur Logik. Es wurde 1879 mit dem Untertitel „Eine der arithmetischen… …   Deutsch Wikipedia

  • Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a …   Wikipedia

  • Ludwig Gottlob Frege — Gottlob Frege Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Mathematiker, Logiker und Philosoph. Seine herausragende Leistung auf dem Gebiet der Logik besteht darin, als erster… …   Deutsch Wikipedia

  • Characteristica universalis — Universal characteristic redirects here. For the concept of the three universal characteristics in Buddhism, see Three marks of existence. The Latin term characteristica universalis, commonly interpreted as universal characteristic, or universal… …   Wikipedia

  • Grundlagen der Arithmetik — Die Grundlagen der Arithmetik (1884) mit dem Untertitel „Eine logisch mathematische Untersuchung über den Begriff der Zahl“ ist eines der Hauptwerke Gottlob Freges. Thema des Buches ist die Erläuterung des Begriffs „Zahl“ bzw. „Anzahl“. Anhand… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”