Аналогия (умозаключение по аналогии)вид опосредованного умозаключения, в котором на основе сходства предметов в одних признаках делается вывод об их сходстве и в других признаках. |
Дедукция (дедуктивное умозаключение)вид опосредованного умозаключения, в котором из общего правила выводится частный случай; в дедукции рассуждение идёт от большего к меньшему, знание сужается, и поэтому её выводы достоверны. |
Деление понятиялогическая операция, которая раскрывает объём понятия на основе какого-либо признака (основание деления). Различают дихотомическое деление, т .е. деление понятия строго на два объёма, пополам, по типу: «A и не- A», и деление по видоизменению признака, т.е. деление на более, чем два объема по единому критерию. |
Дизъюнкция (дизъюнктивное суждение)вид сложного суждения, образованного из простых суждений при помощи союза «или». Различают строгую дизъюнкцию, когда ее компоненты исключают друг друга (не могут реализовываться в один промежуток времени), и нестрогую дизъюнкцию, когда входящие в ее состав простые суждения друг друга не исключают. |
Закон достаточного основанияодин из основных законов логики, по которому любая мысль (тезис) для того, чтобы иметь силу, должна быть доказана (обоснована) какими-либо аргументами (основаниями); причём эти основания должны быть достаточными для доказательства исходной мысли (тезиса), т. е. тезис должен вытекать из оснований с достоверностью. |
Закон исключённого третьегоодин из основных законов логики, по которому два противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными. |
Закон непротиворечияодин из основных законов логики, по которому два противоположных или противоречащих суждения об одном и том же предмете, в одно и то же время и в одном и том же отношении не могут быть одновременно истинными, но могут быть одновременно ложными. |
Закон тождестваодин из основных законов логики, по которому любая мысль должна быть равна самой себе, т. е. должна быть ясной, точной и определённой (нельзя подменять и путать понятия, создавать двусмысленность, уклоняться от темы, употреблять одни и те же слова в разных значениях или вкладывать одни и те же значения в разные слова и т. п.) в рамках одного рассуждения. |
Законы мышления (законы логики)объективные принципы или правила мышления, соблюдение которых всегда приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений. |
Импликация (импликативное суждение)вид сложного суждения, образованного из простых суждений при помощи условного союза «если… то». Первая часть импликации – это основание, а вторая часть – следствие; из основания обязательно вытекает следствие, но из следствия не вытекает основание. |
Индукция (индуктивное умозаключение)вид опосредованного умозаключения, в котором из нескольких частных случаев выводится общее правило; в индукции рассуждение идёт от меньшего к большему, знание расширяется, и поэтому её выводы чаще всего вероятностны. |
Квадрат логическийсхематичное изображение отношений между простыми сравнимыми суждениями (A, I, E, O). Вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними. |
Кванторуказатель на объём субъекта простого суждения. В роли квантора могут быть слова: «все», «некоторые», «ни один» и т. п. |
Контрадикторность (противоречие)1. Логическое отношение между понятиями, одно из которых является отрицанием другого и между которыми не может быть третьего, среднего варианта. 2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них с необходимостью означает ложность другого, и наоборот. |
Контрарность (противоположность)1. Логическое отношение между понятиями, одно из которых исключает или отрицает другое, но между которыми всегда есть третий, средний вариант. 2. Логическое отношение между двумя простыми сравнимыми суждениями, которые не могут быть одновременно истинными, но могут быть одновременно ложными, потому что между ними всегда есть третий, промежуточный вариант. |
Конъюнкция (конъюнктивное суждение)вид сложного суждения, образованного из простых суждений при помощи соединительного союза «и». |
Круг в определении (тавтология)вид ошибки в определении понятия, которая заключается в том, что определение в той или иной степени повторяет определяемое понятие, в силу чего содержание последнего не раскрывается. |
Модус простого силлогизмаразновидности фигур простого категорического силлогизма, выстраиваемые на основании определенной последовательности простых суждений (A, I, E, O) в структуре силлогизма – посылок и вывода силлогизма. |
Обобщение понятиялогическая операция перехода от видового понятия к родовому с помощью исключения из его содержания каких-либо признаков.логическая операция перехода от видового понятия к родовому с помощью исключения из его содержания каких-либо признаков. |
Обращение (конверсия)способ преобразования простого суждения, который заключается в том, что субъект и предикат суждения меняются местами. Обращение также считается одним из видов непосредственных умозаключений. |
Объём понятияодин или множество предметов, обладающих данным содержанием (количество объектов, охватываемых этим понятием). По объёму понятия бывают общими, единичными и нулевыми (пустыми). |
Ограничение понятиялогическая операция перехода от родового понятия к видовому с помощью добавления к его содержанию каких-либо признаков. |
Определение понятиялогическая операция, которая раскрывает содержание понятия. Наиболее распространённый способ определения заключается в том, что определяемое понятие подводится под ближайшее к нему родовое понятие, после чего указывается на его видовое отличие (определение через род и вид). |
Пересечениелогическое отношение между понятиями, объёмы которых совпадают или соприкасаются только в некоторых своих элементах. На схемах Эйлера это отношение изображается пересекающимися кругами. |
Подчинение1. Логическое отношение между понятиями, объём одного из которых полностью включается в объём другого. На схемах Эйлера это отношение изображается кругами, один из которых находится внутри другого (меньшее по объёму понятие является видовым, а большее – родовым). 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении подчинения. |
Понятиеэто форма мышления, которая обозначает какой-либо объект или его признак и выражается в форме слова или словосочетания, иными словами - это мысль об общих и существенных признаках предмета. |
Понятие видовоепонятие, которое по объёму является меньшим по отношению к какому-либо другому понятию – родовому. Видовые и родовые понятия находятся в отношении подчинения. |
Понятие родовоепонятие, которое по объёму является большим по отношению к какому-либо другому понятию – видовому. |
Посылкаэлемент умозаключения, исходное суждение, которое вместе с другими исходными суждениями (посылками) является основанием для выведения нового суждения (заключения). |
Превращение (обверсия)способ преобразования простого суждения, который заключается в том, что связка суждения меняется с положительной на отрицательную, или наоборот. Превращение также считается одним из видов непосредственных умозаключений. |
Предикатэлемент простого атрибутивного суждения, обозначающий какой-либо признак (свойство) его субъекта, или то, что говорится о субъекте. Предикат обозначается латинской буквой P. |
Противопоставление предикатуспособ преобразования простого суждения, который заключается в том, что сначала это суждение подвергается превращению, а затем – обращению. Противопоставление предикату также считается одним из видов непосредственных умозаключений. |
Равнозначность (тождество)1. Логическое отношение между понятиями, объёмы которых полностью совпадают. На схемах Эйлера это отношение изображается одним кругом, обозначающим полностью совпадающие объёмы двух понятий. 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых субъекты, предикаты и связки совпадают. |
Распределённость терминовпоказатель числа объектов, охватываемых объёмами субъекта и предиката в простом суждении. Субъект и предикат называются терминами простого суждения. Термин считается распределённым (развёрнутым, исчерпанным, взятым в полном объёме), если в суждении речь идёт обо всех объектах, входящих в объём этого термина, и обозначается знаком «+», а на круговых схемах Эйлера изображается полным кругом. Термин считается нераспределённым (неразвёрнутым, неисчерпанным, взятым не в полном объёме), если в суждении речь идёт не обо всех объектах, входящих в этот термин, и обозначается знаком «–», а на круговых схемах Эйлера изображается неполным кругом. |
Силлогизмдедуктивное умозаключение. Существует несколько видов силлогизмов, которые различаются суждениями, входящими в них в качестве посылок. |
Силлогизм простой (категорический)силлогизм, в котором обе посылки и вывод являются простыми суждениями (A, I, E, O). |
Силлогизм разделительно-категорическийсиллогизм, в котором первая посылка является разделительным суждением (дизъюнкцией), а вторая посылка – категорическим (простым). |
Силлогизм условно-категорическийсиллогизм, в котором первая посылка является условным суждением (импликацией), а вторая посылка – категорическим (простым). |
Силлогизм условно-разделительный (дилемма)силлогизм, в котором первая посылка является условным суждением (импликацией), а вторая посылка – разделительным (дизъюнкцией) |
Силлогизм чисто условныйсиллогизм, в котором обе посылки и вывод являются условными суждениями (импликациями). |
Силлогизм эквивалентно-категорическийсиллогизм, в котором первая посылка является эквивалентным суждением (эквиваленцией), а вторая посылка – категорическим (простым). |
Сложение понятийлогическая операция объединения двух (и большего числа) понятий, в результате которой образуется новое понятие, включающее в свой объём все объекты, входящие в объёмы исходных понятий. На круговых схемах Эйлера изображается штриховкой. |
Содержание понятиянаиболее важные (общие и существенные) признаки того объекта, который обозначается этим понятием. Между объёмом и содержанием понятия существует обратное отношение: чем больше объём понятия, тем меньше его содержание, и наоборот. |
Соподчинениелогическое отношение между понятиями, объёмы которых никак не соприкасаются, не имеют общих элементов. На круговых схемах Эйлера отношение соподчинения изображается двумя несоприкасающимися кругами. |
Софизмвнешне правильное и убедительное доказательство какой-либо ложной мысли (идеи) с помощью преднамеренного нарушения логических законов. |
Субъектэлемент простого атрибутивного суждения, обозначающий предмет (объект) суждения, или то, о чём идёт речь в суждении. |
Суждениеэто форма мышления, в которой что-либо утверждается или отрицается, и которое является либо объективно истинным либо объективно ложным. |
Суждение атрибутивноепростое суждение, в котором предикат является каким-либо атрибутом (свойством, признаком) субъекта. |
Суждение общеотрицательноевид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и отрицательной связкой: «Все S не есть P». Общеотрицательные суждения обозначаются латинской буквой E. |
Суждение общеутвердительноевид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и утвердительной связкой: «Все S есть P». Общеутвердительные суждения обозначаются латинской буквой A. |
Суждение релятивноепростое суждение, в котором выражается какое-то отношение между объектами. Релятивное суждение можно представить как атрибутивное, в котором предикат указывает на какое-либо отношение к субъекту. |
Суждение частноотрицательноевид простого атрибутивного суждения, которое характеризуется частным объёмом субъекта и отрицательной связкой: «Некоторые S не есть P». Частноотрицательные суждения обозначаются латинской буквой O. |
Суждение частноутвердительноевид простого атрибутивного суждения, которое характеризуется частным объёмом субъекта и утвердительной связкой: «Некоторые S есть P». Частноутвердительные суждения обозначаются латинской буквой I. |
Суждение экзистенциальноепростое суждение, в котором говорится о существовании или несуществовании чего-либо (объектов, явлений, свойств и т. п.). Экзистенциальное суждение, в принципе, можно представить как атрибутивное, в котором предикат указывает на существование или несуществование субъекта. |
Суждения сравнимыепростые суждения, у которых субъекты и предикаты совпадают, а кванторы и связки различаются. Суждения, у которых субъекты и предикаты различны, являются несравнимыми. Сравнимые суждения могут быть в отношениях равнозначности, подчинения, субконтрарности (частичного совпадения), контрарности (противоположности), контрадикторности (противоречия). Эти отношения изображаются с помощью логического квадрата. |
Умножение понятийлогическая операция объединения двух и большего числа понятий, в результате которой образуется новое понятие, включающее в свой объём только те объекты, которые являются общими для объёмов исходных понятий. Объём нового понятия, или результат умножения, на круговых схемах Эйлера изображается штриховкой. |
Умозаключениеформа мышления, в которой из нескольких исходных суждений (посылок) вытекает новое суждение (вывод). |
Умозаключение непосредственноепредставляет собой преобразования простых суждений (обращение, превращение и противопоставление предикату) и выводы по логическому квадрату. В нём вывод делается из одной посылки. |
Умозаключение опосредованноеумозаключение, в котором вывод делается из нескольких посылок. Они делятся на дедуктивные, индуктивные и умозаключения по аналогии. . В нём вывод делается из одной посылки. |
Фигура простого силлогизмавзаимное расположение терминов силлогизма (субъекта, предиката и среднего термина) в его посылках. Существует четыре фигуры силлогизма. |
Форма мышленияэто способ выражения мыслей или схема их построения. По содержанию мышление бесконечно многообразно, но всё это многообразие укладывается всего в несколько форм. Существует три формы мышления: понятие, суждение и умозаключение, которыми занимается логика, в силу чего она также часто называется формальной логикой. |
Эквиваленция (эквивалентное суждение)вид сложного суждения, образованного из простых суждений, которые вытекают друг из друга, являясь тождественными (эквивалентными). |