Предметная Область

Предметная Область в Энциклопедическом словаре:
Предметная Область - множество всех предметов, свойства которых иотношения между которыми рассматриваются в научной теории. В логике -подразумеваемая область возможных значений предметных переменныхлогического языка.

Значение слова Предметная Область по Логическому словарю:
Предметная Область - или: Универсум рассуждения, область теории,  — множество объектов, рассматриваемых в пре­делах отдельного рассуждения, научной теории. П. о. включает прежде всего индивиды, т. е. элементарные объекты, изучаемые теорией, а так­же свойства, отношения и функции, рассматриваемые в теории. Напр., П. о. в зоологии служит множество животных, в теории чисел - нату­ральный ряд чисел, в логике предикатов — любая фиксированная область, содержащая по меньшей мере один предмет. П. о., соединяющая в единство разнотипные объекты, изучаемые в какой-то теории, представляет собой логическую абстракцию. Допу­щение существования П.о. нетривиально, ибо в обычных рассуждени­ях далеко не всегда удается удовлетворить ему естественным образом.

Определение «Предметная Область» по БСЭ:
Предметная область - область объектов, универсум рассуждения, универсум рассмотрения, или просто универсум, класс (множество) объектов, рассматриваемых в пределах данного контекста. Под контекстом здесь может пониматься отдельное рассуждение или выражающая его фраза, или совокупность фраз, фрагмент научной теории или теория в целом. Например, в теории чисел П. о. служит натуральный ряд (множество целых неотрицательных чисел), в математическом анализе - множество действительных чисел, в ботанике - множество всех растений (точнее, растительных видов), а в исчислении предикатов или логике классов - любая фиксированная непустая область. П. о., называется также универсальным множеством, противопоставляется в логике и теории множеств т. н. пустому множеству (классу, области), не содержащему ни одного предмета рассматриваемого вида и являющемуся её дополнением. Общепринятое представление о П. о. именно как о фиксированной области объекта (согласно которому, например, в теории чисел дополнением к множеству чётных чисел служит множество нечётных чисел, а вовсе не «множество всех мыслимых объектов, не являющихся чётными числами», в каковое должен был бы входить, например, и данный экземпляр энциклопедии, и вообще «всё на свете», кроме чётных чисел)
идёт от Дж. Венна; оно сменило господствовавшую до того (исходившую от Г. Фреге) концепцию
«универсальной» П. о., приводящую к Парадоксам.
Лит. см. при ст. Логика предикатов, Аксиоматическая теория множеств.

Предмет Учебный    Предметная Область    Предметник