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