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