Vocabulaire: METALOGIQUE.
Publié le 17/08/2009
Extrait du document
De même que l'axiomatisation des mathématiques a provoqué la naissance de la métamathématique, qui réfléchit les procédés de construction et leur organisation, de même la logique moderne, ou logistique, s'est vue doublée d'une métalogique. Sans doute, tous les logiciens avaient fait de la métalogique, mais en quelque sorte sans le savoir. C'est avec l'organisation de la logique en systèmes formels axiomatisés qu'apparaît véritablement une métalogique, c'est-à-dire une métalangue qui étudie les propriétés formelles de cette langue artificielle qu'est la logique. On peut prendre, à son tour, la métalangue comme objet d'étude, en formuler la syntaxe, puis l'organiser en théorie déductive qu'on pourra axiomatiser, symboliser, formaliser. On créera une nouvelle métalangue, on créera un nouvel objet pour une nouvelle métalogique.
Liens utiles
- Vocabulaire Monter ? Mets une croix dans la case correspondant au sens du verbe monter porter constituer s'élever grimper l'écureuil monte en haut de l'arbre.
- Vocabulaire Les mots étiquettes Voici une série de mot, peux-tu les classer en 4 colonnes et trouver le mot-étiquette qui les caractérise.
- Vocabulaire histoire
- vocabulaire anglais
- VOCABULAIRE Jean Cocteau (résumé)