論理的言語(英loglangs)はその文法が形式論理に基づいて設計されているものとして定義される。