раздел логики, изучающий свойства высказываний об отношениях между объектами различной природы. Элементарными высказываниями об отношениях являются высказывания вида akb, т. е. объект а находится в отношении k к объекту b, напр.: «а брат b», «а тяжелее b» и т. п. В зависимости от числа объектов, связанных тем или иным отношением, различают двухместные, или бинарные, отношения, трехместные, или тернарные, отношения, напр.: «a находится между b и с»; и вообще n-местные, или n-арные, отношения. Особое значение имеют бинарные отношения, посредством которых определяют такие важнейшие понятия логики и математики, как «функция» и «операция».
не имеется;
в релевантной логике для принятия метаутверждения об отношении логического следования между...
в классической логике....
Если высказывание не имеет никакого отношения к контексту, то оно может быть считано как ложное или неопределенное...
система $E_fde$ – это система релевантного следования первого уровня, формализующая отношение следования...
пропозициональной переменной;
система Е – релевантного следования предназначалась для того, чтобы формализовать отношения
Доказана теорема о том, что выразительные возможности функциональных и реляционных языков логики совпадают. Это позволяет по-новому взглянуть на некоторые факты из истории науки и дать им оценку, отличную от общепринятой.I
математический формализм, который используется для описания свойств и отношений между временными интервалами...
в контексте логик, где выражения имеют модальные операторы, связанные с временными отношениями, такими...
Для формализации свойств и отношений между временными интервалами в логиках с модальными операторами,...
используются отношения порядка на множестве интервалов и операторы, которые позволяют выражать свойства...
и отношения между интервалами.
В данной статье обсуждаются вопросы, связанные с возможностью описания связей, существующих между различными по типу и содержанию иллокутивными актами при помощи понятия логического следования. Автором анализируются различные типы отношений следования между иллокутивными актами, сформулированные Вандервекеном, а также предлагаются альтернативные формулировки отношения следования, охватывающие все возможные типы иллокутивных актов, и демонстрируются их интерпретационные возможности.
аналогия, которая применятеся тогда, когда точно и определенно установленна связь между общими признаками, имеющими у обоих составляемых предметов , и тем признаком, который присваеется исследуемому предмету по аналогии с известным уже предметом.
ошибка, вызванная тем, что аргументы, подкрепляющие тезис, сами обосновываются через этот тезис.
необходимость выводить высказывания из других.
