Непредикативное определение
определение, посредством которого создаётся или вводится в рассмотрение предмет, являющийся одним из значений неопределённого имени («переменной»), участвующего в определяющем выражении. Некорректность Н. О. Состоит в том, что предмет, вводимый посредством такого определения, своим появлением может изменить смысл определяющего выражения, а тем самым и самого определяемого предмета. Когда эта возможность не реализуется (что бывает, если все вхождения упомянутого неопределённого имени несущественны, т. Е. Устранимы логическими средствами), некорректностью Н. О. Можно пренебречь, но в таких случаях не возникает и проблемы Н. О. Если же хоть одно вхождение неопределённого имени неустранимо, то создаваемый определением объект сам участвует в своём определении в качестве одного из значений смысла этого имени — и определение прочно, поскольку оно не даёт редукции определяемого объекта к ранее известным объектам и понятиям.
С точки зрения теории определений (См. Определение), подобные порочные Н. О. Следует считать столь же недопустимыми, как и круги в доказательствах (См. Круг в доказательстве). Впервые на Н. О. В математическом анализе указал А. Пуанкаре. Он же ввёл и сам термин «Н. О.». Наиболее известные примеры Н. О. Встречаются при «наивных» классических попытках обоснования аксиоматической теории множеств. Например, доказательство существования объединения («теоретико-множественной суммы») произвольного множества множеств является непредикативным (так как при определении множества слово «множество» входит, и притом дважды, в определяющее выражение). В целях избежания связанных с этим трудностей были предложены различные средства (модификация наивной теории множеств), в частности Типов теория.
Дополнительный поиск Непредикативное определение
На нашем сайте Вы найдете значение "Непредикативное определение" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Непредикативное определение, различные варианты толкований, скрытый смысл.
Первая буква "Н". Общая длина 27 символа