Закон Исключенного Третьего — - логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: "Аристотель умер в 322 г. до н. э. или он...

Закон Исключенного Третьего — - логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: "Аристотель умер в 322 г. до н. э. или он...

Доказательство По Случаям, Или Доказательство Разбором Случаев — - логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имеющих одинаковое следствие, осуществляется переход к утверждению этого следствия путем установления того, что по меньшей мере одно из оснований условных...

Закон Де Моргана — - общее название логических законов, связывающих с помощью отрицания конъюнкцию ("и") и дизъюнкцию ("или"). Названы именем англ. логика XIX в. А. де Моргана. Один из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции...

Доказуемость — см.: Доказательство.

Дескрипция Определенная — (от лат. descriptio - описание) -языковое выражение, служащее для обозначения единичных объектов посредством описания их свойств или отношений к другим объектам. В языке Д. о. выполняет те же функции, что и собственное имя. Объект можно...

Дилемма В Логике — (от греч. di(s) - дважды и lemma - предположение) -в традиционной логике условно-разделительное умозаключение, т. е. умозаключение, посылками которого являются условные и разделительные суждения. Условно-разделительные умозаключения вообще...

Диаграммы Венна — - геометрическое наглядное представление отношений между классами (объемами понятий) в булевой алгебре с помощью кругов или иных фигур. Д. В. были введены в логику в конце XIX в. англ. логиком Дж. Венном. Элемент 1 булевой алгебры представляется...

Дискуссия — (от лат. discussio - рассмотрение, исследование) - обсуждение к.-л. вопроса или группы связанных вопросов компетентными лицами с намерением достичь взаимоприемлемого решения. Д. является разновидностью спора, близкой к полемике, и представляет...

Деонтическая Модальность — (от греч. deon - долг, правильность), или: Нормативная модальность, модальность долженствования, - характеристика практического действия с точки зрения определенной системы норм. Нормативный статус действия обычно выражается понятиями...