- одна из наиболее известных неклассических теорий логического следования. В названии "Р. л." отражается
стремление выделить и систематизировать только уместные (релевантные)
принципы логики, исключив, в частности,
парадоксы импликации, свойственные импликации материальной классической логики, строгой импликации и др.
импликациям. В Р. л. формальным аналогом условного высказывания является
релевантная импликация, учитывающая содержательную
связь, существующую между
основанием (антецедентом) и
следствием (консеквентом) такого высказывания.
Выражение "
Утверждение A релевантно имплицирует утверждение В" означает, что В содержится в A и
информация, представляемая В, является частью информации A. В частности, A не может релевантно имплицировать В, если в В не входит хотя бы одно из тех утверждений, из которых слагается А. В Р. л. не имеет места принцип, позволяющий из противоречия выводить какое угодно
высказывание. Эта
логика является, таким образом, одной из паранепротиворечивых
логик, не отождествляющих противоречивость опирающихся на них теорий с их тривиальностью, т. е. с
доказуемостью в них любого утверждения. В Р. л. логически
истинное высказывание невыводимо из произвольно взятого высказывания.
