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

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

ПРЕДМЕТНАЯ область - множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике - подразумеваемая область возможных значений предметных переменных логического языка.. ..

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

универсум,- термин теории моделей, обозначающий область изменения (пробегания) предметных переменных данного формального языка. В качестве формальных языков берутся языки узкого исчисления предикатов. Каждый такой язык полностью описывается множеством L = {P0, ..., Р п, ..., F0, ..., Fm,...}, где Р 0 ,..., Р n ,. - предикатные символы, a F0 ,..., Fm,. - функциональные символы, для каждого из к-рых указано число его аргументных мест. Модель (или алгебраич. Система) для Lзадается непустым мн..

Или область объектов теории, универсум рассуждения - множество объектов, рассматриваемых в пределах одного рассуждения или в научной теории, т.е. Тех объектов, к которым относятся термины и утверждения теории. П.о. Включает в себя прежде всего индивиды, т.е. Элементарные объекты, изучаемые теорией, а также их свойства, отношения и функциональные связи, рассматриваемые в теории. Напр., в теории чисел П.о. Служит натуральный ряд, в математическом анализе - множество действительных чисел, в ботаник..

(от лат. Praedicatum - сказанное) - языковое выра­жение, обозначающее какое-то свойство или отношение. П., указы­вающий на свойство отдельного предмета (напр., «быть зеленым»), называется одноместным. П., обозначающий отношение, назы­вается двухместным, трехместным и т. Д., в зависимости от числа членов данного отношения («любит», «находится между» и т. Д.). В традиционной логике П. Понимался только как свойство, преди­кативная связь означала, что предмету (субъекту) присущ опреде­ленный признак..

- соединение слов, имеющее самостоятельный смысл, т. Е. Выражающее законченную мысль. Логика заимствует этот термин из грамматики и использует при определении высказывания как грамматически правильного П., взятого вместе с его содержани­ем. Термин «П.» употребляется также в искусственном (формализо­ванном) языке логики для обозначения тех последовательностей символов, которые при их содержательной интерпретации дают П. Естественного языка. Для описания П. Часто используется теория немецкого логи..

- логика сравнительных оценок, вы­ражаемых при помощи понятий «лучше», «хуже», «равноценно», на­зываемых предпочтениями. Логическое исследование сравнительных оценок началось в кон­це 40-х годов этого века в связи с попытками установить формаль­ные критерии разумного (рационального) предпочтения. В качестве самостоятельного раздела модальной логики П. Л. Начала развиваться после работ Г. X. Фон Вригта. В П. Л. Принимается, что «лучше» и «хуже» взаимно определимы. Один объект лучше другого в том ..

— вывод о существовании неизвестных ранее фактов, объектов или их свойств, связей между явлениями, сделан­ный на основе теоретических представлений. Всякая научная теория возникает на основе некоторых известных фактов и создается для их объяснения. Однако, наряду с объяснением известного, научная теория всегда предсказывает и нечто неизвестное, т. Е. Утверждает существование явлений, о которых мы не подозревали до возникно­вения теории. Напр., теория Коперника предсказала годичный па­раллакс зве..