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

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

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

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

  Ю. А. Гастев.

 


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


Новости 24.08.2017 08:03:42


07:55 Реклама Kit Kat от кашля насторожила пользователей сети
07:55 За минувшие сутки в Москве выпала треть месячной нормы осадков
07:34 Опубликовано видео с поясом для победителя боя Мэйуэзер — Макгрегор
07:02 Раскрыта природа инопланетных мегаструктур вблизи KIC-8462852
06:57 Reuters сообщил о регулярных контактах США и России по Сирии
06:42 Мужчина поделился экстремистскими видео с двумя подписчиками и сел на пять лет