METATHEORIE

Source: http://www.peiresc.org/DINER/Lexique.pdf

 

Théorie analysant les structures les méthodes et les propriétés d'une autre théorie. Parmi les métathéories les plus développées se trouvent la métathéorie de la logique mathématique et la métathéorie des mathématiques (métamathématique). L'objet des considérations d'une métathéorie n'est pas tant le contenu d'une théorie que son formalisme, ce qui exige l'examen du système formel de la théorie apparaissant dans son axiomatisation. Analyse syntaxique et analyse sémantique (interprétation) sont au menu de toute métathéorie. La notion de métathéorie a été introduite par Hilbert dans son programme de fondement des mathématiques (métamathématique). Une série de résultats importants d'ordre sémantiques ont été obtenus par le logicien polonais Alfred Tarski, qui a développé une théorie de la vérité.