 |
 |
|
 |
|
|
ПРЕДМЕТНАЯ ОБЛАСТЬ |
| Большая советская энциклопедия (БЭС) |
область объектов, универсум рассуждения, универсум рассмотрения, или просто универсум, класс (множество) объектов, рассматриваемых в пределах данного контекста. Под контекстом здесь может пониматься отдельное рассуждение или выражающая его фраза, или совокупность фраз, фрагмент научной теории или теория в целом. Например, в теории чисел П. о. служит натуральный ряд (множество целых неотрицательных чисел), в математическом анализе — множество действительных чисел, в ботанике — множество всех растений (точнее, растительных видов), а в исчислении предикатов или логике классов — любая фиксированная непустая область. П. о., называется также универсальным множеством, противопоставляется в логике и теории множеств т. н. пустому множеству (классу, области), не содержащему ни одного предмета рассматриваемого вида и являющемуся её дополнением. Общепринятое представление о П. о. именно как о фиксированной области объекта (согласно которому, например, в теории чисел дополнением к множеству чётных чисел служит множество нечётных чисел, а вовсе не «множество всех мыслимых объектов, не являющихся чётными числами», в каковое должен был бы входить, например, и данный экземпляр энциклопедии, и вообще «всё на свете», кроме чётных чисел) идёт от Дж. Венна; оно сменило господствовавшую до того (исходившую от Г. Фреге) концепцию «универсальной» П. о., приводящую к Парадоксам.
Лит. см. при ст. Логика предикатов, Аксиоматическая теория множеств.
|
| Социологический Энциклопедичечкий Словарь |
| ПРЕДМЕТНАЯ ОБЛАСТЬ - англ. subject sphere; нем. Gegenstandsbereich. Область объектов, их множество, рассматриваемое в пределах данного контекста. |
| Философский энциклопедический словарь 2 |
область объектов, универсум рассмотрения (рассуждения), класс (множество) объектов, рассматриваемых в пределах данного контекста (понимаемом как отд. рассуждение, фрагмент науч. теории или теория в целом). Напр., в теории чисел П. о. служит натуральный ряд (множество целых неотрицательных чисел), в математич. анализе — множество действит. чисел, в ботанике — множество всех растений (растит. видов), а в исчислении предикатов или логике классов — любая фиксированная непустая область. П. о., называемая также универс. множеством, противопоставляется в логике и теории множеств т. н. пустому множеству (классу, области), не содержащему ни одного предмета рассматриваемого вида и являющемуся её дополнением.
см. ст. Универсум и лит. к ней. |
|
|
|
|
|
|
|
|
 |
|
 |
|
|
