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