Словарь терминов по логике

Последнее обновление: 29 Ноябрь 2018.

Двойного Отрицания Закон — см.: Закон двойного отрицания.

Двузначная Логика — логика, опирающаяся на двузначности (бивалентности) принцип. Двузначной логической системой является логика классическая.

Двузначности Принцип — принцип, в соответствии с которым всякое высказывание либо истинно, либо ложно, т. е. имеет одно из двух возможных истинностных значений — «истинно» и «ложно». Этот принцип лежит в основе логики классической, которую называют также двузначной логикой.

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

Деление Логическое — логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого признака.

Денотат — (от лат. denoto — обозначаю), или: Десигнат, предметное значение, — в логике и семантике предмет, обозначаемый собственным именем некоторого языка (в формализованном языке — константой или термом), или класс предметов, обозначаемых общим (нарицательным) именем (в формализованном языке — предметной переменной).

Деонтическая Логика — (от греч. deon — долг, правильность), или: Логика норм, нормативная логика, — раздел логики, исследующий логическую структуру и логические связи нормативных высказываний.

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

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

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

Диалектическая Логика — название философской теории, пытавшейся выявить, систематизировать и обосновать в качестве универсальных основные особенности мышления коллективистического общества (средневекового феодального общества, тоталитарного общества и др.). Основной принцип Д.л. (ее «ядро») провозглашает сближение и отождествление противоположностей: имеющегося в разуме и существующего в действительности, количества и качества, исторического и логического, свободы и необходимости и т. д.

Дизъюнктивный Силлогизм — см.: Модус понендо толленс. Модус толлендо поненс.

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

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

Дискурсивный — (от лат. discursus — рассуждение, довод, аргумент) — рассудочный, логический, противоположный интуитивному, чувственному.

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

Дистрибутивные и Коллективные Свойства. Д. — с. — общие свойства, принадлежащие каждому элементу множества (совокупности предметов, коллективу), которое они определяют.

Дихотомия — (от греч, dicha и tome — рассечение на две части) — деление объема понятия на две взаимоисключающие части, полностью исчерпывающие объем делимого понятия.

Доказательство — рассуждение, устанавливающее истинность к.л. утверждения путем приведения других утверждений, истинность которых уже доказана.

Доказательство Конструктивное — см.: Конструктивная логика.

Доказательство от Противного — см.: Косвенное доказательство.

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

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

Дополнение к Множеству — такое множество не А, когда A + не А = 1, где 1 обозначает некоторую предметную область (универсальный класс).

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

Достаточное Условие — см.: Условное высказывание.

Достоверность — обоснованность, доказательность, бесспорность знания. Достоверное суждение — такое суждение, в котором высказывается твердо обоснованное знание.