Словарь по логике

НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ

НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ — определение, с помощью которого некоторые объекты вводятся через множества, включа­ющие эти объекты в качестве своих элементов. Напр.: "Верхней границей множества действительных чисел называется самое боль­шое число этого множества, т. е. число, которое больше любого числа этого множества". В этом определенииDfd("верхняя грани­ца множества действительных чисел"), т. е. определяемое, вклю­чается в множество действительных чиселDfnкак самое большое число этого множества — определяющее — и тем самым участвует в формировании этого множества. Такие определения дол­жны рассматриваться как определения с "порочным кругом":Dfdопределяется в них черезDfn,куда включаетсяDfd.Тем не менее они используются в науке. В целях "оправдания" они особым обра­зом интерпретируются. Одним из таких "оправданий" является пред­ложенная Б. Расселом аксиома сводимости, согласно которой для Н. о. должны существовать иные способы задания множеств, в ко­торые определяемый объект включается в качестве элемента неза­висимо от его определения. Так, согласно Б. Расселу, приведенное выше определение является правильным, поскольку множество действительных чисел независимо от определения может быть экземплифицировано множеством точек на отрезке прямой (О, 1). Если мы имеем дело с определениями, где множество, через которое определяетсяDfdне формируется данным определени­ем, а существует независимо от него, и если задача определения состоит в том, чтобы выделить некоторый элемент из нашего множества и при этом специфицировать его, — никакого пороч­ного круга не возникает. Так, определяя Марс как планету Сол­нечной системы, четвертую по порядку от Солнца, мы не совер­шаем порочного круга, поскольку множество планет Солнечной системы существует независимо от нашего определения и мы лишь выделяем из этого множества планету Марс. Такие определения рассматриваются обычно как определения через род и видовое отличие (см.:Определение классическое).


  1. непредикативное определение—определение посредством которого создатся или вводится в рассмотрение предмет являющийся одним из значений неопределнного имени переменной участвующего в определяющем выр...Большая Советская энциклопедия II
  2. непредикативное определение—определение в котором определяющеевыражение содержит ссылку на множество всех значений неопределенного именипеременной входящего в определяемый термин при этом может возн...Большой энциклопедический словарь II
  3. непредикативное определение—НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ определение в котором определяющее выражение содержит ссылку на множество всех значений неопределенного имени переменной входящего в определяе...Большой энциклопедический словарь III
  4. непредикативное определение—НЕПРЕДИКАТИВНОЕ определение определение в котором определяющее выражение содержит ссылку на множество всех значений неопределенного имени переменной входящего в определя...Большой Энциклопедический словарь V
  5. непредикативное определение—определение осмысленность крого предполагает наличие определяемого объекта. Образование множества всех множеств непредикативно. Определение наименьшей верхней грани произ...Математическая энциклопедия
  6. непредикативное определение—непрэдыкатнае азначэнне...Русско-белорусский математический словарь
  7. непредикативное определение—определение с помощью которого некоторые объекты вводятся через множества включающие эти объекты в качестве своих элементов. Напр. Верхней границей множества действительн...Словарь логики
  8. непредикативное определение—определение в кром определяемое вводится через некрое его отношение ко всем объектам класса одним из элементов крого мыслится и само определяемое. В Н. о. часть элемент о...Советский философский словарь
  9. непредикативное определение—НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ определение в котором определяющее выражение содержит ссылку на множество всех значений неопределенного имени переменной входящего в определяе...Современный энциклопедический словарь
  10. непредикативное определение—НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ определение в котором определяемое вводится через некрое его отношение ко всем объектам класса одним из элементов которого мыслится и само опр...Философская энциклопедия
  11. непредикативное определение—определение посредством крого создается или вводится в рассмотрение предмет являющийся одним из значений неопределенного имени переменной участвующего в определяющем выра...Философская Энциклопедия (в 5 томах)
  12. непредикативное определение—НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ определение в котором определяющее выражение содержит ссылку на множество всех значений неопределенного имени переменной входящего в определя...Энциклопедический словарь естествознания