Значение НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ в Большой советской энциклопедии, БСЭ

НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ

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

Ю. А. Гастев.

Большая советская энциклопедия, БСЭ. 2012