А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я ИмпликацияИмпликация - (от лат. implicatio - сплетение, от implico — тесно связываю) - логическая связка, соответствующая грамматической конструкции «если ..., то ...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании различают антецедент (основание) — высказывание, идущее после слова «если», и консеквент (следствие) - высказывание, идущее за словом «то». Импликативное высказывание пред- ставляет в языке логики условное высказывание обычного языка. Последнее играет особую роль как в повседневных, так и в научных рассуждениях, основной его функцией является обоснование одного путем ссылки на нечто другое. В современной логике имеется большое число И., различающихся своими формальными свойствами. Наиболее известны из них И. материальная, строгая И. и релевантная (уместная) И. Материальная И. обозначается знаком É. Это одна из основных связок логики классической. Определяется она через функции истинности: И. ложна только в случае истинности антецедента и ложности консеквента и истинна во всех остальных случаях. Условное высказывание «Если А, то В» предполагает некоторую реальную связь между тем, о чем говорится в A и В; выражение А ÉВ такой связи не предполагает. Строгая И. определяется через модальное понятие (логической) невозможности: «А строго имплицирует В» означает «Невозможно, чтобы А было истинно, а В ложно». В релевантной логике И. понимается как условный союз в его обычном смысле. В случае релевантной И. нельзя сказать, что истинное высказывание может быть обосновано путем ссылки на любое высказывание и что с помощью ложного высказывания можно обосновать какое угодно высказывание.
Другие термины: |
Архитектурный словарь Бизнес словарь Биографический словарь Большой энциклопедический словарь Исторический словарь Медицинский словарь Морской словарь Политический словарь Психологическая энциклопедия Психологический словарь Религиозный словарь Сексологический словарь Социологический словарь Строительный словарь Философский словарь Финансовый словарь Экономический словарь Этнографический словарь Юридический словарь Словарь воровского жаргона Словарь Даля Словарь Ефремовой Словарь имён Словарь компьютерного жаргона Словарь логики Словарь мер и весов Словарь нумизмата Словарь Ожегова Словарь русских фамилий Словарь символов Словарь синонимов |
EncBook.ru - словари и энциклопедии |