Семиотическая типология научных языков

А теперь охарактеризуем каждый из типов научных языков, представленных в этой схеме. Не будем только останавливаться на естественном неспецифицированном языке, так как это обычный разговорный язык, который достаточно описан во всякого рода грамматиках.

Естественный специфицированный язык – это естественный язык, который дополняется специальными научными терминами (научной терминологией). Некоторые науки публикуют перечни своих научных терминов в виде словарей или энциклопедий (математическая, физическая, медицинская, философская энциклопедии и т.п.). На сводный каталог терминов многих наук претендуют общенаучные энциклопедии вроде БСЭ.

Метод построения специфицированного языка:

1. За основу выбирается естественный язык.

2. Уточняются с помощью эффективных определений некоторые термины этого языка. Добавляются новые специальные термины для отображения специфических свойств действительности, доступных только научному (но не обыденному) познанию, или для обозначения специального рода абстрактных объектов, вводимых наукой.

При этом грамматика и основной словарный состав языка берутся у обычного разговорного языка. Примеров специфицированных языков достаточно много. Фактически ими являются языки естественных и гуманитарных наук. Например, в языке физики такие термины естественного языка как "масса", "сила", "ускорение" из чисто качественных превращены в количественные, позволяющие делать вычисления. А также введены термины, не фигурирующие в обычном естественном языке: "протон", "нейтрон", "кварк", "виртуальная частица" и т.п. Однако построение терминов и предложений, распознавание их, отличение правильно построенных слов от неправильно построенных остается таким же, как в естественном языке.

Искусственные языки создаются для решения определенных проблем научной теории. Как разговорные языки они не употребляются. При построении искусственного языка естественный язык используется как средство мышления, необходимое для осуществления процесса построения. Но сам искусственный язык строится по совсем другим правилам построения, нежели естественный язык.

Прежде всего, искусственный язык отличается от естественного своими синтаксическими правилами построения. Эти правила не зависят от знания семантики слов языка. В типологии научных языков мы выделили искусственные неалгоритмические языки, синтаксические правила построения которых не являются алгоритмами. В настоящее время такие языки почти не применяются и мы на них более подробно останавливаться не будем. Зато огромное значение приобрели алгоритмически построенные языки.

Алгоритмически построенный язык – это язык, слова которого распознаются только формальными синтаксическими правилами. Чтобы пояснить особенность этих правил, представим, что из алфавита языка мы образовали все возможные строчки символов. Теперь из этого множества строчек символов нам надо отобрать строчки, являющиеся словами языка. В алгоритмически построенном языке для этого существует правило (алгоритм), согласно которому только по форме строчек символов, без всякой опоры на семантику, можно точно установить, принадлежит ли взятая строчка символов языку или не принадлежит. Для естественного языка это сделать невозможно. В силу такой специфики распознавания слов языка алгоритмический язык является формальным языком, а естественный язык – содержательным (неформальным).

В настоящее время построено много самых различных формальных языков. Например, в логике построены формальные языки различных логик. В математике построены формальные языки почти всех математических теорий, например, язык алгебры. Для этого языка синтаксические правила построения представляют алгоритм, согласно которому строчка символов " " относится к языку алгебры, а строчка " " не относится. И этот вопрос решается без всякого знания того, что обозначают символы .