Краткий курс логики

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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