Естественные языки возникли как средство общения между людьми. Их формирование и развитие представляет собой длительный исторический процесс и происходит в основном стихийно. В качестве знаков здесь используются произнесенные вслух или написанные слова и словосочетания. К числу естественных языков относятся такие разговорные языки как русский, английский, французский и т.п.
Искусственные языки сознательно создаются человеком для решения определенных задач. Здесь в качестве знаков используются специальные символы. Примерами искусственных языков являются музыкальные ноты, азбука Морзе, язык сурдоперевода и т.д. Логические теории также используют искусственные языки для выражения внутренней структуры суждений и умозаключений.
Естественный язык, прекрасно приспособленный для общения людей, с формальной точки зрения обладает рядом негативных свойств.
1)Многозначность: значение некоторых выражений можно понять только из контекста («замок», «ручка», «ключ», «коса» и т.п.).
2)Некомпозициональность: в естественном языке отсутствуют четкие правила, позволяющие определять значение сложного выражения, когда известны значения всех входящих в него слов («Он встретил ее на солнечной поляне с ромашками»).
3)Семантическая замкнутость: семантические атрибуты выражений естественного языка (смысл, значение, истинность и пр.) определяются в рамках самого этого языка.
Важной особенностью искусственных языков является то, что они позволяют не просто фиксировать информацию о мире, но фиксировать ее в максимально четкой и эффективной форме. Все современные научные теории либо создают свои формализованные языки, либо, как минимум, стремятся соблюдать простейшие семантические принципы, позволяющие избежать языковых «ловушек» и парадоксов.