Словарь Логики

Двойного Отрицания Законсм.: Закон двойного отрицания.
Двузначная Логика — логика, опирающаяся на двузначнос­ти (бивалентности) принцип. Двузначной логической системой является логика классическая. Обычно термины «Д.л.» и «класси­ческая логика» используются как равнозначные. Польский логик Я. Лукасевич (1878-1956) считал непримени­мым двузначности...
Двузначности Принцип - принцип, в соответствии с ко­торым всякое высказывание либо истинно, либо ложно, т. е. имеет одно из двух возможных истинностных значений — «истинно» и «ложно». Этот принцип лежит в основе логики классической, кото­рую называют также двузначной логикой. Д.п. был известен еще...
Дедукция(от лат. deductio — выведение)  — переход от посы­лок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от ис­тинных посылок она всегда ведет только к истинному...
Деление Логическое — логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого признака. Посред­ством операции Д. л. раскрывается объем того или иного поня­тия, выясняется, из каких подмножеств состоит множество,...
Денотат(от лат. denoto — обозначаю), или: Десигнат, предметное значение,  — в логике и семантике предмет, обозначаемый собственным именем некоторого языка (в фор­мализованном языке - константой или термом), или класс пред­метов, обозначаемых общим (нарицательным) именем (в фор­мализованном языке -...
Деонтическая Логика(от греч. deon — долг, правильность),  или: Логика норм, нормативная л о г и к а, — раздел ло­гики, исследующий логическую структуру и логические связи нор­мативных высказываний. Анализируя рассуждения, посылками или заключениями которых служат такие высказывания, Д.л. отделяет...
Деонтическая Модальность(от греч. deon - долг, пра­вильность),  или: Нормативная модальность, модаль- ность долженствования, - характеристика практическо­го действия с точки зрения определенной системы норм. Норма­тивный статус действия обычно выражается понятиями «обяза­тельно», «разрешено», «...
Дескрипция Определенная(от лат. descriptio - описание)  -языковое выражение, служащее для обозначения единичных объек­тов посредством описания их свойств или отношений к другим объектам. В языке Д. о. выполняет те же функции, что и соб­ственное имя. Объект можно обозначить именем, напр. «Го­мер», «...
Диаграммы Венна - геометрическое наглядное представле­ние отношений между классами (объемами понятий) в буле­вой алгебре с помощью кругов или иных фигур. Д. В. были введены в логику в конце XIX в. англ. логиком Дж. Венном. Элемент 1 булевой алгебры представляется как универсаль­ный класс, или...
Диалектическая Логика - название философской теории, пытавшейся выявить, систематизировать и обосновать в качестве универсальных основные особенности мышления коллекти­вистического общества (средневекового феодального обще­ства, тоталитарного общества и др.). Основной принцип Д.л. (ее «ядро»)...
Дизъюнктивный Силлогизмсм.: Модус понендо толленс. Модус толлендо поненс.
Дизъюнкция(от лат. disjunctio — разобщение, различение)  — логическая операция — аналог употребления союза «или» в обыч­ном языке, с помощью которой из двух или более исходных сужде­ний строится новое суждение. Так, из суждений «Он — способен» и «Он — прилежен» с помощью операции «или» можно...
Дилемма(от греч. di(s) - дважды и lemma - предположение)  -в традиционной логике условно-разделительное умо­заключение, т. е. умозаключение, посылками которого явля­ются условные и разделительные суждения. Условно-разделитель­ные умозаключения вообще называются леммами; если разделительная посылка...
Дискурсивный(от лат. discursus — рассуждение, довод, аргу­мент)  - рассудочный, логический, противоположный инту­итивному, чувственному. Д. познание как опирающееся на разум и рассуждение про­тивопоставляется интуитивному познанию, которое ос­новывается на непосредственном созерцании и интуиции. Д...
Дискуссия(от лат. discussio — рассмотрение, исследование)  — обсуждение к.-л. вопроса или группы связанных вопросов компе­тентными лицами с намерением достичь взаимоприемлемого ре­шения. Д. является разновидностью спора, близкой к полемике, и представляет собой серию утверждений, по очереди...
Дистрибутивные И Коллективные Свойства. Д.с.  - об­щие свойства, принадлежащие каждому элементу множества (со­вокупности предметов, коллективу), которое они определяют. Так, свойство «быть русским поэтом» принадлежит каждому из эле­ментов множества «русские поэты» (Пушкину, Есенину и др.). Таковы...
Дихотомия(от греч, dicha и tome - рассечение на две части)  — деление объема понятия на две взаимоисключающие части, пол­ностью исчерпывающие объем делимого понятия. Основанием дихотомического деления объема понятия служит наличие или отсутствие видообразуюшего признака. Напр., объем понятия «...
Доказательство — рассуждение, устанавливающее истин­ность к.-л. утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. различаются тезис - ут­верждение, которое нужно доказать, и основание, или ар­гументы, — те утверждения, с помощью которых доказывается тезис. Напр...
Доказательство Конструктивноесм.: Конструктивная логика.

Реклама