Апология математики (сборник статей) - страница 16

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

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

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

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

Демонстрационный способ заключается в предъявлении достаточного числа примеров, не только положительных, но и отрицательных. Желая, например, ввести понятие 'кошка', нужно показать достаточное количество кошек, но также, скажем, собак и кроликов, объясняя, что эти собаки и кролики не суть кошки.

Вербальный способ опирается на словесную дефиницию. Вот два примера вербального способа: 1) определение слова «хвоя» из толкового словаря Ушакова: «Узкий и упругий в виде иглы лист у некоторых пород деревьев»; 2) определение термина «простое число»: «Натуральное число называется простым, если оно, во-первых, больше единицы и, во-вторых, делится без остатка только на единицу и на само себя». (Интересно, кстати, сколько чисел, как простых, так и простыми не являющихся, надо предъявить, чтобы понятие простого числа могло быть усвоено демонстрационным способом?