Краткий курс логики: Искусство правильного мышления - Дмитрий Гусев

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

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

Логика Аристотеля (аристотелевская, формальная, традиционная, двузначная) – это наука о формах и законах правильного мышления. Появилась приблизительно в V в. до н. э. в Древней Греции и до сих пор сохраняет своё практическое значение, как и геометрия Евклида.

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

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

Модус простого силлогизма – совокупность простых суждений (A, I, E, O) – посылок и вывода силлогизма.

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

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

Объём понятия – количество объектов, охватываемых этим понятием. По объёму понятия бывают общими, единичными и нулевыми (пустыми).

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

Определение понятия – логическая операция, которая раскрывает содержание понятия. Наиболее распространённый способ определения заключается в том, что определяемое понятие подводится под ближайшее к нему родовое понятие, после чего указывается на его видовое отличие (определение через род и вид).

Пересечение – логическое отношение между понятиями, объёмы которых совпадают или соприкасаются только в некоторых своих элементах. На схемах Эйлера это отношение изображается пересекающимися кругами.

Подчинение – 1. Логическое отношение между понятиями, объём одного из которых полностью включается в объём другого. На схемах Эйлера это отношение изображается кругами, один из которых находится внутри другого (меньшее по объёму понятие является видовым, а большее – родовым). 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении подчинения.

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

Понятие – это форма мышления, которая обозначает какой-либо объект или его признак и выражается в форме слова или словосочетания.

Понятие видовое – понятие, которое по объёму является меньшим по отношению к какому-либо другому понятию – родовому.

Видовые и родовые понятия находятся в отношении подчинения.

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

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

Понятие родовое – понятие, которое по объёму является большим по отношению к какому-либо другому понятию – видовому.

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

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

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

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

Равнозначность – 1. Логическое отношение между понятиями, объёмы которых полностью совпадают. На схемах Эйлера это отношение изображается одним кругом, обозначающим полностью совпадающие объёмы двух понятий. 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых субъекты, предикаты и связки совпадают.

Распределённость терминов в простом суждении – указатель на число объектов, охватываемых объёмами субъекта и предиката в простом суждении. Субъект и предикат называются терминами простого суждения. Термин считается распределённым (развёрнутым, исчерпанным, взятым в полном объёме), если в суждении речь идёт обо всех объектах, входящих в объём этого термина, и обозначается знаком «+», а на круговых схемах Эйлера изображается полным кругом. Термин считается нераспределённым (неразвёрнутым, неисчерпанным, взятым не в полном объёме), если в суждении речь идёт не обо всех объектах, входящих в этот термин, и обозначается знаком «–», а на круговых схемах Эйлера изображается неполным кругом.

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

Силлогизм простой (категорический) – в котором обе посылки и вывод являются простыми суждениями (A, I, E, O).

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

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

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

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

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

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

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

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

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

На круговых схемах Эйлера отношение соподчинения изображается двумя несоприкасающимися кругами.

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

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

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