УНИВЕРСУМ РАССУЖДЕНИЯ

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


Словарь логики 

УСЛОВНОЕ ВЫСКАЗЫВАНИЕ →← УМОЗАКЛЮЧЕНИЯ ИЗ СУЖДЕНИЙ С ОТНОШЕНИЯМИ

T: 0.068961401 M: 3 D: 3