Из Википедии, бесплатной энциклопедии
  (Перенаправлено с логического языка )
Перейти к навигации Перейти к поиску

Инженерные языки (часто сокращенно engelangs или, реже, engilangs ) - это сконструированные языки, разработанные для проверки или подтверждения некоторых гипотез о том, как языки работают или могут работать. Существует как минимум три подкатегории: философские языки (или идеальные языки), логические языки (иногда сокращенно называемые логлангами ) и экспериментальные языки . Раймонд Браун описывает спроектированные языки как «языки, разработанные для определенных объективных критериев и смоделированные для удовлетворения этих критериев». [1]

Некоторые спроектированные языки считались кандидатами на глобальные вспомогательные языки , а некоторые языки, предназначенные как международные вспомогательные языки, имеют определенные "спроектированные" аспекты (в которых они более регулярны и систематичны, чем их источники на естественном языке).

Логические языки [ править ]

Логические языки предназначены для того, чтобы разрешать (или обеспечивать) однозначные утверждения. Обычно они основаны на логике предикатов, но также могут быть основаны на любой системе формальной логики . Двумя наиболее известными логическими языками являются языки предикатов логлан и его преемник ложбан . Они оба направлены на устранение синтаксической неоднозначности и снижение семантической неоднозначности до минимума. В частности, грамматика ложбана тщательно спроектирована для однозначного выражения такой логики предикатов.

Философские языки [ править ]

Философские языки предназначены для отражения некоторых аспектов философии, особенно в отношении природы или потенциала любого данного языка. Джон Уилкинс " Real Характер и Эдвард Пауэлл Фостер Ro построили свои слова , используя таксономическое дерево. Словари олигосинтетических языков, например Ygyde, [2] [3], состоят из составных слов , которые созданы из небольшого (теоретически минимального) набора морфем . Токи Пона Сони Ланг основана на минималистической простоте .

Экспериментальные языки [ править ]

Экспериментальный язык - это сконструированный язык, предназначенный для исследования некоторых элементов теории лингвистики . Большинство таких языков связано с отношениями между языком и мыслью ; однако языки были созданы для исследования и других аспектов языка. В научной фантастике , много работы была сделана на предположении , широко известное как Сепир-Уорф , Suzette Хейден Elgin «s Лаедана предназначен для lexicalize и grammaticalize понятия и различия , важное для женщин, основанным на приглушенной теории групп .

Примеры [ править ]

См. Также [ править ]

  • Контролируемый естественный язык
  • Международный вспомогательный язык
  • Художественный язык
  • Ифкуил
  • Ложбан

Ссылки [ править ]

  1. ^ http://www.carolandray.plus.com/Glosso/Glossopoeia.html
  2. ^ "Язык Игид" . 7 мая 2020 г. Архивировано 23 ноября 2020 г.
  3. ^ "Язык Игид" . Архивировано из оригинала на 1 февраля 2016 года.

Внешние ссылки [ править ]

  • Ссылки Гарретта на логические языки
  • Происхождение термина "engelang" от And Rosta (сообщение в списке рассылки CONLANG, 19 июля 2007 г.)