доказуемо
1доказуемо — нареч, кол во синонимов: 1 • обоснованно (25) Словарь синонимов ASIS. В.Н. Тришин. 2013 …
2доказуемо открытый ключ — — [[http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23]] Тематики защита информации EN provably public key …
3Доказуемо — нареч. качеств. обстоят. Приводя доказательства. Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 …
4МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …
5ЭПИСТЕМИЧЕСКАЯ ЛОГИКА — (от греч. episteme знание) раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как «полагает» («убежден»), «сомневается», «отвергает», «знает», «доказуемо», «неразрешимо», «опровержимо» и т.п. Знание… …
6логика эпистемическая — (от греч. episteme знание) раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как полагает ( убежден ), сомневается , отвергает , знает , доказуемо , неразрешимо , опровержимо т. п. Знание отличается от… …
7НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …
8ГЛИВЕНКО — Валерий Иванович [21 дек. 1896 (2 янв. 1897) – 15 февр. 1940 ] – сов. логик и математик; д р физико математич. наук, профессор (с 1928). В 1928 в статье О логике М. Брауэра ( Sur la logique de M. Brouwer ) сформулировал систему аксиом… …
9ДЕОНТИЧЕСКАЯ ЛОГИКА — (от греч. deon должное, правильное), или Логика норм, нормативная логика раздел логики, исследующий логическую структуру и логические связи нормативных высказываний (норм). Анализируя рассуждения, посылками или заключениями которых служат такие… …
10МОДАЛЬНЫЕ КАТЕГОРИИ — (от лат. modus мера, способ) понятия, с помощью которых с той или иной позиции конкретизируется характер связей и отношений объектов. Модальная конкретизация осуществляется чаще всего путем использования понятий «необходимо», «возможно»,… …