- одна из наиболее известных неклассических теорий логического следования. В названии «Р. л.» отражается стремление выделить и систематизировать только уместные (релевантные) принцип ы логик и, исключив, в частности, парадоксы импликации, свойственные импликации материальной классической логики, строгой импликации и др. импликация м. В Р. л. формальным аналогом условного высказывания является релевантная импликация, учитывающая содержательную связь , существующую между основанием (антецедентом) и следствием (консеквентом) такого высказывания. Выражение «Утверждение A релевантно имплицирует утверждение В» означает, что В содержится в A и информация , представляемая В, является частью информации A. В частности, A не может релевантно имплицировать В, если в В не входит хотя бы одно из тех утверждений, из которых слагается А. В Р. л. не имеет места принцип, позволяющий из противоречия выводить какое угодно высказывание . Эта логика является, таким образом, одной из паранепротиворечивых логик, не отождествляющих противоречивость опирающихся на них теорий с их тривиальностью, т. е. с доказуемостью в них любого утверждения. В Р. л. логически истинное высказывание невыводимо из произвольно взятого высказывания.
Что такое Релевантная Логика? Значение Релевантная Логика в словаре логики
Релевантная Логика - - одна из наиболее известных неклассических теорий логического следования. В названии «Р. л.» отражается стремление выделить и систематизировать только уместные (релевантные) принципы логики, исключив, в частности, парадоксы импликации, свойственные импликации материальной классической логики, строгой импликации и др. импликациям. В Р. л. формальным аналогом условного высказывания является релевантная импликация, учитывающая содержательную связь, существующую между основанием (антецедентом) и следствием (консеквентом) такого высказывания. Выражение «Утверждение A релевантно имплицирует утверждение В» означает, что В содержится в A и информация, представляемая В, является частью информации A. В частности, A не может релевантно имплицировать В, если в В не входит хотя бы одно из тех утверждений, из которых слагается А. В Р. л. не имеет места принцип, позволяющий из противоречия выводить какое угодно высказывание. Эта логика является, таким образом, одной из паранепротиворечивых логик, не отождествляющих противоречивость опирающихся на них теорий с их тривиальностью, т. е. с доказуемостью в них любого утверждения. В Р. л. логически истинное высказывание невыводимо из произвольно взятого высказывания.
Узнайте лексическое, прямое, переносное значение следующих слов:
- Собирательное Понятие - см.: Понятие. ...
- Случайность Логическая - одна из модальных характеристик высказывания наряду с ...
- Следствие - см.: Логическое следование. ...
- Синтаксическая Категория - класс однотипных выражений словаря формализованного языка. Этот ...
- Синонимия - — одно из важнейших понятий логической семантики, выражающее ...
- Символы Собственные И Несобственные - символы, получающиеся в результате разложения предложения или ...
- Символика Логическая - система знаков (символов), используемая в логике для ...
- Равнозначность - (равносильность, эквивалентность) отношение между высказываниями или формулами, ...
- Противоречие - два высказывания, из которых одно является отрицанием ...
- Противоположность Логическая - – вид отношения между противоположными понятиями или суждениями ...
- Пропозициональная Связка - операция, позволяющая из данных суждений (высказываний) строить ...
- Причинности Логика - раздел современной логики, занимающийся исследованием структуры и ...
- Принцип Предметности - один из трех основных принципов теории отношения ...
- Принцип Объемности - (экстенсиональности) (от лат. extentio — протяжение) — принцип ...
- Дедукция - (от лат. deductio — выведение) — переход от ...