НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧEHИЕ
в традиционной логике, умозаключение из одной посылки или (у Аристотеля)
вывод
из аксиом или из посылки, "к-рой не предшествует никакая другая". Теория
H. у. (в любом из указанных смыслов) непосредственно не подпадала под компетенцию
силлогистики,
однако
считалось, что она должна в известном смысле предшествовать последней.
Впрочем, именно в этом вопросе традиционная логика оказывалась "недостаточно
формальной" правила H. у. часто обосновывались ссылкой на (содержательную)
"очевидность", а в т. н. "учении о H. у." существенную роль играли понятия
вроде "скрытого смысла суждения". С точки зрения совр. формальной (математической)
логики число посылок умозаключения вообще не может являться сколько-нибудь
существенной его характеристикой, поскольку любое (конечное) число посылок
всегда можно заменить одной формулой - их
конъюнкцией.
Иногда в
совр. логике H. у. наз. умозаключение, посылки и заключение к-рого связаны
однократным применением к.-л. правила вывода,
т. е. отношением "непосредственной
выводимости". Но и это понятие нельзя признать существенным для логики,
поскольку длина вывода (даже при фиксированных посылках и заключении) не
является его "инвариантом": она зависит от способа задания данного логич.
исчисления (хотя бы этот способ задания и не влиял на дедуктивную силу
исчисления). Ю. А. Гастев.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я