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