Логика

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

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

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

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

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

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

это форма мышления, в которой что-либо утверждается или отрицается, и которое является либо объективно истинным либо объективно ложным.

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

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

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

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

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

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

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

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

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

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

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

умозаключение, в котором вывод делается из нескольких посылок. Они делятся на дедуктивные, индуктивные и умозаключения по аналогии. . В нём вывод делается из одной посылки.

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