Феномен науки. Кибернетический подход к эволюции

Для того чтобы формальное мышление приводило к правильным результатам, семантика языка должна обладать определенными свойствами, которые мы характеризуем такими терминами, как точность, определенность, однозначность. Если семантика этими свойствами не обладает, то мы не сможем ввести такие формальные преобразования L₁ -> L₂, чтобы, пользуясь ими, получать всегда правильный результат. Можно, конечно, кок-то установить формальные правила преобразований и получить, таким образом, формализованный язык, но это будет язык, приводящий иногда к ложным выводам. Вот пример умозаключения, приводящего к ложному результату из-за неоднозначности в семантике:

Ваня — цыган.

Цыгане пришли в Европу из Индии.

-----------------------------------------------

Следовательно, Ваня пришел в Европу из Индии.

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

12.2. Языковая машина

Так как синтаксические преобразования L₁ -> L₂ в рамках формализованного языка определяются только физическим видом объектов L_i, формализованный язык есть, в сущности, машина, производящая различные перемещения символов. Для полностью алгоритмизированного языка, например арифметики, этот тезис представляется совсем очевидным и иллюстрируется существованием машин в обычном, узком смысле слова (арифмометр, электронная вычислительная машина), выполняющих арифметические алгоритмы. Если правила преобразования представляют собой лишь ограничения, то, во-первых, можно построить алгоритм, который по заданным L₁ и L₂ определяет, законно ли преобразование L₁ -> L₂, во-вторых, можно построить алгоритм («глупый»), который по заданному L₁ начинает выдавать все законные результаты L₂ и продолжает этот процесс до бесконечности, если число возможных L₂ не ограничено. В обоих случаях мы имеем дело с некоторой языковой машиной, которая может работать без вмешательства человека.

Формализация языка имеет два непосредственных следствия. Во--первых, упрощает процесс использования языковых моделей, ибо появляются четкие правила преобразования L₁ -> L₂. В предельном случае полной алгоритмизации это преобразование вообще может производиться автоматически. Во-вторых, языковая модель становится независимой от создавшего ее человеческого мозга, она становится объективной моделью действительности. Ее семантика отражает, конечно, понятия, возникшие в процессе развития культуры человеческого общества, но и по синтаксису она представляет собой языковую машину, которая может продолжать работать и сохранять свой смысл модели действительности даже в том случае, если все человечество внезапно вымрет. Изучая эту модель, разумное существо, имеющее определенное представление о предмете моделирования, сможет, вероятно, путем сопоставления модели со своими знаниями, восстановить семантику языка. Представим себе, что люди построили механическую модель Солнечной системы, в которой планеты изображаются шариками соответствующих размеров, вращающимися на стерженьках вокруг центрального шара — Солнца по соответствующим орбитам и с соответствующими периодами. И допустим, что эта модель попала в руки (или в щупальца?) обитателей соседней звездной системы, которые кое-что знают о нашей Солнечной системе, например расстояния до Солнца нескольких планет или времена их обращения. Тогда они смогут сообразить, что находится перед ними, и получат дополнительные сведения о Солнечной системе. То же относится и к научным теориям, которые суть модели реальности в различных ее аспектах, выполненные в материале формализованного знакового языка. Подобно механической модели Солнечной системы каждая из них может быть, в принципе, расшифрована и использована любыми разумными существами.

12.3. Четыре типа языковой деятельности