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

Определение "Непосредственное умозаключение" в Большой Советской Энциклопедии

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