Akademik

ПРЕДМЕТНАЯ ОБЛАСТЬ

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

ПРЕДМЕТНАЯ ОБЛАСТЬ: область объектов, универсум рассмотрения (рассуждения), класс (множество) объектов, рассматриваемых в пределах данного контекста (понимаемом как отд. рассуждение, фрагмент науч. теории или теория в целом). Напр., в теории чисел П. о. служит натуральный ряд (множество целых неотрицательных чисел), в математич. анализе — множество действит. чисел, в ботанике — множество всех растений (растит. видов), а в исчислении предикатов или логике классов — любая фиксированная непустая область. П. о., называемая также универс. множеством, противопоставляется в логике и теории множеств т. н. пустому множеству (классу, области), не содержащему ни одного предмета рассматриваемого вида и являющемуся её дополнением.

см. ст. Универсум илит. к ней.