Непредикативное определение, определение, посредством которого создаётся или вводится в рассмотрение предмет, являющийся одним из значений неопределённого имени («переменной»), участвующего в определяющем выражении. Некорректность Непредикативное определение состоит в том, что предмет, вводимый посредством такого определения, своим появлением может изменить смысл определяющего выражения, а тем самым и самого определяемого предмета. Когда эта возможность не реализуется (что бывает, если все вхождения упомянутого неопределённого имени несущественны, т. е. устранимы логическими средствами), некорректностью Непредикативное определение можно пренебречь, но в таких случаях не возникает и проблемы Непредикативное определение Если же хоть одно вхождение неопределённого имени неустранимо, то создаваемый определением объект сам участвует в своём определении в качестве одного из значений смысла этого имени — и определение прочно, поскольку оно не даёт редукции определяемого объекта к ранее известным объектам и понятиям. С точки зрения теории определений, подобные порочные Непредикативное определение следует считать столь же недопустимыми, как и круги в доказательствах. Впервые на Непредикативное определение в математическом анализе указал А. Пуанкаре. Он же ввёл и сам термин «Непредикативное определение». Наиболее известные примеры Непредикативное определение встречаются при «наивных» классических попытках обоснования аксиоматической теории множеств. Например, доказательствосуществования объединения («теоретико-множественной суммы») произвольного множества множеств является непредикативным (так как при определении множества слово «множество» входит, и притом дважды, в определяющее выражение). В целях избежания связанных с этим трудностей были предложены различные средства (модификация наивной теории множеств), в частности типов теория.
Так же Вы можете узнать о...
Чечулин Николай Дмитриевич [3(15).11.1863, Череповец, — 14. Элеватор (механич.) Элеватор (лат. elevator, буквально — поднимающий, от elevo — поднимаю), машина непрерывного действия, транспортирующая грузы в вертикальном или наклонном направлениях. Агарикус, агарик, то же, что лиственничная губка. Аракчеев Алексей Андреевич [23.9.(4.10).1769, Новгородской губернии, — 21. Безобразов Иван Романович (по прозвищу Осечка) (г. Брунеллески Филиппо Брунеллески, Брунеллеско (Brunelleschi, Brunellesco) Филиппо (1377, Флоренция, — 15. Винтер Эдуард Винтер (Winter) Эдуард [р. 16.9.1896, Гроттау (Градек), Чехия], немецкий историк (ГДР), член Германской АН в Берлине (1955). Гварини Баттиста Гварини, Гуарини (Guarini) Баттиста (10.12.1538, Феррара, — 7. График движения на транспорте, составляемый в графической или табличной форме план организации перевозочного процесса. Диктатор (лат. dictator, от dicto — диктую, предписываю), 1) в ряде латинских городов древней Италии ежегодно избиравшийся правитель, обладавший неограниченной властью, а также глава Латинского союза. Зайончковский Пётр Андреевич [р.5(18).9.1904, Уральск], советский историк, доктор исторических наук (1950). Ионосфера (от ионы и греч. sphaira — шар), ионизированная часть верхней атмосферы; расположена выше 50 км.