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

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

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

  Ю. А. Гастев.

 


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 09.12.2024 21:08:06