Логика

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

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

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

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

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

2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении подчинения.

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

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

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

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

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

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

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

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

2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых субъекты, предикаты и связки совпадают.

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

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

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

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

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

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

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