Непредикативное определение это:

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

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Непредикативное определение" в других словарях:

  • НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ —         определение, в котором определяемое вводится через некрое его отношение ко всем объектам класса, одним из элементов которого мыслится и само определяемое. В Н. о. часть (элемент) определяется через целое (множество), мыслимое раньше всех… …   Философская энциклопедия

  • НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ — определение, в котором определяющее выражение содержит ссылку на множество всех значений неопределенного имени (переменной), входящего в определяемый термин; при этом может возникнуть круг в определении, ведущий к парадоксу (противоречию) …   Большой Энциклопедический словарь

  • непредикативное определение — определение, в котором определяющее выражение содержит ссылку на множество всех значений неопределённого имени (переменной), входящего в определяемый термин; при этом может возникнуть круг в определении, ведущий к парадоксу (противоречию). * * *… …   Энциклопедический словарь

  • непредикативное определение — определение, с помощью которого некоторые объекты вводятся через множества, включающие эти объекты в качестве своих элементов. Напр.: Верхней границей множества действительных чисел называется самое большое число этого множества, т. е. число,… …   Словарь терминов логики

  • НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ — определение, осмысленность к рого предполагает наличие определяемого объекта. Образование множества всех множеств непредикативно. Определение наименьшей верхней грани произвольного множества действительных чисел также непредикативно. Любое Н. о.… …   Математическая энциклопедия

  • ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …   Философская энциклопедия

  • Определение — I Определение         дефиниция (от лат. definitio), указание или объяснение значения (смысла) термина и (или) объёма (содержания) выражаемого данным термином понятия (См. Понятие); этот термин (понятие) называется определяемым (лат. definiendum …   Большая советская энциклопедия

  • КРУГ В ОПРЕДЕЛЕНИИ — см. Определение; Непредикативное определение. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 …   Философская энциклопедия

  • Круг в определении — (лат. circulus in definiendo)         логическая ошибка, состоящая в том, что некоторое понятие (или термин) А определяется через другое понятие (термин) В, хотя В, в свою очередь, не может быть определено без использования А. Такая «круговая… …   Большая советская энциклопедия

  • СВОДИМОСТИ АКСИОМА — аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»