Логический словарь

Аналогия – сходство между предметами, явлениями и т. д. Умозаключение по аналогии (или просто аналогия) – индуктивное умозаключение, когда на основе сходства двух объектов по каким-то одним параметрам делается вывод об их сходстве по другим параметрам.

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

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

Деление логическое – логическая операция, посредством которой объем делимого понятия распределяется на ряд подмножеств. Базируется на отношении «род – вид».

Деление аналитическое (мериологическое) – операция мысленного вычленения в целом его частей или аспектов. Базируется на отношении «целое – часть».

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

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

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

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

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

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

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

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

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

Математическая логика – одно из названия современной формальной логики. Употребляется также название символическая логика. Исследует предмет формальной логики методом построения специальных формализованных языков.

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

Обобщение понятия – переход от понятия меньшей степени общности к понятию большей степени общности.

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

Определение (дефиниция) – формулирование в сжатой форме основного содержания понятия.

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

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

Равнозначность (равносильность, эквивалентность) – отношение между высказываниями или формулами, характеризующееся тем, что они принимают одни и те же истаностные значения.

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

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

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

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

Эристика - искусство ведения спора.

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