Metalinguagem - Metalanguage

Em lógica e linguística , uma metalinguagem é uma linguagem usada para descrever outra linguagem, geralmente chamada de linguagem objeto . As expressões em uma metalinguagem são freqüentemente diferenciadas daquelas na linguagem objeto pelo uso de itálico, aspas ou escrita em uma linha separada. A estrutura das sentenças e frases em uma metalinguagem pode ser descrita por uma metassintaxe .

Tipos

Há uma variedade de metalinguagens reconhecidas, incluindo metalinguagens incorporadas , ordenadas e aninhadas (ou hierárquicas ).

Integrado

Uma metalinguagem embutida é uma linguagem formalmente, naturalmente e firmemente fixada em uma linguagem de objeto. Essa ideia é encontrada no livro de Douglas Hofstadter , Gödel, Escher, Bach , em uma discussão sobre a relação entre linguagens formais e teoria dos números : "... é da natureza de qualquer formalização da teoria dos números que sua metalinguagem está embutida dentro dele. "

Também ocorre em idiomas naturais ou informais - como no inglês, onde palavras como substantivo, verbo ou até mesmo palavra descrevem recursos e conceitos pertencentes ao próprio idioma inglês.

Ordenado

Uma metalinguagem ordenada é análoga a uma lógica ordenada . Um exemplo de metalinguagem ordenada é a construção de uma metalinguagem para discutir uma linguagem de objeto, seguida pela criação de outra metalinguagem para discutir a primeira, etc.

Aninhado

Uma metalinguagem aninhada (ou hierárquica ) é semelhante a uma metalinguagem ordenada em que cada nível representa um grau maior de abstração. No entanto, uma metalinguagem aninhada difere de uma ordenada porque cada nível inclui o abaixo.

O exemplo paradigmático de uma metalinguagem aninhada vem do sistema taxonômico de Linnean em biologia. Cada nível do sistema incorpora o que está abaixo dele. A linguagem usada para discutir gênero também é usada para discutir espécies; aquele usado para discutir ordens também é usado para discutir gêneros, etc., até reinos.

Em linguagem natural

A linguagem natural combina metalinguagens aninhadas e ordenadas. Em uma linguagem natural, há uma regressão infinita de metalinguagens, cada uma com um vocabulário mais especializado e uma sintaxe mais simples.

Designando a linguagem agora como , a gramática da linguagem é um discurso na metalinguagem , que é uma sublinguagem aninhada nela . ${\ displaystyle L_ {0}}$${\ displaystyle L_ {1}}$${\ displaystyle L_ {0}}$

• A gramática de , que tem a forma de uma descrição factual, é um discurso em metametalíngua , que também é uma sublinguagem de .${\ displaystyle L_ {1}}$${\ displaystyle L_ {2}}$${\ displaystyle L_ {0}}$
• A gramática de , que tem a forma de uma teoria que descreve a estrutura sintática de tais descrições factuais, é declarada na metametametalinguagem , que também é uma sublinguagem de .${\ displaystyle L_ {2}}$${\ displaystyle L_ {3}}$${\ displaystyle L_ {0}}$
• A gramática de tem a forma de uma metateoria que descreve a estrutura sintática das teorias declaradas em .${\ displaystyle L_ {3}}$${\ displaystyle L_ {2}}$
• ${\ displaystyle L_ {4}}$e metalinguagens sucessivas têm a mesma gramática que , diferindo apenas na referência.${\ displaystyle L_ {3}}$

Como todas essas metalinguagens são sublinguagens de , é uma metalinguagem aninhada, mas e sequela são metalinguagens ordenadas. Uma vez que todas essas metalinguagens são sublinguagens , todas são linguagens incorporadas em relação à linguagem como um todo. ${\ displaystyle L_ {0}}$${\ displaystyle L_ {1}}$${\ displaystyle L_ {2}}$${\ displaystyle L_ {0}}$

Todas as metalinguagens dos sistemas formais resultam, em última instância, na linguagem natural, a "linguagem comum" em que matemáticos e lógicos conversam para definir seus termos e operações e "ler" suas fórmulas.

Tipos de expressões

Existem várias entidades comumente expressas em uma metalinguagem. Na lógica, geralmente a linguagem do objeto que a metalinguagem está discutindo é uma linguagem formal , e muitas vezes a metalinguagem também.

