Релевантная Логика
- одна из наиболее известных неклассических теорий логического следования. В названии «Р. Л.» отражается стремление выделить и систематизировать только уместные (релевантные) принципы логики, исключив, в частности, парадоксы импликации, свойственные импликации материальной классической логики, строгой импликации и др. Импликациям. В Р. Л. Формальным аналогом условного высказывания является релевантная импликация, учитывающая содержательную связь, существующую между основанием (антецедентом) и следствием (консеквентом) такого высказывания. Выражение «Утверждение A релевантно имплицирует утверждение » означает, что В содержится в A и информация, представляемая В, является частью информации A. В частности, A не может релевантно имплицировать В, если в В не входит хотя бы одно из тех утверждений, из которых слагается А.
В Р. Л. Не имеет места принцип, позволяющий из противоречия выводить какое угодно высказывание. Эта логика является, таким образом, одной из паранепротиворечивых логик, не отождествляющих противоречивость опирающихся на них теорий с их тривиальностью, т. Е. С доказуемостью в них любого утверждения. В Р. Л. Логически истинное высказывание невыводимо из произвольно взятого высказывания..
Дополнительный поиск Релевантная Логика
На нашем сайте Вы найдете значение "Релевантная Логика" в словаре Словарь логики, подробное описание, примеры использования, словосочетания с выражением Релевантная Логика, различные варианты толкований, скрытый смысл.
Первая буква "Р". Общая длина 18 символа