формальные доказательства
51аргументация — АРГУМЕНТАЦИЯ (от лат. argumentatio приведение аргументов) способ подведения оснований под какую либо мысль или действие (их обоснование) с целью их публичной защиты, создания определенного мнения о них ради их признания или разъяснения;… …
52Онтологический аргумент — Онтологический аргумент  это одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в Христианской Теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично… …
53КАНТ — (Kant) Иммануил (1724 1804) нем. философ, крупнейший представитель нем. идеализма. Доцент (1755 1770), проф. Кёнигсбергского ун та (1770 1796). В философии К. традиционно выделяется два периода: «докритический» (до 1770) и «критический». Ранние… …
54Машина Тьюринга — Художественное представление машины Тьюринга Машина Тьюринга (МТ)  абстрактный исполнитель (абстрактная вычислительная машина). Была предложена Аланом Тьюрингом в 1936 году для формализации понятия алгоритма …
55Непротиворечивость — Сюда перенаправляется запрос «Несовместимость». На эту тему нужна отдельная статья. Непротиворечивость  свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого то предложения из системы может… …
56Депрессия — У этого термина существуют и другие значения, см. Депрессия (значения). Депрессия …
57логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… …
58Конвенция — (Convention) Содержание Содержание Определение Всемирная об авторском праве Содержание Бернская конвенция 1886 года Основные принципы Права, устанавливаемые конвенцией Гаагская вексельная конвенция Европейская конвенция о защите и основных свобод …
59ВОЛЯ — [греч. θέλημα, θέλησις; лат. voluntas, velle], сила, неотъемлемо присущая природе разумного существа, благодаря к рой оно стремится достигнуть желаемого. В Свящ. Писании понятие В. имело следующие основные смыслы: В. Божия, выражающаяся в… …
60ДВОЙНАЯ ИСТИНА — [двойственная истина, «двух истин» теория], термин, служащий для обозначения возникшего в средние века учения об одновременной истинности или взаимной независимости ряда положений философии и богословия, которые вступают в видимое противоречие… …