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