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]
Tipos
Existe una variedad de metalenguajes reconocidos, incluidos los metalenguajes incrustados , ordenados y anidados (o jerárquicos ).
Incorporado
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 pertenecientes al idioma inglés en sí.
Ordenado
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.
Anidado
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.
El ejemplo paradigmático de un metalenguaje anidado proviene del sistema taxonómico linneano en biología. Cada nivel del sistema incorpora el que está debajo. El lenguaje usado para discutir el género también se usa para discutir las especies; el que se usa para discutir órdenes también se usa para discutir géneros, etc., hasta reinos.
En lenguaje natural
El lenguaje natural combina metalenguajes anidados y ordenados. En un lenguaje natural hay una regresión infinita de metalenguajes, cada uno con un vocabulario más especializado y una sintaxis más simple.
Designando el idioma ahora como , la gramática del lenguaje es un discurso en el metalenguaje , que es un sublenguaje [4] anidado en.
- La gramática de , que tiene la forma de una descripción fáctica, es un discurso en el metametalenguaje , que también es un sublenguaje de .
- La gramática de , que tiene la forma de una teoría que describe la estructura sintáctica de tales descripciones fácticas, se establece en el lenguaje metametameta , que igualmente es un sublenguaje de .
- La gramática de tiene la forma de una metateoría que describe la estructura sintáctica de las teorías enunciadas en .
- y los metalenguajes subsiguientes tienen la misma gramática que , difiriendo solo en referencia.
Dado que todos estos metalenguajes son sublenguajes de , es un metalenguaje anidado, pero y la secuela son metalenguajes ordenados. [5] Dado que todos estos metalenguajes son sublenguajes de todos son lenguajes incrustados con respecto a la lengua en su conjunto.
Todos los metalenguajes de los sistemas formales se resuelven en última instancia en el lenguaje natural, el "lenguaje común" en el que los matemáticos y los lógicos conversan para definir sus términos y operaciones y "leer" sus fórmulas. [6]
Tipos de expresiones
Hay varias entidades que se expresan comúnmente en un metalenguaje. En lógica, por lo general, el lenguaje objeto del que habla el metalenguaje es un lenguaje formal , y muy a menudo también el metalenguaje.
Sistemas deductivos
Un sistema deductivo (o aparato deductivo de un sistema formal ) consta de axiomas (o esquemas de axiomas ) y reglas de inferencia que pueden usarse para derivar los teoremas del sistema. [7]
Metavariables
Una metavariable (o variable metalingüística o metasintáctica ) es un símbolo o conjunto de símbolos en un metalenguaje que representa un símbolo o un conjunto de símbolos en algún lenguaje objeto. Por ejemplo, en la oración:
- Sean A y B fórmulas arbitrarias de un lenguaje formal.
Los símbolos A y B no son símbolos del lenguaje del objeto., son metavariables en el metalenguaje (en este caso, inglés) que está discutiendo el lenguaje objeto .
Metateorías y metateoremas
Una metateoría es una teoría cuyo tema es alguna otra teoría (una teoría sobre una teoría). Las afirmaciones hechas en la metateoría sobre la teoría se denominan metateoremas . Un metateorema es una declaración verdadera sobre un sistema formal expresada en un metalenguaje. A diferencia de los teoremas probados dentro de un sistema formal dado, un metateorema se prueba dentro de una metateoría y puede hacer referencia a conceptos que están presentes en la metateoría pero no en la teoría del objeto . [8]
Interpretaciones
Una interpretación es una asignación de significados a los símbolos y palabras de un idioma.
Papel en la metáfora
Michael J. Reddy (1979) sostiene que gran parte del lenguaje que usamos para hablar sobre el lenguaje está conceptualizado y estructurado por lo que él denomina metáfora conducto . [9] Este paradigma opera a través de dos marcos relacionados distintos.
El marco principal considera que el lenguaje es un conducto sellado entre las personas:
1. El lenguaje transfiere los pensamientos y sentimientos de las personas ( contenido mental ) a los demás.
Ej .: Trate de transmitir mejor sus pensamientos.
2. Los oradores y escritores insertan su contenido mental en palabras.
Ej .: Tienes que poner cada concepto en palabras con más cuidado.
3. Las palabras son contenedores
Ej .: Esa frase estaba llena de emoción.
4. Los oyentes y lectores extraen contenido mental de las palabras.
Ej .: Avísame si encuentras sensaciones nuevas en el poema.
El marco menor ve el lenguaje como una tubería abierta que derrama contenido mental en el vacío:
1. Los oradores y escritores expulsan el contenido mental a un espacio externo.
Ej .: Divulgue esas ideas donde puedan hacer algo bueno.
2. El contenido mental se reifica (se ve como concreto) en este espacio
ex: Ese concepto ha estado flotando durante décadas.
3. Los oyentes y lectores extraen contenido mental de este espacio.
Ej .: Avíseme si encuentra algún buen concepto en el ensayo.
Metaprogramación
Las computadoras siguen programas, conjuntos de instrucciones en un lenguaje formal. El desarrollo de un lenguaje de programación implica el uso de un metalenguaje. El acto de trabajar con metalenguajes en programación se conoce como metaprogramación .
La forma Backus-Naur , desarrollada en la década de 1960 por John Backus y Peter Naur, es uno de los primeros metalenguajes utilizados en informática. Ejemplos de lenguajes de programación modernos que se utilizan comúnmente en la metaprogramación incluyen ML , Lisp , m4 y Yacc .
Ver también
- Teoría de categorías
- Funciones del lenguaje de Jakobson
- Programación orientada al lenguaje
- Metacomunicación
- Metaética
- Metaficción
- Metagrafia
- Metamatemáticas
- Abstracción metalingüística
- Acto metalocucionario
- Metafilosofía
- Metalenguaje semántico natural
- Paralenguaje
- Autorreferencia
- Distinción entre uso y mención
Diccionarios
- Audi, R. 1996. El Diccionario de Filosofía de Cambridge . Cambridge: Cambridge University Press .
- Baldick, C. 1996. Diccionario Oxford Conciso de Términos Literarios . Oxford: Prensa de la Universidad de Oxford .
- Cuddon, JA 1999. El Diccionario Penguin de Términos Literarios y Teoría Literaria . Londres: Penguin Books .
- Honderich, T. 1995. The Oxford Companion to Philosophy . Oxford: Prensa de la Universidad de Oxford .
- Matthews, PH 1997. The Concise Oxford Dictionary of Linguistics . Oxford: Prensa de la Universidad de Oxford . ISBN 978-0-19-280008-4 .
- McArthur, T. 1996. The Concise Oxford Companion to the English Language . Oxford: Prensa de la Universidad de Oxford .
Referencias
- ^ 2010. Cambridge Advanced Learner's Dictionary . Cambridge: Cambridge University Press . Diccionario online. Disponible en http://dictionary.cambridge.org/dictionary/british/metalanguage Internet. Consultado el 20 de noviembre de 2010
- ^ van Wijngaarden, A., et al. " Lenguaje y metalenguaje ". Informe revisado sobre el lenguaje algorítmico Algol 68. Springer, Berlín, Heidelberg, 1976. 17-35.
- ^ Hofstadter, Douglas . 1980. Gödel, Escher, Bach: An Eternal Golden Braid . Nueva York: Vintage Books ISBN 0-14-017997-6
- ^ Harris, Zellig S. (1991). Una teoría del lenguaje y la información: un enfoque matemático . Oxford: Clarendon Press. págs. 272 –318. ISBN 978-0-19-824224-6.
- ^ Ibíd . pag. 277.
- ^ Borel, Félix Édouard Justin Émile (1928). Leçons sur la theorie des fonctions (en francés) (3 ed.). París: Gauthier-Villars & Cie. P. 160.
- ^ Cazador, Geoffrey . 1971. Metalogic: Una introducción a la metateoría de la lógica estándar de primer orden . Berkeley: Prensa de la Universidad de California ISBN 978-0-520-01822-8
- ^ Ritzer, George . 1991. Metateorización en sociología . Nueva York: Simon Schuster ISBN 0-669-25008-2
- ^ Reddy, Michael J. 1979. La metáfora del conducto: un caso de conflicto de marcos en nuestro lenguaje sobre el lenguaje. En Andrew Ortony (ed.), Metáfora y pensamiento . Cambridge: Cambridge University Press
enlaces externos
- Metalenguaje , Principia Cybernetica .
- Willard McCarty (presentado en 2006) Metáforas problemáticas , Grupo de debate humanista , vol. 20, N ° 92.