доказуемо

  • 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 мера, способ) понятия, с помощью которых с той или иной позиции конкретизируется характер связей и отношений объектов. Модальная конкретизация осуществляется чаще всего путем использования понятий «необходимо», «возможно»,… …

    Философская энциклопедия