métalogique

(1882)^[1] Composé de méta- et logique ; Métalogique lui est antérieur.

métalogique \me.ta.lɔ.ʒik\ masculin et féminin identiques

1. Relatif à l’analyse de la logique.
   • Est parfois considéré comme métalogique ce qui, dans un système formel, précède la formulation des axiomes. — (Thinès-Lemp.1975)

métalogique \me.ta.lɔ.ʒik\ féminin

1. Analyse de la logique, étude des propriétés des systèmes logiques déjà construits.
   • Le métalangage formalisé n'est pas, épistémologiquement, dans la situation de la métalogique et de la métamathématique. Celles-ci, en effet, rendent compte d'un langage artificiel qui lui-même s'appuie sur le langage naturel, alors que le métalangage formalisé rend compte directement du langage naturel. — (J. Rey-Debove, Le Métalangage, Paris, Le Robert, 1978)

• métalogique sur l’encyclopédie Wikipédia