En lógica y lingüística , un metalenguaje es un lenguaje utilizado para describir otro lenguaje, a menudo llamado lenguaje objeto . [1] Las expresiones en un metalenguaje a menudo se distinguen de las del lenguaje objeto por el uso de cursiva, comillas o escritura en una línea separada. [ cita requerida ] La estructura de oraciones y frases en un metalenguaje puede describirse mediante una metasintaxis . [2]
Hay una variedad de metalenguajes reconocidos, incluidos los metalenguajes incrustados , ordenados y anidados (o jerárquicos ).
Un metalenguaje incrustado es un lenguaje fijado formal, natural y firmemente en un lenguaje objeto. Esta idea se encuentra en el libro de Douglas Hofstadter , Gödel, Escher, Bach , en una discusión sobre la relación entre los lenguajes formales y la teoría de números : "... está en la naturaleza de cualquier formalización de la teoría de números que su metalenguaje está incrustado dentro de ella." [3]
También ocurre en idiomas naturales o informales, como en inglés, donde palabras como sustantivo, verbo o incluso palabra describen características y conceptos relacionados con el idioma inglés en sí.
Un metalenguaje ordenado es análogo a una lógica ordenada . Un ejemplo de un metalenguaje ordenado es la construcción de un metalenguaje para discutir un lenguaje objeto, seguido de la creación de otro metalenguaje para discutir el primero, etc.
Un metalenguaje anidado (o jerárquico ) es similar a un metalenguaje ordenado en que cada nivel representa un mayor grado de abstracción. Sin embargo, un metalenguaje anidado se diferencia de uno ordenado en que cada nivel incluye al inferior.