Логика

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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