Непосредственное Умозаключение

Значение слова Непосредственное Умозаключение по Логическому словарю:
Непосредственное Умозаключение - (в традиционной логике)  — умозаключение из одной посылки. К числу Н. у. относят­ся обращение суждений, превращение суждений, противопоставле­ние предикату, некоторые умозаключения по логическому квад­рату, напр. от истинности общих суждений (А и Е) к истинности соответствующих частных суждений (I и О) и др. Иногда Н. у. ограничиваются умозаключениями из простых ат­рибутивных суждений, иногда же в их число включаются и умо­заключения из суждений с отношениями, и умозаключения из сложных суждений (см.: Суждение). В последнем случае к числу Н.у. относятся и такие умозаключения из одной посылки, как, напр., умозаключения из суждений вида xRy, где R — симметрич­ное отношение. Так, из посылки а = b можно получить заключе­ние b = а; к их числу можно отнести и контрапозицию условного суждения (см.: Контрапозиции законы). Так, из суждения «Если число п делится на 6, то оно делится и на 2» можно сделать зак­лючение «Если число п не делится на 2, то оно не делится на 6».

Определение «Непосредственное Умозаключение» по БСЭ:
Непосредственное умозаключение - в традиционной логике, Умозаключение из одной посылки или (у Аристотеля) вывод из аксиом или из посылки, «которой не предшествует никакая другая». Теория Н. у. (в любом из указанных смыслов) непосредственно не подпадала под компетенцию силлогистики, однако считалось, что она должна в известном смысле предшествовать последней. Впрочем, именно в этом вопросе традиционная логика оказывалась
«недостаточно формальной»: правила Н. у. часто обосновывались ссылкой на (содержательную) «очевидность», а в так называемом «учении о Н. у.» существенную роль играли понятия вроде «скрытого смысла суждения». С точки зрения современной формальной (математической) логики число посылок умозаключения вообще не может являться сколько-нибудь существенной его характеристикой, поскольку любое (конечное) число посылок всегда можно заменить одной формулой - их конъюнкцией. Иногда в современной логике Н. у. называется умозаключение, посылки и заключение которого связаны однократным применением какого-либо правила вывода, т. е. отношением «непосредственной выводимости».
Но и это понятие нельзя признать существенным для логики, поскольку длина вывода (даже при фиксированных посылках и заключении) не является его «инвариантом»: она зависит от способа задания данного логического исчисления (хотя бы этот способ задания и не влиял на дедуктивную силу исчисления).
Ю. А. Гастев.

Непосредственное Знание    Непосредственное Умозаключение    Непосредственность