Sistemas dedutivos

Um sistema dedutivo (ou aparato dedutivo de um sistema formal ) consiste nos axiomas (ou esquemas de axioma ) e regras de inferência que podem ser usadas para derivar os teoremas do sistema.

Metavariáveis

Uma metavariaável (ou variável metalinguística ou metassintática ) é um símbolo ou conjunto de símbolos em uma metalinguagem que representa um símbolo ou conjunto de símbolos em alguma linguagem de objeto. Por exemplo, na frase:

Sejam A e B fórmulas arbitrárias de uma linguagem formal .${\ displaystyle L}$

Os símbolos A e B não são símbolos da linguagem objeto , são metavariáveis ​​na metalinguagem (neste caso, o inglês) que está discutindo a linguagem objeto . ${\ displaystyle L}$${\ displaystyle L}$

Metateorias e metateoremas

Uma metateoria é uma teoria cujo objeto é alguma outra teoria (uma teoria sobre uma teoria). As afirmações feitas na metateoria sobre a teoria são chamadas de metateoremas . Um metateorema é uma afirmação verdadeira sobre um sistema formal expresso em uma metalinguagem. Ao contrário dos teoremas provados dentro de um determinado sistema formal, um metateorema é provado dentro de uma metateoria e pode fazer referência a conceitos que estão presentes na metateoria, mas não na teoria do objeto .

Interpretações

Uma interpretação é uma atribuição de significados aos símbolos e palavras de um idioma.

Papel na metáfora

Michael J. Reddy (1979) argumenta que muito da linguagem que usamos para falar sobre a linguagem é conceituada e estruturada pelo que ele se refere como a metáfora do conduto . Esse paradigma opera por meio de duas estruturas distintas e relacionadas.

A estrutura principal vê a linguagem como um canal selado entre as pessoas:
1. A linguagem transfere os pensamentos e sentimentos das pessoas ( conteúdo mental ) para outros

ex: Try to get your thoughts across better.

2. Oradores e escritores inserem seu conteúdo mental em palavras

ex: You have to put each concept into words more carefully.

3. Palavras são contêineres

ex: That sentence was filled with emotion.

4. Ouvintes e leitores extraem conteúdo mental das palavras

ex: Let me know if you find any new sensations in the poem.

A estrutura secundária vê a linguagem como um tubo aberto derramando conteúdo mental no vazio:
1. Oradores e escritores ejetam conteúdo mental em um espaço externo

ex: Get those ideas out where they can do some good.

2. O conteúdo mental é reificado (visto como concreto) neste espaço

ex: That concept has been floating around for decades.

3. Ouvintes e leitores extraem conteúdo mental deste espaço

ex: Let me know if you find any good concepts in the essay.

Metaprogramação

Os computadores seguem programas, conjuntos de instruções em uma linguagem formal. O desenvolvimento de uma linguagem de programação envolve o uso de uma metalinguagem. O ato de trabalhar com metalinguagens na programação é conhecido como metaprogramação .

A forma Backus – Naur , desenvolvida na década de 1960 por John Backus e Peter Naur, é uma das primeiras metalinguagens usadas na computação. Exemplos de linguagens de programação modernas que comumente encontram uso em metaprogramação incluem ML , Lisp , m4 e Yacc .

Veja também

Dicionários

• Audi, R. 1996. The Cambridge Dictionary of Philosophy . Cambridge: Cambridge University Press .
• Baldick, C. 1996. Dicionário conciso de Oxford de termos literários . Oxford: Oxford University Press .
• Cuddon, JA 1999. O Dicionário Penguin de Termos Literários e Teoria Literária . Londres: Penguin Books .
• Honderich, T. 1995. The Oxford Companion to Philosophy . Oxford: Oxford University Press .
• Matthews, PH 1997. The Concise Oxford Dictionary of Linguistics . Oxford: Oxford University Press . ISBN  978-0-19-280008-4 .
• McArthur, T. 1996. The Concise Oxford Companion to the English Language . Oxford: Oxford University Press .

Referências

links externos

• Metalanguage , Principia Cybernetica .
• Willard McCarty (submetido em 2006) Problemática Metaphors , Humanist Discussion Group , Vol. 20, No. 92.