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

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

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

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

  Ю. А. Гастев.

 


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


Новости 17.07.2018 00:44:31


23:53 Испытания роботокомлекса «Турель» в ДНР попали на видео
23:32 Выбежавших на поле в финале ЧМ-2018 активистов Pussy Riot наказали
22:43 Футболист сборной России назван одним из открытий ЧМ-2018
22:33 В США задержали россиянку по подозрению в шпионаже
21:54 Боевики атаковали российскую авиабазу в Сирии
21:31 Роналду объяснил выбор нового клуба
21:18 В Москве нашли 50 странных зданий
20:26 Вор в законе сменил фамилию и стал подмосковным дачником
00:07 Google выставил Трампа и Эйнштейна «идиотами»