- одна из наиболее известных неклассических теорий логического следования. В названии «Р. л.» отражается стремление выделить и систематизировать только уместные (релевантные) принципы логики, исключив, в частности, парадоксы импликации, свойственные импликации материальной классической логики, строгой импликации и др. импликациям. В Р. л. формальным аналогом условного высказывания является релевантная импликация, учитывающая содержательную связь, существующую между основанием (антецедентом) и следствием (консеквентом) такого высказывания. Выражение «Утверждение A релевантно имплицирует утверждение В» означает, что В содержится в A и информация, представляемая В, является частью информации A. В частности, A не может релевантно имплицировать В, если в В не входит хотя бы одно из тех утверждений, из которых слагается А. В Р. л. не имеет места принцип, позволяющий из противоречия выводить какое угодно высказывание. Эта логика является, таким образом, одной из паранепротиворечивых логик, не отождествляющих противоречивость опирающихся на них теорий с их тривиальностью, т. е. с доказуемостью в них любого утверждения. В Р. л. логически истинное высказывание невыводимо из произвольно взятого высказывания.
Если Вы искали другое значение слова/фразы Релевантная Логика, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Релевантная Логика ищут определения этих слов:
Равенство — — отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать на языке соответствующей теории об одном из них, можно высказать и о другом, и наоборот, и при этом получать истинные высказывания....
Разрешения Проблема — или: Разрешимости проблема, — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся...
Свойство — — характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их. Каждому предмету присуще бесчисленное количество свойств, которые делятся на существенные и несущественные, необходимые и случайные, общие и специфические и т....
Разделительное Суждение — - дизъюнктивное (от лат. disjunctio — разобщаю) сложное суждение, образованное из двух или большего числа суждений с помощью логической связки «или». Общая форма Р. с. имеет вид А1 v A2 v, ..., v An, где Аn — суждение (член дизъюнкции,...
Семантическая Категория — - класс языковых выражений, взаимная замена которых в предложении сохраняет его грамматический статус, т. е. предложение остается предложением. Если, напр., в предложении «Волга впадает в Каспийское море» слово «Волга» мы заменим словом «Нева», то...
Связка — — в традиционной логике элемент простого суждения, соединяющий субъект и предикат. В повседневном языке С. обычно выражается словами «есть», «суть», «является» и т. п., напр.: «Узбеки являются жителями Средней Азии». В обыденной речи С. часто...
Разделительно-категорическое Умозаключение — -умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или p2...
Разрешения Проблема — или: Разрешимости проблема, — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся...
Разделительно-категорическое Умозаключение — -умозаключение, в котором одна из посылок — разделительное суждение, а другая — категорическое. Р.-к. у. имеет два модуса: 1) модус утверждающе-отрицающий; 2) модус отрицающе-утверждающий. Простейшая форма модуса (1) имеет вид: S есть Р1 или p2...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
