Словарь логики - предметная область

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