Приглашаем посетить сайт
НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ
НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ - определение, посредством к-рого создается, или вводится в рассмотрение предмет, являющийся одним из значений неопределенного имени ("переменной"), участвующего в определяющем выражении. Некорректность Н. о. состоит в том, что предмет, вводимый посредством такого определения, своим появлением может изменить смысл определяющего выражения, а тем самым и самого определяемого предмета. В тех случаях, когда эта возможность не реализуется (что бывает, если все вхождения упомянутого неопредел. имени несущественны, т.е. устранимы логич. средствами), этой некорректностью можно пренебречь, - но в таких случаях не возникает и проблемы Н. о. Если же хоть одно вхождение этого неопредел. имени неустранимо, то создаваемый определением объект сам участвует в своем определении в качестве одного из значений смысла этого имени - и определение порочно, поскольку оно не дает редукции определяемого объекта к ранее известным объектам и понятиям. С т. зр. теории определений, эти порочные Н. о. следует считать столь же недопустимыми, как и круги в доказательствах. Впервые на Н. о. в матем. анализе указал Пуанкаре. Он же ввел и сам термин "Н. о.". Наиболее известные примеры Н. о. встречаются при "наивных" классич. попытках обоснования аксиоматич. теории множеств. Напр., доказательство существования объединения ("теоретико-множеств. суммы") произвольного множества множеств является непредикативным (так как при этом определяется множество и слово "множество" входит, и притом дважды, в определяющее выражение). В целях избежания связанных с этим трудностей были предложены различные средства (модификации наивной теории множеств), в частности типов теория Рассела. Однако и в этом случае определение объединения множества множеств оказывается непредикативным, так как объединение может (и даже должно) принадлежать тому же типу, что и объединяемые множества. Между тем при теоретико-множественном обосновании математического анализа одна из важнейших теорем теории пределов, - а именно, теорема Вейерштрасса о существовании предела у огранич. последовательности действит. чисел - оказывается основанной именно на этом Н. о. (ибо этот предел определяется обычно через объединение тех множеств, с к-рыми отождествляются элементы рассматриваемой последовательности). Непредикативным оказывается также идущее от Г. Фреге теоретико-множеств. определение понятия натурального числа.
Если определяемый объект существует независимо от рассматриваемого определения, то последнее не следует считать Н. о. Напр., определение нуля как наименьшего натурального числа не является непредикативным. Но при определении очень больших натуральных чисел, напр. 1012, имеется опасность употребления (в скрытом виде) определяемого понятия в определяющем выражении (через оборот "триллион шагов" или "конечное число шагов"; слово "триллион" следует считать неопредел. именем до тех пор, пока определение этого объекта не будет закончено, а его единственность - доказана). В таком случае определения этих чисел следует считать Н. о.
Один из осн. приемов избавления от Н. о. состоит в том, что предмет, вводимый посредством Н. о., искусственно отличается от всех значений, подразумеваемых неопредел. именами из определяющего выражения. При построении математики на теоретико-множеств. основе этот прием приводит к ограничению теории множеств возможностями р а з в е т в л е н н о й теории типов. В результате, напр., каждое действит. число получает нек-рый тип; предел огранич. последовательности действит. чисел хотя и существует (коль скоро сама последовательность допускает имя, к-рому можно приписать тип, - в противном случае о ней просто нельзя говорить), но имеет более высокий тип, чем элементы этой последовательности, а о множестве всех действит. чисел просто нельзя говорить, ибо ему нельзя приписать никакого типа. Впрочем, Хао Вану удалась остроумная попытка построения матем. анализа без теоретико-множеств. Н. о., но с сохранением теоремы Вейерштрасса. В наст. время разрабатываются и др. методы обоснования теории множеств, свободные от Н. о.
За пределами математики Н. о. особенно легко могут возникнуть в этике, гносеологии и семантике, так как мн. понятия, встречающиеся в этих науках, без определений не имели бы никакого смысла, а круги в определениях этих наук - не редкость. Конечно, и в этих науках следует тщательно избегать Н. о., считая бессмысленными и бездоказательными основанные на них рассуждения. Часто оказывается, что Н. о. можно преодолеть, так как в определяющих выражениях встречаются лишь частные случаи тех понятий, к-рые ими вводятся, так что нек-рая редукция посредством Н. о. все же достигается. В таких случаях, как заметил впервые И. Бар-Хиллел, иногда удается заменить Н. о. определениями того же типа, что и рекурсивные. О Н. о. см. также ст. Множество.
А. С. Москва.