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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Суждение общеотрицательное– вид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и отрицательной связкой: «Все S не есть P ». Общеотрицательные суждения обозначаются латинской буквой E .

Суждение общеутвердительное– вид простого атрибутивного суждения, которое характеризуется общим объёмом субъекта и утвердительной связкой: «Все S есть P ». Общеутвердительные суждения обозначаются латинской буквой A .

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

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

Суждение частно-отрицательное– вид простого атрибутивного суждения, которое характеризуется частным объёмом субъекта и отрицательной связкой: «Некоторые S не есть P ». Частноотрицательные суждения обозначаются латинской буквой O .

Суждение частно-утвердительное– вид простого атрибутивного суждения, которое характеризуется частным объёмом субъекта и утвердительной связкой: «Некоторые S есть P ». Частноутвердительные суждения обозначаются латинской буквой I .

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

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

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

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