Непредикативное определение
- Непредикативное определение
-
определение, посредством которого создаётся или вводится в рассмотрение предмет, являющийся одним из значений неопределённого имени («переменной»), участвующего в определяющем выражении. Некорректность Н. о. состоит в том, что предмет, вводимый посредством такого определения, своим появлением может изменить смысл определяющего выражения, а тем самым и самого определяемого предмета. Когда эта возможность не реализуется (что бывает, если все вхождения упомянутого неопределённого имени несущественны, т. е. устранимы логическими средствами), некорректностью Н. о. можно пренебречь, но в таких случаях не возникает и проблемы Н. о. Если же хоть одно вхождение неопределённого имени неустранимо, то создаваемый определением объект сам участвует в своём определении в качестве одного из значений смысла этого имени — и определение прочно, поскольку оно не даёт редукции определяемого объекта к ранее известным объектам и понятиям. С точки зрения теории определений (См.
Определение)
, подобные порочные Н. о. следует считать столь же недопустимыми, как и круги в доказательствах (См.
Круг в доказательстве). Впервые на Н. о. в математическом анализе указал А.
Пуанкаре. Он же ввёл и сам термин «Н. о.». Наиболее известные примеры Н. о. встречаются при «наивных» классических попытках обоснования аксиоматической теории множеств. Например, доказательство существования объединения («теоретико-множественной суммы») произвольного множества множеств является непредикативным (так как при определении множества слово «множество» входит, и притом дважды, в определяющее выражение). В целях избежания связанных с этим трудностей были предложены различные средства (модификация наивной теории множеств), в частности
Типов теория.
Большая советская энциклопедия. — М.: Советская энциклопедия.
1969—1978.
Полезное
Смотреть что такое "Непредикативное определение" в других словарях:
НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ — определение, в котором определяемое вводится через некрое его отношение ко всем объектам класса, одним из элементов которого мыслится и само определяемое. В Н. о. часть (элемент) определяется через целое (множество), мыслимое раньше всех… … Философская энциклопедия
НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ — определение, в котором определяющее выражение содержит ссылку на множество всех значений неопределенного имени (переменной), входящего в определяемый термин; при этом может возникнуть круг в определении, ведущий к парадоксу (противоречию) … Большой Энциклопедический словарь
непредикативное определение — определение, в котором определяющее выражение содержит ссылку на множество всех значений неопределённого имени (переменной), входящего в определяемый термин; при этом может возникнуть круг в определении, ведущий к парадоксу (противоречию). * * *… … Энциклопедический словарь
непредикативное определение — определение, с помощью которого некоторые объекты вводятся через множества, включающие эти объекты в качестве своих элементов. Напр.: Верхней границей множества действительных чисел называется самое большое число этого множества, т. е. число,… … Словарь терминов логики
НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ — определение, осмысленность к рого предполагает наличие определяемого объекта. Образование множества всех множеств непредикативно. Определение наименьшей верхней грани произвольного множества действительных чисел также непредикативно. Любое Н. о.… … Математическая энциклопедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
Определение — I Определение дефиниция (от лат. definitio), указание или объяснение значения (смысла) термина и (или) объёма (содержания) выражаемого данным термином понятия (См. Понятие); этот термин (понятие) называется определяемым (лат. definiendum … Большая советская энциклопедия
КРУГ В ОПРЕДЕЛЕНИИ — см. Определение; Непредикативное определение. Философская Энциклопедия. В 5 х т. М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960 1970 … Философская энциклопедия
Круг в определении — (лат. circulus in definiendo) логическая ошибка, состоящая в том, что некоторое понятие (или термин) А определяется через другое понятие (термин) В, хотя В, в свою очередь, не может быть определено без использования А. Такая «круговая… … Большая советская энциклопедия
СВОДИМОСТИ АКСИОМА — аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия… … Математическая энциклопедия