Поскольку естественные языки обладают известным несовершенством (например, многозначностью слов), возникла идея создания искусственного логически совершенного языка на основе символов, что является обычным для логики. Исследования философии идеального языка направлены на то, чтобы реализовать систему такого языка, в котором было бы точно определено семантическое понятие истины. Предложение естественного языка считается высказыванием, если оно является переводимым на интерпретируемый искусственный язык. Цель философии идеального языка состоит в том, чтобы трансформировать высказывания в такой язык, в котором высказывания и формы высказывания могут быть описаны как логически правильные или логически неправильные. Важнейшие представители философии идеального языка - Рассел, Витгенштейн, Карнап и Гудман.