Инженерные языки (часто сокращаемые до engelangs или, реже, engilangs ) — это сконструированные языки, разработанные для проверки или доказательства некоторых гипотез о том, как работают или могли бы работать языки. Существует по крайней мере три подкатегории: философские языки (или идеальные языки), логические языки (иногда сокращаемые до loglangs ) и экспериментальные языки . Рэймонд Браун описывает инженерные языки как «языки, которые разработаны для определенных объективных критериев и смоделированы для соответствия этим критериям». [1]
Некоторые сконструированные языки рассматривались как кандидаты на роль глобальных вспомогательных языков , а некоторые языки, предназначенные для использования в качестве международных вспомогательных языков, обладают определенными «сконструированными» аспектами (в которых они более регулярны и систематичны, чем их исходные естественные языки).
Логические языки предназначены для того, чтобы допускать (или обеспечивать) однозначные утверждения. Они обычно основаны на логике предикатов , но также могут быть основаны на любой системе формальной логики . Два самых известных логических языка — это языки предикатов Loglan и его преемник Lojban . Они оба направлены на устранение синтаксической неоднозначности и сведение семантической неоднозначности к минимуму. В частности, грамматика Lojban тщательно спроектирована для выражения такой логики предикатов однозначным образом. Toaq и Eberban также являются логическими языками.
Философские языки предназначены для отражения некоторых аспектов философии, особенно в отношении природы или потенциала любого данного языка. Real Character Джона Уилкинса и Ro Эдварда Пауэлла Фостера построили свои слова, используя таксономическое дерево. Словари олигосинтетических языков, например, Ygyde, [2] [3] состоят из сложных слов , которые образованы из небольшого (теоретически минимального) набора морфем . Toki Pona Сони Лэнг основана на минималистской простоте .
Экспериментальный язык — это сконструированный язык, разработанный с целью исследования некоторого элемента в теории лингвистики . Большинство таких языков посвящены связи между языком и мышлением ; однако языки были созданы также для исследования других аспектов языка. В научной фантастике много работы было сделано на основе предположения, широко известного как гипотеза Сепира-Уорфа , « Лаадан » Сюзетт Хейден Элгин предназначен для лексикализации и грамматики концепций и различий, важных для женщин, на основе теории приглушенных групп .