Квантор – указатель на объём субъекта простого суждения. В роли квантора могут быть слова: «все», «некоторые», «ни один» и т. п.
Контрадикторность (противоречие) – 1. Логическое отношение между понятиями, одно из которых является отрицанием другого и между которыми не может быть третьего, среднего варианта.
2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них с необходимостью означает ложность другого, и наоборот.
Контрарность(противоположность) – 1. Логическое отношение между понятиями, одно из которых исключает или отрицает другое, но между которыми всегда есть третий, средний вариант. 2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными, но могут быть одновременно ложными, потому что между ними всегда есть третий, промежуточный вариант.
Конъюнкция (конъюнктивное суждение) – вид сложного суждения, образованного из простых суждений при помощи соединительного союза «и».
Круг в определении (тавтология) – вид ошибки в определении понятия, которая заключается в том, что определение в той или иной степени повторяет определяемое понятие, в силу чего содержание последнего не раскрывается.
Логика Аристотеля (аристотелевская, формальная, традиционная, двузначная) – это наука о формах и законах правильного мышления. Появилась приблизительно в V в. до н. э. в Древней Греции и до сих пор сохраняет своё практическое значение, как и геометрия Евклида.
Логика интуитивная – неявное знание и неосознанное (чаще всего) практическое использование основных принципов правильного мышления, которое формируется стихийно в процессе жизненного опыта приблизительно к 6–7 годам жизни человека.
Логика символическая (математическая, современная) – разновидность формальной логики, появившаяся в XIX в. и ставящая своей целью полную формализацию (математизацию) содержательных рассуждений; попытка представить последние целиком в виде математических исчислений. Символическая логика – это раздел высшей математики.
Модус простого силлогизма – совокупность простых суждений (
Обобщение понятия – логическая операция перехода от видового понятия к родовому с помощью исключения из его содержания каких- либо признаков.
Обращение (конверсия) – способ преобразования простого суждения, который заключается в том, что субъект и предикат суждения меняются местами. Обращение также считается одним из видов непосредственных умозаключений.
Объём понятия – количество объектов, охватываемых этим понятием. По объёму понятия бывают общими, единичными и нулевыми (пустыми).
Ограничение понятия – логическая операция перехода от родового понятия к видовому с помощью добавления к его содержанию каких- либо признаков.
Определение понятия – логическая операция, которая раскрывает содержание понятия. Наиболее распространённый способ определения заключается в том, что определяемое понятие подводится под ближайшее к нему родовое понятие, после чего указывается на его видовое отличие (определение через род и вид).
Пересечение – логическое отношение между понятиями, объёмы которых совпадают или соприкасаются только в некоторых своих элементах. На схемах Эйлера это отношение изображается пересекающимися кругами.
Подчинение – 1. Логическое отношение между понятиями, объём одного из которых полностью включается в объём другого. На схемах Эйлера это отношение изображается кругами, один из которых находится внутри другого (меньшее по объёму понятие является видовым, а большее – родовым). 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении подчинения.
Полисиллогизм (сложный силлогизм) – умозаключение, которое представляет собой два или несколько простых силлогизмов, соединённых между собой таким образом, что вывод одного из них становится посылкой следующего.
Понятие – это форма мышления, которая обозначает какой-либо объект или его признак и выражается в форме слова или словосочетания.
Понятие видовое – понятие, которое по объёму является меньшим по отношению к какому-либо другому понятию – родовому.
Видовые и родовые понятия находятся в отношении подчинения.
Понятие неопределённое – понятие, которое имеет неясное содержание (невозможно точно указать важные отличительные признаки обозначаемого им объекта) и нерезкий объём (невозможно точно установить, включается любой объект в объём этого понятия или не включается в него).
Понятие определённое – понятие, которое имеет ясное содержание (можно точно указать важные отличительные признаки обозначаемого им объекта) и резкий объём (можно точно установить, включается любой объект в объём этого понятия или не включается в него).
Понятие родовое – понятие, которое по объёму является большим по отношению к какому-либо другому понятию – видовому.
Посылка – элемент умозаключения, исходное суждение, которое вместе с другими исходными суждениями (посылками) является основанием для выведения нового суждения (заключения).
Превращение(обверсия) – способ преобразования простого суждения, который заключается в том, что связка суждения меняется с положительной на отрицательную, или наоборот. Превращение также считается одним из видов непосредственных умозаключений.
Предикат – элемент простого атрибутивного суждения, обозначающий какой-либо признак (свойство) его субъекта, или то, что говорится о субъекте. Предикат обозначается латинской буквой
Противопоставление предикату – способ преобразования простого суждения, который заключается в том, что сначала это суждение подвергается превращению, а затем – обращению. Противопоставление предикату также считается одним из видов непосредственных умозаключений.
Равнозначность – 1. Логическое отношение между понятиями, объёмы которых полностью совпадают. На схемах Эйлера это отношение изображается одним кругом, обозначающим полностью совпадающие объёмы двух понятий. 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых субъекты, предикаты и связки совпадают.
Распределённость терминов в простом суждении – указатель на число объектов, охватываемых объёмами субъекта и предиката в простом суждении. Субъект и предикат называются терминами простого суждения. Термин считается распределённым (развёрнутым, исчерпанным, взятым в полном объёме), если в суждении речь идёт обо всех объектах, входящих в объём этого термина, и обозначается знаком «+», а на круговых схемах Эйлера изображается полным кругом. Термин считается нераспределённым (неразвёрнутым, неисчерпанным, взятым не в полном объёме), если в суждении речь идёт не обо всех объектах, входящих в этот термин, и обозначается знаком «–», а на круговых схемах Эйлера изображается неполным кругом.
Силлогизм – дедуктивное умозаключение. Существует несколько видов силлогизмов, которые различаются суждениями, входящими в них в качестве посылок.
Силлогизм простой (категорический) – в котором обе посылки и вывод являются простыми суждениями (
Силлогизм разделительно-категорический – в котором первая посылка является разделительным суждением (дизъюнкцией), а вторая посылка – категорическим (простым).
Силлогизм условно-категорический – в котором первая посылка является условным суждением (импликацией), а вторая посылка – категорическим (простым).
Силлогизм условно-разделительный (см. также дилемма) – в котором первая посылка является условным суждением (импликацией), а вторая посылка – разделительным (дизъюнкцией).
Силлогизм чисто разделительный – в котором обе посылки и вывод являются разделительными суждениями (дизъюнкциями).
Силлогизм чисто условный – в котором обе посылки и вывод являются условными суждениями (импликациями).
Силлогизм эквивалентно-категорический – в котором первая посылка является эквивалентным суждением (эквиваленцией), а вторая посылка – категорическим (простым).
Сложение понятий – логическая операция объединения двух (и большего числа) понятий, в результате которой образуется новое понятие, включающее в свой объём все объекты, входящие в объёмы исходных понятий. На круговых схемах Эйлера изображается штриховкой.
Содержание понятия – наиболее важные признаки того объекта, который обозначается этим понятием. Между объёмом и содержанием понятия существует обратное отношение: чем больше объём понятия, тем меньше его содержание, и наоборот.
Соподчинение – логическое отношение между понятиями, объёмы которых никак не соприкасаются, не имеют общих элементов.
На круговых схемах Эйлера отношение соподчинения изображается двумя несоприкасающимися кругами.
Сорит – сокращённый полисиллогизм или сложносокращённый силлогизм, в котором пропущена одна из посылок последующего силлогизма, представляющая собой вывод предыдущего.
Софизм – внешне правильное и убедительное доказательство какой-либо ложной мысли (идеи) с помощью преднамеренного нарушения логических законов.
Субконтрарность(частичное совпадение) – логическое отношение между двумя простыми сравнимыми суждениями, в которых объёмы субъектов частные, а связки противоположны друг другу.
Субъект – элемент простого атрибутивного суждения, обозначающий предмет (объект) суждения, или то, о чём идёт речь в суждении.
Суждение (высказывание) – это форма мышления, в которой что-либо утверждается или отрицается. Суждение состоит из понятий, связанных между собой, выражается в форме предложения, может быть истинным или ложным, простым или сложным (сложное суждение состоит из простых суждений, соединённых каким-либо союзом).
Суждение атрибутивное (от лат.
