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

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

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

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

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

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

  • Непредикативное определение —         определение, посредством которого создаётся или вводится в рассмотрение предмет, являющийся одним из значений неопределённого имени («переменной»), участвующего в определяющем выражении. Некорректность Н. о. состоит в том, что предмет,… …   Большая советская энциклопедия

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

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

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

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

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

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


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

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