Словарь основных понятий и терминов

Аксиома - положение какой-либо теории, принимаемое без доказательств, которое лежит в основе доказательств других ее положений

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

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

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

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

Деление дихотомическое - деление понятия на два видовых понятия, находящихся в отношении контрадикторности

Деление по видоизменению признака - Деление понятия на виды по определенному признаку

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

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

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

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

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

Закон обратного отношения между содержанием и объемом понятия - чем больше объем понятия, тем меньше его содержание, и наоборот

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

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

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

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

Класс (множество) - совокупность объектов, выделенная по общему для них признаку, мыслимая как нечто целое

Классификация - многоступенчатое, разветвленное деление логического объема понятия

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

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

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

Логика - наука о законах и операциях правильного мышления

Логика формальная - наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания

Модус и атрибут - философский термин, обозначающий свойство предмета, присущее ему только в некоторых состояниях и зависящее от окружения предмета и тех связей, в которых он находится. Атрибут - неотъемлемое свойство предмета, без которого он не может ни существовать, ни мыслиться. В логике модус - разновидность некоторой общей схемы рассуждения

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

Модус поненс - схема рассуждения, позволяющая от утверждения условного высказывания и утверждения его основания (антецедента) перейти к утверждению следствия (консеквента) этого высказывания

Модус толлендо поненс - схема рассуждения, обозначающая разделительно-категорическое умозаключение: первое или второе; не первое; значит, второе

Модус толленс - схема рассуждения от утверждения условного высказывания и отрицания его следствия (консеквента) осуществляется переход к отрицанию основания (антецедента) данного высказывания

Не следует - логическая ошибка в доказательстве некоторого тезиса, заключающаяся в том, что между аргументами доказательства и его тезисом отсутствует логическая связь, вследствие чего аргументы не обосновывают истинности доказываемого тезиса

Непосредственное умозаключение - умозаключение из одной посылки

Непротиворечия закон - логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными

Несовместимые понятия - понятии, у которых общие элементы объема отсутствуют

Обобщение понятия - логическая операция, состоящая в переходе от видового понятия к родовому (от понятия с меньшим объемом, но большим содержанием, к понятию с большим объемом, но меньшим содержанием)

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

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

Ограничение понятия - логическая операция, состоящая в переходе от родового понятия к видовому (от понятия с большим объемом, но с меньшим содержанием, к понятию с меньшим объемом, но большим содержанием)

Определение - логическая операция, раскрывающая содержание понятия

Определение генетическое - родо-видовое, определение, в котором спецификация определяемого предмета осуществляется путем указания способа его образования, возникновения, получения или построения

Определение неявное - определение, не имеющее формы равенства определяемого и определяющего

Определение номинальное - определение, выражающее требование, как должно употребляться вводимое понятие

Определение понятия - логическая операция, раскрывающая содержание понятия

Определение реальное - определение, дающее описание каких-то объектов

Определение через род и видовое отличие - определение, в котором предметы определяемого понятия вводятся в объем более широкого понятия и при этом с помощью отличительных признаков (видовое отличие) выделяются среди предметов этого более широкого понятия

Определение явное - определение, имеющее форму равенства между определяемым и определяющим понятиями

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

Ошибка логическая - нарушения к.-л. законов, правил и схем логики

Перекрещивающиеся понятия - понятия, имеющие некоторые общие элементы своих объемов

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

Понятие - форма мышления, в которой обобщены и выделены в класс предметы по общему для них признаку (или по системе признаков)

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

Правильность логическая - соответствие законам и правилам формальной логики

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

Предикат - языковое выражение, обозначающее какое-то свойство или отношение

Противоположность логическая - вид отношения между противоположными понятиями или суждениями

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

Равнообъемность - отношение между понятиями, объемы которых совпадают

Равнообъемные понятия - понятия, объемы которых полностью совпадают

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

Разделительно-категорическое умозаключение - умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое

Разделительно-категорическое умозаключение - умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое

Связка - элемент простого суждения, соединяющий субъект и предикат

Силлогизм категорический - дедуктивное умозаключение, в котором из двух суждений, имеющих субъектно-предикатную форму, следует новое суждение (заключение), имеющее также субъектно-предикатную форму

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

Сложное высказывание - высказывание, полученное с помощью логических связок из простых высказываний

Совместимые понятия - понятия, объемы совпадают полностью или частично, т. е. имеют хотя бы один общий элемент

Совместимые понятия - понятия, имеющие общие элементы объема

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

Суждение - форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами, и которая может быть истинной или ложной

Суждение категорическое - суждение, в котором предикат утверждается или отрицается относительно субъекта безусловно

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

Тождества закон - логический закон, согласно которому всякое высказывание влечет (имплицирует) само себя

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

Условное высказывание - сложное высказывание, формулируемое обычно с помощью связки «если..., то...» и устанавливающее, что одно событие, состояние и т. п. является в том или ином смысле основанием или условием другого

Условное умозаключение - умозаключение, включающее посылки, представляющие собой условные суждения

Учетверение терминов - логическая ошибка в простом категорическом силлогизме, обусловленная тем, что в силлогизме слово, играющее роль среднего термина, в одной посылке выражает одно понятие, а в другой посылке — иное понятие

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

Частное суждение - суждение, имеющее логическую структуру «Некоторые S суть Р» (частноутвердительное суждение) или «Некоторые S не есть Р» (частноотрицательное суждение).

Эйлера круги - геометрическая наглядная иллюстрация объемов понятий и отношений между ними с помощью кругов

Язык логики - специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее