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