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 se puede describir mediante una metasintaxis . [2]
Existe 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 de 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 pertenecientes al 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 el siguiente.