Значення метамовлення (що це, поняття та визначення)

Що таке метамовність:

Метамовність - це мова, яка використовується для опису, стану або аналізу мови.

У логіці та лінгвістиці метамовлення використовується для аналізу та структуризації логічних проблем, що виникають за допомогою семантичних парадоксів у мові, що використовується для опису об'єктів.

Металінг також визначається як спеціалізована мова для опису природної мовної системи або іншої мови, що вважається об'єктом аналізу. Це особливо очевидно при вивченні нової мови, наприклад " мова мови означає" мова "англійською мовою".

Вирази в метамові часто відрізняються від мови об'єкта за допомогою курсиву, лапок або написання окремого рядка, хоча вони не завжди виражаються таким чином.

Британський автор Бертран Рассел (1872-1970) визначив теорію ієрархії мов на двох рівнях:

• Мова-об’єктний рівень: використовується для позначення об'єктів типу "вони люди". Металінгвістичний або метамовний рівень: це мова, яка використовується для визначення попереднього рівня, наприклад, у фразі "іммігранти - це люди", "іммігранти" - на рівні метамовлення.

З іншого боку, польський автор Альфред Тарскі (1901-1983) визначає метамову як рішення семантичних парадоксів, заявляючи, що "потрібно говорити правду про мову з іншої мови, що називається метамовою".

Деякі приклади метамовної мови - це граматична мова, лексикографічна мова, логічна мова, дитяча мова, технічна мова, комп'ютерна мова, серед інших.

У лінгвістиці розрізняють шість застосувань або функцій у мові, одна з них - металінгвістична функція, яка використовує метамову мову, щоб говорити про саму мову. Наприклад: "Метамовність - це мова".

Характеристика метамовлення

Метамовність має специфічні характеристики, які допомагають краще зрозуміти повідомлення завдяки логічній складності, яку він підтримує. Альфред Тарскі визначає деякі істотні характеристики для мови, що вважається метамовою:

• Метамовність визначає мову, що використовує іншу мову. Метамовність повинна бути багатшою, ніж мова об'єкта, оскільки вона описує її пропозиції та синтаксис. Метамовлення включено в теорію множин та бінарну логіку. бути копією мовного об’єкта, щоб те, що можна сказати з ним, також могло бути виражене метамовою.

Металінг в обчислювальній техніці

Металінг в обчисленнях використовується для точного опису рядків програми. У 1950 році в галузі обчислювальної техніки склалися два типи проблем для складання комп'ютерних програм:

1. Відсутність конструкції математичної мови для вираження алгоритму Неможливість перекладу програм у обчислювальний код.

Перша проблема була вирішена завдяки створенню дисципліни проектування комп’ютерних програм, а друге питання було вирішено завдяки поколінню компіляторів, які визначаються як метамовність, будучи програмою, що читає програму.

Комп'ютерні компілятори базуються на мовах програмування. Однією з найбільш широко використовуваних є BNF (форма Backus-Naur), створена Джоном Бекусом та Пітером Науром, незалежно розроблена Ноам Хомським, також відома як ієрархія моделі Чомського TYPE2.

Компілятори генерують аналіз, виявляючи більшість помилок у вихідному коді та переводячи його в еквівалентну програму іншою мовою (об'єктний код).