4. Язык науки

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

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

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

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

Тенденция к развитию языка науки приводит к созданию формализованных языков. Формализованные языки внешне характеризуются тем, что вместо слов обычного языка вводятся специальные знаки, образующие алфавит таких языков и отличающиеся компактностью и обозримостью. В таких языках не только заданы исходные символы, но четко и явно сформулированы правила построения имен и осмысленных выражений, правила преобразования одних выражений в другие.

Использование формализованных языков предусматривает их интерпретацию, которая подчиняется определенным правилам. Эти правила дают возможность понять термины формализованного языка:

• правило обозначения требует, чтобы значение элемента формализованной системы было одним и тем же, сколько бы раз он ни встречался в системе;

• правило непротиворечивости предполагает, что каждый элемент формализованной системы должен получить строго фиксированное значение;

• правило соответствия - должна существовать смысловая связь между соотносимыми терминами;

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