|
объекты, свойства и отношения, изучаемые данной наукой.
Должны существовать также четко определенные правила обра-
зования предложений из слов данного языка. Эти правила на-
зываются синтаксисом (от греч. synfaxix — составление). По-
скольку язык служит для передачи информации об изучаемых
объектах и для выработки соответствующих знаний, его слова и
предложения должны иметь значения и смысл. Набор правил,
точно формулирующих способы установления смыслов и значе-
ний, называется семантикой (от греч. semanfilcos — обозначаю-
щий). Словарь, синтаксис и семантика далеко не однозначны в
естественных языках. Но в языках науки, например математики,
физики, химии, биологии, их стараются определить как можно
точнее. Сам словарь этих наук очень специализирован. Например,
такие понятия и термины, как «интеграл», «функция», «матрица»,
имеют точные значения и смысл лишь в математике; термины
«масса», «электромагнитный момент», «спин», «гравитация» и т. п.
строго определены в физике; понятия «вид», «мутация», «био-
ценоз» и пр. специфичны для биологии. Строгость и определен-
ность словаря и грамматических правил — характерная особен-
ность языков науки. Однако по существу дела последние не от-
личаются от естественных языков, на базе которых они возникают
и развиваются.
Особую группу составляют формализованные языки. Такие
языки называются часто искусственными, так как к правилам по-
строения правильных предложений в этих языках добавляются
правила формального преобразования одних правильных предло-
жений в другие. Лучшим примером таких языков могут служить
математические исчисления. Зная соответствующие какому-либо
исчислению исходные предложения (формулы, теоремы) и пра-
вила их преобразования, математик может построить неограни-
ченную последовательность других формул и предложений. При
этом он принимает в расчет прежде всего вид исходных пред-
ложений, их внутреннюю структуру и до поры до времени не об-
ращает внимания на их содержание. Именно поэтому такой спо-
соб развертывания и выведения одних формул из других назы-
вается формальным. Формальное развитие и развертывание ма-
тематических исчислений, разумеется, не может обходиться без
содержательного рассмотрения свойств изучаемых объектов, их
связей и взаимоотношений. Время от времени — в наиболее
сложных ситуациях, при постановке новых проблем — матема-
тики обязательно отдают предпочтение содержательным рас-
суждениям и содержательному анализу. Но после установления
исходных содержательных данных формальные методы исполь-
зуются в качестве мощного средства развития и усовершенст-
вования знаний. Именно эта их сторона и позволяет осуществлять
формализацию теорий.
— 290 —
|