Devoir de Philosophie

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