Большая Советская Энциклопедия (НЕ)

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

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

Ю. А. Гастев.