Материал: 1032

Деление по видоизменению признака – деление, основанием которого является признак делимого класса.

Деление понятия – логическая операция, раскрывающая объем понятия. На основании признака (основания деления) объем делимого понятия (родового) распределяется на подклассы (видовые понятия).

Демонстративное умозаключение – необходимое умозаключение или силлогизм.

Демонстрация – логическая связь между аргументами и тезисом в доказательстве или опровержении.

Деонтическая модальность – выраженная в суждении дополнительная информация о побуждении к действию с помощью

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

Дилемма – условно-разделительное умозаключение, т. е.

взаимоисключающие части, полностью исчерпывающие объем делимого понятия.

Доказательность – свойство правильного мышления; обоснованность, аргументированность мышления.

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

Доказательство и опровержение – логические действия обоснования или разрушения истинности или ложности какого-либо суждения с помощью других.

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

66

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

Доказательство разделительное – такое доказательство, в

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

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

Достоверное суждение – очевидное или достаточно

понятия – увел чен ебсодержания понятия ведет к образованию

понятия с меньш м объемом; увеличение объема понятия ведет к образованию понятия с меньшим содержанием.

Закон тождества – всякая мысль о данном предмете в процессе рассуждения должна быть тождественной себе, сколько бы раз она не повторялась.

Идеализация – мысленное конструирование объектов, которые в действительности не существуют и вообще практически неосуществимы.

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

Индукция неполная – это умозаключение, в котором на основе повторяемости признака у некоторых явлений определенного класса заключают о принадлежности этого признака всему классу явлений.

67

Индукция полная –умозаключение, в котором на основе повторяемости признака у каждого из явлений определенного класса заключают о принадлежности этого признака всему классу.

Исключенного третьего закон – логический закон, согласно которому истинно или само высказывание, или его отрицание.

Истина – мысль или высказывание, соответствующие своему предмету.

Категорический силлогизм – доказательное умозаключение, состоящее из категорических суждений.

Категорическое суждение – суждение, в котором непосредственно выражено знание о принадлежности или об отсутствии признака у предмета.

Квадрат логический – диаграмма, служащая для мнемонического запоминания некоторых логических соотношений между общеутвердительнымиА(А), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными суждениями

(О). б

Кванторное слово (квантор) – логические операторы,

выражающие количествоисуждения. Общие суждения связываются с кванторными словами «все» «ни одно» (кванторами общности); частные сужденСя выражаются кванторным словом «некоторые» (кванторами существован я); единичные суждения выражаются кванторным словом «это».

Класс – совокупность предметов, имеющих общий признак. Классификация – многоступенчатое, разветвленное деление

логического объема понятия.

Количество суждения – зафиксированный в суждении объем предметов (один предмет, часть предметов или все предметы класса). По количеству суждения делятся на единичные, частные и общие.

Конкретное понятие – понятие, в котором отображен определенный предмет в целом или класс предметов.

Консеквент – часть импликации, которая вводится в сложное высказывание при помощи слова «то»; следствие в условном суждении.

68

Контекстуальное определение – определение, которое строится на основании знания связи определяемого слова с окружающими (контекстом).

Контрадикторные понятия – понятия, объемы которых исчерпывают родовое понятие, но не имеют общих элементов в своих объемах.

Концепция – общий замысел, главная мысль; основополагающая идея какой-либо теории.

Конъюнкция – логическая операция, соединяющая два или более высказываний при помощи союза «и».

Крайние термины – больший и меньший термины категорического силлогизма.

обосновывается посредством того же самого положения, которое

Круг в доказательстве – логическая ошибка, заключающаяся в том, что истинность какого-либо доказываемогоИположения (тезиса)

должно быть доказано, но выражено вДиной форме.

Круг в определении – логическая ошибка, состоящая в том, что при определении некоторого понятия в определяющей части используется понятие, которое, в свою очередь, определяется с

помощью данного определяемого понятия.

Круговые схемы Эйлера – принятый в логике способ

Логизация – разновидность формализации, которая состоит в применении логических методов для познания действительности.

Логика – наука о законах и операциях правильного мышления. Логика деонтическая – раздел модальной логики, в котором

исследуются суждения, выражающие различные нормы.

Логика классическая – направление в математической логике, которое каждому высказыванию приписывает лишь одно из двух значений: истину или ложь.

Логика неклассическая – направление математической логики, начало которого ведется с первого десятилетия ХХ века, включает разработку многозначной, комплексной, конструктивной и других логик.

69

Логика предикатов – часть математической логики, в которой исследуются операции с высказываниями, отнесенными к предметам некоторой области и расчлененными на субъект и предикат.

Логика символическая – направление в логике, в котором более широко, чем в традиционной логике, применяются символы.

Логическая культура – совокупность умений правильно оперировать понятиями и суждениями, правильно умозаключать и доказывать, правильно выдвигать гипотезы и строить теории; искусство владения логическими законами, формами и приемами.

Логическая форма – вид мысли или связей мысли; выделяют основные (понятие, суждение и умозаключение) и производные (доказательство, опровержение, вопрос, ответ, гипотеза, теория и т.п.)

постановке вопросов и выдвижении гипотез.

Логические уловки – преднамеренное нарушение законов и правил логики.

Логический квадрат – наглядная схема, демонстрирующая отношения между простыми суждениями; верхние вершины квадрата

взаимно отрицающими друг друга мыслями. Выделяют явные и неявные, контактные и дистантные, текстуальные и контекстуальные противоречия.

Логичность – качество мышления, характеризующееся ясностью, непротиворечивостью, обоснованностью.

Меньшая посылка – посылка категорического силлогизма, содержащая меньший термин (субъект вывода) и средний термин силлогизма.

70