5.2.1. Непосредственные умозаключения

Непосредственные умозаключения - это умозаключения, делаемые из одной посылки. Основными видами непосредственных умозаключений являются:

превращение

обращение

противопоставление предикату

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

Превращение

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

Например,

Все млекопитающие кормят детенышей молоком _

Ни одно млекопитающее не является не кормящим детенышей молоком

Схема: Все S суть P (А) _

Ни одно S не суть не-P (Е) AE

Некоторые студенты не являются спортсменами

Некоторые студенты – не спортсмены

Схема: Некоторые S не суть P (О)

Некоторые S суть не-P (I) OI

По подобным схемам превращаются и другие суждения.

Некоторые S суть P (I) _

Некоторые S не суть не-P (О) IO

Ни один S не суть P (Е)

Все S суть P (А) E A

Если перед предикатом исходного суждения было отрицание, то при превращении оно устраняется. Например:

Многие студенты невнимательны _

Многие студенты не являются внимательными

Некоторые S суть не- P

Некоторые S не суть P

Обращение

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

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

Например, Все участники конференции – логики некоторые логики – участники конференции

Очевидно, что сохранение кванторного слова “все” было бы ошибочным. Отношения терминов в данном суждении можно проверить при помощи круговых схем.

Все участники конференции(S+) – логики(P-) _ P-

Некоторые логики(P-) – участники конференции(S+) S+

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

Все люди(и только люди) – известные разумные существа.

Все известные разумные существа – люди.

ВсеS(и толькоS) суть P

Все P суть S

Обращение суждений различных видов осуществляется следующим образом:

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

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

Например, Некоторые студенты - спортсмены

Некоторые спортсмены – студенты - Обращение чистое.

Некоторые врачи (и только врачи) – невропатологи _

Все невропатологи – врачи - Обращение с ограничением.

Е) Обращение чистое.

Например, Ни один крокодил не летает.

Ни одно летающее не суть крокодил.

О) Частноотрицательные суждения не обращаются.

Противопоставление предикату.

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

А) Общеутвердительные

АЕ _____Все S суть Р____

Ни одно не Р не суть S

Например,

Все честные люди борются за мир

Ни один человек, не борющийся за мир, не является честным человеком.

Е)Общеотрицательные

ЕI _ Ни одно S не суть Р__

Некоторые не Р суть S

Например, Ни одно животное не является растением

Некоторые не-растения суть животные

О) Частноотрицательные

ОI Некоторые S не суть Р

Некоторые не Р суть S

Например, Некоторые философы не суть позитивисты

Некоторые непозитивисты - философы