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

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

Предметная область — это часть реального мира, рассматриваемая в рамках определенного контекста. Под контекстом можно понимать область исследования или область, которая является объектом определенной деятельности.

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

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

Понятие предметная область определяется и используется во многих научных дисциплинах: философии, логике, математике, информатике, экономике и т.п.

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