Новосибирский государственный университет Факультет информационных технологий

А.М.Федотов

Словарь-справочник по информатике (онтология информатики)

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

Предметная область (Универсум рассуждения) (область теории) - множество объектов, рассматриваемых в пределах отдельного рассуждения, научной теории. Предметная область включает прежде всего индивиды, т. е. элементарные объекты, изучаемые теорией, а также свойства, отношения и функции, рассматриваемые в теории.

Предметная область, соединяющая в единство разнотипные объекты, изучаемые в какой-то теории, представляет собой логическую абстракцию. Допущение существования Предметная область нетривиально, ибо в обычных рассуждениях далеко не всегда удается удовлетворить ему естественным образом.

Другие определения:

Предметная область или область объектов теории, универсум рассуждения — множество объектов, рассматриваемых в пределах одного рассуждения или в научной теории, т.е. тех объектов, к которым относятся термины и утверждения теории. П.о. включает в себя прежде всего индивиды, т.е. элементарные объекты, изучаемые теорией, а также их свойства, отношения и функциональные связи, рассматриваемые в теории. Например, в теории чисел предметная область служит натуральный ряд, в математическом анализе — множество действительных чисел, в ботанике — множество растений (растительных видов), в социологии — множество социальных групп и отношений между ними и т.п. Предметная область, соединяющая в единство разнотипные объекты, изучаемые в какой-то теории, представляют собой логическую абстракцию; это не реально существующее единство, а лишь объединение предметов в мысли. Поэтому вопрос о реальном существовании предметной области часто представляет собой особую научную проблему.

Предметная область - область объектов, универсум рассмотрения (рассуждения), класс (множество) объектов, рассматриваемых в пределах данного контекста (понимаемом как отд. рассуждение, фрагмент научной теории или теория в целом). Предметная область, называемая также универсальным множеством, противопоставляется в логике и теории множеств т. н. пустому множеству (классу, области), не содержащему ни одного предмета рассматриваемого вида и являющемуся её дополнением.

Литература:

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

Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.

Ключевые термины (головные):  свойство;   отношение;   функции;   объект;

Контекстный поиск: Задайте образец для поиска:

Федотов Анатолий Михайлович

НГУ ФИТ НГУ ИВТ СО РАН