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

РЕЛЕВАНТНАЯ ЛОГИКА

РЕЛЕВАНТНАЯ ЛОГИКА — одна из наиболее известных неклас­сических теорийлогического следования.В названии "Р. л." отражает­ся стремление выделить и систематизировать толькоуместные(релевантные) принципы логики, исключив, в частности,парадоксы импликации,свойственныеимпликации материальнойклассической логики,строгойимпликации и др.импликациям. В Р. л. формальным аналогомусловного высказыванияявляется релевантная импликация, учитывающая содержательную связь, существующую между основанием (антецедентом)и след­ствием (консеквентом)такого высказывания. Выражение "Утвер­ждениеAрелевантно имплицирует утверждениеВ"означает, чтоВсодержится вAи информация, представляемаяВ,является частью информацииA. В частности,Aне может релевантно имплицироватьВ,если вВне входит хотя бы одно из тех утверждений, из которых слагаетсяА. В Р. л. не имеет места принцип, позволяющий из противоречия выводить какое угодно высказывание. Эта логика является, таким образом, одной изпаранепротиворечивых логик,не отождествляющих противоречивость опирающихся на них теорий с их тривиальностью, т. е. с доказуемостью в них любого утверждения. В Р. л. логически истинное высказывание невыводимо из произ­вольно взятого высказывания.


  1. релевантная логика—одна из наиболее известных неклассических теорий логического следования. В названии Р. л. отражается стремление выделить и систематизировать только уместные релевантные п...Словарь логики
  2. релевантная логика—РЕЛЕВАНТНАЯ ЛОГИКА РЕЛЕВАНТНАЯ ЛОГИКА направление в символической логике см. Логика символическая которое возникло и развивалось в качестве альтернативы классической сим...Философская энциклопедия
  3. релевантная логика—РЕЛЕВАНТНАЯ ЛОГИКА от англ. relevant существенный одно из направлений современной неклассической логики emсформировавшееся во второй половине в. Ее возникновение связа...Энциклопедия эпистемологии и философии науки