Апология математики (сборник статей). В. А. Успенский

Чтение книги онлайн.

СКАЧАТЬ позволяют развить науку, называемую геометрией. При этом никакими иными сведениями, кроме тех, которые записаны в аксиомах, пользоваться не разрешается.

      Предпринимались попытки создать аксиоматику и для некоторых нематематических дисциплин, скажем для фонологии. В качестве исходных понятий брались такие объекты, как звук языка и фонема. В качестве исходных отношений – отношение равносмысленности, в каковом отношении могли находиться две цепочки звуков языка, и отношение принадлежности, в каковом отношении могли находиться звук языка и фонема. Одна из аксиом постулировала, что если при замене в какой-то цепочке звуков языка звука X звуком Y оказалось, что результирующая цепочка не равносмысленна исходной, то звуки X и Y не могут принадлежать одной и той же фонеме. (Эта аксиома называется аксиомой минимальной пары, поскольку пара цепочек, не являющихся равносмысленными и различающихся лишь тем, что в одной и той же позиции в них стоят разные звуки, называется минимальной парой.) Другая аксиома постулировала, что если, напротив, в любой цепочке звуков такая замена приводит к равносмысленной цепочке, то звуки X и Y непременно принадлежат одной и той же фонеме (эта аксиома называется аксиомой свободного варьирования, поскольку про звуки X и Y, во всех случаях допускающие замену одного другим, так что результирующая цепочка оказывается равносмысленной исходной, говорят, что они находятся в отношении свободного варьирования).

      И геометрический, и фонологический примеры демонстрируют главное, что характеризует аксиоматический метод. Это главное состоит в следующем. Природа вводимых в рассмотрение предметов и отношений намеренно не разъясняется, они остаются неопределяемыми. Единственное, что про них предполагается известным, – это те связи между ними, которые записаны в аксиомах. Вся дальнейшая информация выводится из аксиом путём логических умозаключений. Таким образом, человек, собирающийся развивать теорию на основе сформулированных аксиом, должен сделать над собой психологическое усилие и забыть всё, чему его учили в школе по геометрии и в вузе по фонологии. Другое дело, что он ни в коем случае не должен забывать этого на стадии составления списка аксиом, коль скоро желает, чтобы эти аксиомы отражали реальность.

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

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

      Демонстрационный способ заключается СКАЧАТЬ