工学言語

工学言語（こうがくげんご、英: Engineered languages ときどき engelangs と略される）は、言語が働くか働くかもしれない方法についてのいくつかの仮説を、実験または証明するために発明された人工言語である。

これには少なくとも2つの下位区分がある。哲学的言語（理想言語 ideal languages ともいう）と論理的言語（logical languages、時々 loglangs と略す）である。レイモンド・ブラウンは、工学言語を「指定された客観的基準に設計され、これら基準を満たすためモデル化された言語」と述べた^[1]。

いくつかの工学言語は、国際補助語候補と考えられて、国際補助語として意図された言語は、ある程度「工学的」一面(それらは元となった自然言語よりも規則的で組織的である)を持つ。

哲学的言語

詳細は「哲学的言語」を参照

特に言語の性質または可能性に関して、哲学の言語は、哲学の若干の面を反映するように設計されている。ジョン・ウィルキンスの真性の文字と哲学的言語にむけての試論とエドワード・パウエル・フォスターのRo は、分類学の系統樹を使ったそれらの単語を作った。少数総合的言語の語彙は、(論理的に少数の)形態素の組み合わせより形成される複合語で作られる。サゼット・H・エルジンのラーダンは、弱化グループ理論に基づく女性にとって重要な概念と区別を語彙化・文法化するよう設計された。ソンジャ・エレン・キサのトキポナは、道教の要素を取り入れた、最小限主義的単純さに基づく。

論理的言語

論理的言語は、明白な表現法を許容（強制）するものだとされる。それらは典型的に一階述語論理を基盤とするが、いかなる形式論理学のシステムに基盤とすることができる。2つのもっとも有名な論理的言語は、統語上の曖昧性を除去し、意味的曖昧性を最低限に下げようとした述語言語ログランとその後継者ロジバンである。明白な表現の力を保持するが話者が簡潔性を明白性と取り替えることを許すことを狙ったチェンリは、ログランの派生言語である。