- релевантная импликация
- см.: Релевантная логика
Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.
релевантная импликация
Смотреть что такое "релевантная импликация" в других словарях:
импликация материальная — импликация в трактовке логики классической. Для установления истинности И. м. Если А, то В достаточно выяснить истинностные значения высказываний А и В. И. м. истинна в трех случаях: 1) ее основание и ее следствие истинны; 2) основание ложно, а… … Словарь терминов логики
Импликация — логическая функция, следствие (если А, то В); в трактовке математической логики, материальная импликация , утверждение если А, то В считается ложной, только если А истинно, а В ложно, и при установлении истинности материальной импликации не… … Мир Лема - словарь и путеводитель
релевантная логика — одна из наиболее известных неклассических теорий логического следования. В названии Р. л. отражается стремление выделить и систематизировать только уместные (релевантные) принципы логики, исключив, в частности, парадоксы импликации, свойственные… … Словарь терминов логики
РЕЛЕВАНТНАЯ ЛОГИКА — РЕЛЕВАНТНАЯ ЛОГИКА направление в символической логике (см. Логика символическая), которое возникло и развивалось в качестве альтернативы классической символической логике. В названии “релевантная” (термины “релевантный”, “релевантность”… … Философская энциклопедия
релевантная логика — РЕЛЕВАНТНАЯ ЛОГИКА (от англ. relevant существенный) одно из направлений современной неклассической логики, сформировавшееся во второй половине 20 в. Ее возникновение связано с попыткой решить проблему формализации логического следования и … Энциклопедия эпистемологии и философии науки
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
импликация — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции если ..., то ... , с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном… … Словарь терминов логики
НЕКЛАССИЧЕСКИЕ ЛОГИКИ — НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов. Предпосылки для неклассической логики были высказаны… … Философская энциклопедия
ПАРА НЕПРОТИВОРЕЧИВАЯ — ПАРА НЕПРОТИВОРЕЧИВАЯ логика (греч. тора возле, вне) класс логических исчислений, в которых логический принцип “из противоречия следует все, что угодно”, не имеет места. Термин “паранепротиворечивая логика” введен в 1976 перуанским философом… … Философская энциклопедия
семантика возможных миров — СЕМАНТИКА ВОЗМОЖНЫХ МИРОВ совокупность семантических конструкций для истинностной интерпретации неклассических (не булевых) логических связок, главной особенностью которых является введение в рассмотрение так называемых возможных миров.… … Энциклопедия эпистемологии и философии науки
