Предметна область: відмінності між версіями

'''Предме́тна о́бласть''' (''ПрО'')&nbsp;— [[множина]] всіх предметів, [[властивість|властивості]] яких і відношення між якими розглядаються в [[наукова теорія|науковій теорії]]. В [[логіка|логіці]]&nbsp;— гадана область можливих значень предметних змінних логічної мови<ref>Великий енциклопедичний словник. 2000.{{ref-ru}}</ref>.

 

 

''Предметна область'' або: ''універсум міркування'', ''область теорії''&nbsp;— множина об'єктів, що розглядаються в межах окремого міркування, наукової теорії. П. о. включає перш за все індивіди, тобто елементарні об'єкти, що вивчаються теорією, а також властивості, відносини і функції, що розглядаються в теорії. Наприклад, П. о. в зоології служить множина тварин, в теорії чисел&nbsp;— натуральний ряд чисел, в логіці предикатів&nbsp;— будь-яка фіксована область, яка містить щонайменше один предмет. П. о., що сполучає в єдність різнотипні об'єкти, що вивчаються в якійсь теорії, являє собою логічну абстракцію. Допущення існування П.о. нетривіальне, бо в звичайних міркуваннях далеко не завжди вдається задовольнити йому природним чином.<ref>Словник термінів логіки. 2000.{{ref-ru}}</ref>