Словарь по логике

НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ

НЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ (в традиционной логике) —умозаключениеиз одной посылки. К числу Н. у. относят­сяобращение суждений,превращение суждений,противопоставле­ние предикату,некоторые умозаключения по логическому квад­рату, напр. от истинности общих суждений (АиЕ)к истинности соответствующих частных суждений (IиО) и др. Иногда Н. у. ограничиваются умозаключениями из простыхат­рибутивных суждений,иногда же в их число включаются и умо­заключения из суждений с отношениями, и умозаключения из сложных суждений (см.:Суждение).В последнем случае к числу Н.у. относятся и такие умозаключения из одной посылки, как, напр., умозаключения из суждений видаxRy,гдеRсимметрич­ное отношение. Так, из посылкиа =bможно получить заключе­ниеb= а;к их числу можно отнести и контрапозицию условного суждения (см.:Контрапозиции законы).Так, из суждения "Если числопделится на 6, то оно делится и на 2" можно сделать зак­лючение "Если числопне делится на 2, то оно не делится на 6".


  1. непосредственное умозаключениев традиционной логике Умозаключение из одной посылки или у Аристотеля См. Аристотель вывод из аксиом или из посылки которой не предшествует никакая другая. Теория Н. у. в...Большая Советская энциклопедия II
  2. непосредственное умозаключениепредставляет собой преобразования простых суждений обращение превращение и противопоставление предикату и выводы по логическому квадрату. В нем вывод делается из одной по...Краткий курс логики
  3. непосредственное умозаключениебезпосереднй умовивд...Російсько-український словник логіки
  4. непосредственное умозаключениеimmediate inference...Русско-английский технический словарь
  5. непосредственное умозаключениев традиционной логике умозаключение из одной посылки. К числу Н. у. относятся обращение суждений превращение суждений противопоставление предикату некоторые умозаключения...Словарь логики
  6. непосредственное умозаключениедедуктивное умозаключение содержащее только одну посылку....Традиционная логика
  7. непосредственное умозаключениеНЕПОСРЕДСТВЕННОЕ УМОЗАКЛЮЧЕНИЕ в традиционной л о г и к е умозаключение из одной посылки. У Аристотеля вывод из аксиом или из посылки крой не предшествует никакая друга...Философская энциклопедия
  8. непосредственное умозаключениев традиционной л о г и к е умозаключение из одной посылки. У Аристотеля вывод из аксиом или из посылки крой не предшествует никакая другая. Название Н. у. восходит к гр...Философская Энциклопедия (в 5 томах)