Metalinguagem

Origem: Wikipédia, a enciclopédia livre.

Nota: Se procura a linguagem de programação, consulte ML (linguagem de programação).

Em Lógica e Lingüística, um “metalinguagem” é uma linguagem usada para descrever algo sobre outra(s) linguagens (linguagens objeto). Modelos formais sintáticos para descrição gramatical, e.g. gramática gerativa, são um tipo de metalinguagem. De modo mais amplo, uma metalinguagem pode referir-se a qualquer terminologia ou linguagem usada para descrever uma linuagem em si mesma — uma descrição gramatical, por exemplo, ou um discussão sobre o uso de uma linguagem.

Um exemplo seria interpretar uma declaração em lógica, e.g. “João fuma” escrita como “S(j)”, onde “”S”” = fuma e “”j”” = João.

[editar] Tipos

Há uma variedade de metalinguagens reconhecidas, incluindo as “incorporadas”, “ordenadas” e “aninhadas” (“hierárquicas”)

Uma metalinguagem incorporada, como o nome sugere, é uma linguagem integrada a uma linguagem objeto. Ela ocorre tanto formalmente como naturalmente. Esta idéia é encontrada no livro de Douglas Hofstadter, “Gödel, Escher, Bach”, em sua discussão sobre o relacionamento entre linguagens formais e teoria dos números: “...é na própria natureza da formalização da teoria dos números que sua metalinguagem é integrada” (pg 270). Isto ocorre em linguagens naturais ou informais, assim como — tal qual em português, onde adjetivos, advérbios, e pronomes possessivos constituem uma metalinguagem incorporada; e onde substantivos, verbos e, em alguns casos, adjetivos e provérbios, constituem uma linguagem objeto. Portanto, o adjetivo ‘vermelho’ na frase ‘celeiro vermelho’ é parte de uma metalinguagem incorporada do Português, é o substantivo ‘celeiro’ é parte da linguagem objeto. Neste exemplo, ‘corrida lenta’, o termo ‘corrida’ é parte da metalinguagem, o advérbio ‘lenta’ é parte da linguagem objeto.

Uma metalinguagem ordenada é análoga a uma lógica não-comutativa. Um exemplo de metalinguagem ordenada seria a construção de uma metalinguagem para falar sobre uma linguagem objeto, seguida pela criação de uma outra metalinguagem para descrever a primeira metalinguagem, e assim por diante.

Uma metalinguagem aninhada, ou hierárquica, é similar a uma metalinguagem ordenada no aspecto que cada nível representa um maior grau de abstração. Contudo, uma linguagem aninhada difere de uma ordenada, no facto de que, cada nível inclui um outro nível abaixo. O exemplo paradigmático de uma linguagem aninhada vem da classificação científica de Lineu em Biologia. Cada nível no sistema incorpora o nível que se encontra abaixo daquele. A linguagem usada para descrever gênero também é usada para descrever espécie; a linguagem que é usada para descrever Ordens é também usada para descrever gênero; e assim por diante até que se chegue aos Reinos.

[editar] Papel em metáfora

Michael Reddy (1979) demonstrou que muito da linguagem que usamos para descrever outra linguagem é conceitualizada e estruturada pelo que ele refere como um “duto metafórico”, que diz que idéias podem ser expressas e interpretadas pela linguagem. Interconectam estas três metáforas:

Conceitos, pensamentos, sentimentos, significados, sentido e idéias são objetos.

Palavras, sentenças , e assim por diante são contêineres (como um “dentro” e um “fora”) para estes objetos.
Finalmente, comunicação é o ato de envio e recepção destes contêineres (através de um duto).

Aqueles que falam e esperam que o significado de suas falas seja compreendido como pretendido, estão pensando a linguagem como um duto, talvez confiável que este é realmente: falhas de comunicação e falhas de compreensão podem ser atribuídas a esta pressuposição.

Reddy oferece sentenças similares ás que seguem, como evidência da prevalecência do duto metafórico na sociedade:

Qual é o “significado em” suas palavras ?
Tente emitir seus pensamentos “em palavras”..
Não pude obter nenhum significado “a partir de” suas palavras.
Não pude encontrar “nenhum sentido” em suas palavras.
Suas palavras eram “vazias” e “faltantes” de sentimento.
Suas promessas eram sagradas.
Suas idéias estavam “escondidas em” um denso arbusto de sentenças.
Como um verme em meio a fezes ele escondeu-se “dentro de palavras”.
Como “emitir” meu amor em meras palavras.
Eu lha fiz uma ligação.
Eu “recebi” sua ligação.
Eu “captei” a mensagem

Reddy estima que 70% da linguagem usada para conversação é baseada em metáforas. Apesar de reconhecer a prominiência da metáfora, Reddy sente-se profundamente pertubado por esta conclusão. Ele a considera, errônea, desorientadora e desumanizadora.

[editar] Computação

Computadores não são inteligentes como humanos e portanto não compreendem a essência de uma idéia como uma pessoa compreenderia. Computadores seguem programas que são conjuntos de instruções numa linguagem clara e simples. O desenvolvimento de uma linguagem de programação implica no uso de uma metalinguagem. A Forma de Backus-Naur é uma das primeiras metalinguagens usadas na computação e foi desenvolvida em 1960 por John Backus e Peter Naur

HTML e XHTML são exemplos de linguagens de marcação que podem ser usadas por qualquer pessoas desejosa de representar páginas web na Internet com mídias tais quais texto (formatado ou não), gráficos, sons, e vídeo. Linguagens de marcação são diferentes de metalinguagens pois apenas descrevem como um documento deve ser apresentado e não a sintaxe de uma linguagem de programação. XML é a metalinguagem usada para descrever XHTML da mesma forma que SGML é usada para descrever HTML. XHTML é muito mais inflexível que HTML. XML é também usado para descrever outros tipos de documentos de texto como o "OpenDocument que é o formato nativo do aplicação de processamento de texto do OpenOffice.org. Muitas outras metalinguagens têm sido baseadas no padrão W3C XML 1.0, incluindo:

XQuery
XLink
SVG
SMIL
Etc

Inclui-se também linguagens de marcação especiais para notações matemáticas e cientificas como Tex E LaTeX ou uma de suas muitas variantes.

[editar] Ver também

[editar] Referências

Audi, R. (1996). The Cambridge Dictionary of Philosophy. Cambridge, Cambridge University Press.
Baldick, C. (1996). Oxford Concise Dictionary of Literary Terms. Oxford, Oxford University Press.
J. A. Cuddon|Cuddon, J. A. (1999). The Penguin Dictionary of Literary Terms and Literary Theory. London, Penguin Books.
Hofstadter, D. R. (1980). Godel, Escher, Bach: An Eternal Golden Braid. New York, Vintage Books.
Honderich, T. (1995). The Oxford Companion to Philosophy. Oxford, Oxford University Press.
Matthews, P. H. (1997). The Concise Oxford Dictionary of Linguistics. Oxford, Oxford University Press.
McArthur, T. (1996). The Concise Oxford Companion to the English Language. Oxford, Oxford University Press.
Reddy, M. J. (1979). The Conduit Metaphor. Metaphor and Thought. A. Ortony. Cambridge, Cambridge University Press.
Ritzer, G. (1991). Metatheorizing in Sociology.